Daniel DE CARVALHO

Sections

• Verimag
  • Members
  • Publications
  • Tools
  • Ongoing Phd Thesis
  • Jobs and Internships
  • Projects
  • Partners
  • Workshops and Conferences
  • Seminars
  • Documents
• Topics
• Contact
• Site Map

---

• Building Access

New publications

• Some Recent Publications (Preuves Formelles)
  • Sylvain Boulmé: Formally Verified Defensive Programming (efficient Coq-verified computations from untrusted ML oracles)
  • David Monniaux, Cyril Six: Simple, light, yet formally verified, global common subexpression elimination and loop-invariant code motion
  • Cyril Six: Optimized and formally-verified compilation for a VLIW processor
  • Karine Altisen, Pierre Corbineau, Stéphane Devismes: Exact Worst Case Self-Stabilization Time