| 2019 | VMCAI | Exploiting Pointer Analysis in Memory Models for Deductive Verification. | Quentin Bouillaguet, Franois Bobot, Mihaela Sighireanu, Boris Yakobowski |
| 2017 | VMCAI | Structuring Abstract Interpreters Through State and Value Abstractions. | Sandrine Blazy, David Bhler, Boris Yakobowski |
| 2014 | FMICS | Improving Static Analyses of C Programs with Conditional Predicates. | Sandrine Blazy, David Bhler, Boris Yakobowski |
| 2012 | CADE | Benchmarking Static Analyzers. | Pascal Cuoq, Florent Kirchner, Boris Yakobowski |
| 2012 | SEFM | Frama-C - A Software Analysis Perspective. | Pascal Cuoq, Florent Kirchner, Nikolai Kosmatov, Virgile Prevosto, Julien Signoles, Boris Yakobowski |
| 2010 | FLOPS | A Church-Style Intermediate Language for ML | Didier Rmy, Boris Yakobowski |
| 2009 | ICFP | Experience report: ocsigen, a web programming framework. | Vincent Balat, Jrme Vouillon, Boris Yakobowski |
| 2008 | ICFP | From ML to ML | Didier Rmy, Boris Yakobowski |
| 2004 | LOPSTR | Graph-Based Proof Counting and Enumeration with Applications for Program Fragment Synthesis. | J. B. Wells, Boris Yakobowski |