Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Stephen N. Freund
conf.researchr.org general profile
ISSTA/ECOOP 2024 profile
PLDI 2015 profile
PLDI 2018 profile
PLDI 2019 profile
PLDI 2020 profile
PLDI 2021 profile
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
POPL 2016 profile
SPLASH 2012 profile
SPLASH 2013 profile
SPLASH 2014 profile
SPLASH 2020 profile
Registered user since Wed 9 Jul 2014
Name:
Stephen N. Freund
Affiliation:
Williams College
Contributions
2024
ECOOP
Author of Mover Logic: A Concurrent Program Logic for Reduction and Rely-Guarantee Reasoning within the Technical Papers-track
2021
PLDI
Committee Member in Virtualization Committee
General Chair in Organizing Committee
2020
SPLASH
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
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)
PLMW
Panelist of Panel: Charting your Path within the PLMW@PLDI 2020-track
2019
PLDI
Sponsorship Co-Chair in Organizing Committee
2018
PLDI
Committee Member in External Program Committee
2017
FTfJP
Author of Correctness of Partial Escape Analysis for Multithreading Optimization within the FTfJP 2017-track
PLMW
Panelist in Mentors within the PLMW-track
Panelist of Career paths in Computer Science within the PLMW-track
PLDI
Committee Member in External Program Committee
Author of BigFoot: Static Check Placement for Dynamic Race Detection within the PLDI Research Papers-track
2015
PLDI
Committee Member in External Review Committee within the Research Papers-track
2014
SPLASH
Committee Member in External Review Committee within the OOPSLA-track
2013
SPLASH
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
2012
FOOL
Committee Member in Program Committee within the FOOL 2012-track
Share
x
Sun 22 Dec 02:34
