Search the dblp DataBase
Xavier Leroy :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Xavier Leroy Polymorphism by Name for References and Continuations. [Citation Graph (1, 0)][DBLP ] POPL, 1993, pp:220-231 [Conf ] Xavier Leroy , Pierre Weis Polymorphic Type Inference and Assignment. [Citation Graph (1, 0)][DBLP ] POPL, 1991, pp:291-302 [Conf ] 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. [Citation Graph (1, 0)][DBLP ] J. Funct. Program., 1996, v:6, n:4, pp:621-655 [Journal ] Xavier Leroy Java Bytecode Verification: An Overview. [Citation Graph (0, 0)][DBLP ] CAV, 2001, pp:265-285 [Conf ] Xavier Leroy , François Rouaix Security Properties of Typed Applets. [Citation Graph (0, 0)][DBLP ] Secure Internet Programming, 1999, pp:147-182 [Conf ] Xavier Leroy On-Card Bytecode Verification for Java Card. [Citation Graph (0, 0)][DBLP ] E-smart, 2001, pp:150-164 [Conf ] Xavier Leroy Computer Security from a Programming Language and Static Analysis Perspective. [Citation Graph (0, 0)][DBLP ] ESOP, 2003, pp:1-9 [Conf ] Xavier Leroy Coinductive Big-Step Operational Semantics. [Citation Graph (0, 0)][DBLP ] ESOP, 2006, pp:54-68 [Conf ] Tom Hirschowitz , Xavier Leroy Mixin Modules in a Call-by-Value Setting. [Citation Graph (0, 0)][DBLP ] ESOP, 2002, pp:6-20 [Conf ] Tom Hirschowitz , Xavier Leroy , J. B. Wells Call-by-Value Mixin Modules: Reduction Semantics, Side Effects, Types. [Citation Graph (0, 0)][DBLP ] ESOP, 2004, pp:64-78 [Conf ] Sandrine Blazy , Zaynah Dargaye , Xavier Leroy Formal Verification of a C Compiler Front-End. [Citation Graph (0, 0)][DBLP ] FM, 2006, pp:460-475 [Conf ] Xavier Leroy , Michel Mauny Dynamics in ML. [Citation Graph (0, 0)][DBLP ] FPCA, 1991, pp:406-426 [Conf ] Cristiano Calcagno , Walid Taha , Liwen Huang , Xavier Leroy Implementing Multi-stage Languages Using ASTs, Gensym, and Reflection. [Citation Graph (0, 0)][DBLP ] GPCE, 2003, pp:57-76 [Conf ] Sandrine Blazy , Xavier Leroy Formal Verification of a Memory Model for C -Like Imperative Languages. [Citation Graph (0, 0)][DBLP ] ICFEM, 2005, pp:280-299 [Conf ] Benjamin Grégoire , Xavier Leroy A compiled implementation of strong reduction. [Citation Graph (0, 0)][DBLP ] ICFP, 2002, pp:235-246 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] ASE, 2006, pp:199-208 [Conf ] Xavier Leroy Efficient Data Representation in Polymorphic Languages. [Citation Graph (0, 0)][DBLP ] PLILP, 1990, pp:255-276 [Conf ] Damien Doligez , Xavier Leroy A Concurrent, Generational Garbage Collector for a Multithreaded Implementation of ML. [Citation Graph (0, 0)][DBLP ] POPL, 1993, pp:113-123 [Conf ] Xavier Leroy Formal certification of a compiler back-end or: programming a compiler with a proof assistant. [Citation Graph (0, 0)][DBLP ] POPL, 2006, pp:42-54 [Conf ] Xavier Leroy Unboxed Objects and Polymorphic Typing. [Citation Graph (0, 0)][DBLP ] POPL, 1992, pp:177-188 [Conf ] Xavier Leroy Manifest Types, Modules, and Separate Compilation. [Citation Graph (0, 0)][DBLP ] POPL, 1994, pp:109-122 [Conf ] Xavier Leroy Applicative Functors and Fully Transparent Higher-Order Modules. [Citation Graph (0, 0)][DBLP ] POPL, 1995, pp:142-153 [Conf ] Xavier Leroy , François Rouaix Security Properties of Typed Applets. [Citation Graph (0, 0)][DBLP ] POPL, 1998, pp:391-403 [Conf ] François Pessaux , Xavier Leroy Type-Based Analysis of Uncaught Exceptions. [Citation Graph (0, 0)][DBLP ] POPL, 1999, pp:276-290 [Conf ] Tom Hirschowitz , Xavier Leroy , J. B. Wells Compilation of extended recursion in call-by-value functional languages. [Citation Graph (0, 0)][DBLP ] PPDP, 2003, pp:160-171 [Conf ] Xavier Leroy Introduction. [Citation Graph (0, 0)][DBLP ] Types in Compilation, 1998, pp:1-8 [Conf ] Yves Bertot , Benjamin Grégoire , Xavier Leroy A Structured Approach to Proving Compiler Optimizations Based on Dataflow Analysis. [Citation Graph (0, 0)][DBLP ] TYPES, 2004, pp:66-81 [Conf ] Nick Benton , Xavier Leroy Preface. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2006, v:148, n:2, pp:1-2 [Journal ] Andrew W. Appel , Xavier Leroy A List-machine Benchmark for Mechanized Metatheory: (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2007, v:174, n:5, pp:95-108 [Journal ] Xavier Leroy Java Bytecode Verification: Algorithms and Formalizations. [Citation Graph (0, 0)][DBLP ] J. Autom. Reasoning, 2003, v:30, n:3-4, pp:235-269 [Journal ] Xavier Leroy A modular module system. [Citation Graph (0, 0)][DBLP ] J. Funct. Program., 2000, v:10, n:3, pp:269-303 [Journal ] Xavier Leroy A Syntactic Theory of Type Generativity and Sharing. [Citation Graph (0, 0)][DBLP ] J. Funct. Program., 1996, v:6, n:5, pp:667-698 [Journal ] Xavier Leroy , Michel Mauny Dynamics in ML. [Citation Graph (0, 0)][DBLP ] J. Funct. Program., 1993, v:3, n:4, pp:431-463 [Journal ] Xavier Leroy Bytecode verification on Java smart cards. [Citation Graph (0, 0)][DBLP ] Softw., Pract. Exper., 2002, v:32, n:4, pp:319-340 [Journal ] Tom Hirschowitz , Xavier Leroy Mixin modules in a call-by-value setting. [Citation Graph (0, 0)][DBLP ] ACM Trans. Program. Lang. Syst., 2005, v:27, n:5, pp:857-881 [Journal ] Xavier Leroy , François Pessaux Type-based analysis of uncaught exceptions. [Citation Graph (0, 0)][DBLP ] ACM Trans. Program. Lang. Syst., 2000, v:22, n:2, pp:340-377 [Journal ] Zaynah Dargaye , Xavier Leroy Mechanized Verification of CPS Transformations. [Citation Graph (0, 0)][DBLP ] LPAR, 2007, pp:211-225 [Conf ] Xavier Leroy Formal verification of an optimizing compiler. [Citation Graph (0, 0)][DBLP ] MEMOCODE, 2007, pp:25- [Conf ] Xavier Leroy Formal Verification of an Optimizing Compiler. [Citation Graph (0, 0)][DBLP ] RTA, 2007, pp:1- [Conf ] Validating Register Allocation and Spilling. [Citation Graph (, )][DBLP ] Verified validation of lazy code motion. [Citation Graph (, )][DBLP ] Formal verification of translation validators: a case study on instruction scheduling optimizations. [Citation Graph (, )][DBLP ] A simple, verified validator for software pipelining. [Citation Graph (, )][DBLP ] Formal verification of a realistic compiler. [Citation Graph (, )][DBLP ] Coinductive big-step operational semantics [Citation Graph (, )][DBLP ] Mechanized semantics for the Clight subset of the C language [Citation Graph (, )][DBLP ] Compilation of extended recursion in call-by-value functional languages [Citation Graph (, )][DBLP ] A formally verified compiler back-end [Citation Graph (, )][DBLP ] Search in 0.006secs, Finished in 0.008secs