Antoine Reilles 24 rue Marius Jacotot 92800 Puteaux, France +33 9 54 43 92 50 +33 6 88 76 52 36

Dassault Systèmes 9, quai Marcel Dassault, BP 310 92156 Suresnes Cedex [email protected] http://www.loria.fr/~reilles/

[email protected]

Education Currently

• Ph.D. In Computer Science LORIA, Nancy, France. Defended on November 27th, 2006 Title Advisors Referees

“Réécriture et compilation de confiance” Claude Kirchner and Pierre-Etienne Moreau Pierre Cointe (Professor, École des Mines de Nantes) Paul Klint (Professor, Universiteit van Amsterdam) Examiners Karl Tombre (Professor, École des Mines de Nancy) Reinhard Wilhelm (Professor, Universität des Saarlandes) Past

• Master in Computer Science (M.Sc.) INPL, Nancy, France, (2002-03) Title “Rewriting in a concurrent setting” Advisor Pierre-Etienne Moreau (LORIA, Nancy) • Engineering Degree (M.Sc.) École des Mines de Nancy, France (2000-03) Generalist engineering school, with a specialisation in Computer Science • Classes préparatoires aux Grandes Écoles Pierre de Fermat, Toulouse, France Entrance to “École des Mines”. (1998-00)

Schools

• International school on rewriting (ISR’06) – Nancy, France. 03/07 – 07/07 • School on Generative and Transformational Techniques in Software Engineering (GTTSE’05) – Braga, Portugal. 4/07 – 8/07 • School in linguistics logics and information (ESSLLI’04) – Nancy, France. 9/08 – 20/08. • School for researchers in programmation (EJCP’04) – Nantes, France. 24/05 – 04/06.

Experience Currently

• Dassault Systèmes, France Process and Tools department (Since September 2007) Model driven development and engineering tools deployment. Tools for large scale development architecture specification and implementation.

Past

• École des Mines de Nancy, France ATER – Teaching and research assistant – (2006-07) • CWI, Amsterdam, Netherlands (September 2003)

Study the integration of Tom in Java with ASF+SDF

• Pebbleage, Geneva, Schweiz Training period at Pebbleage. (Summer 2002) • CEBAL, Saumur, France Training period at CEBAL Saumur. (Fall 2001) • ENSMN, Nancy, France Firewall configuration for the student Network. (2000, 2003)

Antoine Reilles

Teaching 2006-07

• Initiation to Java programming (3rd year students) • Security and safety of software systems (Master 2) • Perl for Bioinformatics (Master 2) • Foundations of Computer Science (Master 1) • Algorithmic gem (Master 1) • Supervising student project and initiation to research (Master 1 and 2)

2004-05

• Object oriented programming in Java ENSMN, 55 hours teaching to first year engineering school students (3rd year level)

2003-04

• Algorithms, object oriented programming, GUI IUT Charlemagne, 45 hours Java programmation for first year students. (lectures and exercices)

Responsibilities Referees

• Science of Computer Programming, Special Issue on Experimental Software and Toolkits (SCP) • Journées Francophones des Langages Applicatifs (JFLA’07) • International Workshop on Rule-Based Programming (RULE’06) • International Workshop on Rewriting Logic and Applications (WRLA’06) • Journées Francophones des Langages Applicatifs (JFLA’05) • International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR’05) • International Joint Conference on Automated Reasoning (IJCAR’04) • International Workshop on Rewriting Logic and Applications (WRLA’04)

Web

• Since 2003 Maintainer of the Protheo home page: http://protheo.loria.fr/ • Since 2004 Administration of the Tom system development portal http://tom.loria.fr/

Talks Invited lecture

• 28 January 2007 “Techniques de réécriture et transformations” at JFLA’07 (Journées Francophones de Langages Applicatifs), Aix-les-Bains, France

Workshop

• 8-19 Mai 2006 “Formal validation of pattern matching code”, Workshop Trustworthy Software. Saarland University, Saarbrücken, Germany • 7 February 2006 “Canonical abstract syntax trees”, Meeting ACI Modulogic, Université Paris 7, Paris • 20-21 June 2005 “Pattern matching with Tom and XML”, REWERSE European Network of Excellence Joint I3/I4 Meeting, Venice, Italy • 22-24 September 2004 “Certifying pattern matching compilation”, 2nd Workshop Coq et réécriture. LIX, Palaiseau

Antoine Reilles

Publications International Conference with reading committee Conference • Emilie Balland, Paul Brauner, Radu Kopetz, Pierre-Etienne Moreau, and Antoine Reilles. Tom: Piggybacking Rewriting on Java. In Proceedings of the 18th Conference on Rewriting Techniques and Applications, Lecture Notes in Computer Science. Springer-Verlag, 2007. • Claude Kirchner, Pierre-Etienne Moreau, and Antoine Reilles. Formal Validation of Pattern Matching Code. In Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming, pages 187–197. ACM, July 2005. International Workshop with reading committee Workshop

• Emilie Balland, Pierre-Etienne Moreau, and Antoine Reilles. Bytecode rewriting in Tom. In Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation (Bytecode 07), Braga/Portugal, 2007. Electronic Notes in Theoretical Computer Science. • Antoine Reilles. Canonical Abstract Syntax Trees. In Proceedings of the 6th International Workshop on Rewriting Logic and its Applications. Electronic Notes in Theoretical Computer Science, 2006. to appear. • Ozan Kahramanoğulları, Pierre-Etienne Moreau, and Antoine Reilles. Implementing Deep Inference in TOM. In Structures and Deduction, pages 158–172. Technische Universität Dresden, July 2005. ISSN 1430-211X. • Julien Guyon, Pierre-Etienne Moreau, and Antoine Reilles. An Integrated Development Environment for Pattern Matching Programming. In Proceedings of the 2nd eclipse Technology eXchange workshop, eTX’2004. Electronic Notes in Theoretical Computer Science, April 2004. • Horatiu Cirstea, Pierre-Etienne Moreau, and Antoine Reilles. Rule based programming in Java for protocol verification. In Proceedings of the 5th International Workshop on Rewriting Logic and its Applications, volume 117, pages 209–227. Electronic Notes in Theoretical Computer Science, April 2004.

Miscellaneous Foreign languages Computer science

• English Spoken, Written • German Good working knowledge • Chinese Beginner • OS UNIX, NetBSD, Linux, Solaris, Hurd, Windows • Programming Java, C, C++, ML, Perl, shell • Web Server administration (Apache), MySQL, DB2, PHP • Software LATEX, BO-BI, Gnumeric, Excel, Word...

Hobbies

• NetBSD Developer since summer 2005, mostly on the package system. • OSS Contributions to various open-source software projects (Kaffe, Tom, ...) Former webmaster for the student’s web server at the ENSMN Walking in Pyrenees mountains, Alps