Stephanie Balzer

Registered user since Thu 5 Jun 2014

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

Contributions

PLMW 2022 Committee Member in Organizing Committee within the PLMW 2022-track
PLMW 2021 Session Chair of Tuesday Panel (part of PLMW 2021)
Co-chair in Organizing Committee within the PLMW 2021-track
ICFP 2021 Committee Member in Program Committee within the Research Papers-track
PLMW 2020 Organizer in Organizing Committee within the PLMW 2020-track
Session Chair of Morning 1 (part of PLMW 2020)
ICFP 2020 Committee Member in External Review Committee within the ICFP Program-track
POPL 2020 Committee Member in Organizers within the W@POPL Dinner-track
Committee Member in Organizing Committee within the Mentoring Breakfasts-track
BEAT 2019 Committee Member in Program Committee within the BEAT 2019-track
PLMW 2019 Panelist in Panelists within the PLMW@POPL-track
Panelist of Panel: Grad School and Beyond within the PLMW@POPL-track
PLACES 2019 Author of Keynote: Shared Session Types for Safe, Practical Concurrency within the PLACES-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
POPL 2019 Author of [T6] Session-Typed Concurrent Programming within the TutorialFest-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
AGERE! 2015 Author of Objects as Session-Typed Processes within the AGERE-track
POPL 2016 Committee Member in Artifact Evaluation committee within the Artifact Evaluation-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