Public documents produced by the DAEDALUS project
Modular Static Program Analysis (.ps.gz, .pdf.gz).
In Proceedings of the International Conference on Compiler Construction, CC 2002, April 6 - 14, 2002, Grenoble, France. N. Horspool (Editor). Lecture Notes in Computer Science 2304, pp. 159—178. © Springer.
Abstract Interpretation: Theory and Practice
In Proceedings of the 9th International SPIN Workshop, Grenoble, France, Lecture Notes in Computer Science 2318, Dragan Bosnacki and Stephen Leue (Eds.), Grenoble, France, April 11-13, 2002, pp. 2-5. © Springer
Reliable and Precise WCET Determination for a Real-Life Processor.
Proceedings of the First International Workshop on Embedded Software, EMSOFT 2001, October, 8th - 10th, 2001, Tahoe City, California, U.S.A. Thomas A. Henzinger and Christoph M. Kirsch (Eds.), Lecture Notes in Computer Science 2211, pp. 469—485. © Springer.
Asserting the Precision of Floating-Point Computations: a Simple Abstract Interpreter.
In Proceedings of the European Symposium on Programming, ESOP'02, April 6 - 14, 2002, Grenoble, France. Daniel Le Métayer (Editor). Lecture Notes in Computer Science 2305, pp. 209—212. © Springer.
Modular analysis of circuit description language by abstract interpretation: Application to the automatic extraction of circuit shapes. (.ps, .pdf)
In Proceedings of the Designing Correct Circuits, DCC 2002, ETAPS 2002, April 6 - 7, 2002, Grenoble, France. Mary Sheeran and Tom melham (Editors). 14 p.
Proving Correctness of Compiler Optimizations by Temporal Logic.
In Conference Record of the 29th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Programming Languages
Pi-calculus as a rapid prototyping language for performance evaluation (Slides in gzipped Corel format)
In Proceedings of the Specification, Analysis and Validation for Emerging Technologies in Computational Logic (SAVE 2001), ICLP 2001, November 26 - December 1, 2001, Paphos, Cyprus Giorgio Delzanno (Editor). 19 p.
Propagation of Roundoff Errors in Finite Precision Computations: a Semantics Approach.
In Proceedings of the European Symposium on Programming, ESOP'02, April 6 - 14, 2002, Grenoble, France. Daniel Le Métayer (Editor). Lecture Notes in Computer Science 2305, pp. 194—208. © Springer.
The Octagon Abstract Domain (.ps.gz, .pdf).
In Analysis, Slicing and Transformation (part of the Working Conference on Reverse Engineering), pages 310—319, IEEE Press. October 2001. © IEEE
Dernière mise à jour / Last modified : Wednesday, 04-Jun-2003 12:39:58 CEST