Get my own profile
Public access
View all5 articles
0 articles
available
not available
Based on funding mandates
Co-authors
- Sriram RajamaniMicrosoft Research Verified email at microsoft.com
- James R LarusProfessor, EPFLVerified email at larusstone.org
- Nachiappan NagappanFacebookVerified email at fb.com
- Shuvendu LahiriSenior Principal Researcher, Microsoft ResearchVerified email at microsoft.com
- Shaz QadeerSoftware Engineer, MetaVerified email at meta.com
- Madanlal MusuvathiMicrosoft ResearchVerified email at microsoft.com
- Fred DouglisPeraton LabsVerified email at Peratonlabs.com
- Todd MillsteinProfessor of Computer Science, UCLAVerified email at cs.ucla.edu
- Steve HodgesLancaster University 📄= pub; 💡= patent ; 🏆/🏅= award/mentionVerified email at lancaster.ac.uk
- Stephen G. EickVerified email at kscopeinc.com
- Byron CookProfessor of Computer Science, UCL, AmazonVerified email at cs.ucl.ac.uk
- Rupak MajumdarMPI for Software SystemsVerified email at mpi-sws.org
- Andreas PodelskiProfessor of Computer Science, Freiburg UniversityVerified email at informatik.uni-freiburg.de
- Joe FinneyLancaster UniversityVerified email at comp.lancs.ac.uk
- Sebastian BurckhardtMicrosoft ResearchVerified email at microsoft.com
- James DevineMicrosoftVerified email at microsoft.com
- Mooly SagivTel Aviv UniversityVerified email at acm.org
- Peter J. DanielsenVerified email at uwalumni.com
- Michael BenediktProfessor of Computer Science, Oxford UniversityVerified email at cs.ox.ac.uk
- Thomas RepsJ. Barkley Rosser Professor & Rajiv and Ritu Batra Chair, Comp. Sci. Dept., Univ. of WisconsinVerified email at cs.wisc.edu