Nuno Lopes

 

my photo

Contact

E-mail: nuno.lopes@ist.utl.pt
Fax: +351 213 145 843
Mail:
INESC-ID, Room 121
Rua Alves Redol, 9
1000-029 Lisbon, Portugal

Instituto Superior Técnico (Universidade de Lisboa) / INESC-ID

 

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