Xavier Leroy

	2012
71		Jacques-Henri Jourdan, François Pottier, Xavier Leroy: Validating LR(1) Parsers. ESOP 2012: 397-416
70		Tahina Ramananandro, Gabriel Dos Reis, Xavier Leroy: A mechanized semantics for C++ object construction and destruction, with applications to resource management. POPL 2012: 521-532
	2011
69		Xavier Leroy: Formally verifying a compiler: Why? How? How far? CGO 2011
68		Xavier Leroy: Verified squared: does critical software deserve verified tools? POPL 2011: 1-2
67		Tahina Ramananandro, Gabriel Dos Reis, Xavier Leroy: Formal verification of object layout for c++ multiple inheritance. POPL 2011: 67-80
66		Ricardo Bedin França, Denis Favre-Felix, Xavier Leroy, Marc Pantel, Jean Souyris: Towards Formally Verified Optimizing Compilation in Flight Control Software. PPES 2011: 59-68
65		Xavier Leroy: Safety first!: technical perspective. Commun. ACM 54(12): 122 (2011)
64		Andrew P. Tolmach, Xavier Leroy: Special Issue Dedicated to ICFP 2009 Editorial. J. Funct. Program. 21(4-5): 331-332 (2011)
	2010
63		Silvain Rideau, Xavier Leroy: Validating Register Allocation and Spilling. CC 2010: 224-243
62		Jean-Baptiste Tristan, Xavier Leroy: A simple, verified validator for software pipelining. POPL 2010: 83-92
61		Xavier Leroy: Mechanized semantics - with applications to program proof and compiler verification. Logics and Languages for Reliability and Security 2010: 195-224
60		Xavier Leroy: Mechanized semantics CoRR abs/1010.5582: (2010)
	2009
59		Jean-Baptiste Tristan, Xavier Leroy: Verified validation of lazy code motion. PLDI 2009: 316-326
58		Sandrine Blazy, Xavier Leroy: Mechanized semantics for the Clight subset of the C language CoRR abs/0901.3619: (2009)
57		Tom Hirschowitz, Xavier Leroy, J. B. Wells: Compilation of extended recursion in call-by-value functional languages CoRR abs/0902.1257: (2009)
56		Xavier Leroy: A formally verified compiler back-end CoRR abs/0902.2137: (2009)
55		Xavier Leroy: Formal verification of a realistic compiler. Commun. ACM 52(7): 107-115 (2009)
54		Tom Hirschowitz, Xavier Leroy, J. B. Wells: Compilation of extended recursion in call-by-value functional languages. Higher-Order and Symbolic Computation 22(1): 3-66 (2009)
53		Zaynah Dargaye, Xavier Leroy: A verified framework for higher-order uncurrying optimizations. Higher-Order and Symbolic Computation 22(3): 199-231 (2009)
52		Xavier Leroy, Hervé Grall: Coinductive big-step operational semantics. Inf. Comput. 207(2): 284-304 (2009)
51		Sandrine Blazy, Xavier Leroy: Mechanized Semantics for the Clight Subset of the C Language. J. Autom. Reasoning 43(3): 263-288 (2009)
50		Xavier Leroy: A Formally Verified Compiler Back-end. J. Autom. Reasoning 43(4): 363-446 (2009)
49		Xavier Leroy: Editorial. J. Funct. Program. 19(2): 143 (2009)
48		Xavier Leroy, Matthias Felleisen: Editorial. J. Funct. Program. 19(5): 489-490 (2009)
	2008
47		Jean-Baptiste Tristan, Xavier Leroy: Formal verification of translation validators: a case study on instruction scheduling optimizations. POPL 2008: 17-27
46		Xavier Leroy, Hervé Grall: Coinductive big-step operational semantics CoRR abs/0808.0586: (2008)
45		Laurence Rideau, Bernard P. Serpette, Xavier Leroy: Tilting at Windmills with Coq: Formal Verification of a Compilation Algorithm for Parallel Moves. J. Autom. Reasoning 40(4): 307-326 (2008)
44		Xavier Leroy, Sandrine Blazy: Formal Verification of a C-like Memory Model and Its Uses for Verifying Program Transformations. J. Autom. Reasoning 41(1): 1-31 (2008)
	2007
43		Zaynah Dargaye, Xavier Leroy: Mechanized Verification of CPS Transformations. LPAR 2007: 211-225
42		Xavier Leroy: Formal verification of an optimizing compiler. MEMOCODE 2007: 25
41		Xavier Leroy: Formal Verification of an Optimizing Compiler. RTA 2007: 1
40		Andrew W. Appel, Xavier Leroy: A List-machine Benchmark for Mechanized Metatheory: (Extended Abstract). Electr. Notes Theor. Comput. Sci. 174(5): 95-108 (2007)
	2006
