Boris Yakobowski

According to our database, Boris Yakobowski authored at least 15 papers between 2004 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Exploiting Pointer Analysis in Memory Models for Deductive Verification.

Quentin Bouillaguet, François Bobot, Mihaela Sighireanu, Boris Yakobowski

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2019

2017

Structuring Abstract Interpreters Through State and Value Abstractions.

Sandrine Blazy, David Bühler, Boris Yakobowski

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017

2016

Improving static analyses of C programs with conditional predicates.

Sandrine Blazy, David Bühler, Boris Yakobowski

Sci. Comput. Program., 2016

2015

Frama-C: A software analysis perspective.

Florent Kirchner, Nikolai Kosmatov, Virgile Prevosto, Julien Signoles, Boris Yakobowski

Formal Aspects Comput., 2015

2014

Behind the scenes in SANTE: a combination of static and dynamic analyses.

Omar Chebaro, Pascal Cuoq, Nikolai Kosmatov, Bruno Marre, Anne Pacalet, Nicky Williams, Boris Yakobowski

Autom. Softw. Eng., 2014

2012

A church-style intermediate language for MLF.

Didier Rémy, Boris Yakobowski

Theor. Comput. Sci., 2012

Frama-C - A Software Analysis Perspective.

Pascal Cuoq, Florent Kirchner, Nikolai Kosmatov, Virgile Prevosto, Julien Signoles, Boris Yakobowski

Proceedings of the Software Engineering and Formal Methods - 10th International Conference, 2012

Testing Static Analyzers with Randomly Generated Programs.

Pascal Cuoq, Benjamin Monate, Anne Pacalet, Virgile Prevosto, John Regehr, Boris Yakobowski, Xuejun Yang

Proceedings of the NASA Formal Methods, 2012

Benchmarking Static Analyzers.

Pascal Cuoq, Florent Kirchner, Boris Yakobowski

Proceedings of the 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems, 2012

2010

A Church-Style Intermediate Language for ML^F.

Didier Rémy, Boris Yakobowski

Proceedings of the Functional and Logic Programming, 10th International Symposium, 2010

2009

Experience report: ocsigen, a web programming framework.

Vincent Balat, Jérôme Vouillon, Boris Yakobowski

Proceedings of the Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, 2009

2008

Graphical types and constraints - second-order polymorphism and inference. (Types et contraintes graphiques - polymorphisme de second ordre et inférence).

Boris Yakobowski

PhD thesis, 2008

From ML to ML^F: graphic type constraints with efficient type inference.

Didier Rémy, Boris Yakobowski

Proceedings of the Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, 2008

2007

A graphical presentation of ML^F types with a linear-time unification algorithm.

Didier Rémy, Boris Yakobowski

Proceedings of TLDI'07: 2007 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2007

2004

Graph-Based Proof Counting and Enumeration with Applications for Program Fragment Synthesis.

J. B. Wells, Boris Yakobowski

Proceedings of the Logic Based Program Synthesis and Transformation, 2004