Stephen N. Freund

Registered user since Wed 9 Jul 2014

Name: Stephen N. Freund

Affiliation: Williams College

Contributions

PLDI 2021 Committee Member in Virtualization Committee
General Chair in Organizing Committee
PLMW@PLDI 2020 Panelist of Panel: Charting your Path within the PLMW@PLDI 2020-track
SPLASH 2020 Author 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 2020 Committee 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 2019 Sponsorship Co-Chair in Organizing Committee
FTfJP 2017 Author of Correctness of Partial Escape Analysis for Multithreading Optimization within the FTfJP 2017-track
PLDI 2018 Committee Member in External Program Committee
PLMW 2017 Panelist in Mentors within the PLMW-track
Panelist of Career paths in Computer Science within the PLMW-track
PLDI 2017 Committee Member in External Program Committee
Author of BigFoot: Static Check Placement for Dynamic Race Detection within the PLDI Research Papers-track
PLDI 2015 Committee Member in External Review Committee within the Research Papers-track
SPLASH 2014 Committee Member in External Review Committee within the OOPSLA-track
SPLASH 2013 Author 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 2012 Committee Member in Program Committee within the FOOL 2012-track