Diego Caminha Barbosa De Oliveira

Publication Activity (10 Years)

Years Active: 2009-2014
Publications (10 Years): 0

Top Topics

Decision Procedures

Concurrent Systems

Floating Point Arithmetic

Sparse Matrices

Top Venues

Sci. Comput. Program.

Nancy 2 University, France (PHD)

Education History

Nancy 2 University, France

PHD

Publications

Alan Humphrey, Qingyu Meng, Martin Berzins, Diego Caminha Barbosa De Oliveira, Zvonimir Rakamaric, Ganesh Gopalakrishnan
Systematic Debugging Methods for Large-Scale HPC Computational Frameworks. Comput. Sci. Eng. 16 (3) (2014)
Diego Caminha Barbosa De Oliveira, Zvonimir Rakamaric, Ganesh Gopalakrishnan, Alan Humphrey, Qingyu Meng, Martin Berzins
Systematic Debugging of Concurrent Systems Using Coalesced Stack Trace Graphs. LCPC (2014)
Diego Caminha Barbosa De Oliveira, Zvonimir Rakamaric, Ganesh Gopalakrishnan, Alan Humphrey, Qingyu Meng, Martin Berzins
Practical formal correctness checking of million-core problem solving environments for HPC. SE-CSE@ICSE (2013)
Diego Caminha Barbosa De Oliveira, David Monniaux
Experiments on the feasibility of using a floating-point simplex in an SMT solver. PAAR@IJCAR (2012)
Diego Caminha Barbosa De Oliveira, David Déharbe, Pascal Fontaine
Combining decision procedures by (model-)equality propagation. Sci. Comput. Program. 77 (4) (2012)
Thomas Bouton, Diego Caminha Barbosa De Oliveira, David Déharbe, Pascal Fontaine
veriT: An Open, Trustable and Efficient SMT-Solver. CADE (2009)
Diego Caminha Barbosa De Oliveira, David Déharbe, Pascal Fontaine
Combining Decision Procedures by (Model-)Equality Propagation. Electron. Notes Theor. Comput. Sci. 240 (2009)