Tiphaine Turpin

Publication Activity (10 Years)

Years Active: 2007-2010
Publications (10 Years): 0

Publications

Laurent Hubert, Nicolas Barré, Frédéric Besson, Delphine Demange, Thomas P. Jensen, Vincent Monfort, David Pichardie, Tiphaine Turpin
Sawja: Static Analysis Workshop for Java CoRR (2010)
Frédéric Besson, Thomas P. Jensen, David Pichardie, Tiphaine Turpin
Certified Result Checking for Polyhedral Analysis of Bytecode Programs. TGC (2010)
Laurent Hubert, Nicolas Barré, Frédéric Besson, Delphine Demange, Thomas P. Jensen, Vincent Monfort, David Pichardie, Tiphaine Turpin
Sawja: Static Analysis Workshop for Java. FoVeOOS (2010)
Frédéric Besson, Thomas P. Jensen, Tiphaine Turpin
Computing Stack Maps with Interfaces. ECOOP (2008)
Frédéric Besson, Thomas P. Jensen, Tiphaine Turpin
Small Witnesses for Abstract Interpretation-Based Proofs. ESOP (2007)