Frank Pfenning -

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

ST30	PC Member in Programme Committee within the ST30-track
ICFP 2022	Author of Back to futures within the ICFP Papers and Events-track
PEPM 2022	Author of Modal Logics and Types: Looking Back and Looking Forward within the PEPM 2022-track
POPL 2021	Committee Member in Program Committee within the POPL-track
ICFP 2019	Committee Member in Program Committee within the Research Papers-track
ESOP 2019	Author of Manifest Deadlock-Freedom for Shared Session Types within the ESOP 2019-track
PLACES 2019	Author of A Message-Passing Interpretation of Adjoint Logic within the PLACES-track
PLMW 2019	Speaker in Speakers within the PLMW@POPL-track Speaker of Technical Talk: How to Think about Types within the PLMW@POPL-track
PEPM 2019	Committee Member in Program Committee within the PEPM 2019-track
ICFP 2018	Author of Parallel Complexity Analysis with Temporal Session Types within the Research Papers-track
POPL 2018	Author of Message-Passing Concurrency and Substructural Logics within the TutorialFest-track
PEPM 2018	Session Chair of Session 1-3 (part of PEPM 2018) Committee Member in Programme Committee within the PEPM 2018-track
ICFP 2017	Author of Manifest Sharing with Session Types within the Research Papers-track
POPL 2017	ERC member in External Review Committee within the POPL-track
POPL 2016	Committee 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
AGERE! 2015	Author of Objects as Session-Typed Processes within the AGERE-track
ESOP 2015	Speaker of FoSSaCS Speaker within the Speakers-track