Leopold Haller

Publication Activity (10 Years)

Years Active: 2009-2017
Publications (10 Years): 2

Top Topics

Driven Learning

Sparse Matrices

Floating Point Arithmetic

Top Venues

Publications

Rajdeep Mukherjee, Peter Schrammel, Leopold Haller, Daniel Kroening, Tom Melham
Lifting CDCL to Template-Based Abstract Domains for Program Verification. ATVA (2017)
Rajdeep Mukherjee, Peter Schrammel, Leopold Haller, Daniel Kroening, Tom Melham
Lifting CDCL to Template-based Abstract Domains for Program Verification. CoRR (2017)
Vijay Victor D'Silva, Leopold Haller, Daniel Kroening
Abstract satisfaction. POPL (2014)
Martin Brain, Vijay Victor D'Silva, Alberto Griggio, Leopold Haller, Daniel Kroening
Deciding floating-point logic with abstract conflict driven clause learning. Formal Methods Syst. Des. 45 (2) (2014)
Martin Brain, Vijay Victor D'Silva, Alberto Griggio, Leopold Haller, Daniel Kroening
Interpolation-Based Verification of Floating-Point Programs with Abstract CDCL. SAS (2013)
Martin Brain, Vijay Victor D'Silva, Leopold Haller, Alberto Griggio, Daniel Kroening
An Abstract Interpretation of DPLL(T). VMCAI (2013)
Vijay Victor D'Silva, Leopold Haller, Daniel Kroening
Abstract conflict driven learning. POPL (2013)
Vijay Victor D'Silva, Leopold Haller, Daniel Kroening
Satisfiability Solvers Are Static Analysers. SAS (2012)
Leopold Haller, Alberto Griggio, Martin Brain, Daniel Kroening
Deciding floating-point logic with systematic abstraction. FMCAD (2012)
Vijay Victor D'Silva, Leopold Haller, Daniel Kroening, Michael Tautschnig
Numeric Bounds Analysis with Conflict-Driven Learning. TACAS (2012)
Alastair F. Donaldson, Leopold Haller, Daniel Kroening, Philipp Rümmer
Software Verification Using k-Induction. SAS (2011)
Alastair F. Donaldson, Leopold Haller, Daniel Kroening
Strengthening Induction-Based Race Checking with Lightweight Static Analysis. VMCAI (2011)
Uwe Egly, Leopold Haller
A SAT Solver for Circuits Based on the Tableau Method. Künstliche Intell. 24 (1) (2010)
Leopold Haller, Satnam Singh
Relieving capacity limits on FPGA-based SAT-solvers. FMCAD (2010)
Yury Chebiryak, Thomas Wahl, Daniel Kroening, Leopold Haller
Finding Lean Induced Cycles in Binary Hypercubes. SAT (2009)