Leopold Haller
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
12
Venues
7
Active years
2009–2017
Best venue rank
A*
Where they publish
Papers
12 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | ATVA | Lifting CDCL to Template-Based Abstract Domains for Program Verification. | Rajdeep Mukherjee, Peter Schrammel, Leopold Haller, Daniel Kroening, Tom Melham |
| 2014 | POPL | Abstract satisfaction. | Vijay Victor D'Silva, Leopold Haller, Daniel Kroening |
| 2013 | POPL | Abstract conflict driven learning. | Vijay Victor D'Silva, Leopold Haller, Daniel Kroening |
| 2013 | SAS | Interpolation-Based Verification of Floating-Point Programs with Abstract CDCL. | Martin Brain, Vijay Victor D'Silva, Alberto Griggio, Leopold Haller, Daniel Kroening |
| 2013 | VMCAI | An Abstract Interpretation of DPLL(T). | Martin Brain, Vijay Victor D'Silva, Leopold Haller, Alberto Griggio, Daniel Kroening |
| 2012 | FMCAD | Deciding floating-point logic with systematic abstraction. | Leopold Haller, Alberto Griggio, Martin Brain, Daniel Kroening |
| 2012 | SAS | Satisfiability Solvers Are Static Analysers. | Vijay Victor D'Silva, Leopold Haller, Daniel Kroening |
| 2012 | TACAS | Numeric Bounds Analysis with Conflict-Driven Learning. | Vijay Victor D'Silva, Leopold Haller, Daniel Kroening, Michael Tautschnig |
| 2011 | SAS | Software Verification Using k-Induction. | Alastair F. Donaldson, Leopold Haller, Daniel Kroening, Philipp Rmmer |
| 2011 | VMCAI | Strengthening Induction-Based Race Checking with Lightweight Static Analysis. | Alastair F. Donaldson, Leopold Haller, Daniel Kroening |
| 2010 | FMCAD | Relieving capacity limits on FPGA-based SAT-solvers. | Leopold Haller, Satnam Singh |
| 2009 | SAT | Finding Lean Induced Cycles in Binary Hypercubes. | Yury Chebiryak, Thomas Wahl, Daniel Kroening, Leopold Haller |