The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Xavier Leroy: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Xavier Leroy
    Polymorphism by Name for References and Continuations. [Citation Graph (1, 0)][DBLP]
    POPL, 1993, pp:220-231 [Conf]
  2. Xavier Leroy, Pierre Weis
    Polymorphic Type Inference and Assignment. [Citation Graph (1, 0)][DBLP]
    POPL, 1991, pp:291-302 [Conf]
  3. 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]
  4. Xavier Leroy
    Java Bytecode Verification: An Overview. [Citation Graph (0, 0)][DBLP]
    CAV, 2001, pp:265-285 [Conf]
  5. Xavier Leroy, François Rouaix
    Security Properties of Typed Applets. [Citation Graph (0, 0)][DBLP]
    Secure Internet Programming, 1999, pp:147-182 [Conf]
  6. Xavier Leroy
    On-Card Bytecode Verification for Java Card. [Citation Graph (0, 0)][DBLP]
    E-smart, 2001, pp:150-164 [Conf]
  7. Xavier Leroy
    Computer Security from a Programming Language and Static Analysis Perspective. [Citation Graph (0, 0)][DBLP]
    ESOP, 2003, pp:1-9 [Conf]
  8. Xavier Leroy
    Coinductive Big-Step Operational Semantics. [Citation Graph (0, 0)][DBLP]
    ESOP, 2006, pp:54-68 [Conf]
  9. Tom Hirschowitz, Xavier Leroy
    Mixin Modules in a Call-by-Value Setting. [Citation Graph (0, 0)][DBLP]
    ESOP, 2002, pp:6-20 [Conf]
  10. 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]
  11. 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]
  12. Xavier Leroy, Michel Mauny
    Dynamics in ML. [Citation Graph (0, 0)][DBLP]
    FPCA, 1991, pp:406-426 [Conf]
  13. 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]
  14. 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]
  15. Benjamin Grégoire, Xavier Leroy
    A compiled implementation of strong reduction. [Citation Graph (0, 0)][DBLP]
    ICFP, 2002, pp:235-246 [Conf]
  16. 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]
  17. Xavier Leroy
    Efficient Data Representation in Polymorphic Languages. [Citation Graph (0, 0)][DBLP]
    PLILP, 1990, pp:255-276 [Conf]
  18. 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]
  19. 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]
  20. Xavier Leroy
    Unboxed Objects and Polymorphic Typing. [Citation Graph (0, 0)][DBLP]
    POPL, 1992, pp:177-188 [Conf]
  21. Xavier Leroy
    Manifest Types, Modules, and Separate Compilation. [Citation Graph (0, 0)][DBLP]
    POPL, 1994, pp:109-122 [Conf]
  22. Xavier Leroy
    Applicative Functors and Fully Transparent Higher-Order Modules. [Citation Graph (0, 0)][DBLP]
    POPL, 1995, pp:142-153 [Conf]
  23. Xavier Leroy, François Rouaix
    Security Properties of Typed Applets. [Citation Graph (0, 0)][DBLP]
    POPL, 1998, pp:391-403 [Conf]
  24. François Pessaux, Xavier Leroy
    Type-Based Analysis of Uncaught Exceptions. [Citation Graph (0, 0)][DBLP]
    POPL, 1999, pp:276-290 [Conf]
  25. 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]
  26. Xavier Leroy
    Introduction. [Citation Graph (0, 0)][DBLP]
    Types in Compilation, 1998, pp:1-8 [Conf]
  27. 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]
  28. Nick Benton, Xavier Leroy
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:148, n:2, pp:1-2 [Journal]
  29. 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]
  30. 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]
  31. Xavier Leroy
    A modular module system. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2000, v:10, n:3, pp:269-303 [Journal]
  32. 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]
  33. Xavier Leroy, Michel Mauny
    Dynamics in ML. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 1993, v:3, n:4, pp:431-463 [Journal]
  34. 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]
  35. 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]
  36. 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]
  37. Zaynah Dargaye, Xavier Leroy
    Mechanized Verification of CPS Transformations. [Citation Graph (0, 0)][DBLP]
    LPAR, 2007, pp:211-225 [Conf]
  38. Xavier Leroy
    Formal verification of an optimizing compiler. [Citation Graph (0, 0)][DBLP]
    MEMOCODE, 2007, pp:25- [Conf]
  39. Xavier Leroy
    Formal Verification of an Optimizing Compiler. [Citation Graph (0, 0)][DBLP]
    RTA, 2007, pp:1- [Conf]

  40. Validating Register Allocation and Spilling. [Citation Graph (, )][DBLP]


  41. Verified validation of lazy code motion. [Citation Graph (, )][DBLP]


  42. Formal verification of translation validators: a case study on instruction scheduling optimizations. [Citation Graph (, )][DBLP]


  43. A simple, verified validator for software pipelining. [Citation Graph (, )][DBLP]


  44. Formal verification of a realistic compiler. [Citation Graph (, )][DBLP]


  45. Coinductive big-step operational semantics [Citation Graph (, )][DBLP]


  46. Mechanized semantics for the Clight subset of the C language [Citation Graph (, )][DBLP]


  47. Compilation of extended recursion in call-by-value functional languages [Citation Graph (, )][DBLP]


  48. A formally verified compiler back-end [Citation Graph (, )][DBLP]


Search in 0.092secs, Finished in 0.095secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002