Get my own profile
Public access
View all37 articles
3 articles
available
not available
Based on funding mandates
Co-authors
Vasco ManquinhoINESC-ID, Instituto Superior Técnico - Universidade de LisboaVerified email at inesc-id.pt
Ines LynceINESC-ID, Instituto Superior Técnico (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 JoshiSupraOraclesVerified email at cse.iith.ac.in
Miguel Terra-NevesResearch Scientist, OutSystemsVerified email at outsystems.com
Osbert BastaniUniversity of PennsylvaniaVerified email at seas.upenn.edu
Daniel KroeningAmazonVerified email at amazon.com
Martin BrainCity, University of LondonVerified email at city.ac.uk
Saswat AnandGoogleVerified email at cs.stanford.edu
Swarat ChaudhuriUT Austin, Google DeepmindVerified email at cs.utexas.edu
Thomas RepsJ. Barkley Rosser Professor & Rajiv and Ritu Batra Chair Emeritus, CS Dept., Univ. of WisconsinVerified email at cs.wisc.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 diffblue.com
Christoph M. WintersteigerImandraVerified email at imandra.ai
Vijay GaneshProfessor, Georgia Institute of Technology, Atlanta, GA, USAVerified email at gatech.edu
Krzysztof CzarneckiProfessor of Electrical and Computer EngineeringVerified email at gsd.uwaterloo.ca
Edward ZulkoskiPh. D., University of WaterlooVerified email at gsd.uwaterloo.ca
Mikoláš JanotaCTU PragueVerified email at cvut.cz
Liana HadareanAmazon Web ServicesVerified email at amazon.com