POPL

POPL
Name	POPL
Discipline	Programming languages, Type theory, Formal methods
Publisher	ACM SIGPLAN
Country	International
First	1973
Frequency	Annual

Contents

POPL POPL is an annual scholarly conference focusing on programming languages and formal methods, bringing together researchers from venues such as ACM, SIGPLAN, ACM SIGACT, ACM SIGOPS, and institutions like MIT, Stanford University, University of Cambridge, Carnegie Mellon University. It serves as a forum where contributors from Princeton University, Harvard University, University of California, Berkeley, Microsoft Research, Google Research, ETH Zurich, and INRIA present advances that intersect with work from Bell Labs, IBM Research, Facebook AI Research, Oracle Corporation, and Amazon Web Services.

History

POPL traces origins to formative meetings among researchers affiliated with ACM SIGPLAN and SIGACT in the early 1970s, contemporaneous with gatherings like POPL'73 and parallels at IFIP workshops, evolving alongside milestones such as the development of ALGOL, ML (programming language), Lambda calculus, and foundational texts by authors connected to Harvard, Yale University, and Princeton. Its chronology intersects with the careers of figures associated with Robin Milner, Tony Hoare, John Backus, Dana Scott, and institutions like Bell Labs and University of Edinburgh. Over decades POPL has migrated venues across cities including New York City, San Francisco, Paris, Edinburgh, Stockholm, and Tokyo, reflecting ties to conferences such as ICFP, PLDI, CAV, and LICS.

POPL’s remit embraces topics spanning type systems, semantics, verification, and program analysis, connecting to work from Type theory pioneers at University of Cambridge and INRIA, and research labs like Microsoft Research and Bell Labs. Typical subjects include contributions related to Lambda calculus, Dependent types, Model checking, Abstract interpretation, Hoare logic, Separation logic, Program synthesis, and Concurrency theory developed at centers such as Carnegie Mellon University, ETH Zurich, University of Toronto, and University of Illinois Urbana-Champaign. Cross-disciplinary ties link POPL research to projects at DARPA, NSF, European Research Council, and collaborations with Google Research and Amazon Web Services on verification, compiler correctness, and security.

POPL is organized under the aegis of ACM SIGPLAN with proceedings published in the ACM Digital Library and indexed alongside content from IEEE Computer Society venues. The conference features peer-reviewed papers, invited talks by researchers from MIT, Stanford University, Princeton University, and UC Berkeley, as well as tutorials and panels involving participants from IBM Research, Microsoft Research, INRIA, and ETH Zurich. Proceedings have historically included landmark works referenced in catalogs maintained by DBLP, Google Scholar, and curated lists at ACM SIGPLAN Programming Languages resources. POPL's program committees often include committee members from Cornell University, University of Pennsylvania, University of Cambridge, National University of Singapore, and Technical University of Munich.

POPL has published foundational results that influenced systems and theory at organizations like Bell Labs, Microsoft Research, IBM Research, and academic departments such as University of Edinburgh, University of Oxford, Princeton University. Highlights include seminal advances in type inference tied to authors associated with Cambridge University, progress on formal verification relating to separation logic researchers at University College London, and breakthroughs in program synthesis from teams at Carnegie Mellon University and Stanford University. Influential contributions presented at POPL have shaped tools and languages developed at Google Research, Facebook AI Research, Oracle Corporation, and Amazon Web Services, and influenced standards and campaigns supported by DARPA and NSF funding programs.

The POPL community comprises academics and industry researchers affiliated with ACM SIGPLAN, SIGACT, SIGOPS, and universities such as MIT, Stanford University, Harvard University, UC Berkeley, and Carnegie Mellon University. The conference recognizes excellence through distinctions and awards connected historically to ACM honors, with program chairs and award committees including scholars from INRIA, ETH Zurich, University of Cambridge, Princeton University, and Cornell University. Community activities extend to doctoral workshops and mentoring programs involving representatives from Microsoft Research, IBM Research, Google Research, Oracle Corporation, and national funding bodies such as NSF and European Research Council.

POPL maintains close relationships with neighboring conferences and workshops such as ICFP, PLDI, CAV, LICS, SOSP, OSDI, FLoC, VMCAI, TACAS, and regional events tied to institutions like ETH Zurich, INRIA, University of Cambridge, Technical University of Munich, and University of Edinburgh. Its influence permeates programming languages, verification, and security research at labs and universities including Microsoft Research, Google Research, IBM Research, Carnegie Mellon University, Stanford University, MIT, and UC Berkeley, shaping curricula, tools, and funding priorities across DARPA, NSF, and European programs.

Category:Academic conferences