Filter
Role Type
Contributing to
Number of Roles
Country
Search

Results (128)

Albarghouthi, Aws
University of Wisconsin-Madison, USA
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, Berkeley
Chu, Shumo
University of Washington, USAChina
D
Demsky, Brian
University of California at Irvine
E
Enea, Constantin
University of Paris / IRIF / 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
University of Lyon & LIP, 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
University of California at Los Angeles
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
Navas, Jorge A.
SRI InternationalUnited 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
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ña, SpainSpain
Sen, Koushik
University of California, Berkeley
Shen, Xipeng
North Carolina State UniversityUnited 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
Northeastern UniversityUnited 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