10 Authors in ICLR and POPL
I am one of the 10 researchers in the past decade who have first-authored papers at both ICLR and POPL. All these authors are listed as follows. The script used for this statistics is at here (generated by LLMs).
| # | Author | Affiliation | POPL Papers | ICLR Papers | Research Focus |
|---|---|---|---|---|---|
| 1 | Jonathan Frankle | MIT CSAIL | Example-directed synthesis (2016) | The Lottery Ticket Hypothesis (2019), The Early Phase of Neural Network Training (2020), Pruning Neural Networks at Initialization (2021), Training BatchNorm and Only BatchNorm (2021) | Program Synthesis → Neural Network Pruning |
| 2 | Gagandeep Singh | ETH Zurich / UIUC | Fast polyhedra abstract domain (2017), A practical construction for decomposing numerical abstract domains (2018), An abstract domain for certifying neural networks (2019) | Boosting Robustness Certification of Neural Networks (2019) | Neural Network Verification |
| 3 | Zi Wang | UW-Madison | Interval universal approximation for neural networks (2022) | On the Scalability and Memory Efficiency of Semidefinite Programs for Lipschitz Constant Estimation (2024), Functional Homotopy (2025) | Neural Network Verification |
| 4 | Mark Niklas Müller | ETH Zurich | PRIMA: general and precise neural network certification (2022) | Certify or Predict (2021), Certified Training: Small Boxes are All You Need (2023) | Neural Network Certification |
| 5 | Uri Alon | Technion / CMU | code2vec: learning distributed representations of code (2019) | code2seq (2019), On the Bottleneck of Graph Neural Networks (2021) | Code Representation Learning |
| 6 | Kensen Shi | Google Brain | FrAngel: component-based synthesis with control structures (2019) | CrossBeam: Learning to Search in Bottom-Up Program Synthesis (2022), ExeDec (2024) | Program Synthesis |
| 7 | Ananya Kumar | Stanford | Parallel functional arrays (2017) | Fine-Tuning can Distort Pretrained Features (2022), How to Fine-Tune Vision Models with SGD (2024) | Functional Programming → Transfer Learning |
| 8 | Jeevana Priya Inala | MIT / Microsoft | WebRelate: integrating web data with spreadsheets (2018) | Synthesizing Programmatic Policies that Inductively Generalize (2020) | Program Synthesis |
| 9 | Aymeric Fromherz | CMU / Inria | A verified, efficient embedding of a verifiable assembly language (2019) | Fast Geometric Projections for Local Robustness Certification (2021) | Formal Verification & Robustness |
| 10 | Qiyuan Xu | NTU | Generically Automating Separation Logic by Functors, Homomorphisms, and Modules (2025) | Neural Theorem Proving for Verification Conditions (2026) | Program Verification → Neural Theorem Proving |