ACM-SIGACT Symposium on Principles of Programming Languages

POPL

CORE rank

CORE rank (raw)

Acceptance rate

26.0% (2024)

Fields of research

Software Engineering

Papers indexed

1,604

1973–2017

Best Software Engineering conferences

Papers per year

197368 peak2017

Most published authors

POPL papers

1,604 records sourced from DBLP. Search titles, filter by year, sort by recency.

Year	Title	Authors
2014	Abstract satisfaction.	Vijay Victor D'Silva, Leopold Haller, Daniel Kroening
2014	Tracing compilation by abstract interpretation.	Stefano Dissegna, Francesco Logozzo, Francesco Ranzato
2014	DroidLegacy: Automated Familial Classification of Android Malware.	Luke Deshotels, Vivek Notani, Arun Lakhotia
2014	Sound compilation of reals.	Eva Darulova, Viktor Kuncak
2014	Minimization of symbolic automata.	Loris D'Antoni, Margus Veanes
2014	Hardware-enforced Protection against Software Reverse-Engineering based on an Instruction Set Encoding.	Jean-Luc Danger, Sylvain Guilley, Florian Praden
2014	A Galois connection calculus for abstract interpretation.	Patrick Cousot, Radhia Cousot
2014	Fissile type analysis: modular checking of almost everywhere invariants.	Devin Coughlin, Bor-Yuh Evan Chang
2014	A sound and complete abstraction for reasoning about parallel prefix sums.	Nathan Chong, Alastair F. Donaldson, Jeroen Ketema
2014	Consistency analysis of decision-making programs.	Swarat Chaudhuri, Azadeh Farzan, Zachary Kincaid
2014	Bridging boolean and quantitative synthesis using smoothed proof search.	Swarat Chaudhuri, Martin Clochard, Armando Solar-Lezama
2014	Profiling for laziness.	Stephen Chang, Matthias Felleisen
2014	Fair reactive programming.	Andrew Cave, Francisco Ferreira, Prakash Panangaden, Brigitte Pientka
2014	Polymorphic functions with set-theoretic types: part 1: syntax, semantics, and evaluation.	Giuseppe Castagna, Kim Nguyen, Zhiwu Xu, Hyeonseung Im, Sergue Lenglet, Luca Padovani
2014	Combining proofs and programs in a dependently typed language.	Chris Casinghino, Vilhelm Sjberg, Stephanie Weirich
2014	Replicated data types: specification, verification, optimality.	Sebastian Burckhardt, Alexey Gotsman, Hongseok Yang, Marek Zawirski
2014	Parametric completeness for separation theories.	James Brotherston, Jules Villard
2014	The essence of Reynolds.	Stephen Brookes, Peter W. O'Hearn, Uday S. Reddy
2014	Verifying eventual consistency of optimistic replication systems.	Ahmed Bouajjani, Constantin Enea, Jad Hamza
2014	Battery transition systems.	Udi Boker, Thomas A. Henzinger, Arjun Radhakrishna
2014	A trusted mechanised JavaScript specification.	Martin Bodin, Arthur Charguraud, Daniele Filaretti, Philippa Gardner, Sergio Maffeis, Daiva Naudziuniene, Alan Schmitt, Gareth Smith
2014	Modular reasoning about concurrent higher-order imperative programs.	Lars Birkedal
2014	A constraint-based approach to solving games on infinite graphs.	Tewodros A. Beyene, Swarat Chaudhuri, Corneliu Popeea, Andrey Rybalchenko
2014	Abstract effects and proof-relevant logical relations.	Nick Benton, Martin Hofmann, Vivek Nigam
2014	Probabilistic relational verification for cryptographic implementations.	Gilles Barthe, Cdric Fournet, Benjamin Grgoire, Pierre-Yves Strub, Nikhil Swamy, Santiago Zanella-Bguelin

226–250 of 1,604← Previous Next →

Comparable venues

Other A*/A conferences filed under the same field of research.