A Simplex-Based Extension of Fourier-Motzkin for Solving Linear Integer Arithmetic05 juillet 2012François Bobot, Sylvain Conchon, Evelyne Contejean, Mohamed Iguernelala, Assia Mahboubi, Alain Mebsout, and Guillaume Melquiond. IJCAR 2012
Cubicle: A Parallel SMT-based Model Checker for Parameterized Systems22 mars 2012Sylvain Conchon, Amit Goel, Sava Krstic, Alain Mebsout, Fatiha Zaïdi, CAV 2012
EATCS Award for Best ETAPS Paper 201130 mars 2011S. Conchon, E. Contejean et M. Iguernelala obtiennent le EATCS Award pour le meilleur article en informatique théorique à ETAPS'11.
Formal Verification of Floating-Point Programs25 juin 2007By Sylvie Boldo and Jean-Christophe Filliâtre.
18th IEEE Symposium on Computer Arithmetic.
Optimizing XML querying using type-based document projection Article@ACM Transactions on Database Systems (TODS) V. Benzaken, G. Castagna, D. Colazzo, K. Nguyễn14 octobre 2012XML data projection (or pruning) is a natural optimization for main memory query engines: given a query Q over a document D, the subtrees of D that are not necessary to evaluate Q are pruned, thus producing a smaller document on which Q is executed.
Semantic subtyping: dealing set theoretically with function union intersection and negation types01 septembre 2008Journal of the ACM, by Benzaken, Castagna and Frisch
Static and Dynamic Semantics of NoSQL Languages, Accepted at ACM POPL 2013, Véronique Benzaken, Giuseppe Castagna, Kim Nguyễn, Jérôme Siméon .01 octobre 2012NoSQL languages are very popular in the context of cloud computing and big data analytics. The aim is to define a general framework that can both express and type such languages via an encoding into a core calculus. Each such language can in this way pres
