Leopold Haller

According to our database, Leopold Haller authored at least 15 papers between 2009 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Lifting CDCL to Template-Based Abstract Domains for Program Verification.

Rajdeep Mukherjee, Peter Schrammel, Leopold Haller, Daniel Kroening, Tom Melham

Proceedings of the Automated Technology for Verification and Analysis, 2017

2014

Deciding floating-point logic with abstract conflict driven clause learning.

Martin Brain, Vijay Victor D'Silva, Alberto Griggio, Leopold Haller, Daniel Kroening

Formal Methods Syst. Des., 2014

Abstract satisfaction.

Vijay Victor D'Silva, Leopold Haller, Daniel Kroening

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

2013

Abstract satisfaction.

Leopold Carl Robert Haller

PhD thesis, 2013

An Abstract Interpretation of DPLL(T).

Martin Brain, Vijay Victor D'Silva, Leopold Haller, Alberto Griggio, Daniel Kroening

Proceedings of the Verification, 2013

Interpolation-Based Verification of Floating-Point Programs with Abstract CDCL.

Martin Brain, Vijay Victor D'Silva, Alberto Griggio, Leopold Haller, Daniel Kroening

Proceedings of the Static Analysis - 20th International Symposium, 2013

Abstract conflict driven learning.

Vijay Victor D'Silva, Leopold Haller, Daniel Kroening

Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

2012

Numeric Bounds Analysis with Conflict-Driven Learning.

Vijay Victor D'Silva, Leopold Haller, Daniel Kroening, Michael Tautschnig

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

Satisfiability Solvers Are Static Analysers.

Vijay Victor D'Silva, Leopold Haller, Daniel Kroening

Proceedings of the Static Analysis - 19th International Symposium, 2012

Deciding floating-point logic with systematic abstraction.

Leopold Haller, Alberto Griggio, Martin Brain, Daniel Kroening

Proceedings of the Formal Methods in Computer-Aided Design, 2012

2011

Strengthening Induction-Based Race Checking with Lightweight Static Analysis.

Alastair F. Donaldson, Leopold Haller, Daniel Kroening

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2011

Software Verification Using k-Induction.

Alastair F. Donaldson, Leopold Haller, Daniel Kroening, Philipp Rümmer

Proceedings of the Static Analysis - 18th International Symposium, 2011

2010

A SAT Solver for Circuits Based on the Tableau Method.

Uwe Egly, Leopold Haller

Künstliche Intell., 2010

Relieving capacity limits on FPGA-based SAT-solvers.

Leopold Haller, Satnam Singh

Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010

2009

Finding Lean Induced Cycles in Binary Hypercubes.

Yury Chebiryak, Thomas Wahl, Daniel Kroening, Leopold Haller

Proceedings of the Theory and Applications of Satisfiability Testing, 2009