Papers archive

Programming Languages & Verification

Exploiting Errors for Efficiency: A Survey from Circuits to Applications.

Phillip Stanley-Marbell, Armin Alaghi, Michael Carbin, Eva Darulova, Lara Dolecek, Andreas Gerstlauer, Ghayoor Gillani, Djordje Jevdjic, Thierry Moreau, Mattia Cacciotti, Alexandros Daglis, Natalie D. Enright Jerger, Babak Falsafi, Sasa Misailovic, Adrian Sampson, Damien Zufferey.
ACM Comput. Surv. 2020.

Timed Temporal Logics.

Patricia Bouyer, François Laroussinie, Nicolas Markey, Joël Ouaknine, James Worrell.
Models, Algorithms, Logics and Tools 2017.

F-ing modules.

Andreas Rossberg, Claudio V. Russo, Derek Dreyer.
J. Funct. Program. 2014.

From tests to proofs.

Ashutosh Gupta, Rupak Majumdar, Andrey Rybalchenko.
Int. J. Softw. Tools Technol. Transf. 2013.

Preface.

Michael W. Mislove, Joël Ouaknine.
Electr. Notes Theor. Comput. Sci. 2011.

Preface.

Michael W. Mislove, Joël Ouaknine.
MFPS 2011.

Path invariants.

Dirk Beyer, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko.
PLDI 2007.

Lock allocation.

Michael Emmi, Jeffrey S. Fischer, Ranjit Jhala, Rupak Majumdar.
POPL 2007.

Extreme Model Checking.

Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Marco A. A. Sanvido.
Verification: Theory and Practice 2003.

Lazy abstraction.

Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Grégoire Sutre.
POPL 2002.