Not registered as user yet

Name:Frank Pfenning
Affiliation:Carnegie Mellon University, USA
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