Boris Yakobowski

ORCID

Publication Activity (10 Years)

Years Active: 2004-2019
Publications (10 Years): 4

Top Venues

VMCAI

Autom. Softw. Eng.

CoRR

Formal Aspects Comput.

Paris Diderot University, France (PHD)

Education History

Paris Diderot University, France

PHD

Publications

Quentin Bouillaguet, François Bobot, Mihaela Sighireanu, Boris Yakobowski
Exploiting Pointer Analysis in Memory Models for Deductive Verification. VMCAI (2019)
Quentin Bouillaguet, François Bobot, Mihaela Sighireanu, Boris Yakobowski
Exploiting Pointer Analysis in Memory Models for Deductive Verification. CoRR (2018)
Sandrine Blazy, David Bühler, Boris Yakobowski
Structuring Abstract Interpreters Through State and Value Abstractions. VMCAI (2017)
Sandrine Blazy, David Bühler, Boris Yakobowski
Improving static analyses of C programs with conditional predicates. Sci. Comput. Program. 118 (2016)
Florent Kirchner, Nikolai Kosmatov, Virgile Prevosto, Julien Signoles, Boris Yakobowski
Frama-C: A software analysis perspective. Formal Aspects Comput. 27 (3) (2015)
Omar Chebaro, Pascal Cuoq, Nikolai Kosmatov, Bruno Marre, Anne Pacalet, Nicky Williams, Boris Yakobowski
Behind the scenes in SANTE: a combination of static and dynamic analyses. Autom. Softw. Eng. 21 (1) (2014)
Sandrine Blazy, David Bühler, Boris Yakobowski
Improving Static Analyses of C Programs with Conditional Predicates. FMICS (2014)
Pascal Cuoq, Florent Kirchner, Nikolai Kosmatov, Virgile Prevosto, Julien Signoles, Boris Yakobowski
Frama-C - A Software Analysis Perspective. SEFM (2012)
Didier Rémy, Boris Yakobowski
A church-style intermediate language for MLF. Theor. Comput. Sci. 435 (2012)
Pascal Cuoq, Benjamin Monate, Anne Pacalet, Virgile Prevosto, John Regehr, Boris Yakobowski, Xuejun Yang
Testing Static Analyzers with Randomly Generated Programs. NASA Formal Methods (2012)
Pascal Cuoq, Florent Kirchner, Boris Yakobowski
Benchmarking Static Analyzers. COMPARE (2012)
Didier Rémy, Boris Yakobowski
. FLOPS (2010)
Vincent Balat, Jérôme Vouillon, Boris Yakobowski
Experience report: ocsigen, a web programming framework. ICFP (2009)
Didier Rémy, Boris Yakobowski
: graphic type constraints with efficient type inference. ICFP (2008)
Didier Rémy, Boris Yakobowski
types with a linear-time unification algorithm. TLDI (2007)
J. B. Wells, Boris Yakobowski
Graph-Based Proof Counting and Enumeration with Applications for Program Fragment Synthesis. LOPSTR (2004)

Boris Yakobowski.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Boris Yakobowski