PLDI

2021–2025 確定版

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

PLDI 公式サイト ↗

Programming Languages & Formal Methods

2022 · 68 papers

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

2022 · PLDI
A flexible type system for fearless concurrency
Mae Milano, Julia Turcotti, Andrew C. Myers
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · PLDI
A study of real-world data races in Golang
Milind Chabbi, Murali Krishna Ramanathan
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · PLDI
A typed continuation-passing translation for lexical effect handlers
Philipp Schuster, Jonathan Immanuel Brachthäuser, Marius Müller, Klaus Ostermann
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · PLDI
ANOSY: approximated knowledge synthesis with refinement types for declassification
Sankha Narayan Guria, Niki Vazou, Marco Guarnieri, James Parker
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · PLDI
Abstract interpretation repair
Roberto Bruni, Roberto Giacobazzi, Roberta Gori, Francesco Ranzato
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · PLDI
Adore: atomic distributed objects with certified reconfiguration
Wolf Honoré, Ji-Yong Shin, Jieung Kim, Zhong Shao
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · PLDI
Algebraic reasoning of Quantum programs via non-idempotent Kleene algebra
Yuxiang Peng, Mingsheng Ying, Xiaodi Wu
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · PLDI
All you need is superword-level parallelism: systematic control-flow vectorization with SLP
Yishen Chen, Charith Mendis, Saman Amarasinghe
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · PLDI
Autoscheduling for sparse tensor algebra with an asymptotic cost model
Willow Ahrens, Fredrik Kjolstad, Saman Amarasinghe
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · PLDI
Bind the gap: compiling real software to hardware FFT accelerators
Jackson Woodruff, Jordi Armengol-Estapé, Sam Ainsworth, Michael F. P. O'Boyle
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · PLDI
Can reactive synthesis and syntax-guided synthesis be friends?
Wonhyuk Choi, Bernd Finkbeiner, Ruzica Piskac, Mark Santolucito
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · PLDI
Certified mergeable replicated data types
Vimala Soundarapandian, Adharsh Kamath, Kartik Nagar, KC Sivaramakrishnan
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · PLDI
Checking robustness to weak persistency models
Hamed Gorjiara, Weiyu Luo, Alex Lee, Guoqing Harry Xu, Brian Demsky
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · PLDI
Choosing mathematical function implementations for speed and accuracy
Ian Briggs, Pavel Panchekha
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · PLDI
Compass: strong and compositional library specifications in relaxed memory separation logic
Hoang-Hai Dang, Jaehwang Jung, Jaemin Choi, Duc-Than Nguyen, William Mansky, Jeehoon Kang, Derek Dreyer
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · PLDI
Computing correctly with inductive relations
Zoe Paraskevopoulou, Aaron Eline, Leonidas Lampropoulos
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · PLDI
CycleQ: an efficient basis for cyclic equational reasoning
Eddie Jones, C.-H. Luke Ong, Steven Ramsay
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · PLDI
DISTAL: the distributed tensor algebra compiler
Rohan Yadav, Alex Aiken, Fredrik Kjolstad
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · PLDI
Deep and shallow types for gradual languages
Ben Greenman
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · PLDI
Deoptless: speculation with dispatched on-stack replacement and specialized continuations
Olivier Flückiger, Jan Ječmen, Sebastián Krynski, Jan Vitek
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · PLDI
Diaframe: automated verification of fine-grained concurrent programs in Iris
Ike Mulder, Robbert Krebbers, Herman Geuvers
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · PLDI
Differential cost analysis with simultaneous potentials and anti-potentials
Đorđe Žikelić, Bor-Yuh Evan Chang, Pauline Bolignano, Franco Raimondi
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · PLDI
Efficient approximations for cache-conscious data placement
Ali Ahmadi, Majid Daliri, Amir Kafshdar Goharshady, Andreas Pavlogiannis
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · PLDI
Exocompilation for productive programming of hardware accelerators
Yuka Ikarashi, Gilbert Louis Bernstein, Alex Reinking, Hasan Genc, Jonathan Ragan-Kelley
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · PLDI
Finding the Dwarf: Recovering Precise Types from WebAssembly Binaries
Daniel Lehmann, Michael Pradel
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · PLDI
Finding typing compiler bugs
Stefanos Chaliasos, Thodoris Sotiropoulos, Diomidis Spinellis, Arthur Gervais, Benjamin Livshits, Dimitris Mitropoulos
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · PLDI
Formally verified lifting of C-compiled x86-64 binaries
Freek Verbeek, Joshua Bockenek, Zhoulai Fu, Binoy Ravindran
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · PLDI
FreeTensor: a free-form DSL with holistic optimizations for irregular tensor programs
Shizhi Tang, Jidong Zhai, Haojie Wang, Lin Jiang, Liyan Zheng, Zhenhao Yuan, Chen Zhang
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · PLDI
Giallar: push-button verification for the qiskit Quantum compiler
Runzhou Tao, Yunong Shi, Jianan Yao, Xupeng Li, Ali Javadi-Abhari, Andrew W. Cross, Frederic T. Chong, Ronghui Gu
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · PLDI
Guaranteed bounds for posterior inference in universal probabilistic programming
Raven Beutner, C.-H. Luke Ong, Fabian Zaiser
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · PLDI
Hamband: RDMA replicated data types
Farzin Houshmand, Javad Saberlatibari, Mohsen Lesani
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · PLDI
Hardening attack surfaces with formally proven binary format parsers
Nikhil Swamy, Tahina Ramananandro, Aseem Rastogi, Irina Spiridonova, Haobin Ni, Dmitry Malloy, Juan Vazquez, Michael Tang, Omar Cardona, Arti Gupta
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · PLDI
IRDL: an IR definition language for SSA compilers
Mathieu Fehr, Jeff Niu, River Riddle, Mehdi Amini, Zhendong Su, Tobias Grosser
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · PLDI
Interpreter-guided differential JIT compiler unit testing
Guillermo Polito, Stéphane Ducasse, Pablo Tesone
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · PLDI
Islaris: verification of machine code against authoritative ISA semantics
Michael Sammler, Angus Hammond, Rodolphe Lepigre, Brian Campbell, Jean Pichon-Pharabod, Derek Dreyer, Deepak Garg, Peter Sewell
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · PLDI
Karp: a language for NP reductions
Chenhao Zhang, Jason D. Hartline, Christos Dimoulas
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · PLDI
Kleene algebra modulo theories: a framework for concrete KATs
Michael Greenberg, Ryan Beckett, Eric Campbell
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · PLDI
Landmarks and regions: a robust approach to data extraction
Suresh Parthasarathy, Lincy Pattanaik, Anirudh Khatry, Arun Iyer, Arjun Radhakrishna, Sriram K. Rajamani, Mohammad Raza
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · PLDI
Lasagne: a static binary translator for weak memory model architectures
Rodrigo C. O. Rocha, Dennis Sprokholt, Martin Fink, Redha Gouicem, Tom Spink, Soham Chakraborty, Pramod Bhatotia
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · PLDI
Leapfrog: certified equivalence for protocol parsers
Ryan Doenges, Tobias Kappé, John Sarracino, Nate Foster, Greg Morrisett
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · PLDI
Low-latency, high-throughput garbage collection
Wenyu Zhao, Stephen M. Blackburn, Kathryn S. McKinley
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · PLDI
Mako: a low-pause, high-throughput evacuating collector for memory-disaggregated datacenters
Haoran Ma, Shi Liu, Chenxi Wang, Yifan Qiao, Michael D. Bond, Stephen M. Blackburn, Miryung Kim, Guoqing Harry Xu
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · PLDI
Modular information flow through ownership
Will Crichton, Marco Patrignani, Maneesh Agrawala, Pat Hanrahan
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · PLDI
Odin: on-demand instrumentation with on-the-fly recompilation
Mingzhe Wang, Jie Liang, Chijin Zhou, Zhiyong Wu, Xinyi Xu, Yu Jiang
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · PLDI
P4BID: information flow control in p4
Karuna Grewal, Loris D'Antoni, Justin Hsu
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · PLDI
PDL: a high-level hardware design language for pipelined processors
Drew Zagieboylo, Charles Sherk, Gookwon Edward Suh, Andrew C. Myers
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · PLDI
PaC-trees: supporting parallel and compressed purely-functional collections
Laxman Dhulipala, Guy E. Blelloch, Yan Gu, Yihan Sun
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · PLDI
Progressive polynomial approximations for fast correctly rounded math libraries
Mridul Aanjaneya, Jay P. Lim, Santosh Nagarakatte
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · PLDI
PyLSE: a pulse-transfer level language for superconductor electronics
Michael Christensen, Georgios Tzimpragos, Harlan Kringen, Jennifer Volk, Timothy Sherwood, Ben Hardekopf
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · PLDI
Quartz: superoptimization of Quantum circuits
Mingkuan Xu, Zikun Li, Oded Padon, Sina Lin, Jessica Pointing, Auguste Hirth, Henry Ma, Jens Palsberg, Alex Aiken, Umut A. Acar, Zhihao Jia
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · PLDI
Quickstrom: property-based acceptance testing with LTL specifications
Liam O'Connor, Oskar Wickström
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · PLDI
Recursion synthesis with unrealizability witnesses
Azadeh Farzan, Danya Lette, Victor Nicolet
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · PLDI
Relational compilation for performance-critical applications: extensible proof-producing translation of functional models into low-level code
Clément Pit-Claudel, Jade Philipoom, Dustin Jamner, Andres Erbsen, Adam Chlipala
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · PLDI
RunTime-assisted convergence in replicated data types
Gowtham Kaki, Prasanth Prahladan, Nicholas V. Lewchenko
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · PLDI
RustHornBelt: a semantic foundation for functional verification of Rust programs with unsafe code
Yusuke Matsushita, Xavier Denis, Jacques-Henri Jourdan, Derek Dreyer
Programming Languages & Formal Methods
日本大学: 東京大学
2022 · PLDI
Semantic soundness for language interoperability
Daniel Patterson, Noble Mushtak, Andrew Wagner, Amal Ahmed
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · PLDI
Sequential reasoning for optimizing compilers under weak memory concurrency
Minki Cho, Sung-Hwan Lee, Dongjae Lee, Chung-Kil Hur, Ori Lahav
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · PLDI
Software-hardware codesign for efficient in-memory regular pattern matching
Lingkun Kong, Qixuan Yu, Agnishom Chattopadhyay, Alexis Le Glaunec, Yi Huang, Konstantinos Mamouras, Kaiyuan Yang
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · PLDI
Sound sequentialization for concurrent program verification
Azadeh Farzan, Dominik Klumpp, Andreas Podelski
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · PLDI
Synthesizing analytical SQL queries from computation demonstration
Xiangyu Zhou, Rastislav Bodik, Alvin Cheung, Chenglong Wang
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · PLDI
Turning manual concurrent memory reclamation into automatic reference counting
Daniel Anderson, Guy E. Blelloch, Yuanhao Wei
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · PLDI
Type-directed program synthesis for RESTful APIs
Zheng Guo, David Cao, Davin Tjong, Jean Yang, Cole Schlesinger, Nadia Polikarpova
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · PLDI
Verifying optimizations of concurrent programs in the promising semantics
Junpeng Zha, Hongjin Liang, Xinyu Feng
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · PLDI
Visualization question answering using introspective program synthesis
Yanju Chen, Xifeng Yan, Yu Feng
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · PLDI
WARio: efficient code generation for intermittent computing
Vito Kortbeek, Souradip Ghosh, Josiah Hester, Simone Campanoni, Przemysław Pawełczak
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · PLDI
Warping cache simulation of polyhedral programs
Canberk Morelli, Jan Reineke
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · PLDI
WebRobot: web robotic process automation using interactive programming-by-demonstration
Rui Dong, Zhicheng Huang, Ian Iong Lam, Yan Chen, Xinyu Wang
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2022 · PLDI
“Synthesizing input grammars”: a replication study
Bachir Bendrissou, Rahul Gopinath, Andreas Zeller
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）