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 × Canada
1 × Hungary
1 × Italy
1 × Norway
1 × Poland
2 × Germany
2 × USA
2 × United Kingdom
Collaborated with:
S.Krstic F.Pottier M.Iguernelala F.Zaïdi E.Contejean A.Mebsout G.Melquiond J.Kanig J.Filliâtre D.Declerck C.Roux C.Dross A.Paskevich S.Lescuyer A.Goel K.Ji C.Fumex F.Bobot A.Mahboubi
Talks about:
theori (4) parameter (3) model (3) base (3) smt (3) strategi (2) reason (2) cubicl (2) combin (2) point (2)

Person: Sylvain Conchon

DBLP DBLP: Conchon:Sylvain

Contributed to:

FM 20152015
CAV 20122012
IJCAR 20122012
SMT 20122012
TACAS 20112011
ESOP 20082008
SMT 20072008
CADE 20032003
TACAS 20032003
ESOP 20012001
ICFP 20002000
CAV (2) 20172017
IJCAR 20182018

Wrote 14 papers:

FM-2015-ConchonMZ #model checking
Certificates for Parameterized Model Checking (SC, AM, FZ), pp. 126–142.
CAV-2012-ConchonGKMZ #model checking #named #parallel #smt
Cubicle: A Parallel SMT-Based Model Checker for Parameterized Systems — Tool Paper (SC, AG, SK, AM, FZ), pp. 718–724.
IJCAR-2012-BobotCCIMMM #integer #linear
A Simplex-Based Extension of Fourier-Motzkin for Solving Linear Integer Arithmetic (FB, SC, EC, MI, AM, AM, GM), pp. 67–81.
SMT-2012-ConchonMRI #axiom #float #smt
Built-in Treatment of an Axiomatic Floating-Point Theory for SMT Solvers (SC, GM, CR, MI), pp. 12–21.
SMT-2012-DrossCKP #reasoning
Reasoning with Triggers (CD, SC, JK, AP), pp. 22–31.
TACAS-2011-ConchonCI #modulo theories
Canonized Rewriting and Ground AC Completion Modulo Shostak Theories (SC, EC, MI), pp. 45–59.
ESOP-2008-ConchonF #data type
Semi-persistent Data Structures (SC, JCF), pp. 322–336.
SMT-2007-ConchonCKL08 #congruence #semantics
CC(X): Semantic Combination of Congruence Closure with Solvable Theories (SC, EC, JK, SL), pp. 51–69.
Canonization for Disjoint Unions of Theories (SK, SC), pp. 197–211.
Strategies for Combining Decision Procedures (SC, SK), pp. 537–552.
ESOP-2001-ConchonP #calculus #constraints #type inference
JOIN(X): Constraint-Based Type Inference for the Join-Calculus (SC, FP), pp. 221–236.
ICFP-2000-PottierC #data flow #for free
Information flow inference for free (FP, SC), pp. 46–57.
CAV-2017-ConchonIJMF #float #reasoning #smt
A Three-Tier Strategy for Reasoning About Floating-Point Numbers in SMT (SC, MI, KJ, GM, CF), pp. 419–435.
IJCAR-2018-ConchonDZ #memory management #model checking
Cubicle- W : Parameterized Model Checking on Weak Memory (SC, DD, FZ), pp. 152–160.

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.