Filter
Role Type
Contributing to
Number of Roles
Country
Search

Results (130)

Albarghouthi, Aws
University of Wisconsin-Madison, USA
B
Bansal, Sorav
IIT Delhi and CompilerAI LabsIndia
Barowy, Dan
Williams CollegeUnited States
Bastani, Osbert
University of PennsylvaniaUnited States
Bornholt, James
University of Texas at AustinUnited States
Bowman, William J.
University of British ColumbiaCanada
Chajed, Tej
Massachusetts Institute of Technology, USAUnited States
Chang, Bor-Yuh Evan
University of Colorado Boulder & Amazon
Chasins, Sarah E.
University of California at BerkeleyUnited States
Chu, Shumo
University of Washington, USAChina
D
Demsky, Brian
University of California at Irvine
E
Enea, Constantin
Ecole Polytechnique / LIX / CNRSFrance
F
Feng, Yu
University of California at Santa BarbaraUnited States
Foster, Nate
Cornell UniversityUnited States
G
Giannarakis, Nick
University of Wisconsin-Madison
Gleissenthall, Klaus v.
Vrije Universiteit Amsterdam, Netherlands
Gonnord, Laure
Univ. Grenoble Alpes, Grenoble INP, LCIS, Valence, FranceFrance
Gordon, Colin
Drexel UniversityUnited States
Gottschlich, Justin
Intel Labs / PennUnited States
Gu, Ronghui
Columbia UniversityUnited States
Guan, Hui
University of Massachusetts at AmherstUnited States
Guha, Arjun
Northeastern UniversityUnited States
Holtzen, Steven
Northeastern UniversityUnited States
Hosking, Tony
Australian National UniversityAustralia
Hsu, Justin
University of Wisconsin-Madison, USAUnited States
Huang, Jeff
Texas A&M UniversityUnited States
Jhala, Ranjit
University of California at San Diego
Kapritsos, Manos
University of Michigan, USA
Kasikci, Baris
University of Michigan, USA
Kulkarni, Milind
Purdue UniversityUnited States
Lea, Doug
State University of New York (SUNY) OswegoUnited States
Leather, Hugh
University of Edinburgh, UK
Lemieux, Caroline
Microsoft ResearchUnited States
Long, Fan
University of Toronto, Canada
Maleki, Saeed
Microsoft ResearchUnited States
Martins, Ruben
Carnegie Mellon UniversityUnited States
McClurg, Jedidiah
Colorado School of MinesUnited States
Mendis, Charith
University of Illinois at Urbana-Champaign
Mezini, Mira
TU Darmstadt, GermanyGermany
Milanova, Ana
Rensselaer Polytechnic Institute
Miltner, Anders
The University of Texas at Austin, Texas, USAUnited States
Misailovic, Sasa
University of Illinois at Urbana-ChampaignUnited States
Moss, Eliot
University of Massachusetts Amherst
N
Nagarajan, Vijay
University of Edinburgh, UK
Nagarakatte, Santosh
Rutgers UniversityUnited States
Nandi, Chandrakana
Certora, inc.United States
O
O'Boyle, Michael F. P.
University of Edinburgh
P
Pai, Sreepathi
University of RochesterUnited States
Palsberg, Jens
University of California at Los AngelesUnited States
Piskac, Ruzica
Yale UniversityUnited States
Prabhakar, Raghu
SambaNova Systems, Inc.United States
Păsăreanu, Corina S.
Carnegie Mellon UniversityUnited States
Raghothaman, Mukund
University of Southern CaliforniaUnited States
Rand, Robert
University of ChicagoUnited States
Ringer, Talia
University of Illinois at Urbana-ChampaignUnited States
Rodríguez, Gabriel
Universidade da CoruñaSpain
Sen, Koushik
University of California at BerkeleyUnited States
Shen, Xipeng
North Carolina State University; FacebookUnited States
Smith, Calvin
University of Texas AustinUnited States
Stefan, Deian
University of California at San Diego, USA
Thakur, Aditya V.
University of California at DavisUnited States
V
Van Horn, David
University of MarylandUnited States
W
Wahl, Thomas
GrammaTech, Inc.United States
Wang, Chenglong
University of Washington, USA
Wies, Thomas
New York UniversityUnited States
Z
Zhang, Danfeng
Pennsylvania State UniversityUnited States
Zhang, Qirun
Georgia Institute of Technology, USA
Zhang, Yizhou
University of WaterlooCanada