BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Estonia
1 × France
1 × United Kingdom
3 × Italy
3 × USA
Collaborated with:
D.Kröning V.D'Silva A.F.Donaldson M.Brain A.Griggio M.Tautschnig P.Rümmer Y.Chebiryak T.Wahl
Talks about:
abstract (4) conflict (2) analysi (2) static (2) induct (2) driven (2) verif (2) learn (2) base (2) lightweight (1)

Person: Leopold Haller

DBLP DBLP: Haller:Leopold

Contributed to:

POPL 20142014
POPL 20132013
SAS 20132013
VMCAI 20132013
SAS 20122012
TACAS 20122012
SAS 20112011
VMCAI 20112011
SAT 20092009

Wrote 9 papers:

POPL-2014-DSilvaHK #satisfiability
Abstract satisfaction (VD, LH, DK), pp. 139–150.
POPL-2013-DSilvaHK #learning
Abstract conflict driven learning (VD, LH, DK), pp. 143–154.
SAS-2013-BrainDGHK #float #source code #verification
Interpolation-Based Verification of Floating-Point Programs with Abstract CDCL (MB, VD, AG, LH, DK), pp. 412–432.
VMCAI-2013-BrainDHGK #abstract interpretation
An Abstract Interpretation of DPLL(T) (MB, VD, LH, AG, DK), pp. 455–475.
SAS-2012-DSilvaHK #satisfiability
Satisfiability Solvers Are Static Analysers (VD, LH, DK), pp. 317–333.
TACAS-2012-DSilvaHKT #analysis #bound #learning
Numeric Bounds Analysis with Conflict-Driven Learning (VD, LH, DK, MT), pp. 48–63.
SAS-2011-DonaldsonHKR #using #verification
Software Verification Using k-Induction (AFD, LH, DK, PR), pp. 351–368.
VMCAI-2011-DonaldsonHK #lightweight #static analysis
Strengthening Induction-Based Race Checking with Lightweight Static Analysis (AFD, LH, DK), pp. 169–183.
SAT-2009-ChebiryakWKH #agile
Finding Lean Induced Cycles in Binary Hypercubes (YC, TW, DK, LH), pp. 18–31.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.