Publications

Book:

Compiling Esterel

by D. Potop-Butucaru, S. Edwards, and G. Berry
Springer, May 2007. ISBN: 0387706267

Book description, on the Esterel Technologies web site

Available from:

Amazon.com
Amazon.ca (the best price, as of June 11, 2007)
Barnes and Noble
Journal papers:
D. Potop-Butucaru, B. Caillaud: Correct-by-construction asynchronous implementation of modular synchronous specifications. In Fundamenta Informaticae, IOS Press, 2006. (PDF)
D. Potop-Butucaru, B. Caillaud, A. Benveniste: Concurrency in synchronous systems. In Formal Methods in System Design, 2006. (PDF)
Book chapter, refereed:
D. Potop-Butucaru, R. De Simone: Optimizations for Faster Execution of Esterel Programs. In R. Gupta, P. LeGuernic, S. Shukla, and J.-P. Talpin, eds., Formal Methods and Models for System Design. Kluwer, 2004. (PDF)
Book chapter, invited:
D. Potop-Butucaru, R. De Simone, J.-P. Talpin: The synchronous hypothesis and polychronous languages. To appear in R. Zurawski, ed., Network Embedded Systems, 2009.
D. Potop-Butucaru, R. De Simone, J.-P. Talpin: The synchronous hypothesis and synchronous languages. In R. Zurawski, ed., The Embedded Systems Handbook, CRC Press, 2005. (PDF)
International conferences and workshops:
D. Potop-Butucaru, R. de Simone, Y. Sorel, and J.-P. Talpin: Clock-driven distributed real-time implementation of endochronous synchronous specifications. In Proceedings EMSOFT'09 (PDF).
D. Potop-Butucaru, R. de Simone, Y. Sorel, and J.-P. Talpin: From Concurrent Multiclock Programs to Deterministic Asynchronous Implementations. In Proceedings ACSD'09 (PDF).
D. Potop-Butucaru, R. de Simone, Y. Sorel: Necessary and sufficient conditions for deterministic desynchronization. To appear in Proceedings EMSOFT'O7 (PDF).
D. Potop-Butucaru, B. Caillaud: Correct-by-construction asynchronous implementation of modular synchronous specifications. In Proceedings ACSD'05, Saint Malo, France, 2005. (PDF)
D. Potop-Butucaru, B. Caillaud, A. Benveniste: Concurrency in synchronous systems. In Proceedings ACSD2004. (PDF)
D. Potop-Butucaru: The Kahn Principle for Networks of Synchronous Endochronous Programs. In Proceedings FMGALS2003. (PDF)
D. Potop-Butucaru, R. de Simone: Optimizations for Faster Execution of Esterel Programs. In Proceedings Memocode2003. (PDF)
National conferences:
D. Potop-Butucaru: An Object-Oriented Distributed Programming Interface. In Annals of the University of Bucharest, Mathematics-Informatics, 1997.
D. Potop-Butucaru: On an implementation of the Brunel language (in Romanian), In The Scientific Bulletin of the University of Pitesti, 1997
Thesis:
D. Potop-Butucaru: Optimizations for faster simulation of Esterel programs. Ph.D. thesis. Ecole des Mines de Paris, nov. 2002, France. Final draft, still needs a few corrections (PS).
Research reports:
D. Potop-Butucaru, Y. Sorel: Optimized static real-time scheduling of communications on a broadcast bus. INRIA Research report RR-6655 (PDF).
D. Potop-Butucaru, R. de Simone, Y. Sorel: Deterministic execution of synchronous programs in an asynchronous environment. A compositional necessary and sufficient condition. INRIA Research report RR-6656 (PDF).
D. Potop-Butucaru, R. de Simone, Y. Sorel: Necessary and sufficient conditions for deterministic desynchronization. INRIA Research Report RR-6152, 2007 (PDF).
D. Potop-Butucaru, R. de Simone, Y. Sorel: From multi-clock constraints to multi-rate GALS executives. INRIA Research Report RR-6021, 2006 (PDF).
D. Potop-Butucaru, B. Caillaud: Correct-by-construction asynchronous implementation of modular synchronous specifications. IRISA Technical report PI 1670, 2005. (PDF)
D. Potop-Butucaru, B. Caillaud, A. Benveniste: Concurrency in synchronous systems. INRIA Research report RR-5110. Extended version of the ACSD2004 paper. (PDF).
D. Potop-Butucaru: Fast Redundancy Elimination Using High-Level Structural Information from Esterel. INRIA Research report RR-4330, 2001. (PDF).

Some presentations

Correct-by-construction asynchronous implementation of modular synchronous specifications. Presented at Synchron2004.
Concurrency in synchronous systems. Presented at ACSD2004.
Concurrency in synchronous systems. Presented at the local 68NQRT seminary. The presentation is in OpenOffice format.
Weakly endochronous systems. Presented at the Synchron2003 workshop.
The Kahn principle for networks of endochronous programs. Presented at the FMGALS2003 workshop.
Optimizations for faster execution of Esterel programs. Presented at the Memocode2003 conference.
Ph.D. thesis defense. During the Synchron2002 workshop.
The Synchron2001 slides.
The Synchron2000 slides.
Compiling the Esterel language. An internal Tick/Sports team presentation (in french) of the Synopsys and FT compiling techniques, and just a glimpse of mine. Some time ago my colleagues asked me to present them the aforementioned techniques. I chose a number of examples and extrapolated on them the techniques described in the reference papers.
Meeting with romanians colleagues.. A small workshop held in december 2002 in Bucharest, Romania. Professors and students working abroad presented their work in order not to lose contact completely.

Thesis stuff

The final version of my PhD thesis (gzipped postscript). It still needs some minor corrections.
The title page and covers (not included in the previous file).
The defense slides.
The raw benchmarks (MS Excel table).

Software:

grc2c

With the acceptance of G. Berry and Esterel Technologies, I can now distribute the executables of my optimizing Esterel compiler. Here they are. There's no documentation, but there's a small example of use with the wristwatch example (look in the Makefile). Also, feel free to ask me questions about it.

As concerns source code, for both the compiler and the circuit optimizer (more than 1Mo of C++ source): I cannot publish them, as they are property of Esterel Technology. The "Compiling Esterel" book, however, contains all the implementation details you need.

scsimplify

For implementation details, take a look in the report Fast Redundancy Elimination....