Stephen Freund

Registered user since Wed 9 Jul 2014

Name: Stephen Freund

Country: United States

Affiliation: Williams College

Contributions

PLDI 2021General Chair in Organizing Committee
PLMW@PLDI 2020Panelist of Panel: Charting your Path within the PLMW@PLDI 2020-track
SPLASH 2020Author of The Anchor Verifier for Blocking and Non-Blocking Concurrent Software within the OOPSLA Artifacts-track
Author of The Anchor Verifier for Blocking and Non-Blocking Concurrent Software within the OOPSLA-track
PLDI 2020Committee Member in Program Committee within the PLDI Research Papers-track
Sponsorship Co-Chair in Organizing Committee
Session Chair of Verification I (part of PLDI Research Papers)
PLDI 2019Sponsorship Co-Chair in Organizing Committee
FTfJP 2017Author of Correctness of Partial Escape Analysis for Multithreading Optimization within the FTfJP 2017-track
PLDI 2018Committee Member in External Program Committee
PLMW 2017Panelist in Mentors within the PLMW-track
Panelist of Career paths in Computer Science within the PLMW-track
PLDI 2017Committee Member in External Program Committee
Author of BigFoot: Static Check Placement for Dynamic Race Detection within the PLDI Research Papers-track
PLDI 2015Committee Member in External Review Committee within the Research Papers-track
SPLASH 2014Committee Member in External Review Committee within the OOPSLA-track
SPLASH 2013Author of Panel — Curriculum 2013: What’s new and how do we adapt? within the SPLASH-E-track
Committee Member in Committee within the SPLASH-E-track
FOOL 2012Committee Member in Program Committee within the FOOL 2012-track