Rgis Blanc
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2010–2015
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | PLDI | Sound reasoning about integral data types with a reusable SMT solver interface. | Rgis Blanc, Viktor Kuncak |
| 2013 | ECOOP | CafeSat: a modern SAT solver for Scala. | Rgis Blanc |
| 2013 | ECOOP | An overview of the Leon verification system: verification by translation to recursive functions. | Rgis Blanc, Viktor Kuncak, Etienne Kneuss, Philippe Suter |
| 2013 | FMCAD | Interpolation for synthesis on unbounded domains. | Viktor Kuncak, Rgis Blanc |
| 2013 | LPAR | Tree Interpolation in Vampire. | Rgis Blanc, Ashutosh Gupta, Laura Kovcs, Bernhard Kragl |
| 2010 | LPAR | ABC: Algebraic Bound Computation for Loops. | Rgis Blanc, Thomas A. Henzinger, Thibaud Hottelier, Laura Kovcs |