Diego Caminha Barbosa De Oliveira
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2009–2013
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | ICSE | Practical formal correctness checking of million-core problem solving environments for HPC. | Diego Caminha Barbosa De Oliveira, Zvonimir Rakamaric, Ganesh Gopalakrishnan, Alan Humphrey, Qingyu Meng, Martin Berzins |
| 2012 | CADE | Experiments on the feasibility of using a floating-point simplex in an SMT solver. | Diego Caminha Barbosa De Oliveira, David Monniaux |
| 2009 | CADE | veriT: An Open, Trustable and Efficient SMT-Solver. | Thomas Bouton, Diego Caminha Barbosa De Oliveira, David Dharbe, Pascal Fontaine |