39		Fabio Mancinelli, Jaap Boender, Roberto Di Cosmo, Jerome Vouillon, Berke Durak, Xavier Leroy, Ralf Treinen: Managing the Complexity of Large Free and Open Source Package-Based Software Distributions. ASE 2006: 199-208
38		Xavier Leroy: Coinductive Big-Step Operational Semantics. ESOP 2006: 54-68
37		Sandrine Blazy, Zaynah Dargaye, Xavier Leroy: Formal Verification of a C Compiler Front-End. FM 2006: 460-475
36		Xavier Leroy: Formal certification of a compiler back-end or: programming a compiler with a proof assistant. POPL 2006: 42-54
35		Nick Benton, Xavier Leroy: Preface. Electr. Notes Theor. Comput. Sci. 148(2): 1-2 (2006)
	2005
34		Sandrine Blazy, Xavier Leroy: Formal Verification of a Memory Model for C-Like Imperative Languages. ICFEM 2005: 280-299
33		Tom Hirschowitz, Xavier Leroy: Mixin modules in a call-by-value setting. ACM Trans. Program. Lang. Syst. 27(5): 857-881 (2005)
	2004
32		Neil D. Jones, Xavier Leroy: Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2004, Venice, Italy, January 14-16, 2004 ACM 2004
31		Tom Hirschowitz, Xavier Leroy, J. B. Wells: Call-by-Value Mixin Modules: Reduction Semantics, Side Effects, Types. ESOP 2004: 64-78
30		Yves Bertot, Benjamin Grégoire, Xavier Leroy: A Structured Approach to Proving Compiler Optimizations Based on Dataflow Analysis. TYPES 2004: 66-81
	2003
29		Xavier Leroy: Computer Security from a Programming Language and Static Analysis Perspective. ESOP 2003: 1-9
28		Cristiano Calcagno, Walid Taha, Liwen Huang, Xavier Leroy: Implementing Multi-stage Languages Using ASTs, Gensym, and Reflection. GPCE 2003: 57-76
27		Tom Hirschowitz, Xavier Leroy, J. B. Wells: Compilation of extended recursion in call-by-value functional languages. PPDP 2003: 160-171
26		Xavier Leroy: Java Bytecode Verification: Algorithms and Formalizations. J. Autom. Reasoning 30(3-4): 235-269 (2003)
	2002
25		Tom Hirschowitz, Xavier Leroy: Mixin Modules in a Call-by-Value Setting. ESOP 2002: 6-20
24		Benjamin Grégoire, Xavier Leroy: A compiled implementation of strong reduction. ICFP 2002: 235-246
23		Xavier Leroy: Bytecode verification on Java smart cards. Softw., Pract. Exper. 32(4): 319-340 (2002)
	2001
22		Xavier Leroy: Java Bytecode Verification: An Overview. CAV 2001: 265-285
21		Xavier Leroy: On-Card Bytecode Verification for Java Card. E-smart 2001: 150-164
	2000
20		Xavier Leroy, François Pessaux: Type-based analysis of uncaught exceptions. ACM Trans. Program. Lang. Syst. 22(2): 340-377 (2000)
19		Xavier Leroy: A modular module system. J. Funct. Program. 10(3): 269-303 (2000)
	1999
18		François Pessaux, Xavier Leroy: Type-Based Analysis of Uncaught Exceptions. POPL 1999: 276-290
17		Xavier Leroy, François Rouaix: Security Properties of Typed Applets. Secure Internet Programming 1999: 147-182
	1998
16		Xavier Leroy, Atsushi Ohori: Types in Compilation, Second International Workshop, TIC '98, Kyoto, Japan, March 25-27, 1998, Proceedings Springer 1998
15		Xavier Leroy, François Rouaix: Security Properties of Typed Applets. POPL 1998: 391-403
14		Xavier Leroy: Introduction. Types in Compilation 1998: 1-8
	1996
