Tiphaine Turpin

According to our database, Tiphaine Turpin authored at least 4 papers between 2007 and 2010.

Collaborative distances:

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

2010

Certified Result Checking for Polyhedral Analysis of Bytecode Programs.

Frédéric Besson, Thomas P. Jensen, David Pichardie, Tiphaine Turpin

Proceedings of the Trustworthly Global Computing - 5th International Symposium, 2010

Sawja: Static Analysis Workshop for Java.

Laurent Hubert, Nicolas Barré, Frédéric Besson, Delphine Demange, Thomas P. Jensen, Vincent Monfort, David Pichardie, Tiphaine Turpin

Proceedings of the Formal Verification of Object-Oriented Software, 2010

2008

Computing Stack Maps with Interfaces.

Frédéric Besson, Thomas P. Jensen, Tiphaine Turpin

Proceedings of the ECOOP 2008, 2008

2007

Small Witnesses for Abstract Interpretation-Based Proofs.

Frédéric Besson, Thomas P. Jensen, Tiphaine Turpin

Proceedings of the Programming Languages and Systems, 2007