People (19 results)
Andrew Myers

Andrew Myers

Cornell University

… , SOSP’07, CIDR’13, PLDI’13, and PLDI’15. Myers is currently the Editor-in-Chief …

Paul Gazzillo

Paul Gazzillo

University of Central Florida

… been published in venues such as PLDI

Pavel Panchekha

Pavel Panchekha

University of Utah

… the 2015 Distinguished Paper Award at PLDI. His research focuses on developing …

Jeff Huang

Jeff Huang

Texas A&M University

… , ACM SIGSOFT Outstanding Dissertation Award, ACM SIGPLAN PLDI Distinguished Paper …

Michael Carbin

Michael Carbin

Massachusetts Institute of Technology, USA

PLDI, OOPSLA, ASPLOS, LICS, SOSP, ICSE, and PPoPP. …

David Van Horn

David Van Horn

University of Maryland, USA

… in the flagship SIGPLAN conferences, POPL, PLDI, OOPSLA, and ICFP, and his work has been …

Rongxin Wu

Rongxin Wu

Department of Cyber Space Security, Xiamen University

… engineering, including POPL, PLDI, ICSE, FSE, ISSTA, ASE, TSE and EMSE and so …

Jan Vitek

Jan Vitek

Northeastern University

… , ECOOP, Coordination and TOOLS. He was the general chair of PLDI (in Beijing …, JTRES, ICFP, OOPLSA, POPL, PLDI, LCTES, ESOP. …

Benjamin Zorn

Benjamin Zorn

Microsoft Research

… has served as both Program Chair (1999) and General Chair (2010) of the PLDI

Chandra Krintz

Chandra Krintz

UC Santa Barbara

… OOPSLA, DEBS, SEC, ASPLOS, IoTDI, WWW, HotCloud, Cloud, PLDI, TPDS, IC2E …

Albert Cohen

Albert Cohen

Google

… conferences, including PLDI, PPoPP, HiPEAC, CC, the embedded software track of DAC …

Jonathan Bell

Jonathan Bell

Northeastern University

… of the PLDI 2020 Artifact Evaluation Committee. As part of his efforts to broaden …

Marco Pistoia

Marco Pistoia

JPMorgan Chase & Co

… , such as NeurIPS, OOPSLA, ECOOP, PLDI, ICSE, ACSAC, ISSTA, CCS, VMCAI, and the IEEE Symposium … Competition at PLDI 2009. He is the Program Co-chair of the industrial track … 2008 and 2009, CISIM 2012, PLDI 2016 and 2017, CCS 2017, and ICSE 2012, 2017 …

small-avatar

Cedric Bastoul

Huawei

… journals and conferences in compilation such as ACM PLDI, ACM POPL, ACM CGO, ACM ICS …

Viktor Kunčak

Viktor Kunčak

EPFL, Switzerland

… award at ICSE. A PLDI paper he co-authored was published in the Communications …

Kathryn S McKinley

Kathryn S McKinley

Google

… , PLDI, ISMM, and CGO. She currently serves on the CRA Board, the CRA-W Board …

Shan Lu

Shan Lu

University of Chicago

… Award at PLDI 2011, and an IEEE Micro Top Picks in ASPLOS 2006.

Shan currently …

Alexandre Eichenberger

Alexandre Eichenberger

IBM Research

… in journals and conferences including MICRO, PACT, PLDI, CGO, ICS. …

Thomas Reps

Thomas Reps

University of Wisconsin-Madison, USA

… Conference on Programming Language Design and Implementation (PLDI), 1979-99. According …