Frank Pfenning
Orcid: 0000000282795817Affiliations:
 Carnegie Mellon University, Pittsburgh, PA, USA
According to our database^{1},
Frank Pfenning
authored at least 178 papers
between 1984 and 2024.
Collaborative distances:
Collaborative distances:
Awards
ACM Fellow
ACM Fellow 2015, "For contributions to the logical foundations of automatic theorem proving and types for programming languages.".
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:

on zbmath.org

on orcid.org

on id.loc.gov

on cs.cmu.edu

on andrej.com

on dl.acm.org
On csauthors.net:
Bibliography
2024
Proc. ACM Program. Lang., January, 2024
CoRR, 2024
Proceedings of the 9th International Conference on Formal Structures for Computation and Deduction, 2024
Implementing a MessagePassing Interpretation of the SemiAxiomatic Sequent Calculus (Sax).
Proceedings of the Coordination Models and Languages, 2024
2023
CoRR, 2023
Proceedings of the 39th Conference on the Mathematical Foundations of Programming Semantics, 2023
Proceedings of the International Symposium on Principles and Practice of Declarative Programming, 2023
Proceedings of the Foundations of Software Science and Computation Structures, 2023
Proceedings of the Coordination Models and Languages, 2023
2022
ACM Trans. Program. Lang. Syst., 2022
Log. Methods Comput. Sci., 2022
Log. Methods Comput. Sci., 2022
J. Log. Algebraic Methods Program., 2022
J. Funct. Program., 2022
Proceedings of the 38th Conference on the Mathematical Foundations of Programming Semantics, 2022
Proceedings of the 7th International Conference on Formal Structures for Computation and Deduction, 2022
Proceedings of the Programming Languages and Systems, 2022
2021
J. Log. Algebraic Methods Program., 2021
CoRR, 2021
CoRR, 2021
Proceedings of the PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming, 2021
Proceedings of the 34th IEEE Computer Security Foundations Symposium, 2021
Proceedings of the Coordination Models and Languages, 2021
2020
CoRR, 2020
CoRR, 2020
Proceedings of the PPDP '20: 22nd International Symposium on Principles and Practice of Declarative Programming, 2020
Proceedings of the 5th International Conference on Formal Structures for Computation and Deduction, 2020
Rast: ResourceAware Session Types with Arithmetic Refinements (System Description).
Proceedings of the 5th International Conference on Formal Structures for Computation and Deduction, 2020
Proceedings of the 31st International Conference on Concurrency Theory, 2020
2019
CoRR, 2019
CoRR, 2019
Proceedings of the Programming Languages and Systems, 2019
Proceedings of the 30th International Conference on Concurrency Theory, 2019
2018
Proc. ACM Program. Lang., 2018
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018
Proceedings of the 29th International Conference on Concurrency Theory, 2018
2017
Proc. ACM Program. Lang., 2017
2016
Math. Struct. Comput. Sci., 2016
Proceedings of the Proceedings Fourth International Workshop on Linearity, 2016
Proceedings of the Proceedings Fourth International Workshop on Linearity, 2016
Proceedings of the Proceedings Eighth Workshop on Intersection Types and Related Systems, 2016
Proceedings of the 43rd Annual ACM SIGPLANSIGACT Symposium on Principles of Programming Languages, 2016
Proceedings of the Programming Languages and Systems  14th Asian Symposium, 2016
2015
Proceedings of the Programming Languages Mentoring Workshop, 2015
Proceedings of the Foundations of Software Science and Computation Structures, 2015
Proceedings of the 5th International Workshop on Programming Based on Actors, 2015
2014
<i>Programming with HigherOrder Logic</i>, by Dale Miller and Gopalan Nadathur, Cambridge University Press, 2012, Hardcover, ISBN10: 052187940X, xiv + 306 pp.
Theory Pract. Log. Program., 2014
A Linear Logic Programming Language for Concurrent Programming over Graph Structures.
Theory Pract. Log. Program., 2014
Linear logical relations and observational equivalences for sessionbased concurrency.
Inf. Comput., 2014
Proceedings of the Trustworthy Global Computing  9th International Symposium, 2014
2013
Proceedings of the Programming Languages and Systems, 2013
Proceedings of the Programming Languages and Systems, 2013
2012
J. Comput. Secur., 2012
Proceedings of the 8th ACM SIGPLAN Workshop on Types in Languages Design and Implementation, 2012
Proceedings of the Foundations of Software Science and Computational Structures, 2012
Proceedings of the Programming Languages and Systems, 2012
Proceedings of the Computer Science Logic (CSL'12), 2012
2011
High. Order Symb. Comput., 2011
Proceedings of the Security and Trust Management  7th International Workshop, 2011
Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2011
Proceedings of the Certified Programs and Proofs  First International Conference, 2011
2010
Refinement Types for Logical Frameworks and Their Interpretation as Proof Irrelevance
Log. Methods Comput. Sci., 2010
Proceedings of the 31st IEEE Symposium on Security and Privacy, 2010
Proceedings of the 3rd International Workshop on Logics, Agents, and Mobility, 2010
Proceedings of the CONCUR 2010  Concurrency Theory, 21th International Conference, 2010
2009
Proceedings of the Typed Lambda Calculi and Applications, 9th International Conference, 2009
Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semanticsbased Program Manipulation, 2009
Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science, 2009
Proceedings of the Automated Deduction, 2009
2008
ACM Trans. Program. Lang. Syst., 2008
ACM Trans. Comput. Log., 2008
A Logical Characterization of Forward and Backward Chaining in the Inverse Method.
J. Autom. Reason., 2008
Imogen: Focusing the Polarized Inverse Method for Intuitionistic Propositional Logic.
Proceedings of the Logic for Programming, 2008
Proceedings of the Automata, Languages and Programming, 35th International Colloquium, 2008
Proceedings of the 21st IEEE Computer Security Foundations Symposium, 2008
2007
Proceedings of the 5th Workshop on Methods for Modalities, 2007
Proceedings of the Second International Workshop on Logical Frameworks and MetaLanguages: Theory and Practice, 2007
Proceedings of the Typed Lambda Calculi and Applications, 8th International Conference, 2007
Proceedings of the Network and Distributed System Security Symposium, 2007
Using Constrained Intuitionistic Linear Logic for Hybrid Robotic Planning Problems.
Proceedings of the 2007 IEEE International Conference on Robotics and Automation, 2007
Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, 2007
2006
Proceedings of the Computer Security, 2006
Proceedings of the 19th IEEE Computer Security Foundations Workshop, 2006
2005
ACM Trans. Comput. Log., 2005
J. Funct. Program., 2005
J. Funct. Program., 2005
Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2005
Proceedings of the 32nd ACM SIGPLANSIGACT Symposium on Principles of Programming Languages, 2005
Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2005
Proceedings of the Computer Science Logic, 19th International Workshop, 2005
Proceedings of the CONCUR 2005  Concurrency Theory, 16th International Conference, 2005
Proceedings of the Automated Deduction, 2005
2004
J. Autom. Reason., 2004
Proceedings of the Fourth International Workshop on Logical Frameworks and MetaLanguages, 2004
Proceedings of the Theorem Proving in Higher Order Logics, 17th International Conference, 2004
Proceedings of the 31st ACM SIGPLANSIGACT Symposium on Principles of Programming Languages, 2004
Proceedings of the 19th IEEE Symposium on Logic in Computer Science (LICS 2004), 2004
Substructural Operational Semantics and Linear DestinationPassing Style (Invited Talk).
Proceedings of the Programming Languages and Systems: Second Asian Symposium, 2004
2003
ACM Trans. Comput. Log., 2003
Theor. Comput. Sci., 2003
J. Log. Comput., 2003
Proceedings of the Types for Proofs and Programs, International Workshop, 2003
Proceedings of the Theorem Proving in Higher Order Logics, 16th International Conference, 2003
Proceedings of the Conference Record of POPL 2003: The 30th SIGPLANSIGACT Symposium on Principles of Programming Languages, 2003
A Learning Algorithm for Localizing People Based on Wireless Signal Strength that Uses Labeled and Unlabeled Data.
Proceedings of the IJCAI03, 2003
Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, 2003
Proceedings of the Foundations of Software Science and Computational Structures, 2003
Proceedings of the Automated Deduction  CADE19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28, 2003
2002
ACM Trans. Comput. Log., 2002
Inf. Comput., 2002
Proceedings of the Intersection Types and Related Systems, 2002
Proceedings of the International Workshop on Logical Frameworks and MetaLanguages, 2002
Proceedings of the Grid Computing, 2002
2001
Theor. Comput. Sci., 2001
Math. Struct. Comput. Sci., 2001
J. ACM, 2001
Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science, 2001
Proceedings of the Handbook of Automated Reasoning (in 2 volumes), 2001
2000
Theor. Comput. Sci., 2000
Inf. Comput., 2000
Ann. Math. Artif. Intell., 2000
Proceedings of the Semantics, 2000
Proceedings of the 2000 ACM SIGPLAN Workshop on Partial Evaluation and SemanticsBased Program Manipulation (PEPM '00), 2000
Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP '00), 2000
1999
Relating Natural Deduction and Sequent Calculus for Intuitionistic NonCommutative Linear Logic.
Proceedings of the Fifteenth Conference on Mathematical Foundations of Progamming Semantics, 1999
Proceedings of the Third Workshop on HigherOrder Operational Techniques in Semantics, 1999
Proceedings of the Typed Lambda Calculi and Applications, 4th International Conference, 1999
Proceedings of the Principles and Practice of Declarative Programming, International Conference PPDP'99, Paris, France, September 29, 1999
Proceedings of the POPL '99, 1999
The Relative Complement Problem for HigherOrder Patterns.
Proceedings of the Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29, 1999
Proceedings of the Automated Deduction, 1999
1998
Stud Logica, 1998
J. Log. Comput., 1998
Algorithms for Equality and Unification in the Presence of Notational Definitions.
Proceedings of the Workshop on Proof Search in TypeTheoretic Languages (in conjunction with CADE15 Conference), 1998
ACM Comput. Surv., 1998
Proceedings of the ACM SIGPLAN '98 Conference on Programming Language Design and Implementation (PLDI), 1998
Proceedings of the ACM SIGPLAN '98 Conference on Programming Language Design and Implementation (PLDI), 1998
Proceedings of the Automated Deduction, 1998
Proceedings of the Automated Deduction, 1998
1997
J. Symb. Log., 1997
Proceedings of the Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, Warsaw, Poland, June 29, 1997
1996
J. Autom. Reason., 1996
Proceedings of the Logic Programming, 1996
Proceedings of the Programming Languages and Systems, 1996
Proceedings of the Trees in Algebra and Programming, 1996
1995
Proceedings of the Eleventh Annual Conference on Mathematical Foundations of Programming Semantics, 1995
Proceedings of the Proceedings, 1995
1994
Proceedings of the Automated Deduction  CADE12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994
1993
On the Undecidability of Partial Polymorphic Type Reconstruction.
Fundam. Informaticae, 1993
Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1993
Unification in a LambdaCalculus with Intersection Types.
Proceedings of the Logic Programming, 1993
HigherOrder Logic Programming as Constraint Logic Programming.
Proceedings of the Principles and Practice of Constraint Programming, 1993
1992
Mach. Learn., 1992
Proceedings of the Seventh Annual Symposium on Logic in Computer Science (LICS '92), 1992
Proceedings of the Automated Deduction, 1992
Dependent Types in Logic Programming.
Proceedings of the Types in Logic Programming., 1992
The Type System of a HigherOrder Logic Programming Language.
Proceedings of the Types in Logic Programming., 1992
1991
Theor. Comput. Sci., 1991
Ann. Pure Appl. Log., 1991
A Declarative Alternative to "Assert" in Logic Programming.
Proceedings of the Logic Programming, Proceedings of the 1991 International Symposium, San Diego, California, USA, Oct. 28, 1991
Proceedings of the ACM SIGPLAN'91 Conference on Programming Language Design and Implementation (PLDI), 1991
Proceedings of the Symposium on Partial Evaluation and SemanticsBased Program Manipulation, 1991
Proceedings of the Sixth Annual Symposium on Logic in Computer Science (LICS '91), 1991
Proceedings of the Extensions of Logic Programming, Second International Workshop, 1991
1990
Types in Logic Programming.
Proceedings of the Logic Programming, 1990
Proceedings of the 10th International Conference on Automated Deduction, 1990
Proceedings of the 10th International Conference on Automated Deduction, 1990
Proceedings of the 10th International Conference on Automated Deduction, 1990
1989
Proceedings of the TAPSOFT'89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1989
Proceedings of the Mathematical Foundations of Programming Semantics, 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29, 1989
Proceedings of the Fourth Annual Symposium on Logic in Computer Science (LICS '89), 1989
1988
Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, 1988
The Ergo Support System: An Integrated Set of Tools for Prototyping Integrated Environments.
Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, 1988
Proceedings of the ACM SIGPLAN'88 Conference on Programming Language Design and Implementation (PLDI), 1988
Proceedings of the 1988 ACM Conference on LISP and Functional Programming, 1988
Proceedings of the 9th International Conference on Automated Deduction, 1988
1986
Proceedings of the 8th International Conference on Automated Deduction, Oxford, England, July 27, 1986
1984
Proceedings of the 7th International Conference on Automated Deduction, 1984