Get my own profile
Co-authors
Vasco ManquinhoINESC-ID, Instituto Superior Técnico - Universidade de LisboaVerified email at inesc-id.pt
Ines LynceINESC-ID / IST, Universidade de LisboaVerified email at tecnico.ulisboa.pt
Yu FengUniversity of California, Santa BarbaraVerified email at cs.ucsb.edu
Isil DilligUT AustinVerified email at cs.utexas.edu
Saurabh JoshiIIT HyderabadVerified email at cse.iith.ac.in
Osbert BastaniUniversity of PennsylvaniaVerified email at seas.upenn.edu
Daniel KroeningAmazonVerified email at cs.ox.ac.uk
Miguel Terra-NevesResearch Scientist, OutSystemsVerified email at outsystems.com
Martin BrainUniversity of OxfordVerified email at cs.ox.ac.uk
Saswat AnandGoogleVerified email at cs.stanford.edu
Swarat ChaudhuriUniversity of Texas at AustinVerified email at cs.utexas.edu
Tino TeigeChief Research Engineer Innovation & Technology, BTC Embedded Systems AGVerified email at btc-es.de
Peter SchrammelDiffblue Ltd & Lecturer in Computer Science, University of SussexVerified email at sussex.ac.uk
Thomas RepsJ. Barkley Rosser Professor & Rajiv and Ritu Batra Chair, Comp. Sci. Dept., Univ. of WisconsinVerified email at cs.wisc.edu
Mikoláš JanotaAssistant Professor, Instituto Superior Técnico (IST) / INESC-ID, University of LisbonVerified email at sat.inesc-id.pt
Christoph M. WintersteigerMicrosoft ResearchVerified email at microsoft.com
Vijay GaneshAssociate Professor, University of Waterloo, Ontario, CanadaVerified email at uwaterloo.ca
Krzysztof CzarneckiProfessor of Electrical and Computer EngineeringVerified email at gsd.uwaterloo.ca
Edward ZulkoskiPh. D., University of WaterlooVerified email at gsd.uwaterloo.ca
Liana HadareanSynopsysVerified email at synopsys.com
Ruben Martins
Verified email at cs.cmu.edu - Homepage