Stephanie Balzer -

Registered user since Thu 5 Jun 2014

Name:Stephanie Balzer

Country:United States

Affiliation:Carnegie Mellon University

Personal website:http://www.cs.cmu.edu/~balzers/

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