University of Oxford Logo University of OxfordDepartment of Computer Science - Home

Leopold Haller

Personal photo - Leopold Haller
Leopold Haller
Doctoral Student

Wolfson Building, Parks Road, Oxford OX1 3QD

Interests

Abstract Interpretation, Satisfiability

Selected Publications

View all

Manage publications

Numeric Bounds Analysis with Conflict−Driven Learning

Vijay D'Silva‚ Leopold Haller‚ Daniel Kroening and Michael Tautschnig

In TACAS. 2012.

Strengthening Induction−Based Race Checking with Lightweight Static Analysis

Alastair F. Donaldson‚ Leopold Haller and Daniel Kroening

In VMCAI. Pages 169−183. 2011.

Software Verification Using k−Induction

Alastair F. Donaldson‚ Leopold Haller‚ Daniel Kroening and Philipp Ruemmer

In SAS. Springer. 2011.

Info

Themes

Activities

Supervisor