Stephanie Balzer

Registered user since Thu 5 Jun 2014

Name: Stephanie Balzer

Country: United States

Affiliation: Carnegie Mellon University, USA

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

Research interests: Programming languages, program verification, type theory, and logic

Contributions

PLMW 2020Organizer in Organizing Committee within the PLMW 2020-track
POPL 2020Committee Member in Organizers within the W@POPL-track
Committee Member in Organizing Committee within the Mentoring Breakfasts-track
BEAT 2019Committee Member in Program Committee within the BEAT 2019-track
PLMW 2019Panelist in Panelists within the PLMW@POPL-track
Panelist of Panel: Grad School and Beyond within the PLMW@POPL-track
PLACES 2019Author of Keynote: Shared Session Types for Safe, Practical Concurrency within the PLACES-track
ESOP 2019Author 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 2019Mentor 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 2019Author of [T6] Session-Typed Concurrent Programming within the TutorialFest-track
HOPE 2018Committee Member in Program Committee within the HOPE 2018-track
ICFP 2017Author of Manifest Sharing with Session Types within the Research Papers-track
IWACO 2016Speaker of Objects as Session-Typed Processes within the IWACO-track
AGERE! 2015Author of Objects as Session-Typed Processes within the AGERE-track
POPL 2016Committee Member in Artifact Evaluation committee within the Artifact Evaluation-track
ECOOP 2015Committee Member in Programme Committee within the Research Track-track
SPLASH 2014Chair in Program Committee within the Workshops-track
Workshops Co-Chair in Organizing Committee
Committee Member in Program Committee within the Workshops-track
FOOL 2012Author of Selective Ownership: Combining Object and Type Hierarchies for Flexible Sharing within the FOOL 2012-track