13		Pieter H. Hartel, Marc Feeley, Martin Alt, Lennart Augustsson, Peter Baumann, Marcel Beemster, Emmanuel Chailloux, Christine H. Flood, Wolfgang Grieskamp, John H. G. van Groningen, Kevin Hammond, Bogumil Hausman, Melody Y. Ivory, Richard E. Jones, Jasper Kamperman, Peter Lee, Xavier Leroy, Rafael Dueire Lins, Sandra Loosemore, Niklas Röjemo, Manuel Serrano, Jean-Pierre Talpin, Jon Thackray, Stephen Thomas, Pum Walters, Pierre Weis, Peter Wentworth: Benchmarking Implementations of Functional Languages with `Pseudoknot', a Float-Intensive Benchmark. J. Funct. Program. 6(4): 621-655 (1996)
12		Xavier Leroy: A Syntactic Theory of Type Generativity and Sharing. J. Funct. Program. 6(5): 667-698 (1996)
	1995
11		Xavier Leroy: Applicative Functors and Fully Transparent Higher-Order Modules. POPL 1995: 142-153
	1994
10		Xavier Leroy: Manifest Types, Modules, and Separate Compilation. POPL 1994: 109-122
	1993
9		Xavier Leroy, Pierre Weis: Manuel de référence du langage CAML. InterEditions 1993: I-X, 1-166
8		Pierre Weis, Xavier Leroy: Le langage Caml. InterEditions 1993: I-XIII, 1-407
7		Damien Doligez, Xavier Leroy: A Concurrent, Generational Garbage Collector for a Multithreaded Implementation of ML. POPL 1993: 113-123
6		Xavier Leroy: Polymorphism by Name for References and Continuations. POPL 1993: 220-231
5		Xavier Leroy, Michel Mauny: Dynamics in ML. J. Funct. Program. 3(4): 431-463 (1993)
	1992
4		Xavier Leroy: Unboxed Objects and Polymorphic Typing. POPL 1992: 177-188
	1991
3		Xavier Leroy, Michel Mauny: Dynamics in ML. FPCA 1991: 406-426
2		Xavier Leroy, Pierre Weis: Polymorphic Type Inference and Assignment. POPL 1991: 291-302
	1990
1		Xavier Leroy: Efficient Data Representation in Polymorphic Languages. PLILP 1990: 255-276

Coauthor Index

1	Martin Alt	[13]
2	Andrew W. Appel	[40]
3	Lennart Augustsson	[13]
4	Peter Baumann	[13]
5	Marcel Beemster	[13]
6	Nick Benton (P. N. Benton)	[35]
7	Yves Bertot	[30]
8	Sandrine Blazy	[34] [37] [44] [51] [58]
9	Jaap Boender	[39]
10	Cristiano Calcagno	[28]
11	Emmanuel Chailloux	[13]
12	Roberto Di Cosmo	[39]
13	Zaynah Dargaye	[37] [43] [53]
14	Damien Doligez	[7]
15	Berke Durak	[39]
16	Denis Favre-Felix	[66]
17	Marc Feeley	[13]
18	Matthias Felleisen	[48]
19	Christine H. Flood	[13]
20	Ricardo Bedin França	[66]
21	Hervé Grall	[46] [52]
22	Benjamin Grégoire	[24] [30]
23	Wolfgang Grieskamp	[13]
24	John H. G. van Groningen	[13]
25	Kevin Hammond	[13]
26	Pieter H. Hartel	[13]
27	Bogumil Hausman	[13]
28	Tom Hirschowitz	[25] [27] [31] [33] [54] [57]
29	Liwen Huang	[28]
30	Melody Y. Ivory	[13]
31	Neil D. Jones	[32]
32	Richard E. Jones	[13]
33	Jacques-Henri Jourdan	[71]
34	Jasper Kamperman	[13]
35	Peter Lee	[13]
36	Rafael Dueire Lins	[13]
37	Sandra Loosemore	[13]
38	Fabio Mancinelli	[39]
39	Michel Mauny	[3] [5]
40	Atsushi Ohori	[16]
41	Marc Pantel	[66]
42	François Pessaux	[18] [20]
43	François Pottier	[71]
44	Tahina Ramananandro	[67] [70]
45	Gabriel Dos Reis	[67] [70]
46	Laurence Rideau	[45]
47	Silvain Rideau	[63]
48	Niklas Röjemo	[13]
49	François Rouaix	[15] [17]
50	Bernard P. Serpette	[45]
51	Manuel Serrano	[13]
52	Jean Souyris	[66]
53	Walid Taha	[28]
54	Jean-Pierre Talpin	[13]
55	Jon Thackray	[13]
56	Stephen Thomas	[13]
57	Andrew P. Tolmach	[64]
58	Ralf Treinen	[39]
59	Jean-Baptiste Tristan	[47] [59] [62]
60	Jérôme Vouillon (Jerome Vouillon)	[39]
61	Pum Walters	[13]
62	Pierre Weis	[2] [8] [9] [13]
63	J. B. Wells	[27] [31] [54] [57]
64	Peter Wentworth	[13]

Colors in the list of coauthors

Last update Mon Jun 4 20:40:43 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page