PLDI

2021–2025 確定版

著者一覧 · 国際会議 · 大学ランキング

PLDI 公式サイト ↗

Programming Languages & Formal Methods

2023 · 83 papers

このEditionに反映済みのmain full research papersのみ掲載しています。著者リンクは日本の大学への著者別所属根拠がある場合に限ります。

2023 · PLDI
A Lineage-Based Referencing DSL for Computer-Aided Design
Dan Cascaval, Rastislav Bodik, Adriana Schulz
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · PLDI
A Type System for Safe Intermittent Computing
Milijana Surbatovich, Naomi Spargo, Limin Jia, Brandon Lucia
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · PLDI
Abstract Interpretation of Fixpoint Iterators with Applications to Neural Networks
Mark Niklas Müller, Marc Fischer, Robin Staab, Martin Vechev
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · PLDI
Absynthe: Abstract Interpretation-Guided Synthesis
Sankha Narayan Guria, Jeffrey S. Foster, David Van Horn
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · PLDI
An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits
Yu-Fang Chen, Kai-Min Chung, Ondřej Lengál, Jyun-Ao Lin, Wei-Lun Tsai, Di-De Yen
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · PLDI
Architecture-Preserving Provable Repair of Deep Neural Networks
Zhe Tao, Stephanie Nawas, Jacqueline Mitchell, Aditya V. Thakur
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · PLDI
Automated Detection of Under-Constrained Circuits in Zero-Knowledge Proofs
Shankara Pailoor, Yanju Chen, Franklyn Wang, Clara Rodríguez, Jacob Van Geffen, Jason Morton, Michael Chu, Brian Gu, Yu Feng, Işıl Dillig
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · PLDI
Automated Expected Value Analysis of Recursive Programs
Martin Avanzini, Georg Moser, Michael Schaper
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · PLDI
Better Defunctionalization through Lambda Set Specialization
William Brandon, Benjamin Driscoll, Frank Dai, Wilson Berkow, Mae Milano
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · PLDI
Better Together: Unifying Datalog and Equality Saturation
Yihong Zhang, Yisu Remy Wang, Oliver Flatt, David Cao, Philip Zucker, Eli Rosenthal, Zachary Tatlock, Max Willsey
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · PLDI
Beyond Backtracking: Connections in Fine-Grained Concurrent Separation Logic
Ike Mulder, Łukasz Czajka, Robbert Krebbers
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · PLDI
CQS: A Formally-Verified Framework for Fair and Abortable Synchronization
Nikita Koval, Dmitry Khalanskiy, Dan Alistarh
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · PLDI
Cakes That Bake Cakes: Dynamic Computation in CakeML
Thomas Sewell, Magnus O. Myreen, Yong Kiam Tan, Ramana Kumar, Alexander Mihajlovic, Oskar Abrahamsson, Scott Owens
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · PLDI
Collecting Cyclic Garbage across Foreign Function Interfaces: Who Takes the Last Piece of Cake?
Tetsuro Yamazaki, Tomoki Nakamaru, Ryota Shioya, Tomoharu Ugawa, Shigeru Chiba
Programming Languages & Formal Methods
日本大学: 東京大学
2023 · PLDI
CommCSL: Proving Information Flow Security for Concurrent Programs using Abstract Commutativity
Marco Eilers, Thibault Dardinier, Peter Müller
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · PLDI
Compound Memory Models
Andrés Goens, Soham Chakraborty, Susmit Sarkar, Sukarn Agarwal, Nicolai Oswald, Vijay Nagarajan
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · PLDI
Conflict-Driven Synthesis for Layout Engines
Junrui Liu, Yanju Chen, Eric Atkinson, Yu Feng, Rastislav Bodik
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · PLDI
Context Sensitivity without Contexts: A Cut-Shortcut Approach to Fast and Precise Pointer Analysis
Wenjie Ma, Shengyuan Yang, Tian Tan, Xiaoxing Ma, Chang Xu, Yue Li
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · PLDI
Covering All the Bases: Type-Based Verification of Test Input Generators
Zhe Zhou, Ashish Mishra, Benjamin Delaware, Suresh Jagannathan
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · PLDI
CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives
Joel Kuepper, Andres Erbsen, Jason Gross, Owen Conoly, Chuyue Sun, Samuel Tian, David Wu, Adam Chlipala, Chitchanok Chuengsatiansup, Daniel Genkin, Markus Wagner, Yuval Yarom
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · PLDI
Cutting the Cake: A Language for Fair Division
Noah Bertram, Alex Levinson, Justin Hsu
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · PLDI
Defunctionalization with Dependent Types
Yulong Huang, Jeremy Yallop
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · PLDI
Derivative Based Nonbacktracking Real-World Regex Matching with Backtracking Semantics
Dan Moseley, Mario Nishio, Jose Perez Rodriguez, Olli Saarikivi, Stephen Toub, Margus Veanes, Tiki Wan, Eric Xu
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · PLDI
Discrete Adversarial Attack to Models of Code
Fengjuan Gao, Yu Wang, Ke Wang
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · PLDI
Don’t Look UB: Exposing Sanitizer-Eliding Compiler Optimizations
Raphael Isemann, Cristiano Giuffrida, Herbert Bos, Erik van der Kouwe, Klaus von Gleissenthall
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · PLDI
Dynamic Partial Order Reduction for Checking Correctness against Transaction Isolation Levels
Ahmed Bouajjani, Constantin Enea, Enrique Román-Calvo
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · PLDI
Efficient Parallel Functional Programming with Effects
Jatin Arora, Sam Westrick, Umut A. Acar
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · PLDI
Embedding Hindsight Reasoning in Separation Logic
Roland Meyer, Thomas Wies, Sebastian Wolff
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · PLDI
Extensible Metatheory Mechanization via Family Polymorphism
Ende Jin, Nada Amin, Yizhou Zhang
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · PLDI
Fair Operational Semantics
Dongjae Lee, Minki Cho, Jinwoo Kim, Soonwon Moon, Youngju Song, Chung-Kil Hur
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · PLDI
Feature-Sensitive Coverage for Conformance Testing of Programming Language Implementations
Jihyeok Park, Dongjun Youn, Kanguk Lee, Sukyoung Ryu
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · PLDI
Flux: Liquid Types for Rust
Nico Lehmann, Adam T. Geller, Niki Vazou, Ranjit Jhala
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · PLDI
Formally Verified Samplers from Probabilistic Programs with Loops and Conditioning
Alexander Bagnall, Gordon Stewart, Anindya Banerjee
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · PLDI
Fuzzing Loop Optimizations in Compilers for C++ and Data-Parallel Languages
Vsevolod Livinskii, Dmitry Babokin, John Regehr
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · PLDI
Garbage-Collection Safety for Region-Based Type-Polymorphic Programs
Martin Elsman
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · PLDI
Generalized Policy-Based Noninterference for Efficient Confidentiality-Preservation
Shamiek Mangipudi, Pavel Chuprikov, Patrick Eugster, Malte Viering, Savvas Savvides
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · PLDI
HEaaN.MLIR: An Optimizing Compiler for Fast Ring-Based Homomorphic Encryption
Sunjae Park, Woosung Song, Seunghyeon Nam, Hyeongyu Kim, Junbum Shin, Juneyoung Lee
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · PLDI
ImageEye: Batch Image Processing using Program Synthesis
Celeste Barnaby, Qiaochu Chen, Roopsha Samanta, Işıl Dillig
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · PLDI
Incremental Verification of Neural Networks
Shubham Ugare, Debangshu Banerjee, Sasa Misailovic, Gagandeep Singh
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · PLDI
Indexed Streams: A Formal Intermediate Representation for Fused Contraction Programs
Scott Kovach, Praneeth Kolichala, Tiancheng Gu, Fredrik Kjolstad
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · PLDI
Inductive Program Synthesis via Iterative Forward-Backward Abstract Interpretation
Yongho Yoon, Woosuk Lee, Kwangkeun Yi
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · PLDI
Interval Parsing Grammars for File Format Parsing
Jialun Zhang, Greg Morrisett, Gang Tan
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · PLDI
Iris-Wasm: Robust and Modular Verification of WebAssembly Programs
Xiaojia Rao, Aïna Linn Georges, Maxime Legoupil, Conrad Watt, Jean Pichon-Pharabod, Philippa Gardner, Lars Birkedal
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · PLDI
Leveraging Rust Types for Program Synthesis
Jonáš Fiala, Shachar Itzhaky, Peter Müller, Nadia Polikarpova, Ilya Sergey
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · PLDI
Lilac: A Modal Separation Logic for Conditional Probability
John M. Li, Amal Ahmed, Steven Holtzen
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · PLDI
Loop Rerolling for Hardware Decompilation
Zachary D. Sisco, Jonathan Balkind, Timothy Sherwood, Ben Hardekopf
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · PLDI
Memento: A Framework for Detectable Recoverability in Persistent Memory
Kyeongmin Cho, Seungmin Jeon, Azalea Raad, Jeehoon Kang
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · PLDI
Merging Inductive Relations
Jacob Prinz, Leonidas Lampropoulos
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · PLDI
Modular Control Plane Verification via Temporal Invariants
Timothy Alberdingk Thijm, Ryan Beckett, Aarti Gupta, David Walker
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · PLDI
Modular Hardware Design with Timeline Types
Rachit Nigam, Pedro Henrique Azevedo de Amorim, Adrian Sampson
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · PLDI
Mosaic: An Interoperable Compiler for Tensor Algebra
Manya Bansal, Olivia Hsu, Kunle Olukotun, Fredrik Kjolstad
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · PLDI
Mostly Automated Proof Repair for Verified Libraries
Kiran Gopinathan, Mayank Keoliya, Ilya Sergey
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · PLDI
Obtaining Information Leakage Bounds via Approximate Model Counting
Seemanta Saha, Surendra Ghentiyala, Shihua Lu, Lucas Bang, Tevfik Bultan
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · PLDI
One Pixel Adversarial Attacks via Sketched Programs
Tom Yuviler, Dana Drachsler-Cohen
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · PLDI
Optimal Reads-From Consistency Checking for C11-Style Memory Models
Hünkar Can Tunç, Parosh Aziz Abdulla, Soham Chakraborty, Shankaranarayanan Krishna, Umang Mathur, Andreas Pavlogiannis
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · PLDI
Parallelism in a Region Inference Context
Martin Elsman, Troels Henriksen
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · PLDI
Parameterized Algebraic Protocols
Andreia Mordido, Janek Spaderna, Peter Thiemann, Vasco T. Vasconcelos
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · PLDI
Performal: Formal Verification of Latency Properties for Distributed Systems
Tony Nuda Zhang, Upamanyu Sharma, Manos Kapritsos
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · PLDI
Probabilistic Programming with Stochastic Probabilities
Alexander K. Lew, Matin Ghavamizadeh, Martin C. Rinard, Vikash K. Mansinghka
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · PLDI
Program Reconditioning: Avoiding Undefined Behaviour When Finding and Reducing Compiler Bugs
Bastien Lecoeur, Hasan Mohsin, Alastair F. Donaldson
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · PLDI
Prompting Is Programming: A Query Language for Large Language Models
Luca Beurer-Kellner, Marc Fischer, Martin Vechev
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · PLDI
Proving and Disproving Equivalence of Functional Programming Assignments
Dragana Milovančević, Viktor Kunčak
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · PLDI
Psym: Efficient Symbolic Exploration of Distributed Systems
Lauren Pick, Ankush Desai, Aarti Gupta
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · PLDI
PureCake: A Verified Compiler for a Lazy Functional Language
Hrutvik Kanabar, Samuel Vivien, Oskar Abrahamsson, Magnus O. Myreen, Michael Norrish, Johannes Åman Pohjola, Riccardo Zanetti
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · PLDI
Putting Weak Memory in Order via a Promising Intermediate Representation
Sung-Hwan Lee, Minki Cho, Roy Margalit, Chung-Kil Hur, Ori Lahav
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · PLDI
Recursive State Machine Guided Graph Folding for Context-Free Language Reachability
Yuxiang Lei, Yulei Sui, Shin Hwei Tan, Qirun Zhang
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · PLDI
Register Tiling for Unstructured Sparsity in Neural Network Inference
Lucas Wilkinson, Kazem Cheshmi, Maryam Mehri Dehnavi
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · PLDI
Reliable Actors with Retry Orchestration
Olivier Tardieu, David Grove, Gheorghe-Teodor Bercea, Paul Castro, Jaroslaw Cwiklik, Edward Epstein
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · PLDI
Repairing Regular Expressions for Extraction
Nariyoshi Chida, Tachio Terauchi
Programming Languages & Formal Methods
日本大学: 早稲田大学
2023 · PLDI
Responsive Parallelism with Synchronization
Stefan K. Muller, Kyle Singer, Devyn Terra Keeney, Andrew Neth, Kunal Agrawal, I-Ting Angelina Lee, Umut A. Acar
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · PLDI
Scallop: A Language for Neurosymbolic Programming
Ziyang Li, Jiani Huang, Mayur Naik
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · PLDI
Search-Based Regular Expression Inference on a GPU
Mojtaba Valizadeh, Martin Berger
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · PLDI
Sound Dynamic Deadlock Prediction in Linear Time
Hünkar Can Tunç, Umang Mathur, Andreas Pavlogiannis, Mahesh Viswanathan
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · PLDI
Synthesizing MILP Constraints for Efficient and Robust Optimization
Jingbo Wang, Aarti Gupta, Chao Wang
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · PLDI
Synthesizing Quantum-Circuit Optimizers
Amanda Xu, Abtin Molavi, Lauren Pick, Swamit Tannu, Aws Albarghouthi
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · PLDI
Taype: A Policy-Agnostic Language for Oblivious Computation
Qianchuan Ye, Benjamin Delaware
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · PLDI
Trace-Guided Inductive Synthesis of Recursive Functional Programs
Yongwei Yuan, Arjun Radhakrishna, Roopsha Samanta
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · PLDI
Type-Checking CRDT Convergence
George Zakhour, Pascal Weisenburger, Guido Salvaneschi
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · PLDI
VMSL: A Separation Logic for Mechanised Robust Safety of Virtual Machines Communicating above FF-A
Zongyuan Liu, Sergei Stepanenko, Jean Pichon-Pharabod, Amin Timany, Aslan Askarov, Lars Birkedal
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · PLDI
Verified Density Compilation for a Probabilistic Programming Language
Joseph Tassarotti, Jean-Baptiste Tristan
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · PLDI
WasmRef-Isabelle: A Verified Monadic Interpreter and Industrial Fuzzing Oracle for WebAssembly
Conrad Watt, Maja Trela, Peter Lammich, Florian Märkl
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · PLDI
cuCatch: A Debugging Tool for Efficiently Catching Memory Safety Violations in CUDA Applications
Mohamed Tarek Ibn Ziad, Sana Damani, Aamer Jaleel, Stephen W. Keckler, Mark Stephenson
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2023 · PLDI
flap: A Deterministic Parser with Fused Lexing
Jeremy Yallop, Ningning Xie, Neel Krishnaswami
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）