Papers archive

Programming Languages & Verification

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.

Preface.

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

Lock allocation.

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

Path invariants.

Dirk Beyer, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko.
PLDI 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.