Laurent Mauborgne

ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2003–2013

A researcher in the Science corpus: 3 papers; trusts 0 researchers and is trusted by 1 researcher here, as inferred from the citation graph.

Who trusts Laurent Mauborgne

  1. Antoine Miné (in Computational Theory and Mathematics)

Papers from Laurent Mauborgne's perspective

Ordered by how strongly the researchers Laurent Mauborgne trusts endorse each paper. Same corpus, a different order for every researcher.

  1. Extended static checking for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  2. INTERPRETATION : ‘A UNIFIED LATTICE MODEL FOR STATIC ANALYSIS OF PROGRAMS BY CONSTRUCTION OR APPROXIMATION
  3. The SLAM project: debugging system software via static analysis
  4. Lazy abstraction
  5. Automatic predicate abstraction of C programs (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  6. Abstract Interpretation Frameworks
  7. Cache-timing attacks on AES
  8. Automatic discovery of linear restraints among variables of a program
  9. A static analyzer for large safety-critical software (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  10. Reliable and Precise WCET Determination for a Real-Life Processor (International Conference on Embedded Software)

Their papers