Nuno Lopes

 

my photo

Contact

E-mail: nuno.lopes@ist.utl.pt
Mail:
Microsoft Research
21 Station Road
Cambridge CB1 2FB
United Kingdom

Microsoft Research Cambridge

 

Publications

Last 5:

Complete Publications List (DBLP)

 

Projects

CORK: Compiler Optimization Correctness Checking

DAHL: Distributed Systems in Prolog

HSF: A Software Verifier based on Horn Clauses

PSyCO: Precondition Synthesis for Compiler Optimizations

 

Other Stuff

Presentation Slides

Misc Patches for open-source software

Curriculum Vitae