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
    31
    被引用58
    87
    Ezgi Çiçek,Gilles Barthe, Marco Gaboardi,Deepak Garg, Jan Hoffmann
    (2017)
    被引用28