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