Diego Caminha Barbosa De Oliveira

According to our database, Diego Caminha Barbosa De Oliveira authored at least 8 papers between 2009 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

Systematic Debugging Methods for Large-Scale HPC Computational Frameworks.

Alan Humphrey, Qingyu Meng, Martin Berzins, Diego Caminha Barbosa De Oliveira, Zvonimir Rakamaric, Ganesh Gopalakrishnan

Comput. Sci. Eng., 2014

Systematic Debugging of Concurrent Systems Using Coalesced Stack Trace Graphs.

Diego Caminha Barbosa De Oliveira, Zvonimir Rakamaric, Ganesh Gopalakrishnan, Alan Humphrey, Qingyu Meng, Martin Berzins

Proceedings of the Languages and Compilers for Parallel Computing, 2014

2013

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

Proceedings of the 5th International Workshop on Software Engineering for Computational Science and Engineering, 2013

2012

Combining decision procedures by (model-)equality propagation.

Diego Caminha Barbosa De Oliveira, David Déharbe, Pascal Fontaine

Sci. Comput. Program., 2012

Experiments on the feasibility of using a floating-point simplex in an SMT solver.

Diego Caminha Barbosa De Oliveira, David Monniaux

Proceedings of the Third Workshop on Practical Aspects of Automated Reasoning, 2012

2011

Fragments de l'arithmétique dans une combinaison de procédures de décision. (Fragments of arithmetic in a combination of decision procedures).

Diego Caminha Barbosa De Oliveira

PhD thesis, 2011

2010

GridTPT: a distributed platform for Theorem Prover Testing.

Thomas Bouton, Diego Caminha, David Déharbe, Pascal Fontaine

Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning, 2010

2009

veriT: An Open, Trustable and Efficient SMT-Solver.

Thomas Bouton, Diego Caminha Barbosa De Oliveira, David Déharbe, Pascal Fontaine

Proceedings of the Automated Deduction, 2009