Stephanie Balzer

Registered user since Thu 5 Jun 2014

Name:Stephanie Balzer
Country:United States
Affiliation:Carnegie Mellon University
Research interests:Programming languages, type theory, program verification, logic, security

Contributions

SPLASH 2023 PC Member in OOPSLA Review Committee within the OOPSLA-track
POPL 2023 Author of Higher-Order Leak and Deadlock Free Locks within the POPL-track
Session Chair of Semantics & Effects (part of POPL)
Committee Member in Program Committee within the POPL-track
ICFP 2022 Author of Multiparty GV: Functional Multiparty Session Types With Certified Deadlock Freedom within the ICFP Papers and Events-track
ECOOP 2022 Committee Member in Organizing Committee within the Doctoral Symposium-track
Author of Ferrite: A Judgmental Embedding of Session Types in Rust within the Research Papers-track
Doctoral Symposium Co-Chair in Organizers
POPL 2022 Author of Connectivity Graphs: A Method for Proving Deadlock Freedom Based on Separation Logic within the POPL-track
Panelist of Panel 2: the future of concurrency and parallelism within the Virtual Workshop-track
PLMW 2022 Committee Member in Organizing Committee within the PLMW 2022-track
Session Chair of Afternoon 1 (part of PLMW 2022)
Session Chair of Morning 3 (live only, no recording) (part of PLMW 2022)
ICFP 2021 Committee Member in Program Committee within the Research Papers-track
PLMW 2021 Session Chair of Tuesday Panel (part of PLMW 2021)
Co-chair in Organizing Committee within the PLMW 2021-track
ICFP 2020 Committee Member in External Review Committee within the ICFP Program-track
PLMW 2020 Organizer in Organizing Committee within the PLMW 2020-track
Session Chair of Morning 1 (part of PLMW 2020)
POPL 2020 Committee Member in Organizers within the W@POPL Dinner-track
Committee Member in Organizing Committee within the Mentoring Breakfasts-track
ESOP 2019 Author of Manifest Deadlock-Freedom for Shared Session Types within the ESOP 2019-track
Committee Member in Program Committee within the ESOP 2019-track
Session Chair of Program Analysis and Automated Verification (part of ESOP 2019)
ETAPS 2019 Mentor in Mentors within the Mentoring Workshop-track
Author of Science and Sanity: how to do the former while retaining the later (Panel) within the Mentoring Workshop-track
Speaker in Speakers within the Mentoring Workshop-track
PLACES 2019 Author of Keynote: Shared Session Types for Safe, Practical Concurrency within the PLACES-track
POPL 2019 Author of [T6] Session-Typed Concurrent Programming within the TutorialFest-track
PLMW 2019 Panelist in Panelists within the PLMW@POPL-track
Panelist of Panel: Grad School and Beyond within the PLMW@POPL-track
BEAT 2019 Committee Member in Program Committee within the BEAT 2019-track
HOPE 2018 Committee Member in Program Committee within the HOPE 2018-track
ICFP 2017 Author of Manifest Sharing with Session Types within the Research Papers-track
IWACO 2016 Speaker of Objects as Session-Typed Processes within the IWACO-track
POPL 2016 Committee Member in Artifact Evaluation committee within the Artifact Evaluation-track
AGERE! 2015 Author of Objects as Session-Typed Processes within the AGERE-track
ECOOP 2015 Committee Member in Programme Committee within the Research Track-track
SPLASH 2014 Chair in Program Committee within the Workshops-track
Workshops Co-Chair in Organizing Committee
Committee Member in Program Committee within the Workshops-track
FOOL 2012 Author of Selective Ownership: Combining Object and Type Hierarchies for Flexible Sharing within the FOOL 2012-track