WeChat Mini Program
Old Version Features

    • Proceedings of the ACM on Programming Languages (PACMPL)Journal

    Statistics
    Papers
    领域
    创立年份
    h5-index
    h5-median
    软件工程/系统软件/程序设计语言
    2017
    56
    74
    2021年论文数
    2021年影响因子
    近5年论文平均引用数
    近5年论文引用中位数
    167
    暂无数据
    21.92
    12.00

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

    2017
    Navid Yaghmazadeh: 1 / 263
    Thomas Dillig: 1 / 263
    Yuepeng Wang: 1 / 263
    Isil Dillig: 1 / 263
    Nikhil Swamy: 1 / 119
    Jean Karim Zinzindohoué: 1 / 119
    Aseem Rastogi: 1 / 119
    Peng Wang: 1 / 119
    Santiago Zanella Béguelin: 1 / 119
    Tahina Ramananandro: 1 / 119
    Jonathan Protzenko: 1 / 119
    Catalin Hritcu: 1 / 119
    Karthikeyan Bhargavan: 1 / 119
    Antoine Delignat-Lavaud: 1 / 119
    Cédric Fournet: 1 / 119
    Alastair F. Donaldson: 1 / 108
    Andrei Lascu: 1 / 108
    Hugues Evrard: 1 / 108
    Paul Thomson: 1 / 108
    Joonwon Choi: 1 / 107
    2018
    Yannis Smaragdakis: 2 / 357
    Michael Kong: 1 / 309
    Bernhard Scholz: 1 / 309
    Neville Grech: 1 / 309
    Anton Jurisevic: 1 / 309
    Lexi Brent: 1 / 309
    Benjamin Chung: 2 / 110
    Jeff Bezanson: 2 / 110
    Jan Vitek: 2 / 110
    Jiahao Chen: 1 / 81
    Viral B. Shah: 1 / 81
    Stefan Karpinski: 1 / 81
    Nikos Gorogiannis: 1 / 79
    Ilya Sergey: 1 / 79
    Sam Blackshear: 1 / 79
    Guido Salvaneschi: 2 / 70
    Lukáš Holík: 1 / 66
    Philipp Rümmer: 1 / 66
    Tomáš Vojnar: 1 / 66
    Petr Janků: 1 / 66
    2019
    Alexander J. Summers: 2 / 142
    Peter Müller: 2 / 142
    Vytautas Astrauskas: 1 / 136
    Koushik Sen: 2 / 105
    Azalea Raad: 3 / 93
    Viktor Vafeiadis: 3 / 93
    Son Van Nguyen: 1 / 92
    Shaohua Wang: 1 / 92
    Tien N. Nguyen: 1 / 92
    Yi Li: 1 / 92
    Alejandro Aguirre: 2 / 90
    Deepak Garg: 2 / 90
    Gilles Barthe: 2 / 90
    Marco Gaboardi: 2 / 90
    Anders Mörtberg: 1 / 89
    Andrea Vezzosi: 1 / 89
    Andreas Abel: 1 / 89
    Amrit Kumar: 1 / 85
    Ilya Sergey: 1 / 85
    Lars Birkedal: 2 / 72
    2020
    Alon Uri: 3 / 109
    Philipp Schuster: 3 / 100
    Nicolas Tabareau: 2 / 85
    Yahav Eran: 2 / 84
    Peter W. O'Hearn: 1 / 84
    Simon Boulier: 1 / 83
    Théo Winterhalter: 1 / 83
    Yannick Forster: 1 / 83
    Matthieu Sozeau: 1 / 83
    Klaus Ostermann: 2 / 69
    Martín Abadi: 1 / 64
    Gordon D. Plotkin: 1 / 64
    Zhendong Su: 3 / 62
    Jonathan Immanuel Brachthäuser: 2 / 58
    Nadia Polikarpova: 4 / 55
    Ken Kahn: 1 / 52
    Gushu Li: 1 / 52
    Yuan Xie: 1 / 52
    Henry Lieberman: 1 / 52
    Mingsheng Ying: 1 / 52
    2021
    Lars Birkedal: 5 / 68
    Marco Vassena: 1 / 49
    Klaus von Gleissenthall: 1 / 49
    Sunjay Cauligi: 1 / 49
    Ranjit Jhala: 1 / 49
    Deian Stefan: 1 / 49
    Craig Disselkoen: 1 / 49
    Dean Tullsen: 1 / 49
    Rami Gökhan Kıcı: 1 / 49
    Amin Timany: 3 / 47
    Denis Merigoux: 2 / 41
    Jonathan Ragan-Kelley: 2 / 33
    Steve Zdancewic: 3 / 32
    Jonathan Protzenko: 1 / 29
    Thomas Van Strydonck: 1 / 26
    Sander Huyghebaert: 1 / 26
    Dominique Devriese: 1 / 26
    Alix Trieu: 1 / 26
    Aïna Linn Georges: 1 / 26
    Dougal Maclaurin: 1 / 24
    2022
    Derek Dreyer: 5 / 32
    Adam Chlipala: 3 / 30
    Steve Zdancewic: 2 / 26
    Robbert Krebbers: 5 / 26
    Deepak Garg: 2 / 21
    Ugo Dal Lago: 4 / 19
    Francesco Gavazzo: 3 / 19
    Peter W. O'Hearn: 2 / 18
    Azalea Raad: 2 / 18
    Isil Dillig: 4 / 18
    Josh Berdine: 2 / 18
    Marco Gaboardi: 2 / 18
    Mohsen Lesani: 1 / 16
    Benjamin C. Pierce: 1 / 16
    Li-yao Xia: 1 / 16
    J Brachthäuser: 2 / 16
    Andrew K. Hirsch: 1 / 15
    Nicolas Tabareau: 2 / 15
    Sen Yang: 1 / 14
    Michael Sammler: 2 / 14
    2023
    Soham Chakraborty: 1 / 0
    Shankaranarayanan Krishna: 1 / 0
    Umang Mathur: 1 / 0
    Andreas Pavlogiannis: 1 / 0
    Hünkar Can Tunç: 1 / 0
    Aurèle Barrière: 1 / 0
    Sandrine Blazy: 1 / 0
    David Pichardie: 1 / 0

    论文
    引用数
    年份
    86
    A History of MATLAB
    Cleve Moler, Jack Little
    30
    0
    Cited302020