BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Belgium
1 × Italy
1 × United Kingdom
2 × Germany
3 × USA
Collaborated with:
X.Rival P.Cousot R.Cousot B.Köpf M.Ochoa J.Feret A.Miné D.Monniaux B.Blanchet
Talks about:
abstract (3) analyz (3) tree (3) interpret (2) static (2) decis (2) represent (1) schemata (1) procedur (1) softwar (1)

Person: Laurent Mauborgne

DBLP DBLP: Mauborgne:Laurent

Contributed to:

CAV 20122012
FOSSACS 20112011
ESOP 20052005
PLDI 20032003
ESOP 20002000
SAS 20002000
SAS 19991999
SAS 19941994

Wrote 9 papers:

CAV-2012-KopfMO #automation #quantifier
Automatic Quantification of Cache Side-Channels (BK, LM, MO), pp. 564–580.
FoSSaCS-2011-CousotCM #abstract domain
The Reduced Product of Abstract Domains and the Combination of Decision Procedures (PC, RC, LM), pp. 456–472.
The ASTREÉ Analyzer (PC, RC, JF, LM, AM, DM, XR), pp. 21–30.
ESOP-2005-MauborgneR #abstract interpretation #clustering
Trace Partitioning in Abstract Interpretation Based Static Analyzers (LM, XR), pp. 5–20.
PLDI-2003-BlanchetCCFMMMR #safety #scalability
A static analyzer for large safety-critical software (BB, PC, RC, JF, LM, AM, DM, XR), pp. 196–207.
ESOP-2000-Mauborgne #infinity #representation #set
Improving the Representation of Infinite Trees to Deal with Sets of Trees (LM), pp. 275–289.
SAS-2000-Mauborgne #termination
Tree Schemata and Fair Termination (LM), pp. 302–321.
SAS-1999-Mauborgne #graph
Binary Decision Graphs (LM), pp. 101–116.
SAS-1994-Mauborgne #abstract interpretation #using
Abstract Interpretation Using TDGs (LM), pp. 363–379.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.