|
|
|
Grégory Théoduloz
|
|
Doctoral Program in Computer & Communication Sciences
|
PhD student
birth date: 07.02.1983
nationality: Swiss Citizen
|
office(s):
BC230
phone(s): [+41 21 69] 31222
fax: [+41 21 69] 37540
|
|
|
Education
|
M.S., Computer Science, Prof. Thomas A. Henzinger ("Integrating Shape Analysis in the Model Checker BLAST"), Ecole Polytechnique Fédérale de Lausanne, Switzerland, October 2001-March 2006
High School Diploma, Maturité cantonale, type C, Lycée-Collège Cantonal des Creusets, Sion, Switzerland, August 1996-June 2001
|
|
Professional course
|
Research Assistant, Models and Theory of Computation, Ecole Polytechnique Fédérale de Lausanne, Switzerland, April 2006-today
|
|
MISSION
|
I'm currently doing research towards the obtention of a PhD degree in the field of software verification under the guidance of Prof. Tom Henzinger.
|
|
MAIN PUBLICATIONS
|
|
|
Dirk Beyer, Grégory Théoduloz, and Thomas A. Henzinger.
Lazy Shape Analysis.
Technical report, 2005.
[ Details |
Full Text ]
|
|
|
Grégory Théoduloz, Thomas A. Henzinger, and Dirk Beyer.
Integrating Shape Analysis into the Model Checker BLAST.
2006.
[ Details |
Full Text ]
|
|
|
Dirk Beyer, Thomas A. Henzinger, and Grégory Théoduloz.
Lazy Shape Analysis.
In Proceedings of the 18th International Conference on
Computer Aided Verification (CAV 2006, Seattle, WA, August
16-20), Lecture Notes in Computer Science, pages 532-546. Springer, 2006.
[ Details |
Full Text ]
|
|
|
Dirk Beyer, Thomas A. Henzinger, and Grégory Théoduloz.
Configurable Software Verification: Concretizing the
Convergence of Model Checking and Program Analysis.
In Proceedings of the 19th International Conference on
Computer Aided Verification (CAV 2007, Berlin, Germany, July
3-7), Lecture Notes in Computer Science, pages 504-518. Springer, 2007.
[ Details ]
|
|
|
Dirk Beyer, Thomas A. Henzinger, and Grégory Théoduloz.
Program Analysis with Dynamic Precision Adjustment.
In Proceedings ot the 23rd IEEE/ACM International
Conference on Automated Software Engineering (ASE 2008), pages
29-38. IEEE, 2008.
[ Details ]
|
|
|
PRESENTATIONS
|
| | Program Analysis with Dynamic Precision Adjustment (ASE 2008, L'Aquila, Italy), 17 September 2008
[ PowerPoint | PDF ] | | | Configurable Software Verification: Concretizing the Convergence of Model Checking and Software Analysis (CAV 2007, Berlin, Germany), 7 July 2007
[ PowerPoint | PDF ] | | | Lazy Shape Analysis (CAV 2006, Seattle, WA, USA), 20 August 2006
[ PowerPoint | PDF ] | | | Integrating Shape Analysis in the Model Checker BLAST (Master Thesis Defense), 9 March 2006
[ PowerPoint | PDF ] |
|
|
| Skills |
- Computer-Aided Verification
- Compiler Construction and Optimization |
|
| Teaching |
Computer Science
|
|
Student