Not registered as user yet

Name: Frank Pfenning

Affiliation: Carnegie Mellon University, USA

Personal website: https://www.cs.cmu.edu/~fp/

Research interests: Programming Languages, Logic and Type Theory, Logical Frameworks, Automated Deduction, Trustworthy Computing

Contributions

PLMW 2019Speaker in Speakers within the PLMW@POPL-track
Speaker of Technical Talk: How to Think about Types within the PLMW@POPL-track
PEPM 2019Committee Member in Program Committee within the PEPM 2019-track
PLACES 2019Author of A Message-Passing Interpretation of Adjoint Logic within the PLACES-track
ESOP 2019Author of Manifest Deadlock-Freedom for Shared Session Types within the ESOP 2019-track
ICFP 2019Committee Member in Program Committee within the Research Papers-track
PEPM 2018Session Chair of Session 1-3 (part of PEPM 2018)
Committee Member in Programme Committee within the PEPM 2018-track
ICFP 2018Author of Parallel Complexity Analysis with Temporal Session Types within the Research Papers-track
ICFP 2017Author of Manifest Sharing with Session Types within the Research Papers-track
POPL 2018Author of Message-Passing Concurrency and Substructural Logics within the TutorialFest-track
POPL 2017ERC member in External Review Committee within the POPL-track
AGERE! 2015Author of Objects as Session-Typed Processes within the AGERE-track
POPL 2016Committee Member in Program Committee
Author of Monitors and Blame Assignment for Higher-Order Session Types within the Research Papers-track
Committee Member in Program Committee within the Research Papers-track
ESOP 2015Speaker of FoSSaCS Speaker within the Speakers-track