Diego Caminha Barbosa De Oliveira

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2014
Systematic Debugging Methods for Large-Scale HPC Computational Frameworks.
Comput. Sci. Eng., 2014

Systematic Debugging of Concurrent Systems Using Coalesced Stack Trace Graphs.
Proceedings of the Languages and Compilers for Parallel Computing, 2014

2013
Practical formal correctness checking of million-core problem solving environments for HPC.
Proceedings of the 5th International Workshop on Software Engineering for Computational Science and Engineering, 2013

2012
Combining decision procedures by (model-)equality propagation.
Sci. Comput. Program., 2012

Experiments on the feasibility of using a floating-point simplex in an SMT solver.
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).
PhD thesis, 2011

2010
GridTPT: a distributed platform for Theorem Prover Testing.
Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning, 2010

2009
veriT: An Open, Trustable and Efficient SMT-Solver.
Proceedings of the Automated Deduction, 2009


  Loading...