From f6ea6340fa415474336aba06a17554b54e82816a Mon Sep 17 00:00:00 2001 From: Manu Sridharan Date: Thu, 7 Aug 2025 17:54:42 -0700 Subject: [PATCH 1/4] hacked in PLDI'25 data --- build.gradle | 1 + ...5_papers_title_authors_named_entities.json | 821 ++++ src/pcminer/PCMiner.java | 38 +- ui/js/data.js | 3586 ++++++++++++++++- 4 files changed, 4440 insertions(+), 6 deletions(-) create mode 100644 data/PLDI/2025/pldi25_papers_title_authors_named_entities.json diff --git a/build.gradle b/build.gradle index f876d13..2ff00d0 100644 --- a/build.gradle +++ b/build.gradle @@ -27,6 +27,7 @@ sourceSets { dependencies { implementation files('lib/htmllexer.jar', 'lib/htmlparser.jar') + implementation 'com.google.code.gson:gson:2.10' } spotless { diff --git a/data/PLDI/2025/pldi25_papers_title_authors_named_entities.json b/data/PLDI/2025/pldi25_papers_title_authors_named_entities.json new file mode 100644 index 0000000..4b0d6aa --- /dev/null +++ b/data/PLDI/2025/pldi25_papers_title_authors_named_entities.json @@ -0,0 +1,821 @@ +[ + { + "title": "A Concurrent Approach to String Transformation Synthesis", + "authors": [ + "Yuantian Ding", + "Xiaokang Qiu" + ] + }, + { + "title": "Active Learning of Symbolic NetKAT Automata", + "authors": [ + "Mark Moeller", + "Tiago Ferreira", + "Thomas Lu", + "Nate Foster", + "Alexandra Silva" + ] + }, + { + "title": "A Hybrid Approach to Semi-automated Rust Verification", + "authors": [ + "Sacha-Élie Ayoun", + "Xavier Denis", + "Petar Maksimović", + "Philippa Gardner" + ] + }, + { + "title": "An Interactive Debugger for Rust Trait Errors", + "authors": [ + "Gavin Gray", + "Will Crichton", + "Shriram Krishnamurthi" + ] + }, + { + "title": "A Uniform Framework for Handling Position Constraints in String Solving", + "authors": [ + "Yu-Fang Chen", + "Vojtěch Havlena", + "Michal Hečko", + "Lukáš Holík", + "Ondřej Lengál" + ] + }, + { + "title": "Automated Exploit Generation for Node.js Packages", + "authors": [ + "Filipe Marques", + "Mafalda Ferreira", + "André Nascimento", + "Miguel E. Coimbra", + "Nuno Santos", + "Limin Jia", + "José Fragoso Santos" + ] + }, + { + "title": "AWDIT: An Optimal Weak Database Isolation Tester", + "authors": [ + "Lasse Møldrup", + "Andreas Pavlogiannis" + ] + }, + { + "title": "Bean: A Language for Backward Error Analysis", + "authors": [ + "Ariel E. Kellison", + "Laura Zielinski", + "David Bindel", + "Justin Hsu" + ] + }, + { + "title": "Certified Compilers à la Carte", + "authors": [ + "Oghenevwogaga Ebresafe", + "Ian Zhao", + "Ende Jin", + "Arthur Bright", + "Charles Jian", + "Yizhou Zhang" + ] + }, + { + "title": "Circuit Optimization using Arithmetic Table Lookups", + "authors": [ + "Raghav Malik", + "Vedant Paranjape", + "Milind Kulkarni" + ] + }, + { + "title": "CompCertOC: Verified Compositional Compilation of Multi-threaded Programs with Shared Stacks", + "authors": [ + "Ling Zhang", + "Yuting Wang", + "Yalun Liang", + "Zhong Shao" + ] + }, + { + "title": "Correctly Rounded Math Libraries without Worrying about the Application’s Rounding Mode", + "authors": [ + "Sehyeok Park", + "Justin Kim", + "Santosh Nagarakatte" + ] + }, + { + "title": "CRGC: Fault-Recovering Actor Garbage Collection in Pekko", + "authors": [ + "Dan Plyukhin", + "Gul Agha", + "Fabrizio Montesi" + ] + }, + { + "title": "Destabilizing Iris", + "authors": [ + "Simon Spies", + "Niklas Mück", + "Haoyi Zeng", + "Michael Sammler", + "Andrea Lattuada", + "Peter Müller", + "Derek Dreyer" + ] + }, + { + "title": "Divergence-Aware Testing of Graphics Shader Compiler Back-Ends", + "authors": [ + "Dongwei Xiao", + "Shuai Wang", + "Zhibo Liu", + "Yiteng Peng", + "Daoyuan Wu", + "Zhendong Su" + ] + }, + { + "title": "DR.FIX: Automatically Fixing Data Races at Industry Scale", + "authors": [ + "Farnaz Behrang", + "Zhizhou (Chris) Zhang", + "Georgian-Vlad Saioc", + "Peng Liu", + "Milind Chabbi" + ] + }, + { + "title": "Dynamic Region Ownership for Concurrency Safety", + "authors": [ + "Fridtjof Stoldt", + "Brandt Bucher", + "Sylvan Clebsch", + "Matthew A. Johnson", + "Matthew J. Parkinson", + "Guido van Rossum", + "Eric Snow", + "Tobias Wrigstad" + ] + }, + { + "title": "Dynamic Robustness Verification against Weak MemoryRemote", + "authors": [ + "Roy Margalit", + "Michalis Kokologiannakis", + "Shachar Itzhaky", + "Ori Lahav" + ] + }, + { + "title": "Efficient Formal Verification of Quantum Error Correcting Programs", + "authors": [ + "Qifan Huang", + "Li Zhou", + "Wang Fang", + "Mengyu Zhao", + "Mingsheng Ying" + ] + }, + { + "title": "Efficient Linearizability Monitoring", + "authors": [ + "Parosh Aziz Abdulla", + "Samuel Grahn", + "Bengt Jonsson", + "Shankaranarayanan Krishna", + "Om Swostik Mishra" + ] + }, + { + "title": "Efficient, Portable, Census-Polymorphic Choreographic Programming", + "authors": [ + "Mako P. Bates", + "Shun Kashiwa", + "Syed Jafri", + "Gan Shen", + "Lindsey Kuper", + "Joseph P. Near" + ] + }, + { + "title": "Efficient Timestamping for Sampling-Based Race Detection", + "authors": [ + "Minjian Zhang", + "Daniel Wee Soong Lim", + "Mosaad Al Thokair", + "Umang Mathur", + "Mahesh Viswanathan" + ] + }, + { + "title": "Exact Loop Bound Analysis", + "authors": [ + "Daniel Riley", + "Grigory Fedyukovich" + ] + }, + { + "title": "Exploiting Undefined Behavior in C/C++ Programs for Optimization: A Study on the Performance Impact", + "authors": [ + "Lucian Popescu", + "Nuno P. Lopes" + ] + }, + { + "title": "Fast Direct Manipulation Programming with Patch-Reconciliation Correspondence", + "authors": [ + "Parker Ziegler", + "Justin Lubin", + "Sarah E. Chasins" + ] + }, + { + "title": "First-Class Verification Dialects for MLIR", + "authors": [ + "Mathieu Fehr", + "Yuyou Fan", + "Hugo Pompougnac", + "John Regehr", + "Tobias Grosser" + ] + }, + { + "title": "Functional Meaning for Parallel Streaming", + "authors": [ + "Nick Rioux", + "Steve Zdancewic" + ] + }, + { + "title": "Graphiti: Bridging Graph and Relational Database Queries", + "authors": [ + "Yang He", + "Ruijie Fang", + "Işıl Dillig", + "Yuepeng Wang" + ] + }, + { + "title": "Guided Tensor Lifting", + "authors": [ + "Yixuan Li", + "José Wesley De Souza Magalhães", + "Alexander Brauckmann", + "Michael F. P. O'Boyle", + "Elizabeth Polgreen" + ] + }, + { + "title": "Handling the Selection Monad", + "authors": [ + "Gordon Plotkin", + "Ningning Xie" + ] + }, + { + "title": "Intrinsic Verification of Parsers and Formal Grammar Theory in Dependent Lambek Calculus", + "authors": [ + "Steven Schaefer", + "Nathan Varner", + "Pedro Henrique Azevedo de Amorim", + "Max S. New" + ] + }, + { + "title": "Iso: Request-Private Garbage Collection", + "authors": [ + "Tianle Qiu", + "Stephen M. Blackburn" + ] + }, + { + "title": "Leveraging Immutability to Validate Hazard Pointers for Optimistic Traversals", + "authors": [ + "Janggun Lee", + "Jeonghyeon Kim", + "Jeehoon Kang" + ] + }, + { + "title": "LiDO-DAG: A Framework for Verifying Safety and Liveness of DAG-Based Consensus Protocols", + "authors": [ + "Longfei Qiu", + "Jingqi Xiao", + "Ji-Yong Shin", + "Zhong Shao" + ] + }, + { + "title": "Lightweight and Locality-Aware Composition of Black-Box Subroutines", + "authors": [ + "Manya Bansal", + "Dillon Sharlet", + "Jonathan Ragan-Kelley", + "Saman Amarasinghe" + ] + }, + { + "title": "Link-Time Optimization of Dynamic Casts in C++ Programs", + "authors": [ + "Xufan Lu", + "Nuno P. Lopes" + ] + }, + { + "title": "Making Concurrent Hardware Verification Sequential", + "authors": [ + "Thomas Bourgeat", + "Jiazheng Liu", + "Adam Chlipala", + "Arvind" + ] + }, + { + "title": "MarQSim: Reconciling Determinism and Randomness in Compiler Optimization for Quantum SimulationRemote", + "authors": [ + "Xiuqi Cao", + "Junyu Zhou", + "Yuhao Liu", + "Yunong Shi", + "Gushu Li" + ] + }, + { + "title": "Membership Testing for Semantic Regular Expressions", + "authors": [ + "Yifei Huang", + "Matin Amini", + "Alexis Le Glaunec", + "Konstantinos Mamouras", + "Mukund Raghothaman" + ] + }, + { + "title": "MISAAL: Synthesis-Based Automatic Generation of Efficient and Retargetable Semantics-Driven OptimizationsRemote", + "authors": [ + "Abdul Rafae Noor", + "Dhruv Baronia", + "Akash Kothari", + "Muchen Xu", + "Charith Mendis", + "Vikram S. Adve" + ] + }, + { + "title": "Modular Construction and Optimization of the UZP Sparse Format for SpMV on CPUs", + "authors": [ + "Alonso Rodríguez-Iglesias", + "Santoshkumar T. Tongli", + "Emily Tucker", + "Louis-Noël Pouchet", + "Gabriel Rodríguez", + "Juan Tourino" + ] + }, + { + "title": "Morello-Cerise: A Proof of Strong Encapsulation for the Arm Morello Capability Hardware ArchitectureRemote", + "authors": [ + "Angus Hammond", + "Ricardo Almeida", + "Thomas Bauereiss", + "Brian Campbell", + "Ian Stark", + "Peter Sewell" + ] + }, + { + "title": "Multi-stage Relational Programming", + "authors": [ + "Michael Ballantyne", + "Rafaello Sanna", + "Jason Hemann", + "William E. Byrd", + "Nada Amin" + ] + }, + { + "title": "Nola: Later-Free Ghost State for Verifying Termination in Iris", + "authors": [ + "Yusuke Matsushita", + "Takeshi Tsukada" + ] + }, + { + "title": "Optimization-Directed Compiler Fuzzing for Continuous Translation Validation", + "authors": [ + "Jaeseong Kwon", + "Bongjun Jang", + "Juneyoung Lee", + "Kihong Heo" + ] + }, + { + "title": "Optimizing Ancilla-Based Quantum Circuits with SPARE", + "authors": [ + "Ritvik Sharma", + "Sara Achour" + ] + }, + { + "title": "Partial Evaluation, Whole-Program Compilation", + "authors": [ + "Chris Fallin", + "Maxwell Bernstein" + ] + }, + { + "title": "Pointer Analysis for Database-Backed Applications", + "authors": [ + "Yufei Liang", + "Teng Zhang", + "Ganlin Li", + "Tian Tan", + "Chang Xu", + "Chun Cao", + "Xiaoxing Ma", + "Yue Li" + ] + }, + { + "title": "Polygon: Symbolic Reasoning for SQL using Conflict-Driven Under-Approximation Search", + "authors": [ + "Pinhan Zhao", + "Yuepeng Wang", + "Xinyu Wang" + ] + }, + { + "title": "Practical Type Inference with Levels", + "authors": [ + "Andong Fan", + "Han Xu", + "Ningning Xie" + ] + }, + { + "title": "Principal Type Inference under a Prefix: A Fresh Look at Static Overloading", + "authors": [ + "Daan Leijen", + "Wenjia Ye" + ] + }, + { + "title": "Probabilistic Kleene Algebra with Angelic Nondeterminism", + "authors": [ + "Shawn Ong", + "Stephanie Ma", + "Dexter Kozen" + ] + }, + { + "title": "Probabilistic Refinement Session TypesRemote", + "authors": [ + "Qiancheng Fu", + "Ankush Das", + "Marco Gaboardi" + ] + }, + { + "title": "Programming by Navigation", + "authors": [ + "Justin Lubin", + "Parker Ziegler", + "Sarah E. Chasins" + ] + }, + { + "title": "Program Skeletons for Automated Program Translation", + "authors": [ + "Bo Wang", + "Tianyu Li", + "Ruishi Li", + "Umang Mathur", + "Prateek Saxena" + ] + }, + { + "title": "Program Synthesis From Partial Traces", + "authors": [ + "Margarida Ferreira", + "Victor Nicolet", + "Joey Dodds", + "Daniel Kroening" + ] + }, + { + "title": "PulseCore: An Impredicative Concurrent Separation Logic for Dependently Typed Programs", + "authors": [ + "Gabriel Ebner", + "Guido Martínez", + "Aseem Rastogi", + "Thibault Dardinier", + "Megan Frisella", + "Tahina Ramananandro", + "Nikhil Swamy" + ] + }, + { + "title": "Quantum Register Machine: Efficient Implementation of Quantum Recursive Programs", + "authors": [ + "Zhicheng Zhang", + "Mingsheng Ying" + ] + }, + { + "title": "QVM: Quantum Gate Virtualization Machine", + "authors": [ + "Nathaniel Tornow", + "Emmanouil Giortamis", + "Pramod Bhatotia" + ] + }, + { + "title": "Random Variate Generation with Formal Guarantees", + "authors": [ + "Feras Saad", + "Wonyeol Lee" + ] + }, + { + "title": "Reductive Analysis with Compiler-Guided Large Language Models for Input-Centric Code OptimizationsRecorded", + "authors": [ + "Xiangwei Wang", + "Xinning Hui", + "Chunhua Liao", + "Xipeng Shen" + ] + }, + { + "title": "RefinedProsa: Connecting Response-Time Analysis with C Verification for Interrupt-Free Schedulers", + "authors": [ + "Kimaya Bedarkar", + "Laila Elbeheiry", + "Michael Sammler", + "Lennard Gäher", + "Björn Brandenburg", + "Derek Dreyer", + "Deepak Garg" + ] + }, + { + "title": "Relational Abstractions Based on Labeled Union-Find", + "authors": [ + "Dorian Lesbre", + "Matthieu Lemerre", + "Hichem Rami Ait-El-Hara", + "François Bobot" + ] + }, + { + "title": "Relaxing Alias Analysis: Exploring the Unexplored Space", + "authors": [ + "Michel Weber", + "Theodoros Theodoridis", + "Zhendong Su" + ] + }, + { + "title": "Ripple: Asynchronous Programming for Spatial Dataflow Architectures", + "authors": [ + "Souradip Ghosh", + "Yufei Shi", + "Brandon Lucia", + "Nathan Beckmann" + ] + }, + { + "title": "Robust Constant-Time Cryptography", + "authors": [ + "Matthew Kolosick", + "Basavesh Ammanaghatta Shivakumar", + "Sunjay Cauligi", + "Marco Patrignani", + "Marco Vassena", + "Ranjit Jhala", + "Deian Stefan" + ] + }, + { + "title": "Robustifying Debug Information Updates in LLVM via Control-Flow Conformance Analysis", + "authors": [ + "Shan Huang", + "Jingjing Liang", + "Ting Su", + "Qirun Zhang" + ] + }, + { + "title": "Roulette: A Language for Expressive, Exact, and Efficient Discrete Probabilistic Programming", + "authors": [ + "Cameron Moy", + "Jack Czenszak", + "John Li", + "Brianna Marshall", + "Steven Holtzen" + ] + }, + { + "title": "RRR-SMR: Reduce, Reuse, Recycle: Better Methods for Practical Lock-Free Data Structures", + "authors": [ + "Md Amit Hasan Arovi", + "Ruslan Nikolaev" + ] + }, + { + "title": "Scalable, Validated Code Translation of Entire Projects using Large Language Models", + "authors": [ + "Hanliang Zhang", + "Cristina David", + "Meng Wang", + "Brandon Paulsen", + "Daniel Kroening" + ] + }, + { + "title": "Semantics of Integrating and Differentiating Singularities", + "authors": [ + "Jesse Michel", + "Wonyeol Lee", + "Hongseok Yang" + ] + }, + { + "title": "Slotted E-Graphs: First-Class Support for (Bound) Variables in E-Graphs", + "authors": [ + "Rudi Schneider", + "Marcus Rossel", + "Amir Shaikhha", + "Andrés Goens", + "Thomas Koehler", + "Michel Steuwer" + ] + }, + { + "title": "Smooth, Integrated Proofs of Cryptographic Constant Time for Nondeterministic Programs and Compilers", + "authors": [ + "Owen Conoly", + "Andres Erbsen", + "Adam Chlipala" + ] + }, + { + "title": "Solving Floating-Point Constraints with Continuous Optimization", + "authors": [ + "Qian Chen", + "Chenqi Cui", + "Fengjuan Gao", + "Yu Wang", + "Ke Wang", + "Linzhang Wang" + ] + }, + { + "title": "Spineless Traversal for Layout Invalidation", + "authors": [ + "Marisa Kirisame", + "Tiezhi Wang", + "Pavel Panchekha" + ] + }, + { + "title": "StacKAT: Infinite State Network Verification", + "authors": [ + "Jules Jacobs", + "Nate Foster", + "Tobias Kappé", + "Dexter Kozen", + "Lily Saada", + "Alexandra Silva", + "Jana Wagemaker" + ] + }, + { + "title": "Stochastic Lazy Knowledge Compilation for Inference in Discrete Probabilistic Programs", + "authors": [ + "Maddy Bowers", + "Alexander K. Lew", + "Joshua B. Tenenbaum", + "Armando Solar-Lezama", + "Vikash K. Mansinghka" + ] + }, + { + "title": "Support Triangle Machine", + "authors": [ + "Jiaying Li", + "Chunxue Hao" + ] + }, + { + "title": "Taking out the Toxic Trash: Recovering Precision in Mixed Flow-Sensitive Static Analyses", + "authors": [ + "Fabian Stemmler", + "Michael Schwarz", + "Julian Erhard", + "Sarah Tilscher", + "Helmut Seidl" + ] + }, + { + "title": "Task-Based Tensor Computations on Modern GPUs", + "authors": [ + "Rohan Yadav", + "Michael Garland", + "Alex Aiken", + "Michael Bauer" + ] + }, + { + "title": "Thrust: A Prophecy-Based Refinement Type System for Rust", + "authors": [ + "Hiromi Ogawa", + "Taro Sekiyama", + "Hiroshi Unno" + ] + }, + { + "title": "Tree Borrows", + "authors": [ + "Neven Villani", + "Johannes Hostert", + "Derek Dreyer", + "Ralf Jung" + ] + }, + { + "title": "Type-Constrained Code Generation with Language Models", + "authors": [ + "Niels Mündler", + "Jingxuan He", + "Hao Wang", + "Koushik Sen", + "Dawn Song", + "Martin Vechev" + ] + }, + { + "title": "Usability Barriers for Liquid Types", + "authors": [ + "Catarina Gamboa", + "Abigail Elena Reese", + "Alcides Fonseca", + "Jonathan Aldrich" + ] + }, + { + "title": "Verified Foundations for Differential Privacy", + "authors": [ + "Markus de Medeiros", + "Muhammad Naveed", + "Tancrède Lepoint", + "Temesghen Kahsai", + "Tristan Ravitch", + "Stefan Zetzsche", + "Anjali Joshi", + "Joseph Tassarotti", + "Aws Albarghouthi", + "Jean-Baptiste Tristan" + ] + }, + { + "title": "Verifying General-Purpose RCU for Reclamation in Relaxed Memory Separation Logic", + "authors": [ + "Jaehwang Jung", + "Sunho Park", + "Janggun Lee", + "Jeho Yeon", + "Jeehoon Kang" + ] + }, + { + "title": "Verifying Lock-Free Traversals in Relaxed Memory Separation Logic", + "authors": [ + "Sunho Park", + "Jaehwang Jung", + "Janggun Lee", + "Jeehoon Kang" + ] + }, + { + "title": "Verifying Solutions to Semantics-Guided Synthesis Problems", + "authors": [ + "Charlie Murphy", + "Keith J.C. Johnson", + "Thomas Reps", + "Loris D'Antoni" + ] + }, + { + "title": "Webs and Flow-Directed Well-Typedness Preserving Program Transformations", + "authors": [ + "Benjamin Quiring", + "David Van Horn", + "John Reppy", + "Olin Shivers" + ] + } +] \ No newline at end of file diff --git a/src/pcminer/PCMiner.java b/src/pcminer/PCMiner.java index ca181f9..13ac88c 100755 --- a/src/pcminer/PCMiner.java +++ b/src/pcminer/PCMiner.java @@ -32,6 +32,10 @@ import org.htmlparser.util.ParserException; import org.htmlparser.util.SimpleNodeIterator; import org.htmlparser.visitors.NodeVisitor; +import com.google.gson.Gson; +import com.google.gson.reflect.TypeToken; +import java.lang.reflect.Type; + /** * This program is a simple utility for doing some analysis on publication and program committee @@ -135,6 +139,10 @@ private void scan(String dirName) throws IOException { System.err.print(theConference + theYear + " "); if (count++ % 10 == 0) System.err.println(); scanConference(file2); + } else if (fileName.endsWith(".json")) { // the file from DBLP + System.err.print(theConference + theYear + " "); + if (count++ % 10 == 0) System.err.println(); + scanConferenceJson(file2); } else if (fileName.endsWith("-pc.txt")) { // the file containing PC members Conference conf = Conference.findOrCreate(theConference); ConferenceInstance ci = ConferenceInstance.findOrCreate(conf, theYear); @@ -209,7 +217,7 @@ public void visitTag(Tag tag) { if (node instanceof TextNode tn) { String sessionName = tn.getText(); - sessionName = + sessionName = sessionName .replace("\n", " ") .replace("\r", " "); // some session names contain line breaks @@ -232,6 +240,34 @@ private boolean ish2(HeadingTag ht) { } } + private void scanConferenceJson(File file) { + Gson gson = new Gson(); + try (FileReader reader = new FileReader(file)) { + Type collectionType = new TypeToken>(){}.getType(); + List papers = gson.fromJson(reader, collectionType); + for (Paper paper : papers) { + theTitle = paper.title(); + theAuthors = new ArrayList<>(); + for (String authorName : paper.authors()) { + Author author = Author.findOrCreate(authorName); + theAuthors.add(author); + } + thePageNums = ""; + Conference conf = Conference.findOrCreate(theConference); + ConferenceInstance ci = ConferenceInstance.findOrCreate(conf, theYear); + Publication pub = new Publication(theTitle, ci, thePageNums, theAuthors, theSession); + for (Author author : theAuthors) { + author.addPublication(pub); + } + publications.add(pub); + } + } catch (IOException e) { + e.printStackTrace(); + } + } + + private static record Paper(String title, List authors) {} + private static String fixPACMPLConfName(String confName) { if (confName.equals("OOPSLA1") || confName.equals("OOPSLA2")) { return "OOPSLA"; diff --git a/ui/js/data.js b/ui/js/data.js index 460848d..4984360 100644 --- a/ui/js/data.js +++ b/ui/js/data.js @@ -1,8 +1,8 @@ -/* file data.js generated on 2025/08/07 17:19:45 +/* file data.js generated on 2025/08/07 17:52:07 456 Conferences analyzed: [ICSE 2013, ICSE 2014, ICSE 2022, ICSE 2015, ICSE 2012, ICSE 1995, ICSE 2008, ICSE 2001, ICSE 2006, ICSE 2007, ICSE 2000, ICSE 2009, ICSE 2017, ICSE 2010, ICSE 2019, ICSE 2021, ICSE 2020, ICSE 2018, ICSE 2011, ICSE 2016, ICSE 1997, ICSE 1999, ICSE 1998, ICSE 1996, ICSE 2005, ICSE 2002, ICSE 2003, ICSE 2004, OOPSLA 2013, OOPSLA 2014, OOPSLA 2022, OOPSLA 2025, OOPSLA 2024, OOPSLA 2023, OOPSLA 2015, OOPSLA 2012, OOPSLA 1995, OOPSLA 2008, OOPSLA 2001, OOPSLA 2006, OOPSLA 2007, OOPSLA 2000, OOPSLA 2009, OOPSLA 2017, OOPSLA 2010, OOPSLA 2026, OOPSLA 2019, OOPSLA 2021, OOPSLA 2020, OOPSLA 2018, OOPSLA 2011, OOPSLA 2016, OOPSLA 1997, OOPSLA 1999, OOPSLA 1998, OOPSLA 1996, OOPSLA 2005, OOPSLA 2002, OOPSLA 2003, OOPSLA 2004, PPoPP 2013, PPoPP 2014, PPoPP 2015, PPoPP 2012, PPoPP 1993, PPoPP 1995, PPoPP 2008, PPoPP 2001, PPoPP 2006, PPoPP 2007, PPoPP 2009, PPoPP 2010, PPoPP 2011, PPoPP 1997, PPoPP 1990, PPoPP 1999, PPoPP 1991, PPoPP 2005, PPoPP 2003, FSE-AE 2015, FSE-AE 2017, FSE-AE 2019, FSE-AE 2018, FSE-AE 2016, ISMM 2013, ISMM 2014, ISMM 2015, ISMM 2012, ISMM 2008, ISMM 2006, ISMM 2007, ISMM 2000, ISMM 2009, ISMM 2010, ISMM 2011, ISMM 2002, ISMM 2004, TFP 2013, TFP 2014, TFP 2022, TFP 2023, TFP 2015, TFP 2012, TFP 2008, TFP 2001, TFP 2006, TFP 2007, TFP 2000, TFP 2009, TFP 2017, TFP 2010, TFP 2019, TFP 2021, TFP 2020, TFP 2018, TFP 2011, TFP 2016, TFP 1999, TFP 2005, TFP 2003, TFP 2004, ECOOP 2013, ECOOP 2014, ECOOP 2015, ECOOP 2012, ECOOP 2008, ECOOP 2001, ECOOP 2006, ECOOP 2007, ECOOP 2000, ECOOP 2009, ECOOP 2017, ECOOP 2010, ECOOP 2019, ECOOP 2020, ECOOP 2018, ECOOP 2011, ECOOP 2016, ECOOP 1997, ECOOP 1999, ECOOP 1998, ECOOP 1996, ECOOP 2005, ECOOP 2002, ECOOP 2003, ECOOP 2004, ASE 2013, ASE 2014, ASE 2022, ASE 2015, ASE 2012, ASE 2008, ASE 2001, ASE 2006, ASE 2007, ASE 2009, ASE 2017, ASE 2010, ASE 2019, ASE 2021, ASE 2020, ASE 2018, ASE 2011, ASE 2016, ASE 2005, ASE 2002, ASE 2003, ASE 2004, OOPSLA-AE 2014, OOPSLA-AE 2015, OOPSLA-AE 2017, OOPSLA-AE 2019, OOPSLA-AE 2018, OOPSLA-AE 2016, SLE 2013, SLE 2014, SLE 2022, SLE 2015, SLE 2012, SLE 2008, SLE 2009, SLE 2017, SLE 2010, SLE 2019, SLE 2021, SLE 2020, SLE 2018, SLE 2011, SLE 2016, ICFP 2013, ICFP 2014, ICFP 2015, ICFP 2012, ICFP 2008, ICFP 2001, ICFP 2006, ICFP 2007, ICFP 2000, ICFP 2009, ICFP 2017, ICFP 2010, ICFP 2019, ICFP 2020, ICFP 2018, ICFP 2011, ICFP 2016, ICFP 1997, ICFP 1999, ICFP 1998, ICFP 1996, ICFP 2005, ICFP 2002, ICFP 2003, ICFP 2004, ESOP 2013, ESOP 2014, ESOP 2022, ESOP 2024, ESOP 2023, ESOP 2015, ESOP 2012, ESOP 1988, ESOP 1986, ESOP 1994, ESOP 1992, ESOP 2008, ESOP 2001, ESOP 2006, ESOP 2007, ESOP 2000, ESOP 2009, ESOP 2017, ESOP 2010, ESOP 2019, ESOP 2021, ESOP 2020, ESOP 2018, ESOP 2011, ESOP 2016, ESOP 1990, ESOP 1999, ESOP 1998, ESOP 1996, ESOP 2005, ESOP 2002, ESOP 2003, ESOP 2004, FSE 2013, FSE 2014, FSE 2022, FSE 2015, FSE 2012, FSE 2008, FSE 2001, FSE 2006, FSE 2007, FSE 2000, FSE 2009, FSE 2017, FSE 2010, FSE 2019, FSE 2021, FSE 2020, FSE 2018, FSE 2011, FSE 2016, FSE 1997, FSE 1999, FSE 1998, FSE 2005, FSE 2002, FSE 2003, FSE 2004, ICFP-AE 2017, ICFP-AE 2019, ICFP-AE 2018, Haskell 2013, Haskell 2014, Haskell 2015, Haskell 2012, Haskell 2008, Haskell 2006, Haskell 2007, Haskell 2009, Haskell 2017, Haskell 2010, Haskell 2019, Haskell 2021, Haskell 2020, Haskell 2018, Haskell 2011, Haskell 2016, Haskell 2005, Haskell 2003, Haskell 2004, POPL-AE 2017, POPL-AE 2019, POPL-AE 2018, POPL-AE 2016, CGO 2013, CGO 2014, CGO 2022, CGO 2015, CGO 2012, CGO 2008, CGO 2006, CGO 2007, CGO 2009, CGO 2017, CGO 2010, CGO 2019, CGO 2021, CGO 2020, CGO 2018, CGO 2011, CGO 2016, CGO 2005, CGO 2003, CGO 2004, ISSTA-AE 2017, ISSTA-AE 2019, ISSTA-AE 2018, ISSTA-AE 2016, POPL 2022, ICFP 2022, POPL 2025, POPL 2024, PLDI 2024, ICFP 2024, POPL 2023, PLDI 2023, ICFP 2023, POPL 2019, POPL 2021, ICFP 2021, POPL 2020, HOPL 2020, POPL 2018, POPL 2013, POPL 2014, POPL 2015, POPL 2012, POPL 1995, POPL 2008, POPL 2001, POPL 2006, POPL 2007, POPL 2000, POPL 2009, POPL 2017, POPL 2010, POPL 2026, POPL 2011, POPL 2016, POPL 1997, POPL 1999, POPL 1998, POPL 1996, POPL 2005, POPL 2002, POPL 2003, POPL 2004, PLDI-AE 2014, PLDI-AE 2015, PLDI-AE 2017, PLDI-AE 2019, PLDI-AE 2018, PLDI-AE 2016, ICSE-AE 2019, ICSE-AE 2020, CC 2013, CC 2014, CC 2022, CC 2015, CC 2012, CC 1988, CC 1994, CC 1992, CC 2008, CC 2001, CC 2006, CC 2007, CC 2000, CC 2009, CC 2017, CC 2010, CC 2019, CC 2021, CC 2020, CC 2018, CC 2011, CC 2016, CC 1990, CC 1999, CC 1998, CC 1996, CC 2005, CC 2002, CC 2003, CC 2004, PLDI 2013, PLDI 2014, PLDI 2022, PLDI 2025, PLDI 2015, PLDI 2012, PLDI 1995, PLDI 2008, PLDI 2001, PLDI 2006, PLDI 2007, PLDI 2000, PLDI 2009, PLDI 2017, PLDI 2010, PLDI 2019, PLDI 2021, PLDI 2020, PLDI 2018, PLDI 2011, PLDI 2016, PLDI 1997, PLDI 1999, PLDI 1998, PLDI 1996, PLDI 2005, PLDI 2002, PLDI 2003, PLDI 2004, ECOOP-AE 2015, ECOOP-AE 2017, ECOOP-AE 2019, ECOOP-AE 2018, ECOOP-AE 2016, ISSTA 2013, ISSTA 2014, ISSTA 2022, ISSTA 2015, ISSTA 2012, ISSTA 2008, ISSTA 2006, ISSTA 2007, ISSTA 2000, ISSTA 2009, ISSTA 2017, ISSTA 2010, ISSTA 2019, ISSTA 2021, ISSTA 2020, ISSTA 2018, ISSTA 2011, ISSTA 2016, ISSTA 1998, ISSTA 1996, ISSTA 2002, ISSTA 2004] - 21974 distinct authors + 22096 distinct authors 3960 distinct PC Members - 18738 publications + 18827 publications */ /* INITIALIZE SUPPORTED CONFERENCES: */ @@ -2008,6 +2008,13 @@ list = [ "conference" : { "series" : "POPL", "year" : 2014}, "pages" : "373-384", "session" : "Reasoning" + }, + { + "title" : "Efficient Linearizability Monitoring", + "authors" : [ "Parosh Aziz Abdulla", "Samuel Grahn", "Bengt Jonsson", "Shankaranarayanan Krishna", "Om Swostik Mishra" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "Flatten and conquer: a framework for efficient analysis of string constraints", @@ -3717,6 +3724,13 @@ list = [ "conference" : { "series" : "OOPSLA", "year" : 2023}, "pages" : "1-30", "session" : "" + }, + { + "title" : "Optimizing Ancilla-Based Quantum Circuits with SPARE", + "authors" : [ "Ritvik Sharma", "Sara Achour" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "Configuration synthesis for programmable analog devices with Arco", @@ -4859,6 +4873,13 @@ list = [ "conference" : { "series" : "POPL", "year" : 2011}, "pages" : " 535-548", "session" : "Medley" + }, + { + "title" : "MISAAL: Synthesis-Based Automatic Generation of Efficient and Retargetable Semantics-Driven OptimizationsRemote", + "authors" : [ "Abdul Rafae Noor", "Dhruv Baronia", "Akash Kothari", "Muchen Xu", "Charith Mendis", "Vikram S. Adve" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "SAFECode: enforcing alias analysis for weakly typed languages", @@ -5744,6 +5765,13 @@ list = [ "conference" : { "series" : "FSE", "year" : 2003}, "pages" : " 337-346", "session" : "Safety and security" + }, + { + "title" : "CRGC: Fault-Recovering Actor Garbage Collection in Pekko", + "authors" : [ "Dan Plyukhin", "Gul A. Agha", "Fabrizio Montesi" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -7975,6 +8003,13 @@ list = [ "conference" : { "series" : "PLDI", "year" : 2022}, "pages" : "625-640", "session" : "Quantum" + }, + { + "title" : "Task-Based Tensor Computations on Modern GPUs", + "authors" : [ "Rohan Yadav", "Michael Garland", "Alexander Aiken", "Michael Bauer" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "Verification of producer-consumer synchronization in GPU programs", @@ -8224,6 +8259,21 @@ list = [ ] }, +{ + "author" : "Hichem Rami Ait-El-Hara", + "publications" : [ + { + "title" : "Relational Abstractions Based on Labeled Union-Find", + "authors" : [ "Dorian Lesbre", "Matthieu Lemerre", "Hichem Rami Ait-El-Hara", "François Bobot" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Jonathan M. Aitken", "publications" : [ @@ -9207,6 +9257,13 @@ list = [ "conference" : { "series" : "POPL", "year" : 2016}, "pages" : "789-801", "session" : "Synthesis" + }, + { + "title" : "Verified Foundations for Differential Privacy", + "authors" : [ "Markus de Medeiros", "Muhammad Naveed", "Tancrède Lepoint", "Temesghen Kahsai", "Tristan Ravitch", "Stefan Zetzsche", "Anjali Joshi", "Joseph Tassarotti", "Aws Albarghouthi", "Jean-Baptiste Tristan" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "Parallelizing top-down interprocedural analyses", @@ -9813,6 +9870,13 @@ list = [ "conference" : { "series" : "PLDI", "year" : 2014}, "pages" : " 4", "session" : "Parallelism 1" + }, + { + "title" : "Usability Barriers for Liquid Types", + "authors" : [ "Catarina Gamboa", "Abigail Elena Reese", "Alcides Fonseca", "Jonathan Aldrich" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "Permission-based ownership: encapsulating state in higher-order typed languages", @@ -11734,6 +11798,21 @@ list = [ { "role" : "PC Member", "conference" : { "series" : "ECOOP", "year" : 1999} } ] }, +{ + "author" : "Ricardo Almeida", + "publications" : [ + { + "title" : "Morello-Cerise: A Proof of Strong Encapsulation for the Arm Morello Capability Hardware ArchitectureRemote", + "authors" : [ "Angus Hammond", "Ricardo Almeida", "Thomas Bauereiss", "Brian Campbell", "Ian Stark", "Peter Sewell" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Rafi Almhana", "publications" : [ @@ -13425,6 +13504,13 @@ list = [ "conference" : { "series" : "PLDI", "year" : 2022}, "pages" : "301-315", "session" : "Tensors" + }, + { + "title" : "Lightweight and Locality-Aware Composition of Black-Box Subroutines", + "authors" : [ "Manya Bansal", "Dillon Sharlet", "Jonathan Ragan-Kelley", "Saman P. Amarasinghe" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "Autotuning algorithmic choice for input sensitivity", @@ -13828,6 +13914,13 @@ list = [ "conference" : { "series" : "POPL", "year" : 2013}, "pages" : " 497-510", "session" : "Compilation" + }, + { + "title" : "Multi-stage Relational Programming", + "authors" : [ "Michael Ballantyne", "Rafaello Sanna", "Jason Hemann", "William E. Byrd", "Nada Amin" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -13849,6 +13942,21 @@ list = [ { "role" : "ERC Member", "conference" : { "series" : "PLDI", "year" : 2018} } ] }, +{ + "author" : "Matin Amini", + "publications" : [ + { + "title" : "Membership Testing for Semantic Regular Expressions", + "authors" : [ "Yifei Huang", "Matin Amini", "Alexis Le Glaunec", "Konstantinos Mamouras", "Mukund Raghothaman" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Mehdi Amini", "publications" : [ @@ -14237,6 +14345,13 @@ list = [ "conference" : { "series" : "PLDI", "year" : 2023}, "pages" : "343-367", "session" : "" + }, + { + "title" : "Intrinsic Verification of Parsers and Formal Grammar Theory in Dependent Lambek Calculus", + "authors" : [ "Steven Schaefer", "Nathan Varner", "Pedro Henrique Azevedo de Amorim", "Max S. New" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -20172,6 +20287,21 @@ list = [ { "role" : "Conference Chair", "conference" : { "series" : "OOPSLA", "year" : 2009} } ] }, +{ + "author" : "Md Amit Hasan Arovi", + "publications" : [ + { + "title" : "RRR-SMR: Reduce, Reuse, Recycle: Better Methods for Practical Lock-Free Data Structures", + "authors" : [ "Md Amit Hasan Arovi", "Ruslan Nikolaev" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Andrea C. Arpaci-Dusseau", "publications" : [ @@ -20710,6 +20840,13 @@ list = [ "conference" : { "series" : "ICFP", "year" : 2017}, "pages" : "24:1-24:30", "session" : "" + }, + { + "title" : "Making Concurrent Hardware Verification Sequential", + "authors" : [ "Thomas Bourgeat", "Jiazheng Liu", "Adam J. Chlipala", "Arvind" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "The essence of Bluespec: a core language for rule-based hardware design", @@ -23995,6 +24132,13 @@ list = [ { "author" : "Sacha-Élie Ayoun", "publications" : [ + { + "title" : "A Hybrid Approach to Semi-automated Rust Verification", + "authors" : [ "Sacha-Élie Ayoun", "Xavier Denis", "Petar Maksimović", "Philippa Gardner" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + }, { "title" : "Gillian, part i: a multi-language platform for symbolic execution", "authors" : [ "José Fragoso Santos", "Petar Maksimovic", "Sacha-Élie Ayoun", "Philippa Gardner" ], @@ -28790,6 +28934,13 @@ list = [ "conference" : { "series" : "OOPSLA", "year" : 2020}, "pages" : "229:1-229:29", "session" : "" + }, + { + "title" : "Multi-stage Relational Programming", + "authors" : [ "Michael Ballantyne", "Rafaello Sanna", "Jason Hemann", "William E. Byrd", "Nada Amin" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -30136,6 +30287,13 @@ list = [ "conference" : { "series" : "PLDI", "year" : 2023}, "pages" : "394-419", "session" : "" + }, + { + "title" : "Lightweight and Locality-Aware Composition of Black-Box Subroutines", + "authors" : [ "Manya Bansal", "Dillon Sharlet", "Jonathan Ragan-Kelley", "Saman P. Amarasinghe" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -31968,6 +32126,21 @@ list = [ ] }, +{ + "author" : "Dhruv Baronia", + "publications" : [ + { + "title" : "MISAAL: Synthesis-Based Automatic Generation of Efficient and Retargetable Semantics-Driven OptimizationsRemote", + "authors" : [ "Abdul Rafae Noor", "Dhruv Baronia", "Akash Kothari", "Muchen Xu", "Charith Mendis", "Vikram S. Adve" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Dan Barowy", "publications" : [ @@ -34393,6 +34566,21 @@ list = [ ] }, +{ + "author" : "Mako P. Bates", + "publications" : [ + { + "title" : "Efficient, Portable, Census-Polymorphic Choreographic Programming", + "authors" : [ "Mako P. Bates", "Shun Kashiwa", "Syed Jafri", "Gan Shen", "Lindsey Kuper", "Joseph P. Near" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Daniel Macêdo Batista", "publications" : [ @@ -35203,6 +35391,13 @@ list = [ "conference" : { "series" : "PPoPP", "year" : 2011}, "pages" : " 13-24", "session" : "Programming for irregular parallelism" + }, + { + "title" : "Task-Based Tensor Computations on Modern GPUs", + "authors" : [ "Rohan Yadav", "Michael Garland", "Alexander Aiken", "Michael Bauer" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "Verification of producer-consumer synchronization in GPU programs", @@ -35262,6 +35457,13 @@ list = [ "conference" : { "series" : "POPL", "year" : 2019}, "pages" : "71:1-71:31", "session" : "" + }, + { + "title" : "Morello-Cerise: A Proof of Strong Encapsulation for the Arm Morello Capability Hardware ArchitectureRemote", + "authors" : [ "Angus Hammond", "Ricardo Almeida", "Thomas Bauereiss", "Brian Campbell", "Ian Stark", "Peter Sewell" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -36685,6 +36887,21 @@ list = [ ] }, +{ + "author" : "Nathan Beckmann", + "publications" : [ + { + "title" : "Ripple: Asynchronous Programming for Spatial Dataflow Architectures", + "authors" : [ "Souradip Ghosh", "Yufei Shi", "Brandon Lucia", "Nathan Beckmann" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Olav Beckmann", "publications" : [ @@ -36715,6 +36932,21 @@ list = [ ] }, +{ + "author" : "Kimaya Bedarkar", + "publications" : [ + { + "title" : "RefinedProsa: Connecting Response-Time Analysis with C Verification for Interrupt-Free Schedulers", + "authors" : [ "Kimaya Bedarkar", "Laila Elbeheiry", "Michael Sammler", "Lennard Gäher", "Björn Brandenburg", "Derek Dreyer", "Deepak Garg" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "William S. Beebee", "publications" : [ @@ -37019,6 +37251,13 @@ list = [ "conference" : { "series" : "FSE", "year" : 2015}, "pages" : "295-306", "session" : "Configurable Systems" + }, + { + "title" : "DR.FIX: Automatically Fixing Data Races at Industry Scale", + "authors" : [ "Farnaz Behrang", "Zhizhou (Chris) Zhang", "Georgian-Vlad Saioc", "Peng Liu", "Milind Chabbi" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "Test migration for efficient large-scale assessment of mobile app coding assignments", @@ -40814,6 +41053,21 @@ list = [ ] }, +{ + "author" : "Maxwell Bernstein", + "publications" : [ + { + "title" : "Partial Evaluation, Whole-Program Compilation", + "authors" : [ "Chris Fallin", "Maxwell Bernstein" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Philip A. Bernstein", "publications" : [ @@ -42524,6 +42778,13 @@ list = [ "conference" : { "series" : "PLDI", "year" : 2022}, "pages" : "888-902", "session" : "Verification and Optimization" + }, + { + "title" : "QVM: Quantum Gate Virtualization Machine", + "authors" : [ "Nathaniel Tornow", "Emmanouil Giortamis", "Pramod Bhatotia" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "Execution reconstruction: harnessing failure reoccurrences for failure reproduction", @@ -44206,6 +44467,21 @@ list = [ ] }, +{ + "author" : "David Bindel", + "publications" : [ + { + "title" : "Bean: A Language for Backward Error Analysis", + "authors" : [ "Ariel E. Kellison", "Laura Zielinski", "David Bindel", "Justin Hsu" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "David Binder", "publications" : [ @@ -46568,6 +46844,13 @@ list = [ "conference" : { "series" : "PLDI", "year" : 2022}, "pages" : "92-107", "session" : "Memory" + }, + { + "title" : "Iso: Request-Private Garbage Collection", + "authors" : [ "Tianle Qiu", "Stephen M. Blackburn" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, Portland, OR, USA, June 15-17, 2015", @@ -48183,6 +48466,13 @@ list = [ "conference" : { "series" : "ESOP", "year" : 2021}, "pages" : "148-177", "session" : "Refine list" + }, + { + "title" : "Relational Abstractions Based on Labeled Union-Find", + "authors" : [ "Dorian Lesbre", "Matthieu Lemerre", "Hichem Rami Ait-El-Hara", "François Bobot" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -53367,6 +53657,13 @@ list = [ "conference" : { "series" : "ICFP", "year" : 2023}, "pages" : "108-124", "session" : "" + }, + { + "title" : "Making Concurrent Hardware Verification Sequential", + "authors" : [ "Thomas Bourgeat", "Jiazheng Liu", "Adam J. Chlipala", "Arvind" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "The essence of Bluespec: a core language for rule-based hardware design", @@ -53641,6 +53938,21 @@ list = [ ] }, +{ + "author" : "Maddy Bowers", + "publications" : [ + { + "title" : "Stochastic Lazy Knowledge Compilation for Inference in Discrete Probabilistic Programs", + "authors" : [ "Maddy Bowers", "Alexander K. Lew", "Joshua B. Tenenbaum", "Armando Solar-Lezama", "Vikash K. Mansinghka" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Matthew Bowers", "publications" : [ @@ -55349,6 +55661,21 @@ list = [ { "role" : "PC Member", "conference" : { "series" : "ECOOP-AE", "year" : 2017} } ] }, +{ + "author" : "Björn Brandenburg", + "publications" : [ + { + "title" : "RefinedProsa: Connecting Response-Time Analysis with C Verification for Interrupt-Free Schedulers", + "authors" : [ "Kimaya Bedarkar", "Laila Elbeheiry", "Michael Sammler", "Lennard Gäher", "Björn Brandenburg", "Derek Dreyer", "Deepak Garg" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Benjamin Brandl", "publications" : [ @@ -55679,6 +56006,13 @@ list = [ "conference" : { "series" : "CC", "year" : 2020}, "pages" : "201-211", "session" : "Refine list" + }, + { + "title" : "Guided Tensor Lifting", + "authors" : [ "Yixuan Li", "José Wesley De Souza Magalhães", "Alexander Brauckmann", "Michael F. P. O'Boyle", "Elizabeth Polgreen" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -57362,6 +57696,21 @@ list = [ ] }, +{ + "author" : "Arthur Bright", + "publications" : [ + { + "title" : "Certified Compilers à la Carte", + "authors" : [ "Oghenevwogaga Ebresafe", "Ian Zhao", "Ende Jin", "Arthur Bright", "Charles Jian", "Yizhou Zhang" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Walter Bright", "publications" : [ @@ -60445,6 +60794,21 @@ list = [ ] }, +{ + "author" : "Brandt Bucher", + "publications" : [ + { + "title" : "Dynamic Region Ownership for Concurrency Safety", + "authors" : [ "Fridtjof Stoldt", "Brandt Bucher", "Sylvan Clebsch", "Matthew A. Johnson", "Matthew J. Parkinson", "Guido van Rossum", "Eric Snow", "Tobias Wrigstad" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Stefan Buchholz", "publications" : [ @@ -63810,6 +64174,13 @@ list = [ "conference" : { "series" : "ICFP", "year" : 2017}, "pages" : "8:1-8:26", "session" : "" + }, + { + "title" : "Multi-stage Relational Programming", + "authors" : [ "Michael Ballantyne", "Rafaello Sanna", "Jason Hemann", "William E. Byrd", "Nada Amin" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -66531,6 +66902,13 @@ list = [ "conference" : { "series" : "PLDI", "year" : 2022}, "pages" : "825-840", "session" : "Verification I" + }, + { + "title" : "Morello-Cerise: A Proof of Strong Encapsulation for the Arm Morello Capability Hardware ArchitectureRemote", + "authors" : [ "Angus Hammond", "Ricardo Almeida", "Thomas Bauereiss", "Brian Campbell", "Ian Stark", "Peter Sewell" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -67415,6 +67793,13 @@ list = [ "conference" : { "series" : "FSE", "year" : 2020}, "pages" : "901-913", "session" : "Machine Learning" + }, + { + "title" : "Pointer Analysis for Database-Backed Applications", + "authors" : [ "Yufei Liang", "Teng Zhang", "Ganlin Li", "Tian Tan", "Chang Xu", "Chun Cao", "Xiaoxing Ma", "Yue Li" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -67835,6 +68220,21 @@ list = [ ] }, +{ + "author" : "Xiuqi Cao", + "publications" : [ + { + "title" : "MarQSim: Reconciling Determinism and Randomness in Compiler Optimization for Quantum SimulationRemote", + "authors" : [ "Xiuqi Cao", "Junyu Zhou", "Yuhao Liu", "Yunong Shi", "Gushu Li" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Yanbin Cao", "publications" : [ @@ -71498,6 +71898,13 @@ list = [ "conference" : { "series" : "POPL", "year" : 2021}, "pages" : "1-30", "session" : "" + }, + { + "title" : "Robust Constant-Time Cryptography", + "authors" : [ "Matthew Kolosick", "Basavesh Ammanaghatta Shivakumar", "Sunjay Cauligi", "Marco Patrignani", "Marco Vassena", "Ranjit Jhala", "Deian Stefan" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "FaCT: a DSL for timing-sensitive computation", @@ -72854,6 +73261,13 @@ list = [ "conference" : { "series" : "PLDI", "year" : 2022}, "pages" : "474-489", "session" : "Concurrency" + }, + { + "title" : "DR.FIX: Automatically Fixing Data Races at Industry Scale", + "authors" : [ "Farnaz Behrang", "Zhizhou (Chris) Zhang", "Georgian-Vlad Saioc", "Peng Liu", "Milind Chabbi" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -76568,6 +76982,20 @@ list = [ "conference" : { "series" : "OOPSLA", "year" : 2021}, "pages" : "1-30", "session" : "" + }, + { + "title" : "Fast Direct Manipulation Programming with Patch-Reconciliation Correspondence", + "authors" : [ "Parker Ziegler", "Justin Lubin", "Sarah E. Chasins" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + }, + { + "title" : "Programming by Navigation", + "authors" : [ "Justin Lubin", "Parker Ziegler", "Sarah E. Chasins" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -81688,6 +82116,13 @@ list = [ "conference" : { "series" : "OOPSLA", "year" : 2024}, "pages" : "500-528", "session" : "" + }, + { + "title" : "Solving Floating-Point Constraints with Continuous Optimization", + "authors" : [ "Qian Chen", "Chenqi Cui", "Fengjuan Gao", "Yu Wang", "Ke Wang", "Linzhang Wang" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -83986,6 +84421,13 @@ list = [ "conference" : { "series" : "OOPSLA", "year" : 2023}, "pages" : "2112-2141", "session" : "" + }, + { + "title" : "A Uniform Framework for Handling Position Constraints in String Solving", + "authors" : [ "Yu-Fang Chen", "Vojtěch Havlena", "Michal Hečko", "Lukáš Holík", "Ondřej Lengál" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "Flatten and conquer: a framework for efficient analysis of string constraints", @@ -88589,6 +89031,20 @@ list = [ "conference" : { "series" : "PLDI", "year" : 2022}, "pages" : "918-933", "session" : "Verification II" + }, + { + "title" : "Making Concurrent Hardware Verification Sequential", + "authors" : [ "Thomas Bourgeat", "Jiazheng Liu", "Adam J. Chlipala", "Arvind" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + }, + { + "title" : "Smooth, Integrated Proofs of Cryptographic Constant Time for Nondeterministic Programs and Compilers", + "authors" : [ "Owen Conoly", "Andres Erbsen", "Adam J. Chlipala" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "A certified type-preserving compiler from lambda calculus to assembly language", @@ -94004,6 +94460,13 @@ list = [ "conference" : { "series" : "OOPSLA", "year" : 2017}, "pages" : "72:1-72:28", "session" : "" + }, + { + "title" : "Dynamic Region Ownership for Concurrency Safety", + "authors" : [ "Fridtjof Stoldt", "Brandt Bucher", "Sylvan Clebsch", "Matthew A. Johnson", "Matthew J. Parkinson", "Guido van Rossum", "Eric Snow", "Tobias Wrigstad" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -96484,6 +96947,13 @@ list = [ "conference" : { "series" : "PLDI", "year" : 2024}, "pages" : "417-441", "session" : "" + }, + { + "title" : "Automated Exploit Generation for Node.js Packages", + "authors" : [ "Filipe Marques", "Mafalda Ferreira", "André Nascimento", "Miguel E. Coimbra", "Nuno Santos", "Limin Jia", "José Fragoso Santos" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -98052,6 +98522,13 @@ list = [ "conference" : { "series" : "PLDI", "year" : 2023}, "pages" : "1268-1292", "session" : "" + }, + { + "title" : "Smooth, Integrated Proofs of Cryptographic Constant Time for Nondeterministic Programs and Compilers", + "authors" : [ "Owen Conoly", "Andres Erbsen", "Adam J. Chlipala" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -102457,6 +102934,13 @@ list = [ "conference" : { "series" : "PLDI", "year" : 2022}, "pages" : "1-14", "session" : "Security" + }, + { + "title" : "An Interactive Debugger for Rust Trait Errors", + "authors" : [ "Gavin Gray", "Will Crichton", "Shriram Krishnamurthi" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -103433,6 +103917,21 @@ list = [ ] }, +{ + "author" : "Chenqi Cui", + "publications" : [ + { + "title" : "Solving Floating-Point Constraints with Continuous Optimization", + "authors" : [ "Qian Chen", "Chenqi Cui", "Fengjuan Gao", "Yu Wang", "Ke Wang", "Linzhang Wang" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Di Cui", "publications" : [ @@ -105016,6 +105515,21 @@ list = [ ] }, +{ + "author" : "Jack Czenszak", + "publications" : [ + { + "title" : "Roulette: A Language for Expressive, Exact, and Efficient Discrete Probabilistic Programming", + "authors" : [ "Cameron Moy", "Jack Czenszak", "John Li", "Brianna Marshall", "Steven Holtzen" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Jacek Czerwonka", "publications" : [ @@ -105254,6 +105768,13 @@ list = [ "conference" : { "series" : "PLDI", "year" : 2022}, "pages" : "46-60", "session" : "Security" + }, + { + "title" : "Verifying Solutions to Semantics-Guided Synthesis Problems", + "authors" : [ "Charlie Murphy", "Keith J.C. Johnson", "Thomas W. Reps", "Loris D'Antoni" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "Automatic program inversion using symbolic transducers", @@ -108725,6 +109246,13 @@ list = [ "conference" : { "series" : "PLDI", "year" : 2023}, "pages" : "1682-1707", "session" : "" + }, + { + "title" : "PulseCore: An Impredicative Concurrent Separation Logic for Dependently Typed Programs", + "authors" : [ "Gabriel Ebner", "Guido Martínez", "Aseem Rastogi", "Thibault Dardinier", "Megan Frisella", "Tahina Ramananandro", "Nikhil Swamy" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -109009,6 +109537,13 @@ list = [ "conference" : { "series" : "ICFP", "year" : 2018}, "pages" : "91:1-91:30", "session" : "" + }, + { + "title" : "Probabilistic Refinement Session TypesRemote", + "authors" : [ "Qiancheng Fu", "Ankush Das", "Marco Gaboardi" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -109639,6 +110174,13 @@ list = [ "conference" : { "series" : "POPL", "year" : 2008}, "pages" : " 87-99", "session" : "Session 3" + }, + { + "title" : "Scalable, Validated Code Translation of Entire Projects using Large Language Models", + "authors" : [ "Hanliang Zhang", "Cristina David", "Meng Wang", "Brandon Paulsen", "Daniel Kroening" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -113792,6 +114334,13 @@ list = [ "conference" : { "series" : "PLDI", "year" : 2022}, "pages" : "841-856", "session" : "Verification I" + }, + { + "title" : "A Hybrid Approach to Semi-automated Rust Verification", + "authors" : [ "Sacha-Élie Ayoun", "Xavier Denis", "Petar Maksimović", "Philippa Gardner" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -118648,6 +119197,21 @@ list = [ { "role" : "PC Member", "conference" : { "series" : "PLDI", "year" : 2016} } ] }, +{ + "author" : "Işıl Dillig", + "publications" : [ + { + "title" : "Graphiti: Bridging Graph and Relational Database Queries", + "authors" : [ "Yang He", "Ruijie Fang", "Işıl Dillig", "Yuepeng Wang" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Thomas Dillig", "publications" : [ @@ -119863,6 +120427,13 @@ list = [ "conference" : { "series" : "POPL", "year" : 2024}, "pages" : "2129-2159", "session" : "" + }, + { + "title" : "A Concurrent Approach to String Transformation Synthesis", + "authors" : [ "Yuantian Ding", "Xiaokang Qiu" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -121309,6 +121880,21 @@ list = [ ] }, +{ + "author" : "Joey Dodds", + "publications" : [ + { + "title" : "Program Synthesis From Partial Traces", + "authors" : [ "Margarida Ferreira", "Victor Nicolet", "Joey Dodds", "Daniel Kroening" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Mike Dodds", "publications" : [ @@ -125378,6 +125964,27 @@ list = [ "conference" : { "series" : "PLDI", "year" : 2022}, "pages" : "841-856", "session" : "Verification I" + }, + { + "title" : "Destabilizing Iris", + "authors" : [ "Simon Spies", "Niklas Mück", "Haoyi Zeng", "Michael Sammler", "Andrea Lattuada", "Peter Müller", "Derek Dreyer" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + }, + { + "title" : "RefinedProsa: Connecting Response-Time Analysis with C Verification for Interrupt-Free Schedulers", + "authors" : [ "Kimaya Bedarkar", "Laila Elbeheiry", "Michael Sammler", "Lennard Gäher", "Björn Brandenburg", "Derek Dreyer", "Deepak Garg" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + }, + { + "title" : "Tree Borrows", + "authors" : [ "Neven Villani", "Johannes Hostert", "Derek Dreyer", "Ralf Jung" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "Verifying read-copy-update in a logic for weak memory", @@ -129807,6 +130414,13 @@ list = [ "conference" : { "series" : "ICFP", "year" : 2017}, "pages" : "34:1-34:29", "session" : "" + }, + { + "title" : "PulseCore: An Impredicative Concurrent Separation Logic for Dependently Typed Programs", + "authors" : [ "Gabriel Ebner", "Guido Martínez", "Aseem Rastogi", "Thibault Dardinier", "Megan Frisella", "Tahina Ramananandro", "Nikhil Swamy" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -129835,6 +130449,21 @@ list = [ ] }, +{ + "author" : "Oghenevwogaga Ebresafe", + "publications" : [ + { + "title" : "Certified Compilers à la Carte", + "authors" : [ "Oghenevwogaga Ebresafe", "Ian Zhao", "Ende Jin", "Arthur Bright", "Charles Jian", "Yizhou Zhang" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Rachid Echahed", "publications" : [ @@ -133006,6 +133635,13 @@ list = [ "conference" : { "series" : "POPL", "year" : 2025}, "pages" : "656-686", "session" : "" + }, + { + "title" : "RefinedProsa: Connecting Response-Time Analysis with C Verification for Interrupt-Free Schedulers", + "authors" : [ "Kimaya Bedarkar", "Laila Elbeheiry", "Michael Sammler", "Lennard Gäher", "Björn Brandenburg", "Derek Dreyer", "Deepak Garg" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -135654,6 +136290,13 @@ list = [ "conference" : { "series" : "PLDI", "year" : 2022}, "pages" : "918-933", "session" : "Verification II" + }, + { + "title" : "Smooth, Integrated Proofs of Cryptographic Constant Time for Nondeterministic Programs and Compilers", + "authors" : [ "Owen Conoly", "Andres Erbsen", "Adam J. Chlipala" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "Integration verification across software and hardware for a simple embedded system", @@ -136128,6 +136771,13 @@ list = [ "conference" : { "series" : "ESOP", "year" : 2023}, "pages" : "28-58", "session" : "Refine list" + }, + { + "title" : "Taking out the Toxic Trash: Recovering Precision in Mixed Flow-Sensitive Static Analyses", + "authors" : [ "Fabian Stemmler", "Michael Schwarz", "Julian Erhard", "Sarah Tilscher", "Helmut Seidl" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -139962,7 +140612,13 @@ list = [ { "author" : "Chris Fallin", "publications" : [ - + { + "title" : "Partial Evaluation, Whole-Program Compilation", + "authors" : [ "Chris Fallin", "Maxwell Bernstein" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } ], "committees" : [ { "role" : "PC Member", "conference" : { "series" : "PLDI", "year" : 2025} } @@ -140036,6 +140692,13 @@ list = [ "conference" : { "series" : "POPL", "year" : 2024}, "pages" : "1418-1450", "session" : "" + }, + { + "title" : "Practical Type Inference with Levels", + "authors" : [ "Andong Fan", "Han Xu", "Ningning Xie" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -140434,6 +141097,21 @@ list = [ ] }, +{ + "author" : "Yuyou Fan", + "publications" : [ + { + "title" : "First-Class Verification Dialects for MLIR", + "authors" : [ "Mathieu Fehr", "Yuyou Fan", "Hugo Pompougnac", "John Regehr", "Tobias Grosser" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Baoyin Fang", "publications" : [ @@ -140796,6 +141474,21 @@ list = [ { "role" : "ERC Member", "conference" : { "series" : "ICSE", "year" : 2021} } ] }, +{ + "author" : "Ruijie Fang", + "publications" : [ + { + "title" : "Graphiti: Bridging Graph and Relational Database Queries", + "authors" : [ "Yang He", "Ruijie Fang", "Işıl Dillig", "Yuepeng Wang" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Ruili Fang", "publications" : [ @@ -140820,6 +141513,13 @@ list = [ "conference" : { "series" : "PLDI", "year" : 2024}, "pages" : "1040-1065", "session" : "" + }, + { + "title" : "Efficient Formal Verification of Quantum Error Correcting Programs", + "authors" : [ "Qifan Huang", "Li Zhou", "Wang Fang", "Mengyu Zhao", "Mingsheng Ying" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -142260,6 +142960,13 @@ list = [ "conference" : { "series" : "FSE", "year" : 2022}, "pages" : "607-619", "session" : "Formal Methods" + }, + { + "title" : "Exact Loop Bound Analysis", + "authors" : [ "Daniel Riley", "Grigory Fedyukovich" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "Gradual synthesis for static parallelization of single-pass array-processing programs", @@ -142473,6 +143180,13 @@ list = [ "conference" : { "series" : "PLDI", "year" : 2022}, "pages" : "199-212", "session" : "Compilation" + }, + { + "title" : "First-Class Verification Dialects for MLIR", + "authors" : [ "Mathieu Fehr", "Yuyou Fan", "Hugo Pompougnac", "John Regehr", "Tobias Grosser" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -145828,6 +146542,28 @@ list = [ "conference" : { "series" : "PLDI", "year" : 2024}, "pages" : "417-441", "session" : "" + }, + { + "title" : "Automated Exploit Generation for Node.js Packages", + "authors" : [ "Filipe Marques", "Mafalda Ferreira", "André Nascimento", "Miguel E. Coimbra", "Nuno Santos", "Limin Jia", "José Fragoso Santos" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, +{ + "author" : "Margarida Ferreira", + "publications" : [ + { + "title" : "Program Synthesis From Partial Traces", + "authors" : [ "Margarida Ferreira", "Victor Nicolet", "Joey Dodds", "Daniel Kroening" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -145900,6 +146636,21 @@ list = [ ] }, +{ + "author" : "Tiago Ferreira", + "publications" : [ + { + "title" : "Active Learning of Symbolic NetKAT Automata", + "authors" : [ "Mark Moeller", "Tiago Ferreira", "Thomas Lu", "Nate Foster", "Alexandra Silva" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "William Ferreira", "publications" : [ @@ -151182,6 +151933,13 @@ list = [ "conference" : { "series" : "PLDI", "year" : 2014}, "pages" : " 4", "session" : "Parallelism 1" + }, + { + "title" : "Usability Barriers for Liquid Types", + "authors" : [ "Catarina Gamboa", "Abigail Elena Reese", "Alcides Fonseca", "Jonathan Aldrich" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -152420,6 +153178,20 @@ list = [ "conference" : { "series" : "PLDI", "year" : 2022}, "pages" : "950-965", "session" : "Verification II" + }, + { + "title" : "Active Learning of Symbolic NetKAT Automata", + "authors" : [ "Mark Moeller", "Tiago Ferreira", "Thomas Lu", "Nate Foster", "Alexandra Silva" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + }, + { + "title" : "StacKAT: Infinite State Network Verification", + "authors" : [ "Jules Jacobs", "Nate Foster", "Tobias Kappé", "Dexter Kozen", "Lily Saada", "Alexandra Silva", "Jana Wagemaker" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "Efficient synthesis of network updates", @@ -155924,6 +156696,21 @@ list = [ ] }, +{ + "author" : "Megan Frisella", + "publications" : [ + { + "title" : "PulseCore: An Impredicative Concurrent Separation Logic for Dependently Typed Programs", + "authors" : [ "Gabriel Ebner", "Guido Martínez", "Aseem Rastogi", "Thibault Dardinier", "Megan Frisella", "Tahina Ramananandro", "Nikhil Swamy" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Serena Fritsch", "publications" : [ @@ -156750,6 +157537,21 @@ list = [ ] }, +{ + "author" : "Qiancheng Fu", + "publications" : [ + { + "title" : "Probabilistic Refinement Session TypesRemote", + "authors" : [ "Qiancheng Fu", "Ankush Das", "Marco Gaboardi" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Qiang Fu", "publications" : [ @@ -158003,6 +158805,13 @@ list = [ "conference" : { "series" : "OOPSLA", "year" : 2023}, "pages" : "1677-1704", "session" : "" + }, + { + "title" : "RefinedProsa: Connecting Response-Time Analysis with C Verification for Interrupt-Free Schedulers", + "authors" : [ "Kimaya Bedarkar", "Laila Elbeheiry", "Michael Sammler", "Lennard Gäher", "Björn Brandenburg", "Derek Dreyer", "Deepak Garg" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "Transfinite Iris: resolving an existential dilemma of step-indexed separation logic", @@ -158826,6 +159635,13 @@ list = [ "conference" : { "series" : "POPL", "year" : 2008}, "pages" : " 121-131", "session" : "Session 4" + }, + { + "title" : "Probabilistic Refinement Session TypesRemote", + "authors" : [ "Qiancheng Fu", "Ankush Das", "Marco Gaboardi" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "Bidirectional type checking for relational properties", @@ -160148,6 +160964,21 @@ list = [ { "role" : "ERC Member", "conference" : { "series" : "PPoPP", "year" : 2015} } ] }, +{ + "author" : "Catarina Gamboa", + "publications" : [ + { + "title" : "Usability Barriers for Liquid Types", + "authors" : [ "Catarina Gamboa", "Abigail Elena Reese", "Alcides Fonseca", "Jonathan Aldrich" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Ruben Gamboa", "publications" : [ @@ -160997,6 +161828,13 @@ list = [ "conference" : { "series" : "OOPSLA", "year" : 2020}, "pages" : "137:1-137:27", "session" : "" + }, + { + "title" : "Solving Floating-Point Constraints with Continuous Optimization", + "authors" : [ "Qian Chen", "Chenqi Cui", "Fengjuan Gao", "Yu Wang", "Ke Wang", "Linzhang Wang" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -163112,6 +163950,13 @@ list = [ "conference" : { "series" : "POPL", "year" : 2005}, "pages" : " 271-282", "session" : "Session 10" + }, + { + "title" : "A Hybrid Approach to Semi-automated Rust Verification", + "authors" : [ "Sacha-Élie Ayoun", "Xavier Denis", "Petar Maksimović", "Philippa Gardner" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "Gillian, part i: a multi-language platform for symbolic execution", @@ -163310,6 +164155,13 @@ list = [ "conference" : { "series" : "PLDI", "year" : 2022}, "pages" : "825-840", "session" : "Verification I" + }, + { + "title" : "RefinedProsa: Connecting Response-Time Analysis with C Verification for Interrupt-Free Schedulers", + "authors" : [ "Kimaya Bedarkar", "Laila Elbeheiry", "Michael Sammler", "Lennard Gäher", "Björn Brandenburg", "Derek Dreyer", "Deepak Garg" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "Bidirectional type checking for relational properties", @@ -163789,6 +164641,13 @@ list = [ "conference" : { "series" : "CGO", "year" : 2014}, "pages" : "44", "session" : "GPU Optimization" + }, + { + "title" : "Task-Based Tensor Computations on Modern GPUs", + "authors" : [ "Rohan Yadav", "Michael Garland", "Alexander Aiken", "Michael Bauer" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -168554,6 +169413,13 @@ list = [ "conference" : { "series" : "PLDI", "year" : 2022}, "pages" : "777-791", "session" : "DSLs" + }, + { + "title" : "Ripple: Asynchronous Programming for Spatial Dataflow Architectures", + "authors" : [ "Souradip Ghosh", "Yufei Shi", "Brandon Lucia", "Nathan Beckmann" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -170557,6 +171423,21 @@ list = [ ] }, +{ + "author" : "Emmanouil Giortamis", + "publications" : [ + { + "title" : "QVM: Quantum Gate Virtualization Machine", + "authors" : [ "Nathaniel Tornow", "Emmanouil Giortamis", "Pramod Bhatotia" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Eric Giovannini", "publications" : [ @@ -171202,6 +172083,13 @@ list = [ "conference" : { "series" : "PLDI", "year" : 2022}, "pages" : "733-748", "session" : "Hardware" + }, + { + "title" : "Membership Testing for Semantic Regular Expressions", + "authors" : [ "Yifei Huang", "Matin Amini", "Alexis Le Glaunec", "Konstantinos Mamouras", "Mukund Raghothaman" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -172652,6 +173540,13 @@ list = [ "conference" : { "series" : "CC", "year" : 2018}, "pages" : "104-115", "session" : "Compilation for Specialised Domains" + }, + { + "title" : "Slotted E-Graphs: First-Class Support for (Bound) Variables in E-Graphs", + "authors" : [ "Rudi Schneider", "Marcus Rossel", "Amir Shaikhha", "Andrés Goens", "Thomas Koehler", "Michel Steuwer" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -178279,6 +179174,21 @@ list = [ ] }, +{ + "author" : "Samuel Grahn", + "publications" : [ + { + "title" : "Efficient Linearizability Monitoring", + "authors" : [ "Parosh Aziz Abdulla", "Samuel Grahn", "Bengt Jonsson", "Shankaranarayanan Krishna", "Om Swostik Mishra" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Catarina Gralha", "publications" : [ @@ -178790,6 +179700,13 @@ list = [ "conference" : { "series" : "OOPSLA", "year" : 2023}, "pages" : "1224-1252", "session" : "" + }, + { + "title" : "An Interactive Debugger for Rust Trait Errors", + "authors" : [ "Gavin Gray", "Will Crichton", "Shriram Krishnamurthi" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -182198,6 +183115,13 @@ list = [ "conference" : { "series" : "PLDI", "year" : 2022}, "pages" : "199-212", "session" : "Compilation" + }, + { + "title" : "First-Class Verification Dialects for MLIR", + "authors" : [ "Mathieu Fehr", "Yuyou Fan", "Hugo Pompougnac", "John Regehr", "Tobias Grosser" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "A fast analytical model of fully associative caches", @@ -194733,6 +195657,13 @@ list = [ "conference" : { "series" : "PLDI", "year" : 2022}, "pages" : "825-840", "session" : "Verification I" + }, + { + "title" : "Morello-Cerise: A Proof of Strong Encapsulation for the Arm Morello Capability Hardware ArchitectureRemote", + "authors" : [ "Angus Hammond", "Ricardo Almeida", "Thomas Bauereiss", "Brian Campbell", "Ian Stark", "Peter Sewell" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -196551,6 +197482,21 @@ list = [ ] }, +{ + "author" : "Chunxue Hao", + "publications" : [ + { + "title" : "Support Triangle Machine", + "authors" : [ "Jiaying Li", "Chunxue Hao" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Dan Hao", "publications" : [ @@ -201525,6 +202471,21 @@ list = [ ] }, +{ + "author" : "Vojtěch Havlena", + "publications" : [ + { + "title" : "A Uniform Framework for Handling Position Constraints in String Solving", + "authors" : [ "Yu-Fang Chen", "Vojtěch Havlena", "Michal Hečko", "Lukáš Holík", "Ondřej Lengál" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Vojtech Havlena", "publications" : [ @@ -202767,6 +203728,13 @@ list = [ { "author" : "Jingxuan He", "publications" : [ + { + "title" : "Type-Constrained Code Generation with Language Models", + "authors" : [ "Niels Mündler", "Jingxuan He", "Hao Wang", "Koushik Sen", "Dawn Song", "Martin T. Vechev" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + }, { "title" : "Learning to find naming issues with big code and small supervision", "authors" : [ "Jingxuan He", "Cheng-Chun Lee", "Veselin Raychev", "Martin T. Vechev" ], @@ -203385,6 +204353,13 @@ list = [ "conference" : { "series" : "OOPSLA", "year" : 2024}, "pages" : "1071-1099", "session" : "" + }, + { + "title" : "Graphiti: Bridging Graph and Relational Database Queries", + "authors" : [ "Yang He", "Ruijie Fang", "Işıl Dillig", "Yuepeng Wang" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -203503,6 +204478,21 @@ list = [ ] }, +{ + "author" : "Michal Hečko", + "publications" : [ + { + "title" : "A Uniform Framework for Handling Position Constraints in String Solving", + "authors" : [ "Yu-Fang Chen", "Vojtěch Havlena", "Michal Hečko", "Lukáš Holík", "Ondřej Lengál" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Andrew Head", "publications" : [ @@ -205399,6 +206389,13 @@ list = [ "conference" : { "series" : "ICFP", "year" : 2024}, "pages" : "64-87", "session" : "" + }, + { + "title" : "Multi-stage Relational Programming", + "authors" : [ "Michael Ballantyne", "Rafaello Sanna", "Jason Hemann", "William E. Byrd", "Nada Amin" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -207079,6 +208076,13 @@ list = [ "conference" : { "series" : "PLDI", "year" : 2014}, "pages" : " 49", "session" : "Static analysis 2" + }, + { + "title" : "Optimization-Directed Compiler Fuzzing for Continuous Translation Validation", + "authors" : [ "Jaeseong Kwon", "Bongjun Jang", "Juneyoung Lee", "Kihong Heo" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "Design and implementation of sparse global analyses for C-like languages", @@ -213350,6 +214354,21 @@ list = [ ] }, +{ + "author" : "Lukáš Holík", + "publications" : [ + { + "title" : "A Uniform Framework for Handling Position Constraints in String Solving", + "authors" : [ "Yu-Fang Chen", "Vojtěch Havlena", "Michal Hečko", "Lukáš Holík", "Ondřej Lengál" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Lukás Holík", "publications" : [ @@ -214300,6 +215319,13 @@ list = [ "conference" : { "series" : "OOPSLA", "year" : 2020}, "pages" : "140:1-140:31", "session" : "" + }, + { + "title" : "Roulette: A Language for Expressive, Exact, and Efficient Discrete Probabilistic Programming", + "authors" : [ "Cameron Moy", "Jack Czenszak", "John Li", "Brianna Marshall", "Steven Holtzen" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -215652,6 +216678,13 @@ list = [ "conference" : { "series" : "POPL", "year" : 2016}, "pages" : "691-704", "session" : "Program Design and Analysis" + }, + { + "title" : "Webs and Flow-Directed Well-Typedness Preserving Program Transformations", + "authors" : [ "Benjamin Quiring", "David Van Horn", "John H. Reppy", "Olin Shivers" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "Relatively complete counterexamples for higher-order programs", @@ -216864,6 +217897,13 @@ list = [ "conference" : { "series" : "OOPSLA", "year" : 2023}, "pages" : "716-744", "session" : "" + }, + { + "title" : "Tree Borrows", + "authors" : [ "Neven Villani", "Johannes Hostert", "Derek Dreyer", "Ralf Jung" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -217888,6 +218928,13 @@ list = [ "conference" : { "series" : "PLDI", "year" : 2022}, "pages" : "46-60", "session" : "Security" + }, + { + "title" : "Bean: A Language for Backward Error Analysis", + "authors" : [ "Ariel E. Kellison", "Laura Zielinski", "David Bindel", "Justin Hsu" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "Scalable verification of probabilistic networks", @@ -220813,6 +221860,21 @@ list = [ ] }, +{ + "author" : "Qifan Huang", + "publications" : [ + { + "title" : "Efficient Formal Verification of Quantum Error Correcting Programs", + "authors" : [ "Qifan Huang", "Li Zhou", "Wang Fang", "Mengyu Zhao", "Mingsheng Ying" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Qing Huang", "publications" : [ @@ -220895,6 +221957,21 @@ list = [ ] }, +{ + "author" : "Shan Huang", + "publications" : [ + { + "title" : "Robustifying Debug Information Updates in LLVM via Control-Flow Conformance Analysis", + "authors" : [ "Shan Huang", "Jingjing Liang", "Ting Su", "Qirun Zhang" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Shan Shan Huang", "publications" : [ @@ -221394,6 +222471,13 @@ list = [ "conference" : { "series" : "OOPSLA", "year" : 2023}, "pages" : "2171-2195", "session" : "" + }, + { + "title" : "Membership Testing for Semantic Regular Expressions", + "authors" : [ "Yifei Huang", "Matin Amini", "Alexis Le Glaunec", "Konstantinos Mamouras", "Mukund Raghothaman" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -222544,6 +223628,21 @@ list = [ ] }, +{ + "author" : "Xinning Hui", + "publications" : [ + { + "title" : "Reductive Analysis with Compiler-Guided Large Language Models for Input-Centric Code OptimizationsRecorded", + "authors" : [ "Xiangwei Wang", "Xinning Hui", "Chunhua Liao", "Xipeng Shen" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Hennie Huijgens", "publications" : [ @@ -228255,6 +229354,13 @@ list = [ "conference" : { "series" : "PLDI", "year" : 2014}, "pages" : " 31", "session" : "Verification 1" + }, + { + "title" : "Dynamic Robustness Verification against Weak MemoryRemote", + "authors" : [ "Roy Margalit", "Michalis Kokologiannakis", "Shachar Itzhaky", "Ori Lahav" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "Computing summaries of string loops in C for better testing and refactoring", @@ -230320,6 +231426,13 @@ list = [ "conference" : { "series" : "POPL", "year" : 2021}, "pages" : "1-26", "session" : "" + }, + { + "title" : "StacKAT: Infinite State Network Verification", + "authors" : [ "Jules Jacobs", "Nate Foster", "Tobias Kappé", "Dexter Kozen", "Lily Saada", "Alexandra Silva", "Jana Wagemaker" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -230703,6 +231816,21 @@ list = [ ] }, +{ + "author" : "Syed Jafri", + "publications" : [ + { + "title" : "Efficient, Portable, Census-Polymorphic Choreographic Programming", + "authors" : [ "Mako P. Bates", "Shun Kashiwa", "Syed Jafri", "Gan Shen", "Lindsey Kuper", "Joseph P. Near" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Lalita Jategaonkar Jagadeesan", "publications" : [ @@ -232253,6 +233381,21 @@ list = [ ] }, +{ + "author" : "Bongjun Jang", + "publications" : [ + { + "title" : "Optimization-Directed Compiler Fuzzing for Continuous Translation Validation", + "authors" : [ "Jaeseong Kwon", "Bongjun Jang", "Juneyoung Lee", "Kihong Heo" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Byunghyun Jang", "publications" : [ @@ -235740,6 +236883,13 @@ list = [ "conference" : { "series" : "POPL", "year" : 2004}, "pages" : " 232-244", "session" : "Session 10" + }, + { + "title" : "Robust Constant-Time Cryptography", + "authors" : [ "Matthew Kolosick", "Basavesh Ammanaghatta Shivakumar", "Sunjay Cauligi", "Marco Patrignani", "Marco Vassena", "Ranjit Jhala", "Deian Stefan" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "Deterministic parallelism via liquid effects", @@ -236380,6 +237530,13 @@ list = [ "conference" : { "series" : "POPL", "year" : 2016}, "pages" : "582-594", "session" : "Sessions and Processes" + }, + { + "title" : "Automated Exploit Generation for Node.js Packages", + "authors" : [ "Filipe Marques", "Mafalda Ferreira", "André Nascimento", "Miguel E. Coimbra", "Nuno Santos", "Limin Jia", "José Fragoso Santos" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "Automatically enforcing fresh and consistent inputs in intermittent systems", @@ -236779,6 +237936,21 @@ list = [ ] }, +{ + "author" : "Charles Jian", + "publications" : [ + { + "title" : "Certified Compilers à la Carte", + "authors" : [ "Oghenevwogaga Ebresafe", "Ian Zhao", "Ende Jin", "Arthur Bright", "Charles Jian", "Yizhou Zhang" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Bo Jiang", "publications" : [ @@ -239043,6 +240215,13 @@ list = [ "conference" : { "series" : "PLDI", "year" : 2023}, "pages" : "1608-1632", "session" : "" + }, + { + "title" : "Certified Compilers à la Carte", + "authors" : [ "Oghenevwogaga Ebresafe", "Ian Zhao", "Ende Jin", "Arthur Bright", "Charles Jian", "Yizhou Zhang" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -240648,6 +241827,21 @@ list = [ ] }, +{ + "author" : "Keith J.C. Johnson", + "publications" : [ + { + "title" : "Verifying Solutions to Semantics-Guided Synthesis Problems", + "authors" : [ "Charlie Murphy", "Keith J.C. Johnson", "Thomas W. Reps", "Loris D'Antoni" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Kenneth Johnson", "publications" : [ @@ -240685,6 +241879,21 @@ list = [ ] }, +{ + "author" : "Matthew A. Johnson", + "publications" : [ + { + "title" : "Dynamic Region Ownership for Concurrency Safety", + "authors" : [ "Fridtjof Stoldt", "Brandt Bucher", "Sylvan Clebsch", "Matthew A. Johnson", "Matthew J. Parkinson", "Guido van Rossum", "Eric Snow", "Tobias Wrigstad" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Matthew J. Johnson", "publications" : [ @@ -243284,6 +244493,13 @@ list = [ "conference" : { "series" : "POPL", "year" : 2014}, "pages" : "373-384", "session" : "Reasoning" + }, + { + "title" : "Efficient Linearizability Monitoring", + "authors" : [ "Parosh Aziz Abdulla", "Samuel Grahn", "Bengt Jonsson", "Shankaranarayanan Krishna", "Om Swostik Mishra" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -243579,6 +244795,21 @@ list = [ ] }, +{ + "author" : "Anjali Joshi", + "publications" : [ + { + "title" : "Verified Foundations for Differential Privacy", + "authors" : [ "Markus de Medeiros", "Muhammad Naveed", "Tancrède Lepoint", "Temesghen Kahsai", "Tristan Ravitch", "Stefan Zetzsche", "Anjali Joshi", "Joseph Tassarotti", "Aws Albarghouthi", "Jean-Baptiste Tristan" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Harshit Joshi", "publications" : [ @@ -245443,6 +246674,20 @@ list = [ "conference" : { "series" : "PLDI", "year" : 2022}, "pages" : "792-808", "session" : "Verification I" + }, + { + "title" : "Verifying General-Purpose RCU for Reclamation in Relaxed Memory Separation Logic", + "authors" : [ "Jaehwang Jung", "Sunho Park", "Janggun Lee", "Jeho Yeon", "Jeehoon Kang" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + }, + { + "title" : "Verifying Lock-Free Traversals in Relaxed Memory Separation Logic", + "authors" : [ "Sunho Park", "Jaehwang Jung", "Janggun Lee", "Jeehoon Kang" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "A marriage of pointer- and epoch-based reclamation", @@ -245652,6 +246897,13 @@ list = [ "conference" : { "series" : "POPL", "year" : 2015}, "pages" : "637-650", "session" : "Session 9A: Concurrency III" + }, + { + "title" : "Tree Borrows", + "authors" : [ "Neven Villani", "Johannes Hostert", "Derek Dreyer", "Ralf Jung" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -247847,6 +249099,21 @@ list = [ ] }, +{ + "author" : "Temesghen Kahsai", + "publications" : [ + { + "title" : "Verified Foundations for Differential Privacy", + "authors" : [ "Markus de Medeiros", "Muhammad Naveed", "Tancrède Lepoint", "Temesghen Kahsai", "Tristan Ravitch", "Stefan Zetzsche", "Anjali Joshi", "Joseph Tassarotti", "Aws Albarghouthi", "Jean-Baptiste Tristan" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Hermann Kaindl", "publications" : [ @@ -250490,6 +251757,27 @@ list = [ "conference" : { "series" : "PLDI", "year" : 2022}, "pages" : "792-808", "session" : "Verification I" + }, + { + "title" : "Leveraging Immutability to Validate Hazard Pointers for Optimistic Traversals", + "authors" : [ "Janggun Lee", "Jeonghyeon Kim", "Jeehoon Kang" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + }, + { + "title" : "Verifying General-Purpose RCU for Reclamation in Relaxed Memory Separation Logic", + "authors" : [ "Jaehwang Jung", "Sunho Park", "Janggun Lee", "Jeho Yeon", "Jeehoon Kang" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + }, + { + "title" : "Verifying Lock-Free Traversals in Relaxed Memory Separation Logic", + "authors" : [ "Sunho Park", "Jaehwang Jung", "Janggun Lee", "Jeehoon Kang" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "A formal C memory model supporting integer-pointer casts", @@ -251342,6 +252630,13 @@ list = [ "conference" : { "series" : "PLDI", "year" : 2022}, "pages" : "950-965", "session" : "Verification II" + }, + { + "title" : "StacKAT: Infinite State Network Verification", + "authors" : [ "Jules Jacobs", "Nate Foster", "Tobias Kappé", "Dexter Kozen", "Lily Saada", "Alexandra Silva", "Jana Wagemaker" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -252813,6 +254108,13 @@ list = [ "conference" : { "series" : "ICFP", "year" : 2023}, "pages" : "541-565", "session" : "" + }, + { + "title" : "Efficient, Portable, Census-Polymorphic Choreographic Programming", + "authors" : [ "Mako P. Bates", "Shun Kashiwa", "Syed Jafri", "Gan Shen", "Lindsey Kuper", "Joseph P. Near" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -256043,6 +257345,13 @@ list = [ "conference" : { "series" : "PLDI", "year" : 2024}, "pages" : "1954-1978", "session" : "" + }, + { + "title" : "Bean: A Language for Backward Error Analysis", + "authors" : [ "Ariel E. Kellison", "Laura Zielinski", "David Bindel", "Justin Hsu" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -261431,6 +262740,13 @@ list = [ "conference" : { "series" : "PLDI", "year" : 2024}, "pages" : "151-174", "session" : "" + }, + { + "title" : "Leveraging Immutability to Validate Hazard Pointers for Optimistic Traversals", + "authors" : [ "Janggun Lee", "Jeonghyeon Kim", "Jeehoon Kang" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -261892,6 +263208,21 @@ list = [ ] }, +{ + "author" : "Justin Kim", + "publications" : [ + { + "title" : "Correctly Rounded Math Libraries without Worrying about the Application’s Rounding Mode", + "authors" : [ "Sehyeok Park", "Justin Kim", "Santosh Nagarakatte" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Kicheol Kim", "publications" : [ @@ -264587,6 +265918,13 @@ list = [ "conference" : { "series" : "OOPSLA", "year" : 2022}, "pages" : "986-1006", "session" : "" + }, + { + "title" : "Spineless Traversal for Layout Invalidation", + "authors" : [ "Marisa Kirisame", "Tiezhi Wang", "Pavel Panchekha" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -268466,6 +269804,13 @@ list = [ "conference" : { "series" : "ICFP", "year" : 2020}, "pages" : "92:1-92:29", "session" : "" + }, + { + "title" : "Slotted E-Graphs: First-Class Support for (Bound) Variables in E-Graphs", + "authors" : [ "Rudi Schneider", "Marcus Rossel", "Amir Shaikhha", "Andrés Goens", "Thomas Koehler", "Michel Steuwer" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -269057,6 +270402,13 @@ list = [ "conference" : { "series" : "POPL", "year" : 2018}, "pages" : "17:1-17:32", "session" : "" + }, + { + "title" : "Dynamic Robustness Verification against Weak MemoryRemote", + "authors" : [ "Roy Margalit", "Michalis Kokologiannakis", "Shachar Itzhaky", "Ori Lahav" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "Model checking for weakly consistent libraries", @@ -269443,6 +270795,13 @@ list = [ "conference" : { "series" : "POPL", "year" : 2022}, "pages" : "1-30", "session" : "" + }, + { + "title" : "Robust Constant-Time Cryptography", + "authors" : [ "Matthew Kolosick", "Basavesh Ammanaghatta Shivakumar", "Sunjay Cauligi", "Marco Patrignani", "Marco Vassena", "Ranjit Jhala", "Deian Stefan" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -271577,6 +272936,21 @@ list = [ ] }, +{ + "author" : "Akash Kothari", + "publications" : [ + { + "title" : "MISAAL: Synthesis-Based Automatic Generation of Efficient and Retargetable Semantics-Driven OptimizationsRemote", + "authors" : [ "Abdul Rafae Noor", "Dhruv Baronia", "Akash Kothari", "Muchen Xu", "Charith Mendis", "Vikram S. Adve" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Nupur Kothari", "publications" : [ @@ -272643,6 +274017,20 @@ list = [ "conference" : { "series" : "POPL", "year" : 2015}, "pages" : "343-355", "session" : "Session 5A: Regular Languages and Automata" + }, + { + "title" : "Probabilistic Kleene Algebra with Angelic Nondeterminism", + "authors" : [ "Shawn Ong", "Stephanie Ma", "Dexter Kozen" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + }, + { + "title" : "StacKAT: Infinite State Network Verification", + "authors" : [ "Jules Jacobs", "Nate Foster", "Tobias Kappé", "Dexter Kozen", "Lily Saada", "Alexandra Silva", "Jana Wagemaker" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "Scalable verification of probabilistic networks", @@ -274704,6 +276092,13 @@ list = [ "conference" : { "series" : "PLDI", "year" : 2023}, "pages" : "761-785", "session" : "" + }, + { + "title" : "Efficient Linearizability Monitoring", + "authors" : [ "Parosh Aziz Abdulla", "Samuel Grahn", "Bengt Jonsson", "Shankaranarayanan Krishna", "Om Swostik Mishra" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -275260,6 +276655,13 @@ list = [ "conference" : { "series" : "PLDI", "year" : 2014}, "pages" : " 38", "session" : "Olio" + }, + { + "title" : "An Interactive Debugger for Rust Trait Errors", + "authors" : [ "Gavin Gray", "Will Crichton", "Shriram Krishnamurthi" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "Putting in all the stops: execution control for JavaScript", @@ -276059,6 +277461,20 @@ list = [ "conference" : { "series" : "POPL", "year" : 2014}, "pages" : "139-150", "session" : "Program analysis 2" + }, + { + "title" : "Program Synthesis From Partial Traces", + "authors" : [ "Margarida Ferreira", "Victor Nicolet", "Joey Dodds", "Daniel Kroening" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + }, + { + "title" : "Scalable, Validated Code Translation of Entire Projects using Large Language Models", + "authors" : [ "Hanliang Zhang", "Cristina David", "Meng Wang", "Brandon Paulsen", "Daniel Kroening" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "Verifying digital systems with MATLAB", @@ -277695,6 +279111,13 @@ list = [ "conference" : { "series" : "CC", "year" : 2017}, "pages" : "109-119", "session" : "Program Analysis" + }, + { + "title" : "Circuit Optimization using Arithmetic Table Lookups", + "authors" : [ "Raghav Malik", "Vedant Paranjape", "Milind Kulkarni" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "Tree dependence analysis", @@ -278976,6 +280399,13 @@ list = [ "conference" : { "series" : "PLDI", "year" : 2014}, "pages" : " 2", "session" : "Parallelism 1" + }, + { + "title" : "Efficient, Portable, Census-Polymorphic Choreographic Programming", + "authors" : [ "Mako P. Bates", "Shun Kashiwa", "Syed Jafri", "Gan Shen", "Lindsey Kuper", "Joseph P. Near" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -280145,6 +281575,21 @@ list = [ ] }, +{ + "author" : "Jaeseong Kwon", + "publications" : [ + { + "title" : "Optimization-Directed Compiler Fuzzing for Continuous Translation Validation", + "authors" : [ "Jaeseong Kwon", "Bongjun Jang", "Juneyoung Lee", "Kihong Heo" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Jung-Hyun Kwon", "publications" : [ @@ -282411,6 +283856,13 @@ list = [ "conference" : { "series" : "PLDI", "year" : 2022}, "pages" : "213-228", "session" : "Compilation" + }, + { + "title" : "Dynamic Robustness Verification against Weak MemoryRemote", + "authors" : [ "Roy Margalit", "Michalis Kokologiannakis", "Shachar Itzhaky", "Ori Lahav" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "Repairing sequential consistency in C/C++11", @@ -286620,6 +288072,13 @@ list = [ "conference" : { "series" : "OOPSLA", "year" : 2023}, "pages" : "286-315", "session" : "" + }, + { + "title" : "Destabilizing Iris", + "authors" : [ "Simon Spies", "Niklas Mück", "Haoyi Zeng", "Michael Sammler", "Andrea Lattuada", "Peter Müller", "Derek Dreyer" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -290595,6 +292054,27 @@ list = [ "conference" : { "series" : "OOPSLA", "year" : 2023}, "pages" : "828-856", "session" : "" + }, + { + "title" : "Leveraging Immutability to Validate Hazard Pointers for Optimistic Traversals", + "authors" : [ "Janggun Lee", "Jeonghyeon Kim", "Jeehoon Kang" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + }, + { + "title" : "Verifying General-Purpose RCU for Reclamation in Relaxed Memory Separation Logic", + "authors" : [ "Jaehwang Jung", "Sunho Park", "Janggun Lee", "Jeho Yeon", "Jeehoon Kang" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + }, + { + "title" : "Verifying Lock-Free Traversals in Relaxed Memory Separation Logic", + "authors" : [ "Sunho Park", "Jaehwang Jung", "Janggun Lee", "Jeehoon Kang" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -290903,6 +292383,13 @@ list = [ "conference" : { "series" : "OOPSLA", "year" : 2018}, "pages" : "125:1-125:28", "session" : "" + }, + { + "title" : "Optimization-Directed Compiler Fuzzing for Continuous Translation Validation", + "authors" : [ "Jaeseong Kwon", "Bongjun Jang", "Juneyoung Lee", "Kihong Heo" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "Taming undefined behavior in LLVM", @@ -291860,6 +293347,20 @@ list = [ "conference" : { "series" : "POPL", "year" : 2014}, "pages" : "477-490", "session" : "Separation logic" + }, + { + "title" : "Random Variate Generation with Formal Guarantees", + "authors" : [ "Feras Saad", "Wonyeol Lee" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + }, + { + "title" : "Semantics of Integrating and Differentiating Singularities", + "authors" : [ "Jesse Michel", "Wonyeol Lee", "Hongseok Yang" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "Verifying bit-manipulations of floating-point", @@ -293153,6 +294654,13 @@ list = [ "conference" : { "series" : "POPL", "year" : 2009}, "pages" : " 66-77", "session" : "Types I" + }, + { + "title" : "Principal Type Inference under a Prefix: A Fresh Look at Static Overloading", + "authors" : [ "Daan Leijen", "Wenjia Ye" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "Perceus: garbage free reference counting with reuse", @@ -293685,6 +295193,13 @@ list = [ "conference" : { "series" : "POPL", "year" : 2023}, "pages" : "1895-1924", "session" : "" + }, + { + "title" : "Relational Abstractions Based on Labeled Union-Find", + "authors" : [ "Dorian Lesbre", "Matthieu Lemerre", "Hichem Rami Ait-El-Hara", "François Bobot" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -294031,6 +295546,21 @@ list = [ ] }, +{ + "author" : "Ondřej Lengál", + "publications" : [ + { + "title" : "A Uniform Framework for Handling Position Constraints in String Solving", + "authors" : [ "Yu-Fang Chen", "Vojtěch Havlena", "Michal Hečko", "Lukáš Holík", "Ondřej Lengál" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Ondrej Lengál", "publications" : [ @@ -294644,6 +296174,21 @@ list = [ { "role" : "PC Member", "conference" : { "series" : "POPL", "year" : 2024} } ] }, +{ + "author" : "Tancrède Lepoint", + "publications" : [ + { + "title" : "Verified Foundations for Differential Privacy", + "authors" : [ "Markus de Medeiros", "Muhammad Naveed", "Tancrède Lepoint", "Temesghen Kahsai", "Tristan Ravitch", "Stefan Zetzsche", "Anjali Joshi", "Joseph Tassarotti", "Aws Albarghouthi", "Jean-Baptiste Tristan" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Markus Lepper", "publications" : [ @@ -295371,6 +296916,13 @@ list = [ "conference" : { "series" : "PLDI", "year" : 2024}, "pages" : "368-393", "session" : "" + }, + { + "title" : "Relational Abstractions Based on Labeled Union-Find", + "authors" : [ "Dorian Lesbre", "Matthieu Lemerre", "Hichem Rami Ait-El-Hara", "François Bobot" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -296675,6 +298227,13 @@ list = [ "conference" : { "series" : "POPL", "year" : 2020}, "pages" : "19:1-19:32", "session" : "" + }, + { + "title" : "Stochastic Lazy Knowledge Compilation for Inference in Discrete Probabilistic Programs", + "authors" : [ "Maddy Bowers", "Alexander K. Lew", "Joshua B. Tenenbaum", "Armando Solar-Lezama", "Vikash K. Mansinghka" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "Gen: a general-purpose probabilistic programming system with programmable inference", @@ -298244,6 +299803,21 @@ list = [ ] }, +{ + "author" : "Ganlin Li", + "publications" : [ + { + "title" : "Pointer Analysis for Database-Backed Applications", + "authors" : [ "Yufei Liang", "Teng Zhang", "Ganlin Li", "Tian Tan", "Chang Xu", "Chun Cao", "Xiaoxing Ma", "Yue Li" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Ge Li", "publications" : [ @@ -298616,6 +300190,13 @@ list = [ "conference" : { "series" : "OOPSLA", "year" : 2020}, "pages" : "150:1-150:29", "session" : "" + }, + { + "title" : "MarQSim: Reconciling Determinism and Randomness in Compiler Optimization for Quantum SimulationRemote", + "authors" : [ "Xiuqi Cao", "Junyu Zhou", "Yuhao Liu", "Yunong Shi", "Gushu Li" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -299243,6 +300824,13 @@ list = [ "conference" : { "series" : "POPL", "year" : 2024}, "pages" : "2260-2287", "session" : "" + }, + { + "title" : "Support Triangle Machine", + "authors" : [ "Jiaying Li", "Chunxue Hao" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -299338,6 +300926,21 @@ list = [ ] }, +{ + "author" : "John Li", + "publications" : [ + { + "title" : "Roulette: A Language for Expressive, Exact, and Efficient Discrete Probabilistic Programming", + "authors" : [ "Cameron Moy", "Jack Czenszak", "John Li", "Brianna Marshall", "Steven Holtzen" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "John M. Li", "publications" : [ @@ -300856,6 +302459,21 @@ list = [ ] }, +{ + "author" : "Ruishi Li", + "publications" : [ + { + "title" : "Program Skeletons for Automated Program Translation", + "authors" : [ "Bo Wang", "Tianyu Li", "Ruishi Li", "Umang Mathur", "Prateek Saxena" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Sanhong Li", "publications" : [ @@ -301410,6 +303028,21 @@ list = [ ] }, +{ + "author" : "Tianyu Li", + "publications" : [ + { + "title" : "Program Skeletons for Automated Program Translation", + "authors" : [ "Bo Wang", "Tianyu Li", "Ruishi Li", "Umang Mathur", "Prateek Saxena" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Tong Li", "publications" : [ @@ -303033,6 +304666,21 @@ list = [ ] }, +{ + "author" : "Yixuan Li", + "publications" : [ + { + "title" : "Guided Tensor Lifting", + "authors" : [ "Yixuan Li", "José Wesley De Souza Magalhães", "Alexander Brauckmann", "Michael F. P. O'Boyle", "Elizabeth Polgreen" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Yong Li", "publications" : [ @@ -303375,6 +305023,13 @@ list = [ "conference" : { "series" : "OOPSLA", "year" : 2018}, "pages" : "141:1-141:29", "session" : "" + }, + { + "title" : "Pointer Analysis for Database-Backed Applications", + "authors" : [ "Yufei Liang", "Teng Zhang", "Ganlin Li", "Tian Tan", "Chang Xu", "Chun Cao", "Xiaoxing Ma", "Yue Li" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "Efficient and precise points-to analysis: modeling the heap by merging equivalent automata", @@ -304724,6 +306379,13 @@ list = [ "conference" : { "series" : "ICSE", "year" : 2018}, "pages" : "688-698", "session" : "Testing II" + }, + { + "title" : "Robustifying Debug Information Updates in LLVM via Control-Flow Conformance Analysis", + "authors" : [ "Shan Huang", "Jingjing Liang", "Ting Su", "Qirun Zhang" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "Question selection for interactive program synthesis", @@ -304883,6 +306545,21 @@ list = [ ] }, +{ + "author" : "Yalun Liang", + "publications" : [ + { + "title" : "CompCertOC: Verified Compositional Compilation of Multi-threaded Programs with Shared Stacks", + "authors" : [ "Ling Zhang", "Yuting Wang", "Yalun Liang", "Zhong Shao" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Yongjuan Liang", "publications" : [ @@ -304898,6 +306575,21 @@ list = [ ] }, +{ + "author" : "Yufei Liang", + "publications" : [ + { + "title" : "Pointer Analysis for Database-Backed Applications", + "authors" : [ "Yufei Liang", "Teng Zhang", "Ganlin Li", "Tian Tan", "Chang Xu", "Chun Cao", "Xiaoxing Ma", "Yue Li" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Yun Liang", "publications" : [ @@ -305017,6 +306709,13 @@ list = [ "conference" : { "series" : "CC", "year" : 2021}, "pages" : "141-152", "session" : "Refine list" + }, + { + "title" : "Reductive Analysis with Compiler-Guided Large Language Models for Input-Centric Code OptimizationsRecorded", + "authors" : [ "Xiangwei Wang", "Xinning Hui", "Chunhua Liao", "Xipeng Shen" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -306360,6 +308059,21 @@ list = [ ] }, +{ + "author" : "Daniel Wee Soong Lim", + "publications" : [ + { + "title" : "Efficient Timestamping for Sampling-Based Race Detection", + "authors" : [ "Minjian Zhang", "Daniel Wee Soong Lim", "Mosaad Al Thokair", "Umang Mathur", "Mahesh Viswanathan" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Ee-Peng Lim", "publications" : [ @@ -311474,6 +313188,21 @@ list = [ ] }, +{ + "author" : "Jiazheng Liu", + "publications" : [ + { + "title" : "Making Concurrent Hardware Verification Sequential", + "authors" : [ "Thomas Bourgeat", "Jiazheng Liu", "Adam J. Chlipala", "Arvind" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Jie Liu", "publications" : [ @@ -312406,6 +314135,13 @@ list = [ "conference" : { "series" : "CGO", "year" : 2019}, "pages" : "122-135", "session" : "Research Papers" + }, + { + "title" : "DR.FIX: Automatically Fixing Data Races at Industry Scale", + "authors" : [ "Farnaz Behrang", "Zhizhou (Chris) Zhang", "Georgian-Vlad Saioc", "Peng Liu", "Milind Chabbi" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "Light: replay via tightly bounded recording", @@ -315567,6 +317303,21 @@ list = [ ] }, +{ + "author" : "Yuhao Liu", + "publications" : [ + { + "title" : "MarQSim: Reconciling Determinism and Randomness in Compiler Optimization for Quantum SimulationRemote", + "authors" : [ "Xiuqi Cao", "Junyu Zhou", "Yuhao Liu", "Yunong Shi", "Gushu Li" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Yujie Liu", "publications" : [ @@ -315921,6 +317672,13 @@ list = [ { "author" : "Zhibo Liu", "publications" : [ + { + "title" : "Divergence-Aware Testing of Graphics Shader Compiler Back-Ends", + "authors" : [ "Dongwei Xiao", "Shuai Wang", "Zhibo Liu", "Yiteng Peng", "Daoyuan Wu", "Zhendong Su" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + }, { "title" : "How far we have come: testing decompilation correctness of C decompilers", "authors" : [ "Zhibo Liu", "Shuai Wang" ], @@ -318742,6 +320500,20 @@ list = [ "conference" : { "series" : "POPL", "year" : 2016}, "pages" : "69-83", "session" : "Algorithmic Verification" + }, + { + "title" : "Exploiting Undefined Behavior in C/C++ Programs for Optimization: A Study on the Performance Impact", + "authors" : [ "Lucian Popescu", "Nuno P. Lopes" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + }, + { + "title" : "Link-Time Optimization of Dynamic Casts in C++ Programs", + "authors" : [ "Xufan Lu", "Nuno P. Lopes" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "Provably correct peephole optimizations with alive", @@ -321031,6 +322803,21 @@ list = [ ] }, +{ + "author" : "Thomas Lu", + "publications" : [ + { + "title" : "Active Learning of Symbolic NetKAT Automata", + "authors" : [ "Mark Moeller", "Tiago Ferreira", "Thomas Lu", "Nate Foster", "Alexandra Silva" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Weihai Lu", "publications" : [ @@ -321113,6 +322900,21 @@ list = [ ] }, +{ + "author" : "Xufan Lu", + "publications" : [ + { + "title" : "Link-Time Optimization of Dynamic Casts in C++ Programs", + "authors" : [ "Xufan Lu", "Nuno P. Lopes" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Yadong Lu", "publications" : [ @@ -321496,6 +323298,20 @@ list = [ "conference" : { "series" : "ICFP", "year" : 2020}, "pages" : "109:1-109:29", "session" : "" + }, + { + "title" : "Fast Direct Manipulation Programming with Patch-Reconciliation Correspondence", + "authors" : [ "Parker Ziegler", "Justin Lubin", "Sarah E. Chasins" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + }, + { + "title" : "Programming by Navigation", + "authors" : [ "Justin Lubin", "Parker Ziegler", "Sarah E. Chasins" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -322138,6 +323954,13 @@ list = [ "conference" : { "series" : "CC", "year" : 2018}, "pages" : "116-127", "session" : "Compilation for Specialised Domains" + }, + { + "title" : "Ripple: Asynchronous Programming for Spatial Dataflow Architectures", + "authors" : [ "Souradip Ghosh", "Yufei Shi", "Brandon Lucia", "Nathan Beckmann" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "A simpler, safer programming and execution model for intermittent systems", @@ -325211,6 +327034,21 @@ list = [ { "role" : "ERC Member", "conference" : { "series" : "ICFP", "year" : 2020} } ] }, +{ + "author" : "Lasse Møldrup", + "publications" : [ + { + "title" : "AWDIT: An Optimal Weak Database Isolation Tester", + "authors" : [ "Lasse Møldrup", "Andreas Pavlogiannis" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Anders Møller", "publications" : [ @@ -325689,6 +327527,21 @@ list = [ ] }, +{ + "author" : "Niklas Mück", + "publications" : [ + { + "title" : "Destabilizing Iris", + "authors" : [ "Simon Spies", "Niklas Mück", "Haoyi Zeng", "Michael Sammler", "Andrea Lattuada", "Peter Müller", "Derek Dreyer" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Gero Mühl", "publications" : [ @@ -326321,6 +328174,13 @@ list = [ "conference" : { "series" : "OOPSLA", "year" : 2020}, "pages" : "152:1-152:31", "session" : "" + }, + { + "title" : "Destabilizing Iris", + "authors" : [ "Simon Spies", "Niklas Mück", "Haoyi Zeng", "Michael Sammler", "Andrea Lattuada", "Peter Müller", "Derek Dreyer" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "Static serializability analysis for causal consistency", @@ -326550,6 +328410,21 @@ list = [ ] }, +{ + "author" : "Niels Mündler", + "publications" : [ + { + "title" : "Type-Constrained Code Generation with Language Models", + "authors" : [ "Niels Mündler", "Jingxuan He", "Hao Wang", "Koushik Sen", "Dawn Song", "Martin T. Vechev" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Ching-Chen Ma", "publications" : [ @@ -327182,6 +329057,21 @@ list = [ ] }, +{ + "author" : "Stephanie Ma", + "publications" : [ + { + "title" : "Probabilistic Kleene Algebra with Angelic Nondeterminism", + "authors" : [ "Shawn Ong", "Stephanie Ma", "Dexter Kozen" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Wanwangying Ma", "publications" : [ @@ -327499,6 +329389,13 @@ list = [ "conference" : { "series" : "OOPSLA", "year" : 2021}, "pages" : "1-27", "session" : "" + }, + { + "title" : "Pointer Analysis for Database-Backed Applications", + "authors" : [ "Yufei Liang", "Teng Zhang", "Ganlin Li", "Tian Tan", "Chang Xu", "Chun Cao", "Xiaoxing Ma", "Yue Li" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -329750,6 +331647,21 @@ list = [ { "role" : "PC Member", "conference" : { "series" : "Haskell", "year" : 2020} } ] }, +{ + "author" : "José Wesley De Souza Magalhães", + "publications" : [ + { + "title" : "Guided Tensor Lifting", + "authors" : [ "Yixuan Li", "José Wesley De Souza Magalhães", "Alexander Brauckmann", "Michael F. P. O'Boyle", "Elizabeth Polgreen" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "José Wesley de Souza Magalhães", "publications" : [ @@ -332267,6 +334179,21 @@ list = [ ] }, +{ + "author" : "Petar Maksimović", + "publications" : [ + { + "title" : "A Hybrid Approach to Semi-automated Rust Verification", + "authors" : [ "Sacha-Élie Ayoun", "Xavier Denis", "Petar Maksimović", "Philippa Gardner" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Petar Maksimovic", "publications" : [ @@ -333108,6 +335035,13 @@ list = [ { "author" : "Raghav Malik", "publications" : [ + { + "title" : "Circuit Optimization using Arithmetic Table Lookups", + "authors" : [ "Raghav Malik", "Vedant Paranjape", "Milind Kulkarni" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + }, { "title" : "Vectorized secure evaluation of decision forests", "authors" : [ "Raghav Malik", "Vidush Singhal", "Benjamin Gottfried", "Milind Kulkarni" ], @@ -333587,6 +335521,13 @@ list = [ "conference" : { "series" : "PLDI", "year" : 2022}, "pages" : "733-748", "session" : "Hardware" + }, + { + "title" : "Membership Testing for Semantic Regular Expressions", + "authors" : [ "Yifei Huang", "Matin Amini", "Alexis Le Glaunec", "Konstantinos Mamouras", "Mukund Raghothaman" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "StreamQRE: modular specification and efficient evaluation of quantitative queries over streaming data", @@ -334842,6 +336783,13 @@ list = [ "conference" : { "series" : "POPL", "year" : 2020}, "pages" : "36:1-36:31", "session" : "" + }, + { + "title" : "Stochastic Lazy Knowledge Compilation for Inference in Discrete Probabilistic Programs", + "authors" : [ "Maddy Bowers", "Alexander K. Lew", "Joshua B. Tenenbaum", "Armando Solar-Lezama", "Vikash K. Mansinghka" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "Gen: a general-purpose probabilistic programming system with programmable inference", @@ -336560,6 +338508,13 @@ list = [ "conference" : { "series" : "POPL", "year" : 2021}, "pages" : "1-33", "session" : "" + }, + { + "title" : "Dynamic Robustness Verification against Weak MemoryRemote", + "authors" : [ "Roy Margalit", "Michalis Kokologiannakis", "Shachar Itzhaky", "Ori Lahav" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "Robustness against release/acquire semantics", @@ -338354,6 +340309,21 @@ list = [ ] }, +{ + "author" : "Filipe Marques", + "publications" : [ + { + "title" : "Automated Exploit Generation for Node.js Packages", + "authors" : [ "Filipe Marques", "Mafalda Ferreira", "André Nascimento", "Miguel E. Coimbra", "Nuno Santos", "Limin Jia", "José Fragoso Santos" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Manoel Marques", "publications" : [ @@ -338821,6 +340791,21 @@ list = [ ] }, +{ + "author" : "Brianna Marshall", + "publications" : [ + { + "title" : "Roulette: A Language for Expressive, Exact, and Efficient Discrete Probabilistic Programming", + "authors" : [ "Cameron Moy", "Jack Czenszak", "John Li", "Brianna Marshall", "Steven Holtzen" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Danielle Marshall", "publications" : [ @@ -339022,6 +341007,13 @@ list = [ "conference" : { "series" : "ICFP", "year" : 2020}, "pages" : "121:1-121:30", "session" : "" + }, + { + "title" : "PulseCore: An Impredicative Concurrent Separation Logic for Dependently Typed Programs", + "authors" : [ "Gabriel Ebner", "Guido Martínez", "Aseem Rastogi", "Thibault Dardinier", "Megan Frisella", "Tahina Ramananandro", "Nikhil Swamy" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -341404,6 +343396,20 @@ list = [ "conference" : { "series" : "OOPSLA", "year" : 2018}, "pages" : "145:1-145:29", "session" : "" + }, + { + "title" : "Efficient Timestamping for Sampling-Based Race Detection", + "authors" : [ "Minjian Zhang", "Daniel Wee Soong Lim", "Mosaad Al Thokair", "Umang Mathur", "Mahesh Viswanathan" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + }, + { + "title" : "Program Skeletons for Automated Program Translation", + "authors" : [ "Bo Wang", "Tianyu Li", "Ruishi Li", "Umang Mathur", "Prateek Saxena" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "Dynamic race prediction in linear time", @@ -342057,6 +344063,13 @@ list = [ "conference" : { "series" : "PLDI", "year" : 2022}, "pages" : "841-856", "session" : "Verification I" + }, + { + "title" : "Nola: Later-Free Ghost State for Verifying Termination in Iris", + "authors" : [ "Yusuke Matsushita", "Takeshi Tsukada" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -346432,6 +348445,13 @@ list = [ "conference" : { "series" : "OOPSLA", "year" : 2024}, "pages" : "1189-1218", "session" : "" + }, + { + "title" : "Verified Foundations for Differential Privacy", + "authors" : [ "Markus de Medeiros", "Muhammad Naveed", "Tancrède Lepoint", "Temesghen Kahsai", "Tristan Ravitch", "Stefan Zetzsche", "Anjali Joshi", "Joseph Tassarotti", "Aws Albarghouthi", "Jean-Baptiste Tristan" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -349773,6 +351793,13 @@ list = [ "conference" : { "series" : "PLDI", "year" : 2022}, "pages" : "301-315", "session" : "Tensors" + }, + { + "title" : "MISAAL: Synthesis-Based Automatic Generation of Efficient and Retargetable Semantics-Driven OptimizationsRemote", + "authors" : [ "Abdul Rafae Noor", "Dhruv Baronia", "Akash Kothari", "Muchen Xu", "Charith Mendis", "Vikram S. Adve" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "Helium: lifting high-performance stencil kernels from stripped x86 binaries to halide DSL code", @@ -353730,6 +355757,13 @@ list = [ "conference" : { "series" : "POPL", "year" : 2021}, "pages" : "1-31", "session" : "" + }, + { + "title" : "Semantics of Integrating and Differentiating Singularities", + "authors" : [ "Jesse Michel", "Wonyeol Lee", "Hongseok Yang" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -357507,6 +359541,21 @@ list = [ ] }, +{ + "author" : "Om Swostik Mishra", + "publications" : [ + { + "title" : "Efficient Linearizability Monitoring", + "authors" : [ "Parosh Aziz Abdulla", "Samuel Grahn", "Bengt Jonsson", "Shankaranarayanan Krishna", "Om Swostik Mishra" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Prateek Mishra", "publications" : [ @@ -359074,6 +361123,13 @@ list = [ "conference" : { "series" : "PLDI", "year" : 2024}, "pages" : "1905-1928", "session" : "" + }, + { + "title" : "Active Learning of Symbolic NetKAT Automata", + "authors" : [ "Mark Moeller", "Tiago Ferreira", "Thomas Lu", "Nate Foster", "Alexandra Silva" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -361105,6 +363161,13 @@ list = [ "conference" : { "series" : "POPL", "year" : 2013}, "pages" : " 263-274", "session" : "Concurrency & design" + }, + { + "title" : "CRGC: Fault-Recovering Actor Garbage Collection in Pekko", + "authors" : [ "Dan Plyukhin", "Gul A. Agha", "Fabrizio Montesi" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -365606,6 +367669,13 @@ list = [ "conference" : { "series" : "POPL", "year" : 2021}, "pages" : "1-28", "session" : "" + }, + { + "title" : "Roulette: A Language for Expressive, Exact, and Efficient Discrete Probabilistic Programming", + "authors" : [ "Cameron Moy", "Jack Czenszak", "John Li", "Brianna Marshall", "Steven Holtzen" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -367595,6 +369665,13 @@ list = [ "conference" : { "series" : "OOPSLA", "year" : 2024}, "pages" : "362-388", "session" : "" + }, + { + "title" : "Verifying Solutions to Semantics-Guided Synthesis Problems", + "authors" : [ "Charlie Murphy", "Keith J.C. Johnson", "Thomas W. Reps", "Loris D'Antoni" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -371239,6 +373316,13 @@ list = [ "conference" : { "series" : "PLDI", "year" : 2022}, "pages" : "552-565", "session" : "Numbers" + }, + { + "title" : "Correctly Rounded Math Libraries without Worrying about the Application’s Rounding Mode", + "authors" : [ "Sehyeok Park", "Justin Kim", "Santosh Nagarakatte" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "Provably correct peephole optimizations with alive", @@ -374194,6 +376278,21 @@ list = [ ] }, +{ + "author" : "André Nascimento", + "publications" : [ + { + "title" : "Automated Exploit Generation for Node.js Packages", + "authors" : [ "Filipe Marques", "Mafalda Ferreira", "André Nascimento", "Miguel E. Coimbra", "Nuno Santos", "Limin Jia", "José Fragoso Santos" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Célia Joseli do Nascimento", "publications" : [ @@ -375028,6 +377127,21 @@ list = [ ] }, +{ + "author" : "Muhammad Naveed", + "publications" : [ + { + "title" : "Verified Foundations for Differential Privacy", + "authors" : [ "Markus de Medeiros", "Muhammad Naveed", "Tancrède Lepoint", "Temesghen Kahsai", "Tristan Ravitch", "Stefan Zetzsche", "Anjali Joshi", "Joseph Tassarotti", "Aws Albarghouthi", "Jean-Baptiste Tristan" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Sara NavidPour", "publications" : [ @@ -375434,6 +377548,13 @@ list = [ "conference" : { "series" : "OOPSLA", "year" : 2019}, "pages" : "172:1-172:30", "session" : "" + }, + { + "title" : "Efficient, Portable, Census-Polymorphic Choreographic Programming", + "authors" : [ "Mako P. Bates", "Shun Kashiwa", "Syed Jafri", "Gan Shen", "Lindsey Kuper", "Joseph P. Near" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -377087,6 +379208,13 @@ list = [ "conference" : { "series" : "POPL", "year" : 2016}, "pages" : "456-468", "session" : "Types, Generally or Gradually" + }, + { + "title" : "Intrinsic Verification of Parsers and Formal Grammar Theory in Dependent Lambek Calculus", + "authors" : [ "Steven Schaefer", "Nathan Varner", "Pedro Henrique Azevedo de Amorim", "Max S. New" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -380841,6 +382969,13 @@ list = [ "conference" : { "series" : "PLDI", "year" : 2022}, "pages" : "244-259", "session" : "Synthesis II" + }, + { + "title" : "Program Synthesis From Partial Traces", + "authors" : [ "Margarida Ferreira", "Victor Nicolet", "Joey Dodds", "Daniel Kroening" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "Synthesis of divide and conquer parallelism for loops", @@ -382040,6 +384175,13 @@ list = [ "conference" : { "series" : "PLDI", "year" : 2024}, "pages" : "2174-2198", "session" : "" + }, + { + "title" : "RRR-SMR: Reduce, Reuse, Recycle: Better Methods for Practical Lock-Free Data Structures", + "authors" : [ "Md Amit Hasan Arovi", "Ruslan Nikolaev" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "Snapshot-free, transparent, and robust memory reclamation for lock-free data structures", @@ -384158,6 +386300,21 @@ list = [ ] }, +{ + "author" : "Abdul Rafae Noor", + "publications" : [ + { + "title" : "MISAAL: Synthesis-Based Automatic Generation of Efficient and Retargetable Semantics-Driven OptimizationsRemote", + "authors" : [ "Abdul Rafae Noor", "Dhruv Baronia", "Akash Kothari", "Muchen Xu", "Charith Mendis", "Vikram S. Adve" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Daniel Noor", "publications" : [ @@ -386513,6 +388670,13 @@ list = [ "conference" : { "series" : "PLDI", "year" : 2014}, "pages" : " ACM 2014 ISBN 978-1-4503-2784-8", "session" : "Concurrency 2" + }, + { + "title" : "Guided Tensor Lifting", + "authors" : [ "Yixuan Li", "José Wesley De Souza Magalhães", "Alexander Brauckmann", "Michael F. P. O'Boyle", "Elizabeth Polgreen" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "Celebrating diversity: a mixture of experts approach for runtime mapping in dynamic environments", @@ -388031,6 +390195,21 @@ list = [ ] }, +{ + "author" : "Hiromi Ogawa", + "publications" : [ + { + "title" : "Thrust: A Prophecy-Based Refinement Type System for Rust", + "authors" : [ "Hiromi Ogawa", "Taro Sekiyama", "Hiroshi Unno" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Hirotaka Ogawa", "publications" : [ @@ -391223,6 +393402,21 @@ list = [ { "role" : "ERC Member", "conference" : { "series" : "POPL", "year" : 2012} } ] }, +{ + "author" : "Shawn Ong", + "publications" : [ + { + "title" : "Probabilistic Kleene Algebra with Angelic Nondeterminism", + "authors" : [ "Shawn Ong", "Stephanie Ma", "Dexter Kozen" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "You Sheng Ong", "publications" : [ @@ -398748,6 +400942,13 @@ list = [ "conference" : { "series" : "PLDI", "year" : 2022}, "pages" : "522-535", "session" : "Numbers" + }, + { + "title" : "Spineless Traversal for Layout Invalidation", + "authors" : [ "Marisa Kirisame", "Tiezhi Wang", "Pavel Panchekha" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "Automatically improving accuracy for floating point expressions", @@ -400453,6 +402654,21 @@ list = [ ] }, +{ + "author" : "Vedant Paranjape", + "publications" : [ + { + "title" : "Circuit Optimization using Arithmetic Table Lookups", + "authors" : [ "Raghav Malik", "Vedant Paranjape", "Milind Kulkarni" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Zoe Paraskevopoulou", "publications" : [ @@ -401370,6 +403586,21 @@ list = [ ] }, +{ + "author" : "Sehyeok Park", + "publications" : [ + { + "title" : "Correctly Rounded Math Libraries without Worrying about the Application’s Rounding Mode", + "authors" : [ "Sehyeok Park", "Justin Kim", "Santosh Nagarakatte" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Sooyong Park", "publications" : [ @@ -401526,6 +403757,20 @@ list = [ "conference" : { "series" : "OOPSLA", "year" : 2023}, "pages" : "828-856", "session" : "" + }, + { + "title" : "Verifying General-Purpose RCU for Reclamation in Relaxed Memory Separation Logic", + "authors" : [ "Jaehwang Jung", "Sunho Park", "Janggun Lee", "Jeho Yeon", "Jeehoon Kang" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + }, + { + "title" : "Verifying Lock-Free Traversals in Relaxed Memory Separation Logic", + "authors" : [ "Sunho Park", "Jaehwang Jung", "Janggun Lee", "Jeehoon Kang" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -401947,6 +404192,13 @@ list = [ "conference" : { "series" : "POPL", "year" : 2005}, "pages" : " 259-270", "session" : "Session 10" + }, + { + "title" : "Dynamic Region Ownership for Concurrency Safety", + "authors" : [ "Fridtjof Stoldt", "Brandt Bucher", "Sylvan Clebsch", "Matthew A. Johnson", "Matthew J. Parkinson", "Guido van Rossum", "Eric Snow", "Tobias Wrigstad" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "The Push/Pull model of transactions", @@ -404131,6 +406383,13 @@ list = [ "conference" : { "series" : "PLDI", "year" : 2022}, "pages" : "1-14", "session" : "Security" + }, + { + "title" : "Robust Constant-Time Cryptography", + "authors" : [ "Matthew Kolosick", "Basavesh Ammanaghatta Shivakumar", "Sunjay Cauligi", "Marco Patrignani", "Marco Vassena", "Ranjit Jhala", "Deian Stefan" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "Type-directed scheduling of streaming accelerators", @@ -404756,6 +407015,13 @@ list = [ "conference" : { "series" : "ASE", "year" : 2018}, "pages" : "904-907", "session" : "Tool Demonstrations" + }, + { + "title" : "Scalable, Validated Code Translation of Entire Projects using Large Language Models", + "authors" : [ "Hanliang Zhang", "Cristina David", "Meng Wang", "Brandon Paulsen", "Daniel Kroening" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -405139,6 +407405,13 @@ list = [ "conference" : { "series" : "PLDI", "year" : 2022}, "pages" : "857-871", "session" : "Verification and Optimization" + }, + { + "title" : "AWDIT: An Optimal Weak Database Isolation Tester", + "authors" : [ "Lasse Møldrup", "Andreas Pavlogiannis" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -407237,6 +409510,21 @@ list = [ ] }, +{ + "author" : "Yiteng Peng", + "publications" : [ + { + "title" : "Divergence-Aware Testing of Graphics Shader Compiler Back-Ends", + "authors" : [ "Dongwei Xiao", "Shuai Wang", "Zhibo Liu", "Yiteng Peng", "Daoyuan Wu", "Zhendong Su" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Yuanfeng Peng", "publications" : [ @@ -416810,6 +419098,21 @@ list = [ ] }, +{ + "author" : "Gordon Plotkin", + "publications" : [ + { + "title" : "Handling the Selection Monad", + "authors" : [ "Gordon Plotkin", "Ningning Xie" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Gordon D. Plotkin", "publications" : [ @@ -416905,6 +419208,21 @@ list = [ ] }, +{ + "author" : "Dan Plyukhin", + "publications" : [ + { + "title" : "CRGC: Fault-Recovering Actor Garbage Collection in Pekko", + "authors" : [ "Dan Plyukhin", "Gul A. Agha", "Fabrizio Montesi" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Diogo Poças", "publications" : [ @@ -417949,6 +420267,13 @@ list = [ "conference" : { "series" : "OOPSLA", "year" : 2023}, "pages" : "2224-2250", "session" : "" + }, + { + "title" : "Guided Tensor Lifting", + "authors" : [ "Yixuan Li", "José Wesley De Souza Magalhães", "Alexander Brauckmann", "Michael F. P. O'Boyle", "Elizabeth Polgreen" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -418802,6 +421127,21 @@ list = [ ] }, +{ + "author" : "Hugo Pompougnac", + "publications" : [ + { + "title" : "First-Class Verification Dialects for MLIR", + "authors" : [ "Mathieu Fehr", "Yuyou Fan", "Hugo Pompougnac", "John Regehr", "Tobias Grosser" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Clement Poncelet", "publications" : [ @@ -419330,6 +421670,21 @@ list = [ ] }, +{ + "author" : "Lucian Popescu", + "publications" : [ + { + "title" : "Exploiting Undefined Behavior in C/C++ Programs for Optimization: A Study on the Performance Impact", + "authors" : [ "Lucian Popescu", "Nuno P. Lopes" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Natalie Popescu", "publications" : [ @@ -421233,6 +423588,13 @@ list = [ "conference" : { "series" : "PLDI", "year" : 2014}, "pages" : " 10", "session" : "Compiler optimizations" + }, + { + "title" : "Modular Construction and Optimization of the UZP Sparse Format for SpMV on CPUs", + "authors" : [ "Alonso Rodríguez-Iglesias", "Santoshkumar T. Tongli", "Emily Tucker", "Louis-Noël Pouchet", "Gabriel Rodríguez", "Juan Tourino" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "Dynamic trace-based analysis of vectorization potential of applications", @@ -427096,6 +429458,13 @@ list = [ "conference" : { "series" : "OOPSLA", "year" : 2024}, "pages" : "419-448", "session" : "" + }, + { + "title" : "LiDO-DAG: A Framework for Verifying Safety and Liveness of DAG-Based Consensus Protocols", + "authors" : [ "Longfei Qiu", "Jingqi Xiao", "Ji-Yong Shin", "Zhong Shao" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -427117,6 +429486,21 @@ list = [ ] }, +{ + "author" : "Tianle Qiu", + "publications" : [ + { + "title" : "Iso: Request-Private Garbage Collection", + "authors" : [ "Tianle Qiu", "Stephen M. Blackburn" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Wenjie Qiu", "publications" : [ @@ -427204,6 +429588,13 @@ list = [ "conference" : { "series" : "PLDI", "year" : 2014}, "pages" : " 46", "session" : "Verification 2" + }, + { + "title" : "A Concurrent Approach to String Transformation Synthesis", + "authors" : [ "Yuantian Ding", "Xiaokang Qiu" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "Reconciling enumerative and deductive program synthesis", @@ -427910,6 +430301,13 @@ list = [ "conference" : { "series" : "ICFP", "year" : 2024}, "pages" : "728-755", "session" : "" + }, + { + "title" : "Webs and Flow-Directed Well-Typedness Preserving Program Transformations", + "authors" : [ "Benjamin Quiring", "David Van Horn", "John H. Reppy", "Olin Shivers" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -429618,6 +432016,13 @@ list = [ "conference" : { "series" : "PLDI", "year" : 2022}, "pages" : "703-718", "session" : "Hardware" + }, + { + "title" : "Lightweight and Locality-Aware Composition of Black-Box Subroutines", + "authors" : [ "Manya Bansal", "Dillon Sharlet", "Jonathan Ragan-Kelley", "Saman P. Amarasinghe" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "Helium: lifting high-performance stencil kernels from stripped x86 binaries to halide DSL code", @@ -429772,6 +432177,13 @@ list = [ "conference" : { "series" : "POPL", "year" : 2015}, "pages" : "125-137", "session" : "Session 2B: Domain-specific Languages" + }, + { + "title" : "Membership Testing for Semantic Regular Expressions", + "authors" : [ "Yifei Huang", "Matin Amini", "Alexis Le Glaunec", "Konstantinos Mamouras", "Mukund Raghothaman" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "StreamQRE: modular specification and efficient evaluation of quantitative queries over streaming data", @@ -432526,6 +434938,13 @@ list = [ "conference" : { "series" : "PLDI", "year" : 2022}, "pages" : "31-45", "session" : "Security" + }, + { + "title" : "PulseCore: An Impredicative Concurrent Separation Logic for Dependently Typed Programs", + "authors" : [ "Gabriel Ebner", "Guido Martínez", "Aseem Rastogi", "Thibault Dardinier", "Megan Frisella", "Tahina Ramananandro", "Nikhil Swamy" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "Certified concurrent abstraction layers", @@ -435066,6 +437485,13 @@ list = [ "conference" : { "series" : "PLDI", "year" : 2022}, "pages" : "31-45", "session" : "Security" + }, + { + "title" : "PulseCore: An Impredicative Concurrent Separation Logic for Dependently Typed Programs", + "authors" : [ "Gabriel Ebner", "Guido Martínez", "Aseem Rastogi", "Thibault Dardinier", "Megan Frisella", "Tahina Ramananandro", "Nikhil Swamy" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -435787,6 +438213,13 @@ list = [ "conference" : { "series" : "ICFP", "year" : 2019}, "pages" : "100:1-100:16", "session" : "" + }, + { + "title" : "Verified Foundations for Differential Privacy", + "authors" : [ "Markus de Medeiros", "Muhammad Naveed", "Tancrède Lepoint", "Temesghen Kahsai", "Tristan Ravitch", "Stefan Zetzsche", "Anjali Joshi", "Joseph Tassarotti", "Aws Albarghouthi", "Jean-Baptiste Tristan" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "Automatic generation of library bindings using static analysis", @@ -437303,6 +439736,21 @@ list = [ ] }, +{ + "author" : "Abigail Elena Reese", + "publications" : [ + { + "title" : "Usability Barriers for Liquid Types", + "authors" : [ "Catarina Gamboa", "Abigail Elena Reese", "Alcides Fonseca", "Jonathan Aldrich" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Jon Damon Reese", "publications" : [ @@ -437486,6 +439934,13 @@ list = [ "conference" : { "series" : "PLDI", "year" : 2013}, "pages" : " 197-208", "session" : "Compiler validation" + }, + { + "title" : "First-Class Verification Dialects for MLIR", + "authors" : [ "Mathieu Fehr", "Yuyou Fan", "Hugo Pompougnac", "John Regehr", "Tobias Grosser" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "Provably correct peephole optimizations with alive", @@ -439907,6 +442362,13 @@ list = [ "conference" : { "series" : "CC", "year" : 1994}, "pages" : "83-97", "session" : "Functional Languages" + }, + { + "title" : "Webs and Flow-Directed Well-Typedness Preserving Program Transformations", + "authors" : [ "Benjamin Quiring", "David Van Horn", "John H. Reppy", "Olin Shivers" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "Diderot: a parallel DSL for image analysis and visualization", @@ -440328,6 +442790,13 @@ list = [ "conference" : { "series" : "PLDI", "year" : 2014}, "pages" : " 19", "session" : "Incremental computation and slicing" + }, + { + "title" : "Verifying Solutions to Semantics-Guided Synthesis Problems", + "authors" : [ "Charlie Murphy", "Keith J.C. Johnson", "Thomas W. Reps", "Loris D'Antoni" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "Synthesis of machine code from semantics", @@ -443038,6 +445507,13 @@ list = [ "conference" : { "series" : "FSE", "year" : 2022}, "pages" : "607-619", "session" : "Formal Methods" + }, + { + "title" : "Exact Loop Bound Analysis", + "authors" : [ "Daniel Riley", "Grigory Fedyukovich" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -444129,6 +446605,13 @@ list = [ "conference" : { "series" : "POPL", "year" : 2018}, "pages" : "22:1-22:33", "session" : "" + }, + { + "title" : "Functional Meaning for Parallel Streaming", + "authors" : [ "Nick Rioux", "Steve Zdancewic" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -446330,6 +448813,13 @@ list = [ "conference" : { "series" : "CC", "year" : 2021}, "pages" : "59-70", "session" : "Refine list" + }, + { + "title" : "Modular Construction and Optimization of the UZP Sparse Format for SpMV on CPUs", + "authors" : [ "Alonso Rodríguez-Iglesias", "Santoshkumar T. Tongli", "Emily Tucker", "Louis-Noël Pouchet", "Gabriel Rodríguez", "Juan Tourino" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "Generating piecewise-regular code from irregular structures", @@ -446381,6 +448871,21 @@ list = [ ] }, +{ + "author" : "Alonso Rodríguez-Iglesias", + "publications" : [ + { + "title" : "Modular Construction and Optimization of the UZP Sparse Format for SpMV on CPUs", + "authors" : [ "Alonso Rodríguez-Iglesias", "Santoshkumar T. Tongli", "Emily Tucker", "Louis-Noël Pouchet", "Gabriel Rodríguez", "Juan Tourino" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Clara Rodríguez-Núñez", "publications" : [ @@ -449650,6 +452155,21 @@ list = [ { "role" : "PC Member", "conference" : { "series" : "PLDI", "year" : 2018} } ] }, +{ + "author" : "Marcus Rossel", + "publications" : [ + { + "title" : "Slotted E-Graphs: First-Class Support for (Bound) Variables in E-Graphs", + "authors" : [ "Rudi Schneider", "Marcus Rossel", "Amir Shaikhha", "Andrés Goens", "Thomas Koehler", "Michel Steuwer" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Chuck Rossi", "publications" : [ @@ -449882,6 +452402,21 @@ list = [ ] }, +{ + "author" : "Guido van Rossum", + "publications" : [ + { + "title" : "Dynamic Region Ownership for Concurrency Safety", + "authors" : [ "Fridtjof Stoldt", "Brandt Bucher", "Sylvan Clebsch", "Matthew A. Johnson", "Matthew J. Parkinson", "Guido van Rossum", "Eric Snow", "Tobias Wrigstad" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Pam Rostal", "publications" : [ @@ -456573,7 +459108,13 @@ list = [ { "author" : "Feras Saad", "publications" : [ - + { + "title" : "Random Variate Generation with Formal Guarantees", + "authors" : [ "Feras Saad", "Wonyeol Lee" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } ], "committees" : [ { "role" : "PC Member", "conference" : { "series" : "POPL", "year" : 2025} }, @@ -456652,6 +459193,21 @@ list = [ ] }, +{ + "author" : "Lily Saada", + "publications" : [ + { + "title" : "StacKAT: Infinite State Network Verification", + "authors" : [ "Jules Jacobs", "Nate Foster", "Tobias Kappé", "Dexter Kozen", "Lily Saada", "Alexandra Silva", "Jana Wagemaker" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Gunter Saake", "publications" : [ @@ -459648,6 +462204,13 @@ list = [ "conference" : { "series" : "OOPSLA", "year" : 2024}, "pages" : "2070-2096", "session" : "" + }, + { + "title" : "DR.FIX: Automatically Fixing Data Races at Industry Scale", + "authors" : [ "Farnaz Behrang", "Zhizhou (Chris) Zhang", "Georgian-Vlad Saioc", "Peng Liu", "Milind Chabbi" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -461398,6 +463961,20 @@ list = [ "conference" : { "series" : "PLDI", "year" : 2022}, "pages" : "825-840", "session" : "Verification I" + }, + { + "title" : "Destabilizing Iris", + "authors" : [ "Simon Spies", "Niklas Mück", "Haoyi Zeng", "Michael Sammler", "Andrea Lattuada", "Peter Müller", "Derek Dreyer" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + }, + { + "title" : "RefinedProsa: Connecting Response-Time Analysis with C Verification for Interrupt-Free Schedulers", + "authors" : [ "Kimaya Bedarkar", "Laila Elbeheiry", "Michael Sammler", "Lennard Gäher", "Björn Brandenburg", "Derek Dreyer", "Deepak Garg" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "RefinedC: automating the foundational verification of C code with refined ownership types", @@ -462785,6 +465362,21 @@ list = [ { "role" : "PC Member", "conference" : { "series" : "POPL", "year" : 2021} } ] }, +{ + "author" : "Rafaello Sanna", + "publications" : [ + { + "title" : "Multi-stage Relational Programming", + "authors" : [ "Michael Ballantyne", "Rafaello Sanna", "Jason Hemann", "William E. Byrd", "Nada Amin" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Donald Sannella", "publications" : [ @@ -463504,6 +466096,13 @@ list = [ "conference" : { "series" : "POPL", "year" : 2018}, "pages" : "50:1-50:33", "session" : "" + }, + { + "title" : "Automated Exploit Generation for Node.js Packages", + "authors" : [ "Filipe Marques", "Mafalda Ferreira", "André Nascimento", "Miguel E. Coimbra", "Nuno Santos", "Limin Jia", "José Fragoso Santos" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "Gillian, part i: a multi-language platform for symbolic execution", @@ -463530,6 +466129,13 @@ list = [ "conference" : { "series" : "PLDI", "year" : 2024}, "pages" : "417-441", "session" : "" + }, + { + "title" : "Automated Exploit Generation for Node.js Packages", + "authors" : [ "Filipe Marques", "Mafalda Ferreira", "André Nascimento", "Miguel E. Coimbra", "Nuno Santos", "Limin Jia", "José Fragoso Santos" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -466246,6 +468852,13 @@ list = [ "conference" : { "series" : "PLDI", "year" : 2014}, "pages" : " 57", "session" : "Security-correctness" + }, + { + "title" : "Program Skeletons for Automated Program Translation", + "authors" : [ "Bo Wang", "Tianyu Li", "Ruishi Li", "Umang Mathur", "Prateek Saxena" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "Loop-extended symbolic execution on binary programs", @@ -467451,6 +470064,21 @@ list = [ { "role" : "PC Member", "conference" : { "series" : "OOPSLA", "year" : 2024} } ] }, +{ + "author" : "Steven Schaefer", + "publications" : [ + { + "title" : "Intrinsic Verification of Parsers and Formal Grammar Theory in Dependent Lambek Calculus", + "authors" : [ "Steven Schaefer", "Nathan Varner", "Pedro Henrique Azevedo de Amorim", "Max S. New" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Xavier Schaefer", "publications" : [ @@ -469742,6 +472370,21 @@ list = [ ] }, +{ + "author" : "Rudi Schneider", + "publications" : [ + { + "title" : "Slotted E-Graphs: First-Class Support for (Bound) Variables in E-Graphs", + "authors" : [ "Rudi Schneider", "Marcus Rossel", "Amir Shaikhha", "Andrés Goens", "Thomas Koehler", "Michel Steuwer" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Scott Schneider", "publications" : [ @@ -472168,6 +474811,13 @@ list = [ "conference" : { "series" : "ESOP", "year" : 2023}, "pages" : "28-58", "session" : "Refine list" + }, + { + "title" : "Taking out the Toxic Trash: Recovering Precision in Mixed Flow-Sensitive Static Analyses", + "authors" : [ "Fabian Stemmler", "Michael Schwarz", "Julian Erhard", "Sarah Tilscher", "Helmut Seidl" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -474223,6 +476873,13 @@ list = [ "conference" : { "series" : "PLDI", "year" : 2013}, "pages" : " 377-386", "session" : "Analysis" + }, + { + "title" : "Taking out the Toxic Trash: Recovering Precision in Mixed Flow-Sensitive Static Analyses", + "authors" : [ "Fabian Stemmler", "Michael Schwarz", "Julian Erhard", "Sarah Tilscher", "Helmut Seidl" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -474588,6 +477245,13 @@ list = [ "conference" : { "series" : "POPL", "year" : 2015}, "pages" : "195-207", "session" : "Session 3A: Dynamic Verification" + }, + { + "title" : "Thrust: A Prophecy-Based Refinement Type System for Rust", + "authors" : [ "Hiromi Ogawa", "Taro Sekiyama", "Hiroshi Unno" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -475324,6 +477988,13 @@ list = [ "conference" : { "series" : "PLDI", "year" : 2013}, "pages" : " 153-164", "session" : "Dynamic analysis" + }, + { + "title" : "Type-Constrained Code Generation with Language Models", + "authors" : [ "Niels Mündler", "Jingxuan He", "Hao Wang", "Koushik Sen", "Dawn Song", "Martin T. Vechev" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "Race directed random testing of concurrent programs", @@ -477452,6 +480123,13 @@ list = [ "conference" : { "series" : "PLDI", "year" : 2022}, "pages" : "825-840", "session" : "Verification I" + }, + { + "title" : "Morello-Cerise: A Proof of Strong Encapsulation for the Arm Morello Capability Hardware ArchitectureRemote", + "authors" : [ "Angus Hammond", "Ricardo Almeida", "Thomas Bauereiss", "Brian Campbell", "Ian Stark", "Peter Sewell" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "Synchronising C/C++ and POWER", @@ -478402,6 +481080,13 @@ list = [ "conference" : { "series" : "POPL", "year" : 2018}, "pages" : "13:1-13:33", "session" : "" + }, + { + "title" : "Slotted E-Graphs: First-Class Support for (Bound) Variables in E-Graphs", + "authors" : [ "Rudi Schneider", "Marcus Rossel", "Amir Shaikhha", "Andrés Goens", "Thomas Koehler", "Michel Steuwer" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -479549,6 +482234,20 @@ list = [ "conference" : { "series" : "PLDI", "year" : 2022}, "pages" : "379-394", "session" : "Distribution" + }, + { + "title" : "CompCertOC: Verified Compositional Compilation of Multi-threaded Programs with Shared Stacks", + "authors" : [ "Ling Zhang", "Yuting Wang", "Yalun Liang", "Zhong Shao" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + }, + { + "title" : "LiDO-DAG: A Framework for Verifying Safety and Liveness of DAG-Based Consensus Protocols", + "authors" : [ "Longfei Qiu", "Jingqi Xiao", "Ji-Yong Shin", "Zhong Shao" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "Compositional certified resource bounds", @@ -479989,6 +482688,21 @@ list = [ ] }, +{ + "author" : "Dillon Sharlet", + "publications" : [ + { + "title" : "Lightweight and Locality-Aware Composition of Black-Box Subroutines", + "authors" : [ "Manya Bansal", "Dillon Sharlet", "Jonathan Ragan-Kelley", "Saman P. Amarasinghe" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Abhishek Sharma", "publications" : [ @@ -480400,6 +483114,13 @@ list = [ "conference" : { "series" : "PLDI", "year" : 2024}, "pages" : "272-295", "session" : "" + }, + { + "title" : "Optimizing Ancilla-Based Quantum Circuits with SPARE", + "authors" : [ "Ritvik Sharma", "Sara Achour" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -481662,6 +484383,13 @@ list = [ "conference" : { "series" : "ICFP", "year" : 2023}, "pages" : "541-565", "session" : "" + }, + { + "title" : "Efficient, Portable, Census-Polymorphic Choreographic Programming", + "authors" : [ "Mako P. Bates", "Shun Kashiwa", "Syed Jafri", "Gan Shen", "Lindsey Kuper", "Joseph P. Near" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -482248,6 +484976,13 @@ list = [ "conference" : { "series" : "CC", "year" : 2018}, "pages" : "1", "session" : "Keynote" + }, + { + "title" : "Reductive Analysis with Compiler-Guided Large Language Models for Input-Centric Code OptimizationsRecorded", + "authors" : [ "Xiangwei Wang", "Xinning Hui", "Chunhua Liao", "Xipeng Shen" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "Autotuning algorithmic choice for input sensitivity", @@ -484166,6 +486901,21 @@ list = [ ] }, +{ + "author" : "Yufei Shi", + "publications" : [ + { + "title" : "Ripple: Asynchronous Programming for Spatial Dataflow Architectures", + "authors" : [ "Souradip Ghosh", "Yufei Shi", "Brandon Lucia", "Nathan Beckmann" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Yunong Shi", "publications" : [ @@ -484175,6 +486925,13 @@ list = [ "conference" : { "series" : "PLDI", "year" : 2022}, "pages" : "641-656", "session" : "Quantum" + }, + { + "title" : "MarQSim: Reconciling Determinism and Randomness in Compiler Optimization for Quantum SimulationRemote", + "authors" : [ "Xiuqi Cao", "Junyu Zhou", "Yuhao Liu", "Yunong Shi", "Gushu Li" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "Gleipnir: toward practical error analysis for Quantum programs", @@ -484695,6 +487452,13 @@ list = [ "conference" : { "series" : "PLDI", "year" : 2022}, "pages" : "379-394", "session" : "Distribution" + }, + { + "title" : "LiDO-DAG: A Framework for Verifying Safety and Liveness of DAG-Based Consensus Protocols", + "authors" : [ "Longfei Qiu", "Jingqi Xiao", "Ji-Yong Shin", "Zhong Shao" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -485179,6 +487943,21 @@ list = [ ] }, +{ + "author" : "Basavesh Ammanaghatta Shivakumar", + "publications" : [ + { + "title" : "Robust Constant-Time Cryptography", + "authors" : [ "Matthew Kolosick", "Basavesh Ammanaghatta Shivakumar", "Sunjay Cauligi", "Marco Patrignani", "Marco Vassena", "Ranjit Jhala", "Deian Stefan" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Olin Shivers", "publications" : [ @@ -485300,6 +488079,13 @@ list = [ "conference" : { "series" : "POPL", "year" : 2006}, "pages" : " 127-140", "session" : "Session 12" + }, + { + "title" : "Webs and Flow-Directed Well-Typedness Preserving Program Transformations", + "authors" : [ "Benjamin Quiring", "David Van Horn", "John H. Reppy", "Olin Shivers" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "Continuations and transducer composition", @@ -488068,6 +490854,20 @@ list = [ "conference" : { "series" : "POPL", "year" : 2015}, "pages" : "343-355", "session" : "Session 5A: Regular Languages and Automata" + }, + { + "title" : "Active Learning of Symbolic NetKAT Automata", + "authors" : [ "Mark Moeller", "Tiago Ferreira", "Thomas Lu", "Nate Foster", "Alexandra Silva" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + }, + { + "title" : "StacKAT: Infinite State Network Verification", + "authors" : [ "Jules Jacobs", "Nate Foster", "Tobias Kappé", "Dexter Kozen", "Lily Saada", "Alexandra Silva", "Jana Wagemaker" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "Scalable verification of probabilistic networks", @@ -494244,6 +497044,21 @@ list = [ ] }, +{ + "author" : "Eric Snow", + "publications" : [ + { + "title" : "Dynamic Region Ownership for Concurrency Safety", + "authors" : [ "Fridtjof Stoldt", "Brandt Bucher", "Sylvan Clebsch", "Matthew A. Johnson", "Matthew J. Parkinson", "Guido van Rossum", "Eric Snow", "Tobias Wrigstad" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Lawrence Snyder", "publications" : [ @@ -495440,6 +498255,13 @@ list = [ "conference" : { "series" : "PLDI", "year" : 2013}, "pages" : " 15-26", "session" : "Synthesis" + }, + { + "title" : "Stochastic Lazy Knowledge Compilation for Inference in Discrete Probabilistic Programs", + "authors" : [ "Maddy Bowers", "Alexander K. Lew", "Joshua B. Tenenbaum", "Armando Solar-Lezama", "Vikash K. Mansinghka" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "Sketching concurrent data structures", @@ -496090,6 +498912,13 @@ list = [ "conference" : { "series" : "OOPSLA", "year" : 2019}, "pages" : "172:1-172:30", "session" : "" + }, + { + "title" : "Type-Constrained Code Generation with Language Models", + "authors" : [ "Niels Mündler", "Jingxuan He", "Hao Wang", "Koushik Sen", "Dawn Song", "Martin T. Vechev" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "Loop-extended symbolic execution on binary programs", @@ -498898,6 +501727,13 @@ list = [ "conference" : { "series" : "POPL", "year" : 2021}, "pages" : "1-29", "session" : "" + }, + { + "title" : "Destabilizing Iris", + "authors" : [ "Simon Spies", "Niklas Mück", "Haoyi Zeng", "Michael Sammler", "Andrea Lattuada", "Peter Müller", "Derek Dreyer" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "Transfinite Iris: resolving an existential dilemma of step-indexed separation logic", @@ -501687,6 +504523,13 @@ list = [ "conference" : { "series" : "POPL", "year" : 2019}, "pages" : "71:1-71:31", "session" : "" + }, + { + "title" : "Morello-Cerise: A Proof of Strong Encapsulation for the Arm Morello Capability Hardware ArchitectureRemote", + "authors" : [ "Angus Hammond", "Ricardo Almeida", "Thomas Bauereiss", "Brian Campbell", "Ian Stark", "Peter Sewell" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -502398,6 +505241,13 @@ list = [ "conference" : { "series" : "ICFP", "year" : 2020}, "pages" : "105:1-105:30", "session" : "" + }, + { + "title" : "Robust Constant-Time Cryptography", + "authors" : [ "Matthew Kolosick", "Basavesh Ammanaghatta Shivakumar", "Sunjay Cauligi", "Marco Patrignani", "Marco Vassena", "Ranjit Jhala", "Deian Stefan" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "FaCT: a DSL for timing-sensitive computation", @@ -503447,6 +506297,21 @@ list = [ ] }, +{ + "author" : "Fabian Stemmler", + "publications" : [ + { + "title" : "Taking out the Toxic Trash: Recovering Precision in Mixed Flow-Sensitive Static Analyses", + "authors" : [ "Fabian Stemmler", "Michael Schwarz", "Julian Erhard", "Sarah Tilscher", "Helmut Seidl" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Krzysztof Stencel", "publications" : [ @@ -503962,6 +506827,13 @@ list = [ "conference" : { "series" : "CC", "year" : 2020}, "pages" : "85-95", "session" : "Refine list" + }, + { + "title" : "Slotted E-Graphs: First-Class Support for (Bound) Variables in E-Graphs", + "authors" : [ "Rudi Schneider", "Marcus Rossel", "Amir Shaikhha", "Andrés Goens", "Thomas Koehler", "Michel Steuwer" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -505073,6 +507945,21 @@ list = [ { "role" : "PC Member", "conference" : { "series" : "POPL-AE", "year" : 2018} } ] }, +{ + "author" : "Fridtjof Stoldt", + "publications" : [ + { + "title" : "Dynamic Region Ownership for Concurrency Safety", + "authors" : [ "Fridtjof Stoldt", "Brandt Bucher", "Sylvan Clebsch", "Matthew A. Johnson", "Matthew J. Parkinson", "Guido van Rossum", "Eric Snow", "Tobias Wrigstad" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Kathryn Stolee", "publications" : [ @@ -508024,6 +510911,13 @@ list = [ "conference" : { "series" : "OOPSLA", "year" : 2021}, "pages" : "1-31", "session" : "" + }, + { + "title" : "Robustifying Debug Information Updates in LLVM via Control-Flow Conformance Analysis", + "authors" : [ "Shan Huang", "Jingjing Liang", "Ting Su", "Qirun Zhang" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "Coverage-directed differential testing of JVM implementations", @@ -508787,6 +511681,20 @@ list = [ "conference" : { "series" : "PLDI", "year" : 2022}, "pages" : "199-212", "session" : "Compilation" + }, + { + "title" : "Divergence-Aware Testing of Graphics Shader Compiler Back-Ends", + "authors" : [ "Dongwei Xiao", "Shuai Wang", "Zhibo Liu", "Yiteng Peng", "Daoyuan Wu", "Zhendong Su" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + }, + { + "title" : "Relaxing Alias Analysis: Exploring the Unexplored Space", + "authors" : [ "Michel Weber", "Theodoros Theodoridis", "Zhendong Su" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "Sound and precise analysis of web applications for injection vulnerabilities", @@ -514948,6 +517856,13 @@ list = [ "conference" : { "series" : "PLDI", "year" : 2022}, "pages" : "31-45", "session" : "Security" + }, + { + "title" : "PulseCore: An Impredicative Concurrent Separation Logic for Dependently Typed Programs", + "authors" : [ "Gabriel Ebner", "Guido Martínez", "Aseem Rastogi", "Thibault Dardinier", "Megan Frisella", "Tahina Ramananandro", "Nikhil Swamy" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "Type-preserving compilation of end-to-end verification of security enforcement", @@ -518920,6 +521835,13 @@ list = [ "conference" : { "series" : "OOPSLA", "year" : 2018}, "pages" : "141:1-141:29", "session" : "" + }, + { + "title" : "Pointer Analysis for Database-Backed Applications", + "authors" : [ "Yufei Liang", "Teng Zhang", "Ganlin Li", "Tian Tan", "Chang Xu", "Chun Cao", "Xiaoxing Ma", "Yue Li" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "Efficient and precise points-to analysis: modeling the heap by merging equivalent automata", @@ -521603,6 +524525,13 @@ list = [ "conference" : { "series" : "ICFP", "year" : 2018}, "pages" : "77:1-77:30", "session" : "" + }, + { + "title" : "Verified Foundations for Differential Privacy", + "authors" : [ "Markus de Medeiros", "Muhammad Naveed", "Tancrède Lepoint", "Temesghen Kahsai", "Tristan Ravitch", "Stefan Zetzsche", "Anjali Joshi", "Joseph Tassarotti", "Aws Albarghouthi", "Jean-Baptiste Tristan" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "Verifying read-copy-update in a logic for weak memory", @@ -523188,6 +526117,13 @@ list = [ "conference" : { "series" : "POPL", "year" : 2023}, "pages" : "1628-1658", "session" : "" + }, + { + "title" : "Stochastic Lazy Knowledge Compilation for Inference in Discrete Probabilistic Programs", + "authors" : [ "Maddy Bowers", "Alexander K. Lew", "Joshua B. Tenenbaum", "Armando Solar-Lezama", "Vikash K. Mansinghka" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "DreamCoder: bootstrapping inductive program synthesis with wake-sleep library learning", @@ -524516,6 +527452,13 @@ list = [ "conference" : { "series" : "OOPSLA", "year" : 2020}, "pages" : "195:1-195:28", "session" : "" + }, + { + "title" : "Relaxing Alias Analysis: Exploring the Unexplored Space", + "authors" : [ "Michel Weber", "Theodoros Theodoridis", "Zhendong Su" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -525259,6 +528202,13 @@ list = [ "conference" : { "series" : "POPL", "year" : 2023}, "pages" : "1308-1337", "session" : "" + }, + { + "title" : "Efficient Timestamping for Sampling-Based Race Detection", + "authors" : [ "Minjian Zhang", "Daniel Wee Soong Lim", "Mosaad Al Thokair", "Umang Mathur", "Mahesh Viswanathan" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -527675,6 +530625,21 @@ list = [ { "role" : "PC Member", "conference" : { "series" : "ISSTA", "year" : 2013} } ] }, +{ + "author" : "Sarah Tilscher", + "publications" : [ + { + "title" : "Taking out the Toxic Trash: Recovering Precision in Mixed Flow-Sensitive Static Analyses", + "authors" : [ "Fabian Stemmler", "Michael Schwarz", "Julian Erhard", "Sarah Tilscher", "Helmut Seidl" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Amin Timany", "publications" : [ @@ -530453,6 +533418,21 @@ list = [ ] }, +{ + "author" : "Santoshkumar T. Tongli", + "publications" : [ + { + "title" : "Modular Construction and Optimization of the UZP Sparse Format for SpMV on CPUs", + "authors" : [ "Alonso Rodríguez-Iglesias", "Santoshkumar T. Tongli", "Emily Tucker", "Louis-Noël Pouchet", "Gabriel Rodríguez", "Juan Tourino" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Bernardo Toninho", "publications" : [ @@ -530934,6 +533914,21 @@ list = [ { "role" : "PC Member", "conference" : { "series" : "PLDI", "year" : 2018} } ] }, +{ + "author" : "Nathaniel Tornow", + "publications" : [ + { + "title" : "QVM: Quantum Gate Virtualization Machine", + "authors" : [ "Nathaniel Tornow", "Emmanouil Giortamis", "Pramod Bhatotia" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Matías Toro", "publications" : [ @@ -531521,6 +534516,21 @@ list = [ ] }, +{ + "author" : "Juan Tourino", + "publications" : [ + { + "title" : "Modular Construction and Optimization of the UZP Sparse Format for SpMV on CPUs", + "authors" : [ "Alonso Rodríguez-Iglesias", "Santoshkumar T. Tongli", "Emily Tucker", "Louis-Noël Pouchet", "Gabriel Rodríguez", "Juan Tourino" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Konstantinos Tourlas", "publications" : [ @@ -533827,6 +536837,13 @@ list = [ "conference" : { "series" : "POPL", "year" : 2010}, "pages" : " 83-92", "session" : "Verified compilers" + }, + { + "title" : "Verified Foundations for Differential Privacy", + "authors" : [ "Markus de Medeiros", "Muhammad Naveed", "Tancrède Lepoint", "Temesghen Kahsai", "Tristan Ravitch", "Stefan Zetzsche", "Anjali Joshi", "Joseph Tassarotti", "Aws Albarghouthi", "Jean-Baptiste Tristan" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "RockSalt: better, faster, stronger SFI for the x86", @@ -535085,6 +538102,13 @@ list = [ "conference" : { "series" : "ICFP", "year" : 2020}, "pages" : "117:1-117:30", "session" : "" + }, + { + "title" : "Nola: Later-Free Ghost State for Verifying Termination in Iris", + "authors" : [ "Yusuke Matsushita", "Takeshi Tsukada" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -535323,6 +538347,21 @@ list = [ ] }, +{ + "author" : "Emily Tucker", + "publications" : [ + { + "title" : "Modular Construction and Optimization of the UZP Sparse Format for SpMV on CPUs", + "authors" : [ "Alonso Rodríguez-Iglesias", "Santoshkumar T. Tongli", "Emily Tucker", "Louis-Noël Pouchet", "Gabriel Rodríguez", "Juan Tourino" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Sean Tucker", "publications" : [ @@ -537995,6 +541034,13 @@ list = [ "conference" : { "series" : "POPL", "year" : 2016}, "pages" : "57-68", "session" : "Algorithmic Verification" + }, + { + "title" : "Thrust: A Prophecy-Based Refinement Type System for Rust", + "authors" : [ "Hiromi Ogawa", "Taro Sekiyama", "Hiroshi Unno" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "Predicate abstraction and CEGAR for higher-order model checking", @@ -541147,6 +544193,21 @@ list = [ ] }, +{ + "author" : "Nathan Varner", + "publications" : [ + { + "title" : "Intrinsic Verification of Parsers and Formal Grammar Theory in Dependent Lambek Calculus", + "authors" : [ "Steven Schaefer", "Nathan Varner", "Pedro Henrique Azevedo de Amorim", "Max S. New" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Anton Varonka", "publications" : [ @@ -541957,6 +545018,13 @@ list = [ "conference" : { "series" : "POPL", "year" : 2021}, "pages" : "1-30", "session" : "" + }, + { + "title" : "Robust Constant-Time Cryptography", + "authors" : [ "Matthew Kolosick", "Basavesh Ammanaghatta Shivakumar", "Sunjay Cauligi", "Marco Patrignani", "Marco Vassena", "Ranjit Jhala", "Deian Stefan" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -542961,6 +546029,13 @@ list = [ "conference" : { "series" : "PLDI", "year" : 2014}, "pages" : " 44", "session" : "Synthesis" + }, + { + "title" : "Type-Constrained Code Generation with Language Models", + "authors" : [ "Niels Mündler", "Jingxuan He", "Hao Wang", "Koushik Sen", "Dawn Song", "Martin T. Vechev" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "Making numerical program analysis fast", @@ -545950,6 +549025,21 @@ list = [ { "role" : "ERC Member", "conference" : { "series" : "PLDI", "year" : 2016} } ] }, +{ + "author" : "Neven Villani", + "publications" : [ + { + "title" : "Tree Borrows", + "authors" : [ "Neven Villani", "Johannes Hostert", "Derek Dreyer", "Ralf Jung" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Agnes Villanyi", "publications" : [ @@ -547411,6 +550501,13 @@ list = [ "conference" : { "series" : "OOPSLA", "year" : 2018}, "pages" : "145:1-145:29", "session" : "" + }, + { + "title" : "Efficient Timestamping for Sampling-Based Race Detection", + "authors" : [ "Minjian Zhang", "Daniel Wee Soong Lim", "Mosaad Al Thokair", "Umang Mathur", "Mahesh Viswanathan" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "Dynamic race prediction in linear time", @@ -551003,6 +554100,13 @@ list = [ "conference" : { "series" : "ESOP", "year" : 2022}, "pages" : "575-602", "session" : "Refine list" + }, + { + "title" : "StacKAT: Infinite State Network Verification", + "authors" : [ "Jules Jacobs", "Nate Foster", "Tobias Kappé", "Dexter Kozen", "Lily Saada", "Alexandra Silva", "Jana Wagemaker" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -553133,6 +556237,13 @@ list = [ "conference" : { "series" : "OOPSLA", "year" : 2023}, "pages" : "201-229", "session" : "" + }, + { + "title" : "Program Skeletons for Automated Program Translation", + "authors" : [ "Bo Wang", "Tianyu Li", "Ruishi Li", "Umang Mathur", "Prateek Saxena" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "Faster mutation analysis via equivalence modulo states", @@ -554713,6 +557824,13 @@ list = [ "conference" : { "series" : "ASE", "year" : 2020}, "pages" : "1307-1311", "session" : "Refine list" + }, + { + "title" : "Type-Constrained Code Generation with Language Models", + "authors" : [ "Niels Mündler", "Jingxuan He", "Hao Wang", "Koushik Sen", "Dawn Song", "Martin T. Vechev" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "jTrans: jump-aware transformer for binary code similarity detection", @@ -556158,6 +559276,13 @@ list = [ "conference" : { "series" : "OOPSLA", "year" : 2020}, "pages" : "137:1-137:27", "session" : "" + }, + { + "title" : "Solving Floating-Point Constraints with Continuous Optimization", + "authors" : [ "Qian Chen", "Chenqi Cui", "Fengjuan Gao", "Yu Wang", "Ke Wang", "Linzhang Wang" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "Blended, precise semantic program embeddings", @@ -556452,6 +559577,13 @@ list = [ "conference" : { "series" : "OOPSLA", "year" : 2020}, "pages" : "137:1-137:27", "session" : "" + }, + { + "title" : "Solving Floating-Point Constraints with Continuous Optimization", + "authors" : [ "Qian Chen", "Chenqi Cui", "Fengjuan Gao", "Yu Wang", "Ke Wang", "Linzhang Wang" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "Chianina: an evolving graph system for flow- and context-sensitive analyses of million lines of C code", @@ -556753,6 +559885,13 @@ list = [ "conference" : { "series" : "ICFP", "year" : 2020}, "pages" : "118:1-118:31", "session" : "" + }, + { + "title" : "Scalable, Validated Code Translation of Entire Projects using Large Language Models", + "authors" : [ "Hanliang Zhang", "Cristina David", "Meng Wang", "Brandon Paulsen", "Daniel Kroening" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -558138,6 +561277,13 @@ list = [ "conference" : { "series" : "OOPSLA", "year" : 2019}, "pages" : "189:1-189:29", "session" : "" + }, + { + "title" : "Divergence-Aware Testing of Graphics Shader Compiler Back-Ends", + "authors" : [ "Dongwei Xiao", "Shuai Wang", "Zhibo Liu", "Yiteng Peng", "Daoyuan Wu", "Zhendong Su" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "MDPFuzz: testing models solving Markov decision processes", @@ -558453,6 +561599,21 @@ list = [ ] }, +{ + "author" : "Tiezhi Wang", + "publications" : [ + { + "title" : "Spineless Traversal for Layout Invalidation", + "authors" : [ "Marisa Kirisame", "Tiezhi Wang", "Pavel Panchekha" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Ting Wang", "publications" : [ @@ -559113,6 +562274,21 @@ list = [ ] }, +{ + "author" : "Xiangwei Wang", + "publications" : [ + { + "title" : "Reductive Analysis with Compiler-Guided Large Language Models for Input-Centric Code OptimizationsRecorded", + "authors" : [ "Xiangwei Wang", "Xinning Hui", "Chunhua Liao", "Xipeng Shen" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Xiao Wang", "publications" : [ @@ -559824,6 +563000,13 @@ list = [ "conference" : { "series" : "PLDI", "year" : 2022}, "pages" : "152-167", "session" : "Synthesis I" + }, + { + "title" : "Polygon: Symbolic Reasoning for SQL using Conflict-Driven Under-Approximation Search", + "authors" : [ "Pinhan Zhao", "Yuepeng Wang", "Xinyu Wang" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "Web question answering with neurosymbolic program synthesis", @@ -560676,6 +563859,13 @@ list = [ "conference" : { "series" : "OOPSLA", "year" : 2020}, "pages" : "137:1-137:27", "session" : "" + }, + { + "title" : "Solving Floating-Point Constraints with Continuous Optimization", + "authors" : [ "Qian Chen", "Chenqi Cui", "Fengjuan Gao", "Yu Wang", "Ke Wang", "Linzhang Wang" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "Automatic detection and validation of race conditions in interrupt-driven embedded software", @@ -560828,6 +564018,20 @@ list = [ "conference" : { "series" : "OOPSLA", "year" : 2018}, "pages" : "155:1-155:27", "session" : "" + }, + { + "title" : "Graphiti: Bridging Graph and Relational Database Queries", + "authors" : [ "Yang He", "Ruijie Fang", "Işıl Dillig", "Yuepeng Wang" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + }, + { + "title" : "Polygon: Symbolic Reasoning for SQL using Conflict-Driven Under-Approximation Search", + "authors" : [ "Pinhan Zhao", "Yuepeng Wang", "Xinyu Wang" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "Synthesizing database programs for schema refactoring", @@ -560976,6 +564180,13 @@ list = [ "conference" : { "series" : "OOPSLA", "year" : 2020}, "pages" : "197:1-197:28", "session" : "" + }, + { + "title" : "CompCertOC: Verified Compositional Compilation of Multi-threaded Programs with Shared Stacks", + "authors" : [ "Ling Zhang", "Yuting Wang", "Yalun Liang", "Zhong Shao" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -563311,6 +566522,13 @@ list = [ "conference" : { "series" : "OOPSLA", "year" : 2021}, "pages" : "1-26", "session" : "" + }, + { + "title" : "Relaxing Alias Analysis: Exploring the Unexplored Space", + "authors" : [ "Michel Weber", "Theodoros Theodoridis", "Zhendong Su" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -574781,6 +577999,13 @@ list = [ "conference" : { "series" : "POPL", "year" : 2010}, "pages" : " 377-388", "session" : "Relating and integrating static and dynamic checks" + }, + { + "title" : "Dynamic Region Ownership for Concurrency Safety", + "authors" : [ "Fridtjof Stoldt", "Brandt Bucher", "Sylvan Clebsch", "Matthew A. Johnson", "Matthew J. Parkinson", "Guido van Rossum", "Eric Snow", "Tobias Wrigstad" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "Improving program locality in the GC using hotness", @@ -575079,6 +578304,13 @@ list = [ "conference" : { "series" : "OOPSLA", "year" : 2025}, "pages" : "786-815", "session" : "" + }, + { + "title" : "Divergence-Aware Testing of Graphics Shader Compiler Back-Ends", + "authors" : [ "Dongwei Xiao", "Shuai Wang", "Zhibo Liu", "Yiteng Peng", "Daoyuan Wu", "Zhendong Su" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -579030,6 +582262,21 @@ list = [ ] }, +{ + "author" : "Dongwei Xiao", + "publications" : [ + { + "title" : "Divergence-Aware Testing of Graphics Shader Compiler Back-Ends", + "authors" : [ "Dongwei Xiao", "Shuai Wang", "Zhibo Liu", "Yiteng Peng", "Daoyuan Wu", "Zhendong Su" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Gaoyao Xiao", "publications" : [ @@ -579118,6 +582365,21 @@ list = [ ] }, +{ + "author" : "Jingqi Xiao", + "publications" : [ + { + "title" : "LiDO-DAG: A Framework for Verifying Safety and Liveness of DAG-Based Consensus Protocols", + "authors" : [ "Longfei Qiu", "Jingqi Xiao", "Ji-Yong Shin", "Zhong Shao" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Jun Xiao", "publications" : [ @@ -580175,6 +583437,20 @@ list = [ "conference" : { "series" : "ICFP", "year" : 2020}, "pages" : "99:1-99:29", "session" : "" + }, + { + "title" : "Handling the Selection Monad", + "authors" : [ "Gordon Plotkin", "Ningning Xie" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + }, + { + "title" : "Practical Type Inference with Levels", + "authors" : [ "Andong Fan", "Han Xu", "Ningning Xie" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "Perceus: garbage free reference counting with reuse", @@ -583109,6 +586385,13 @@ list = [ "conference" : { "series" : "OOPSLA", "year" : 2021}, "pages" : "1-27", "session" : "" + }, + { + "title" : "Pointer Analysis for Database-Backed Applications", + "authors" : [ "Yufei Liang", "Teng Zhang", "Ganlin Li", "Tian Tan", "Chang Xu", "Chun Cao", "Xiaoxing Ma", "Yue Li" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -583734,6 +587017,13 @@ list = [ "conference" : { "series" : "POPL", "year" : 2023}, "pages" : "893-920", "session" : "" + }, + { + "title" : "Practical Type Inference with Levels", + "authors" : [ "Andong Fan", "Han Xu", "Ningning Xie" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -584393,6 +587683,21 @@ list = [ ] }, +{ + "author" : "Muchen Xu", + "publications" : [ + { + "title" : "MISAAL: Synthesis-Based Automatic Generation of Efficient and Retargetable Semantics-Driven OptimizationsRemote", + "authors" : [ "Abdul Rafae Noor", "Dhruv Baronia", "Akash Kothari", "Muchen Xu", "Charith Mendis", "Vikram S. Adve" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Ningxin Xu", "publications" : [ @@ -586775,6 +590080,13 @@ list = [ "conference" : { "series" : "PLDI", "year" : 2022}, "pages" : "286-300", "session" : "Tensors" + }, + { + "title" : "Task-Based Tensor Computations on Modern GPUs", + "authors" : [ "Rohan Yadav", "Michael Garland", "Alexander Aiken", "Michael Bauer" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -589645,6 +592957,13 @@ list = [ "conference" : { "series" : "PLDI", "year" : 2014}, "pages" : " 49", "session" : "Static analysis 2" + }, + { + "title" : "Semantics of Integrating and Differentiating Singularities", + "authors" : [ "Jesse Michel", "Wonyeol Lee", "Hongseok Yang" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -593332,6 +596651,13 @@ list = [ "conference" : { "series" : "OOPSLA", "year" : 2023}, "pages" : "256-285", "session" : "" + }, + { + "title" : "Principal Type Inference under a Prefix: A Fresh Look at Static Overloading", + "authors" : [ "Daan Leijen", "Wenjia Ye" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -594007,6 +597333,21 @@ list = [ ] }, +{ + "author" : "Jeho Yeon", + "publications" : [ + { + "title" : "Verifying General-Purpose RCU for Reclamation in Relaxed Memory Separation Logic", + "authors" : [ "Jaehwang Jung", "Sunho Park", "Janggun Lee", "Jeho Yeon", "Jeehoon Kang" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Dmitry Yershov", "publications" : [ @@ -595251,6 +598592,20 @@ list = [ "conference" : { "series" : "PLDI", "year" : 2022}, "pages" : "657-670", "session" : "Quantum" + }, + { + "title" : "Efficient Formal Verification of Quantum Error Correcting Programs", + "authors" : [ "Qifan Huang", "Li Zhou", "Wang Fang", "Mengyu Zhao", "Mingsheng Ying" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + }, + { + "title" : "Quantum Register Machine: Efficient Implementation of Quantum Recursive Programs", + "authors" : [ "Zhicheng Zhang", "Mingsheng Ying" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "An applied quantum Hoare logic", @@ -601911,6 +605266,13 @@ list = [ "conference" : { "series" : "PLDI", "year" : 2013}, "pages" : " 175-186", "session" : "Compiler validation" + }, + { + "title" : "Functional Meaning for Parallel Streaming", + "authors" : [ "Nick Rioux", "Steve Zdancewic" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "A formal C memory model supporting integer-pointer casts", @@ -602832,6 +606194,21 @@ list = [ ] }, +{ + "author" : "Haoyi Zeng", + "publications" : [ + { + "title" : "Destabilizing Iris", + "authors" : [ "Simon Spies", "Niklas Mück", "Haoyi Zeng", "Michael Sammler", "Andrea Lattuada", "Peter Müller", "Derek Dreyer" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Hushuang Zeng", "publications" : [ @@ -603320,6 +606697,21 @@ list = [ { "role" : "PC Member", "conference" : { "series" : "POPL", "year" : 2024} } ] }, +{ + "author" : "Stefan Zetzsche", + "publications" : [ + { + "title" : "Verified Foundations for Differential Privacy", + "authors" : [ "Markus de Medeiros", "Muhammad Naveed", "Tancrède Lepoint", "Temesghen Kahsai", "Tristan Ravitch", "Stefan Zetzsche", "Anjali Joshi", "Joseph Tassarotti", "Aws Albarghouthi", "Jean-Baptiste Tristan" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Max Zeuner", "publications" : [ @@ -605474,6 +608866,21 @@ list = [ ] }, +{ + "author" : "Hanliang Zhang", + "publications" : [ + { + "title" : "Scalable, Validated Code Translation of Entire Projects using Large Language Models", + "authors" : [ "Hanliang Zhang", "Cristina David", "Meng Wang", "Brandon Paulsen", "Daniel Kroening" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Hansheng Zhang", "publications" : [ @@ -607197,6 +610604,13 @@ list = [ "conference" : { "series" : "POPL", "year" : 2024}, "pages" : "2160-2190", "session" : "" + }, + { + "title" : "CompCertOC: Verified Compositional Compilation of Multi-threaded Programs with Shared Stacks", + "authors" : [ "Ling Zhang", "Yuting Wang", "Yalun Liang", "Zhong Shao" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -608503,6 +611917,13 @@ list = [ "conference" : { "series" : "POPL", "year" : 2023}, "pages" : "1308-1337", "session" : "" + }, + { + "title" : "Efficient Timestamping for Sampling-Based Race Detection", + "authors" : [ "Minjian Zhang", "Daniel Wee Soong Lim", "Mosaad Al Thokair", "Umang Mathur", "Mahesh Viswanathan" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -608967,6 +612388,13 @@ list = [ "conference" : { "series" : "PLDI", "year" : 2014}, "pages" : " 48", "session" : "Static analysis 2" + }, + { + "title" : "Robustifying Debug Information Updates in LLVM via Control-Flow Conformance Analysis", + "authors" : [ "Shan Huang", "Jingjing Liang", "Ting Su", "Qirun Zhang" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "Skeletal program enumeration for rigorous compiler testing", @@ -609531,6 +612959,21 @@ list = [ ] }, +{ + "author" : "Teng Zhang", + "publications" : [ + { + "title" : "Pointer Analysis for Database-Backed Applications", + "authors" : [ "Yufei Liang", "Teng Zhang", "Ganlin Li", "Tian Tan", "Chang Xu", "Chun Cao", "Xiaoxing Ma", "Yue Li" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Tian Zhang", "publications" : [ @@ -611967,6 +615410,13 @@ list = [ "conference" : { "series" : "OOPSLA", "year" : 2020}, "pages" : "139:1-139:30", "session" : "" + }, + { + "title" : "Certified Compilers à la Carte", + "authors" : [ "Oghenevwogaga Ebresafe", "Ian Zhao", "Ende Jin", "Arthur Bright", "Charles Jian", "Yizhou Zhang" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "Lightweight, flexible object-oriented generics", @@ -612967,6 +616417,21 @@ list = [ ] }, +{ + "author" : "Zhicheng Zhang", + "publications" : [ + { + "title" : "Quantum Register Machine: Efficient Implementation of Quantum Recursive Programs", + "authors" : [ "Zhicheng Zhang", "Mingsheng Ying" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Zhiqiang Zhang", "publications" : [ @@ -613018,6 +616483,21 @@ list = [ ] }, +{ + "author" : "Zhizhou (Chris) Zhang", + "publications" : [ + { + "title" : "DR.FIX: Automatically Fixing Data Races at Industry Scale", + "authors" : [ "Farnaz Behrang", "Zhizhou (Chris) Zhang", "Georgian-Vlad Saioc", "Peng Liu", "Milind Chabbi" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Zhuo Zhang", "publications" : [ @@ -613450,6 +616930,21 @@ list = [ ] }, +{ + "author" : "Ian Zhao", + "publications" : [ + { + "title" : "Certified Compilers à la Carte", + "authors" : [ "Oghenevwogaga Ebresafe", "Ian Zhao", "Ende Jin", "Arthur Bright", "Charles Jian", "Yizhou Zhang" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Jianhua Zhao", "publications" : [ @@ -613984,6 +617479,21 @@ list = [ ] }, +{ + "author" : "Mengyu Zhao", + "publications" : [ + { + "title" : "Efficient Formal Verification of Quantum Error Correcting Programs", + "authors" : [ "Qifan Huang", "Li Zhou", "Wang Fang", "Mengyu Zhao", "Mingsheng Ying" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Min Zhao", "publications" : [ @@ -614104,6 +617614,13 @@ list = [ "conference" : { "series" : "OOPSLA", "year" : 2024}, "pages" : "1071-1099", "session" : "" + }, + { + "title" : "Polygon: Symbolic Reasoning for SQL using Conflict-Driven Under-Approximation Search", + "authors" : [ "Pinhan Zhao", "Yuepeng Wang", "Xinyu Wang" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" } ], "committees" : [ @@ -617548,6 +621065,21 @@ list = [ ] }, +{ + "author" : "Junyu Zhou", + "publications" : [ + { + "title" : "MarQSim: Reconciling Determinism and Randomness in Compiler Optimization for Quantum SimulationRemote", + "authors" : [ "Xiuqi Cao", "Junyu Zhou", "Yuhao Liu", "Yunong Shi", "Gushu Li" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Keren Zhou", "publications" : [ @@ -617607,6 +621139,13 @@ list = [ "conference" : { "series" : "OOPSLA", "year" : 2020}, "pages" : "150:1-150:29", "session" : "" + }, + { + "title" : "Efficient Formal Verification of Quantum Error Correcting Programs", + "authors" : [ "Qifan Huang", "Li Zhou", "Wang Fang", "Mengyu Zhao", "Mingsheng Ying" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" }, { "title" : "An applied quantum Hoare logic", @@ -620751,6 +624290,28 @@ list = [ ] }, +{ + "author" : "Parker Ziegler", + "publications" : [ + { + "title" : "Fast Direct Manipulation Programming with Patch-Reconciliation Correspondence", + "authors" : [ "Parker Ziegler", "Justin Lubin", "Sarah E. Chasins" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + }, + { + "title" : "Programming by Navigation", + "authors" : [ "Justin Lubin", "Parker Ziegler", "Sarah E. Chasins" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Olga Zielinska", "publications" : [ @@ -620766,6 +624327,21 @@ list = [ ] }, +{ + "author" : "Laura Zielinski", + "publications" : [ + { + "title" : "Bean: A Language for Backward Error Analysis", + "authors" : [ "Ariel E. Kellison", "Laura Zielinski", "David Bindel", "Justin Hsu" ], + "conference" : { "series" : "PLDI", "year" : 2025}, + "pages" : "", + "session" : "Testing and Synthesis" + } + ], + "committees" : [ + + ] +}, { "author" : "Franz Zieris", "publications" : [ From 6ee9e3cd69f5db3c0217bac5b6f540fdfdf9f385 Mon Sep 17 00:00:00 2001 From: Manu Sridharan Date: Fri, 8 Aug 2025 16:43:00 -0700 Subject: [PATCH 2/4] name mapping fix --- data/NameMappings.txt | 1 + ui/js/data.js | 69 +++++++++++++++++++------------------------ 2 files changed, 32 insertions(+), 38 deletions(-) diff --git a/data/NameMappings.txt b/data/NameMappings.txt index e961493..8238379 100644 --- a/data/NameMappings.txt +++ b/data/NameMappings.txt @@ -351,3 +351,4 @@ Thomas Reps->Thomas W. Reps Oliver Bračevac->Oliver Bracevac Loris D'Antoni->Loris D'Antoni V Krishna Nandivada->V. Krishna Nandivada +Sarah Chasins->Sarah E. Chasins diff --git a/ui/js/data.js b/ui/js/data.js index 4984360..f1a9f82 100644 --- a/ui/js/data.js +++ b/ui/js/data.js @@ -1,7 +1,7 @@ -/* file data.js generated on 2025/08/07 17:52:07 +/* file data.js generated on 2025/08/08 16:42:41 456 Conferences analyzed: [ICSE 2013, ICSE 2014, ICSE 2022, ICSE 2015, ICSE 2012, ICSE 1995, ICSE 2008, ICSE 2001, ICSE 2006, ICSE 2007, ICSE 2000, ICSE 2009, ICSE 2017, ICSE 2010, ICSE 2019, ICSE 2021, ICSE 2020, ICSE 2018, ICSE 2011, ICSE 2016, ICSE 1997, ICSE 1999, ICSE 1998, ICSE 1996, ICSE 2005, ICSE 2002, ICSE 2003, ICSE 2004, OOPSLA 2013, OOPSLA 2014, OOPSLA 2022, OOPSLA 2025, OOPSLA 2024, OOPSLA 2023, OOPSLA 2015, OOPSLA 2012, OOPSLA 1995, OOPSLA 2008, OOPSLA 2001, OOPSLA 2006, OOPSLA 2007, OOPSLA 2000, OOPSLA 2009, OOPSLA 2017, OOPSLA 2010, OOPSLA 2026, OOPSLA 2019, OOPSLA 2021, OOPSLA 2020, OOPSLA 2018, OOPSLA 2011, OOPSLA 2016, OOPSLA 1997, OOPSLA 1999, OOPSLA 1998, OOPSLA 1996, OOPSLA 2005, OOPSLA 2002, OOPSLA 2003, OOPSLA 2004, PPoPP 2013, PPoPP 2014, PPoPP 2015, PPoPP 2012, PPoPP 1993, PPoPP 1995, PPoPP 2008, PPoPP 2001, PPoPP 2006, PPoPP 2007, PPoPP 2009, PPoPP 2010, PPoPP 2011, PPoPP 1997, PPoPP 1990, PPoPP 1999, PPoPP 1991, PPoPP 2005, PPoPP 2003, FSE-AE 2015, FSE-AE 2017, FSE-AE 2019, FSE-AE 2018, FSE-AE 2016, ISMM 2013, ISMM 2014, ISMM 2015, ISMM 2012, ISMM 2008, ISMM 2006, ISMM 2007, ISMM 2000, ISMM 2009, ISMM 2010, ISMM 2011, ISMM 2002, ISMM 2004, TFP 2013, TFP 2014, TFP 2022, TFP 2023, TFP 2015, TFP 2012, TFP 2008, TFP 2001, TFP 2006, TFP 2007, TFP 2000, TFP 2009, TFP 2017, TFP 2010, TFP 2019, TFP 2021, TFP 2020, TFP 2018, TFP 2011, TFP 2016, TFP 1999, TFP 2005, TFP 2003, TFP 2004, ECOOP 2013, ECOOP 2014, ECOOP 2015, ECOOP 2012, ECOOP 2008, ECOOP 2001, ECOOP 2006, ECOOP 2007, ECOOP 2000, ECOOP 2009, ECOOP 2017, ECOOP 2010, ECOOP 2019, ECOOP 2020, ECOOP 2018, ECOOP 2011, ECOOP 2016, ECOOP 1997, ECOOP 1999, ECOOP 1998, ECOOP 1996, ECOOP 2005, ECOOP 2002, ECOOP 2003, ECOOP 2004, ASE 2013, ASE 2014, ASE 2022, ASE 2015, ASE 2012, ASE 2008, ASE 2001, ASE 2006, ASE 2007, ASE 2009, ASE 2017, ASE 2010, ASE 2019, ASE 2021, ASE 2020, ASE 2018, ASE 2011, ASE 2016, ASE 2005, ASE 2002, ASE 2003, ASE 2004, OOPSLA-AE 2014, OOPSLA-AE 2015, OOPSLA-AE 2017, OOPSLA-AE 2019, OOPSLA-AE 2018, OOPSLA-AE 2016, SLE 2013, SLE 2014, SLE 2022, SLE 2015, SLE 2012, SLE 2008, SLE 2009, SLE 2017, SLE 2010, SLE 2019, SLE 2021, SLE 2020, SLE 2018, SLE 2011, SLE 2016, ICFP 2013, ICFP 2014, ICFP 2015, ICFP 2012, ICFP 2008, ICFP 2001, ICFP 2006, ICFP 2007, ICFP 2000, ICFP 2009, ICFP 2017, ICFP 2010, ICFP 2019, ICFP 2020, ICFP 2018, ICFP 2011, ICFP 2016, ICFP 1997, ICFP 1999, ICFP 1998, ICFP 1996, ICFP 2005, ICFP 2002, ICFP 2003, ICFP 2004, ESOP 2013, ESOP 2014, ESOP 2022, ESOP 2024, ESOP 2023, ESOP 2015, ESOP 2012, ESOP 1988, ESOP 1986, ESOP 1994, ESOP 1992, ESOP 2008, ESOP 2001, ESOP 2006, ESOP 2007, ESOP 2000, ESOP 2009, ESOP 2017, ESOP 2010, ESOP 2019, ESOP 2021, ESOP 2020, ESOP 2018, ESOP 2011, ESOP 2016, ESOP 1990, ESOP 1999, ESOP 1998, ESOP 1996, ESOP 2005, ESOP 2002, ESOP 2003, ESOP 2004, FSE 2013, FSE 2014, FSE 2022, FSE 2015, FSE 2012, FSE 2008, FSE 2001, FSE 2006, FSE 2007, FSE 2000, FSE 2009, FSE 2017, FSE 2010, FSE 2019, FSE 2021, FSE 2020, FSE 2018, FSE 2011, FSE 2016, FSE 1997, FSE 1999, FSE 1998, FSE 2005, FSE 2002, FSE 2003, FSE 2004, ICFP-AE 2017, ICFP-AE 2019, ICFP-AE 2018, Haskell 2013, Haskell 2014, Haskell 2015, Haskell 2012, Haskell 2008, Haskell 2006, Haskell 2007, Haskell 2009, Haskell 2017, Haskell 2010, Haskell 2019, Haskell 2021, Haskell 2020, Haskell 2018, Haskell 2011, Haskell 2016, Haskell 2005, Haskell 2003, Haskell 2004, POPL-AE 2017, POPL-AE 2019, POPL-AE 2018, POPL-AE 2016, CGO 2013, CGO 2014, CGO 2022, CGO 2015, CGO 2012, CGO 2008, CGO 2006, CGO 2007, CGO 2009, CGO 2017, CGO 2010, CGO 2019, CGO 2021, CGO 2020, CGO 2018, CGO 2011, CGO 2016, CGO 2005, CGO 2003, CGO 2004, ISSTA-AE 2017, ISSTA-AE 2019, ISSTA-AE 2018, ISSTA-AE 2016, POPL 2022, ICFP 2022, POPL 2025, POPL 2024, PLDI 2024, ICFP 2024, POPL 2023, PLDI 2023, ICFP 2023, POPL 2019, POPL 2021, ICFP 2021, POPL 2020, HOPL 2020, POPL 2018, POPL 2013, POPL 2014, POPL 2015, POPL 2012, POPL 1995, POPL 2008, POPL 2001, POPL 2006, POPL 2007, POPL 2000, POPL 2009, POPL 2017, POPL 2010, POPL 2026, POPL 2011, POPL 2016, POPL 1997, POPL 1999, POPL 1998, POPL 1996, POPL 2005, POPL 2002, POPL 2003, POPL 2004, PLDI-AE 2014, PLDI-AE 2015, PLDI-AE 2017, PLDI-AE 2019, PLDI-AE 2018, PLDI-AE 2016, ICSE-AE 2019, ICSE-AE 2020, CC 2013, CC 2014, CC 2022, CC 2015, CC 2012, CC 1988, CC 1994, CC 1992, CC 2008, CC 2001, CC 2006, CC 2007, CC 2000, CC 2009, CC 2017, CC 2010, CC 2019, CC 2021, CC 2020, CC 2018, CC 2011, CC 2016, CC 1990, CC 1999, CC 1998, CC 1996, CC 2005, CC 2002, CC 2003, CC 2004, PLDI 2013, PLDI 2014, PLDI 2022, PLDI 2025, PLDI 2015, PLDI 2012, PLDI 1995, PLDI 2008, PLDI 2001, PLDI 2006, PLDI 2007, PLDI 2000, PLDI 2009, PLDI 2017, PLDI 2010, PLDI 2019, PLDI 2021, PLDI 2020, PLDI 2018, PLDI 2011, PLDI 2016, PLDI 1997, PLDI 1999, PLDI 1998, PLDI 1996, PLDI 2005, PLDI 2002, PLDI 2003, PLDI 2004, ECOOP-AE 2015, ECOOP-AE 2017, ECOOP-AE 2019, ECOOP-AE 2018, ECOOP-AE 2016, ISSTA 2013, ISSTA 2014, ISSTA 2022, ISSTA 2015, ISSTA 2012, ISSTA 2008, ISSTA 2006, ISSTA 2007, ISSTA 2000, ISSTA 2009, ISSTA 2017, ISSTA 2010, ISSTA 2019, ISSTA 2021, ISSTA 2020, ISSTA 2018, ISSTA 2011, ISSTA 2016, ISSTA 1998, ISSTA 1996, ISSTA 2002, ISSTA 2004] - 22096 distinct authors - 3960 distinct PC Members + 22095 distinct authors + 3959 distinct PC Members 18827 publications */ @@ -31859,7 +31859,7 @@ list = [ }, { "title" : "Ringer: web automation by demonstration", - "authors" : [ "Shaon Barman", "Sarah Chasins", "Rastislav Bodík", "Sumit Gulwani" ], + "authors" : [ "Shaon Barman", "Sarah E. Chasins", "Rastislav Bodík", "Sumit Gulwani" ], "conference" : { "series" : "OOPSLA", "year" : 2016}, "pages" : "748-764", "session" : "Program Modeling and Learning" @@ -48725,7 +48725,7 @@ list = [ }, { "title" : "Ringer: web automation by demonstration", - "authors" : [ "Shaon Barman", "Sarah Chasins", "Rastislav Bodík", "Sumit Gulwani" ], + "authors" : [ "Shaon Barman", "Sarah E. Chasins", "Rastislav Bodík", "Sumit Gulwani" ], "conference" : { "series" : "OOPSLA", "year" : 2016}, "pages" : "748-764", "session" : "Program Modeling and Learning" @@ -48823,7 +48823,7 @@ list = [ }, { "title" : "Skip blocks: reusing execution history to accelerate web scripts", - "authors" : [ "Sarah Chasins", "Rastislav Bodík" ], + "authors" : [ "Sarah E. Chasins", "Rastislav Bodík" ], "conference" : { "series" : "OOPSLA", "year" : 2017}, "pages" : "51:1-51:28", "session" : "" @@ -48914,7 +48914,7 @@ list = [ }, { "title" : "Chlorophyll: synthesis-aided compiler for low-power spatial architectures", - "authors" : [ "Phitchaya Mangpo Phothilimthana", "Tikhon Jelvis", "Rohin Shah", "Nishant Totla", "Sarah Chasins", "Rastislav Bodík" ], + "authors" : [ "Phitchaya Mangpo Phothilimthana", "Tikhon Jelvis", "Rohin Shah", "Nishant Totla", "Sarah E. Chasins", "Rastislav Bodík" ], "conference" : { "series" : "PLDI", "year" : 2014}, "pages" : " 42", "session" : "Synthesis" @@ -76923,38 +76923,15 @@ list = [ ] }, { - "author" : "Sarah Chasins", + "author" : "Sarah E. Chasins", "publications" : [ { "title" : "Ringer: web automation by demonstration", - "authors" : [ "Shaon Barman", "Sarah Chasins", "Rastislav Bodík", "Sumit Gulwani" ], + "authors" : [ "Shaon Barman", "Sarah E. Chasins", "Rastislav Bodík", "Sumit Gulwani" ], "conference" : { "series" : "OOPSLA", "year" : 2016}, "pages" : "748-764", "session" : "Program Modeling and Learning" }, - { - "title" : "Skip blocks: reusing execution history to accelerate web scripts", - "authors" : [ "Sarah Chasins", "Rastislav Bodík" ], - "conference" : { "series" : "OOPSLA", "year" : 2017}, - "pages" : "51:1-51:28", - "session" : "" - }, - { - "title" : "Chlorophyll: synthesis-aided compiler for low-power spatial architectures", - "authors" : [ "Phitchaya Mangpo Phothilimthana", "Tikhon Jelvis", "Rohin Shah", "Nishant Totla", "Sarah Chasins", "Rastislav Bodík" ], - "conference" : { "series" : "PLDI", "year" : 2014}, - "pages" : " 42", - "session" : "Synthesis" - } - ], - "committees" : [ - { "role" : "PC Member", "conference" : { "series" : "OOPSLA", "year" : 2020} }, - { "role" : "ERC Member", "conference" : { "series" : "PLDI", "year" : 2020} } - ] -}, -{ - "author" : "Sarah E. Chasins", - "publications" : [ { "title" : "Equivalence by Canonicalization for Synthesis-Backed Refactoring", "authors" : [ "Justin Lubin", "Jeremy Ferguson", "Kevin Ye", "Jacob Yim", "Sarah E. Chasins" ], @@ -76975,6 +76952,13 @@ list = [ "conference" : { "series" : "OOPSLA", "year" : 2023}, "pages" : "1499-1530", "session" : "" + }, + { + "title" : "Skip blocks: reusing execution history to accelerate web scripts", + "authors" : [ "Sarah E. Chasins", "Rastislav Bodík" ], + "conference" : { "series" : "OOPSLA", "year" : 2017}, + "pages" : "51:1-51:28", + "session" : "" }, { "title" : "How statically-typed functional programmers write code", @@ -76982,6 +76966,13 @@ list = [ "conference" : { "series" : "OOPSLA", "year" : 2021}, "pages" : "1-30", "session" : "" + }, + { + "title" : "Chlorophyll: synthesis-aided compiler for low-power spatial architectures", + "authors" : [ "Phitchaya Mangpo Phothilimthana", "Tikhon Jelvis", "Rohin Shah", "Nishant Totla", "Sarah E. Chasins", "Rastislav Bodík" ], + "conference" : { "series" : "PLDI", "year" : 2014}, + "pages" : " 42", + "session" : "Synthesis" }, { "title" : "Fast Direct Manipulation Programming with Patch-Reconciliation Correspondence", @@ -77001,9 +76992,11 @@ list = [ "committees" : [ { "role" : "PC Member", "conference" : { "series" : "OOPSLA", "year" : 2026} }, { "role" : "PC Member", "conference" : { "series" : "OOPSLA", "year" : 2021} }, + { "role" : "PC Member", "conference" : { "series" : "OOPSLA", "year" : 2020} }, { "role" : "PC Member", "conference" : { "series" : "POPL", "year" : 2025} }, { "role" : "PC Member", "conference" : { "series" : "PLDI", "year" : 2022} }, - { "role" : "PC Member", "conference" : { "series" : "PLDI", "year" : 2024} } + { "role" : "PC Member", "conference" : { "series" : "PLDI", "year" : 2024} }, + { "role" : "ERC Member", "conference" : { "series" : "PLDI", "year" : 2020} } ] }, { @@ -187637,7 +187630,7 @@ list = [ }, { "title" : "Ringer: web automation by demonstration", - "authors" : [ "Shaon Barman", "Sarah Chasins", "Rastislav Bodík", "Sumit Gulwani" ], + "authors" : [ "Shaon Barman", "Sarah E. Chasins", "Rastislav Bodík", "Sumit Gulwani" ], "conference" : { "series" : "OOPSLA", "year" : 2016}, "pages" : "748-764", "session" : "Program Modeling and Learning" @@ -235326,7 +235319,7 @@ list = [ "publications" : [ { "title" : "Chlorophyll: synthesis-aided compiler for low-power spatial architectures", - "authors" : [ "Phitchaya Mangpo Phothilimthana", "Tikhon Jelvis", "Rohin Shah", "Nishant Totla", "Sarah Chasins", "Rastislav Bodík" ], + "authors" : [ "Phitchaya Mangpo Phothilimthana", "Tikhon Jelvis", "Rohin Shah", "Nishant Totla", "Sarah E. Chasins", "Rastislav Bodík" ], "conference" : { "series" : "PLDI", "year" : 2014}, "pages" : " 42", "session" : "Synthesis" @@ -414915,7 +414908,7 @@ list = [ }, { "title" : "Chlorophyll: synthesis-aided compiler for low-power spatial architectures", - "authors" : [ "Phitchaya Mangpo Phothilimthana", "Tikhon Jelvis", "Rohin Shah", "Nishant Totla", "Sarah Chasins", "Rastislav Bodík" ], + "authors" : [ "Phitchaya Mangpo Phothilimthana", "Tikhon Jelvis", "Rohin Shah", "Nishant Totla", "Sarah E. Chasins", "Rastislav Bodík" ], "conference" : { "series" : "PLDI", "year" : 2014}, "pages" : " 42", "session" : "Synthesis" @@ -480726,7 +480719,7 @@ list = [ "publications" : [ { "title" : "Chlorophyll: synthesis-aided compiler for low-power spatial architectures", - "authors" : [ "Phitchaya Mangpo Phothilimthana", "Tikhon Jelvis", "Rohin Shah", "Nishant Totla", "Sarah Chasins", "Rastislav Bodík" ], + "authors" : [ "Phitchaya Mangpo Phothilimthana", "Tikhon Jelvis", "Rohin Shah", "Nishant Totla", "Sarah E. Chasins", "Rastislav Bodík" ], "conference" : { "series" : "PLDI", "year" : 2014}, "pages" : " 42", "session" : "Synthesis" @@ -534371,7 +534364,7 @@ list = [ }, { "title" : "Chlorophyll: synthesis-aided compiler for low-power spatial architectures", - "authors" : [ "Phitchaya Mangpo Phothilimthana", "Tikhon Jelvis", "Rohin Shah", "Nishant Totla", "Sarah Chasins", "Rastislav Bodík" ], + "authors" : [ "Phitchaya Mangpo Phothilimthana", "Tikhon Jelvis", "Rohin Shah", "Nishant Totla", "Sarah E. Chasins", "Rastislav Bodík" ], "conference" : { "series" : "PLDI", "year" : 2014}, "pages" : " 42", "session" : "Synthesis" From 99fc83a4396db618ba7d0c4102381125ad8a1ec2 Mon Sep 17 00:00:00 2001 From: Manu Sridharan Date: Mon, 11 Aug 2025 17:17:29 -0700 Subject: [PATCH 3/4] Fix name mapping --- data/NameMappings.txt | 1 + ui/js/data.js | 15 +++------------ 2 files changed, 4 insertions(+), 12 deletions(-) diff --git a/data/NameMappings.txt b/data/NameMappings.txt index 8238379..b75b2ac 100644 --- a/data/NameMappings.txt +++ b/data/NameMappings.txt @@ -352,3 +352,4 @@ Oliver Bračevac->Oliver Bracevac Loris D'Antoni->Loris D'Antoni V Krishna Nandivada->V. Krishna Nandivada Sarah Chasins->Sarah E. Chasins +Liam O'Connor->Liam O'Connor diff --git a/ui/js/data.js b/ui/js/data.js index f1a9f82..15f5ef6 100644 --- a/ui/js/data.js +++ b/ui/js/data.js @@ -1,4 +1,4 @@ -/* file data.js generated on 2025/08/08 16:42:41 +/* file data.js generated on 2025/08/11 17:17:06 456 Conferences analyzed: [ICSE 2013, ICSE 2014, ICSE 2022, ICSE 2015, ICSE 2012, ICSE 1995, ICSE 2008, ICSE 2001, ICSE 2006, ICSE 2007, ICSE 2000, ICSE 2009, ICSE 2017, ICSE 2010, ICSE 2019, ICSE 2021, ICSE 2020, ICSE 2018, ICSE 2011, ICSE 2016, ICSE 1997, ICSE 1999, ICSE 1998, ICSE 1996, ICSE 2005, ICSE 2002, ICSE 2003, ICSE 2004, OOPSLA 2013, OOPSLA 2014, OOPSLA 2022, OOPSLA 2025, OOPSLA 2024, OOPSLA 2023, OOPSLA 2015, OOPSLA 2012, OOPSLA 1995, OOPSLA 2008, OOPSLA 2001, OOPSLA 2006, OOPSLA 2007, OOPSLA 2000, OOPSLA 2009, OOPSLA 2017, OOPSLA 2010, OOPSLA 2026, OOPSLA 2019, OOPSLA 2021, OOPSLA 2020, OOPSLA 2018, OOPSLA 2011, OOPSLA 2016, OOPSLA 1997, OOPSLA 1999, OOPSLA 1998, OOPSLA 1996, OOPSLA 2005, OOPSLA 2002, OOPSLA 2003, OOPSLA 2004, PPoPP 2013, PPoPP 2014, PPoPP 2015, PPoPP 2012, PPoPP 1993, PPoPP 1995, PPoPP 2008, PPoPP 2001, PPoPP 2006, PPoPP 2007, PPoPP 2009, PPoPP 2010, PPoPP 2011, PPoPP 1997, PPoPP 1990, PPoPP 1999, PPoPP 1991, PPoPP 2005, PPoPP 2003, FSE-AE 2015, FSE-AE 2017, FSE-AE 2019, FSE-AE 2018, FSE-AE 2016, ISMM 2013, ISMM 2014, ISMM 2015, ISMM 2012, ISMM 2008, ISMM 2006, ISMM 2007, ISMM 2000, ISMM 2009, ISMM 2010, ISMM 2011, ISMM 2002, ISMM 2004, TFP 2013, TFP 2014, TFP 2022, TFP 2023, TFP 2015, TFP 2012, TFP 2008, TFP 2001, TFP 2006, TFP 2007, TFP 2000, TFP 2009, TFP 2017, TFP 2010, TFP 2019, TFP 2021, TFP 2020, TFP 2018, TFP 2011, TFP 2016, TFP 1999, TFP 2005, TFP 2003, TFP 2004, ECOOP 2013, ECOOP 2014, ECOOP 2015, ECOOP 2012, ECOOP 2008, ECOOP 2001, ECOOP 2006, ECOOP 2007, ECOOP 2000, ECOOP 2009, ECOOP 2017, ECOOP 2010, ECOOP 2019, ECOOP 2020, ECOOP 2018, ECOOP 2011, ECOOP 2016, ECOOP 1997, ECOOP 1999, ECOOP 1998, ECOOP 1996, ECOOP 2005, ECOOP 2002, ECOOP 2003, ECOOP 2004, ASE 2013, ASE 2014, ASE 2022, ASE 2015, ASE 2012, ASE 2008, ASE 2001, ASE 2006, ASE 2007, ASE 2009, ASE 2017, ASE 2010, ASE 2019, ASE 2021, ASE 2020, ASE 2018, ASE 2011, ASE 2016, ASE 2005, ASE 2002, ASE 2003, ASE 2004, OOPSLA-AE 2014, OOPSLA-AE 2015, OOPSLA-AE 2017, OOPSLA-AE 2019, OOPSLA-AE 2018, OOPSLA-AE 2016, SLE 2013, SLE 2014, SLE 2022, SLE 2015, SLE 2012, SLE 2008, SLE 2009, SLE 2017, SLE 2010, SLE 2019, SLE 2021, SLE 2020, SLE 2018, SLE 2011, SLE 2016, ICFP 2013, ICFP 2014, ICFP 2015, ICFP 2012, ICFP 2008, ICFP 2001, ICFP 2006, ICFP 2007, ICFP 2000, ICFP 2009, ICFP 2017, ICFP 2010, ICFP 2019, ICFP 2020, ICFP 2018, ICFP 2011, ICFP 2016, ICFP 1997, ICFP 1999, ICFP 1998, ICFP 1996, ICFP 2005, ICFP 2002, ICFP 2003, ICFP 2004, ESOP 2013, ESOP 2014, ESOP 2022, ESOP 2024, ESOP 2023, ESOP 2015, ESOP 2012, ESOP 1988, ESOP 1986, ESOP 1994, ESOP 1992, ESOP 2008, ESOP 2001, ESOP 2006, ESOP 2007, ESOP 2000, ESOP 2009, ESOP 2017, ESOP 2010, ESOP 2019, ESOP 2021, ESOP 2020, ESOP 2018, ESOP 2011, ESOP 2016, ESOP 1990, ESOP 1999, ESOP 1998, ESOP 1996, ESOP 2005, ESOP 2002, ESOP 2003, ESOP 2004, FSE 2013, FSE 2014, FSE 2022, FSE 2015, FSE 2012, FSE 2008, FSE 2001, FSE 2006, FSE 2007, FSE 2000, FSE 2009, FSE 2017, FSE 2010, FSE 2019, FSE 2021, FSE 2020, FSE 2018, FSE 2011, FSE 2016, FSE 1997, FSE 1999, FSE 1998, FSE 2005, FSE 2002, FSE 2003, FSE 2004, ICFP-AE 2017, ICFP-AE 2019, ICFP-AE 2018, Haskell 2013, Haskell 2014, Haskell 2015, Haskell 2012, Haskell 2008, Haskell 2006, Haskell 2007, Haskell 2009, Haskell 2017, Haskell 2010, Haskell 2019, Haskell 2021, Haskell 2020, Haskell 2018, Haskell 2011, Haskell 2016, Haskell 2005, Haskell 2003, Haskell 2004, POPL-AE 2017, POPL-AE 2019, POPL-AE 2018, POPL-AE 2016, CGO 2013, CGO 2014, CGO 2022, CGO 2015, CGO 2012, CGO 2008, CGO 2006, CGO 2007, CGO 2009, CGO 2017, CGO 2010, CGO 2019, CGO 2021, CGO 2020, CGO 2018, CGO 2011, CGO 2016, CGO 2005, CGO 2003, CGO 2004, ISSTA-AE 2017, ISSTA-AE 2019, ISSTA-AE 2018, ISSTA-AE 2016, POPL 2022, ICFP 2022, POPL 2025, POPL 2024, PLDI 2024, ICFP 2024, POPL 2023, PLDI 2023, ICFP 2023, POPL 2019, POPL 2021, ICFP 2021, POPL 2020, HOPL 2020, POPL 2018, POPL 2013, POPL 2014, POPL 2015, POPL 2012, POPL 1995, POPL 2008, POPL 2001, POPL 2006, POPL 2007, POPL 2000, POPL 2009, POPL 2017, POPL 2010, POPL 2026, POPL 2011, POPL 2016, POPL 1997, POPL 1999, POPL 1998, POPL 1996, POPL 2005, POPL 2002, POPL 2003, POPL 2004, PLDI-AE 2014, PLDI-AE 2015, PLDI-AE 2017, PLDI-AE 2019, PLDI-AE 2018, PLDI-AE 2016, ICSE-AE 2019, ICSE-AE 2020, CC 2013, CC 2014, CC 2022, CC 2015, CC 2012, CC 1988, CC 1994, CC 1992, CC 2008, CC 2001, CC 2006, CC 2007, CC 2000, CC 2009, CC 2017, CC 2010, CC 2019, CC 2021, CC 2020, CC 2018, CC 2011, CC 2016, CC 1990, CC 1999, CC 1998, CC 1996, CC 2005, CC 2002, CC 2003, CC 2004, PLDI 2013, PLDI 2014, PLDI 2022, PLDI 2025, PLDI 2015, PLDI 2012, PLDI 1995, PLDI 2008, PLDI 2001, PLDI 2006, PLDI 2007, PLDI 2000, PLDI 2009, PLDI 2017, PLDI 2010, PLDI 2019, PLDI 2021, PLDI 2020, PLDI 2018, PLDI 2011, PLDI 2016, PLDI 1997, PLDI 1999, PLDI 1998, PLDI 1996, PLDI 2005, PLDI 2002, PLDI 2003, PLDI 2004, ECOOP-AE 2015, ECOOP-AE 2017, ECOOP-AE 2019, ECOOP-AE 2018, ECOOP-AE 2016, ISSTA 2013, ISSTA 2014, ISSTA 2022, ISSTA 2015, ISSTA 2012, ISSTA 2008, ISSTA 2006, ISSTA 2007, ISSTA 2000, ISSTA 2009, ISSTA 2017, ISSTA 2010, ISSTA 2019, ISSTA 2021, ISSTA 2020, ISSTA 2018, ISSTA 2011, ISSTA 2016, ISSTA 1998, ISSTA 1996, ISSTA 2002, ISSTA 2004] 22095 distinct authors 3959 distinct PC Members @@ -388565,7 +388565,8 @@ list = [ } ], "committees" : [ - + { "role" : "PC Member", "conference" : { "series" : "ICFP-AE", "year" : 2018} }, + { "role" : "PC Member", "conference" : { "series" : "PLDI", "year" : 2025} } ] }, { @@ -388854,16 +388855,6 @@ list = [ { "role" : "ERC Member", "conference" : { "series" : "PLDI", "year" : 2016} } ] }, -{ - "author" : "Liam O'Connor", - "publications" : [ - - ], - "committees" : [ - { "role" : "PC Member", "conference" : { "series" : "ICFP-AE", "year" : 2018} }, - { "role" : "PC Member", "conference" : { "series" : "PLDI", "year" : 2025} } - ] -}, { "author" : "Rory O'Connor", "publications" : [ From d3420bd7ac0ccf2d681eec0820fc1d93828bd70e Mon Sep 17 00:00:00 2001 From: Manu Sridharan Date: Mon, 11 Aug 2025 20:05:49 -0700 Subject: [PATCH 4/4] formatting --- src/pcminer/PCMiner.java | 11 +++++------ 1 file changed, 5 insertions(+), 6 deletions(-) diff --git a/src/pcminer/PCMiner.java b/src/pcminer/PCMiner.java index 13ac88c..9d7f474 100755 --- a/src/pcminer/PCMiner.java +++ b/src/pcminer/PCMiner.java @@ -1,11 +1,14 @@ package pcminer; +import com.google.gson.Gson; +import com.google.gson.reflect.TypeToken; import java.io.BufferedReader; import java.io.File; import java.io.FileOutputStream; import java.io.FileReader; import java.io.IOException; import java.io.PrintStream; +import java.lang.reflect.Type; import java.text.DateFormat; import java.text.SimpleDateFormat; import java.util.ArrayList; @@ -32,10 +35,6 @@ import org.htmlparser.util.ParserException; import org.htmlparser.util.SimpleNodeIterator; import org.htmlparser.visitors.NodeVisitor; -import com.google.gson.Gson; -import com.google.gson.reflect.TypeToken; -import java.lang.reflect.Type; - /** * This program is a simple utility for doing some analysis on publication and program committee @@ -217,7 +216,7 @@ public void visitTag(Tag tag) { if (node instanceof TextNode tn) { String sessionName = tn.getText(); - sessionName = + sessionName = sessionName .replace("\n", " ") .replace("\r", " "); // some session names contain line breaks @@ -243,7 +242,7 @@ private boolean ish2(HeadingTag ht) { private void scanConferenceJson(File file) { Gson gson = new Gson(); try (FileReader reader = new FileReader(file)) { - Type collectionType = new TypeToken>(){}.getType(); + Type collectionType = new TypeToken>() {}.getType(); List papers = gson.fromJson(reader, collectionType); for (Paper paper : papers) { theTitle = paper.title();