Boris Yakobowski

17 papers A 2B 3C 2Misc 1Journal 5Unranked 3
YearRankTypeTitle / Venue / Authors
2019 B conf
Exploiting Pointer Analysis in Memory Models for Deductive Verification.
VMCAI
Quentin Bouillaguet, François Bobot, Mihaela Sighireanu, Boris Yakobowski
2018 J jnl
Exploiting Pointer Analysis in Memory Models for Deductive Verification.
CoRR
Quentin Bouillaguet, François Bobot, Mihaela Sighireanu, Boris Yakobowski
2017 B conf
Structuring Abstract Interpreters Through State and Value Abstractions.
VMCAI
Sandrine Blazy, David Bühler, Boris Yakobowski
2016 J jnl
Improving static analyses of C programs with conditional predicates.
Sci. Comput. Program.
Sandrine Blazy, David Bühler, Boris Yakobowski
2015 J jnl
Frama-C: A software analysis perspective.
Formal Aspects Comput.
Florent Kirchner, Nikolai Kosmatov, Virgile Prevosto, Julien Signoles, Boris Yakobowski
2014 J jnl
Behind the scenes in SANTE: a combination of static and dynamic analyses.
Autom. Softw. Eng.
Omar Chebaro, Pascal Cuoq, Nikolai Kosmatov, Bruno Marre, Anne Pacalet, Nicky Williams, Boris Yakobowski
2014 C conf
Improving Static Analyses of C Programs with Conditional Predicates.
FMICS
Sandrine Blazy, David Bühler, Boris Yakobowski
2012 J jnl
A church-style intermediate language for MLF.
Theor. Comput. Sci.
Didier Rémy, Boris Yakobowski
2012 — conf
Benchmarking Static Analyzers.
COMPARE
Pascal Cuoq, Florent Kirchner, Boris Yakobowski
2012 B conf
Frama-C - A Software Analysis Perspective.
SEFM
Pascal Cuoq, Florent Kirchner, Nikolai Kosmatov, Virgile Prevosto, Julien Signoles, Boris Yakobowski
2012 — conf
Testing Static Analyzers with Randomly Generated Programs.
NASA Formal Methods
Pascal Cuoq, Benjamin Monate, Anne Pacalet, Virgile Prevosto, John Regehr, Boris Yakobowski, Xuejun Yang
2010 Misc conf
A Church-Style Intermediate Language for ML
FLOPS
Didier Rémy, Boris Yakobowski
2009 A conf
Experience report: ocsigen, a web programming framework.
ICFP
Vincent Balat, Jérôme Vouillon, Boris Yakobowski
2008 A conf
From ML to ML
ICFP
Didier Rémy, Boris Yakobowski
2008 — —
Graphical types and constraints - second-order polymorphism and inference. (Types et contraintes graphiques - polymorphisme de second ordre et inférence).
Boris Yakobowski
2007 — conf
A graphical presentation of ML
TLDI
Didier Rémy, Boris Yakobowski
2004 C conf
Graph-Based Proof Counting and Enumeration with Applications for Program Fragment Synthesis.
LOPSTR
J. B. Wells, Boris Yakobowski