BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
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.
CADE-2003-KrsticC
Canonization for Disjoint Unions of Theories (SK, SC), pp. 197–211.
TACAS-2003-ConchonK
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.