ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

The annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) is an academic conference in the field of computer science, with focus on fundamental principles in the design, definition, analysis, and implementation of programming languages, programming systems, and programming interfaces. The venue is jointly sponsored by the two Association for Computing Machinery Special Interest Groups: SIGPLAN and SIGACT.

Author Distribution

Top Authors ( author's name : number of papers / citations )

2014
Nate Foster: 1 / 280
Dexter Kozen: 1 / 280
Cole Schlesinger: 1 / 280
Jean-Baptiste Jeannin: 1 / 280
Carolyn Jane Anderson: 1 / 280
David Walker: 1 / 280
Arjun Guha: 1 / 280
Magnus O. Myreen: 1 / 181
Ramana Kumar: 1 / 181
Michael Norrish: 1 / 181
Scott Owens: 1 / 181
Zachary Kincaid: 3 / 128
Nikhil Swamy: 2 / 123
Pierre-Yves Strub: 2 / 123
Marek Zawirski: 1 / 115
Hongseok Yang: 1 / 115
Sebastian Burckhardt: 1 / 115
Alexey Gotsman: 1 / 115
Stephanie Weirich: 2 / 114
Bengt Jonsson: 1 / 113
2015
Veselin Raychev: 1 / 146
Andreas Krause: 1 / 146
Martin T. Vechev: 1 / 146
Lars Birkedal: 1 / 144
Filip Sieczkowski: 1 / 144
Kasper Svendsen: 1 / 144
Aaron Turon: 1 / 144
Derek Dreyer: 1 / 144
David Swasey: 1 / 144
Ralf Jung: 1 / 144
Vincent Laporte: 1 / 113
Xavier Leroy: 1 / 113
David Pichardie: 1 / 113
Jacques-Henri Jourdan: 1 / 113
Sandrine Blazy: 1 / 113
Grigore Rosu: 1 / 99
Denis Bogdanas: 1 / 99
Julien Lange: 1 / 92
Emilio Tuosto: 1 / 92
Nobuko Yoshida: 1 / 92
2016
Martin Rinard: 1 / 239
Fan Long: 1 / 239
Catalin Hritcu: 3 / 167
Aseem Rastogi: 2 / 148
Nikhil Swamy: 2 / 148
Simon Forest: 1 / 135
Karthikeyan Bhargavan: 1 / 135
Jean Karim Zinzindohoue: 1 / 135
CéDric Fournet: 1 / 135
Santiago Zanella BéGuelin: 1 / 135
Antoine Delignat-Lavaud: 1 / 135
Markulf Kohlweiss: 1 / 135
Chantal Keller: 1 / 135
Pierre-Yves Strub: 1 / 135
Peter Sewell: 2 / 119
Krishnendu Chatterjee: 3 / 100
Hongseok Yang: 2 / 91
Petr Novotný: 2 / 87
Viktor Vafeiadis: 2 / 78
Shaked Flur: 1 / 76
2017
Lars Birkedal: 2 / 68
Chung-Kil Hur: 1 / 62
Jeehoon Kang: 1 / 62
Ori Lahav: 1 / 62
Derek Dreyer: 1 / 62
Viktor Vafeiadis: 1 / 62
Mark Batty: 2 / 61
Martin T. Vechev: 2 / 57
Amin Timany: 1 / 46
Robbert Krebbers: 1 / 46
John Wickerson: 1 / 45
Tyler Sorensen: 1 / 45
George A. Constantinides: 1 / 45
Thomas W. Reps: 1 / 40
Ruben Martins: 1 / 40
Isil Dillig: 1 / 40
Yuepeng Wang: 1 / 40
Yu Feng: 1 / 40
Robert Rand: 1 / 37
Steve Zdancewic: 1 / 37

Publications

Browse by Citation
76

Pushdown control-flow analysis for free.Cited by 33

Thomas Gilray,Steven Lyde,Michael D. Adams 0001,Matthew Might,David Van Horn
(2016)
93

Relational cost analysis.Cited by 28

Ezgi Çiçek,Gilles Barthe,Marco Gaboardi,Deepak Garg,Jan Hoffmann
(2017)