Powered by
Proceedings of the ACM on Programming Languages, Volume 7, Number PLDI,
June 17–21, 2023,
Orlando, FL, United States
Frontmatter
Papers
Better Together: Unifying Datalog and Equality Saturation
Yihong Zhang

, Yisu Remy Wang

, Oliver Flatt

, David Cao

, Philip Zucker

, Eli Rosenthal

, Zachary Tatlock

, and
Max Willsey
(University of Washington, USA; University of California at San Diego, USA; Draper Laboratory, USA; Google, USA)
Published Artifact
Artifacts Reusable
Optimal Reads-From Consistency Checking for C11-Style Memory Models
Hünkar Can Tunç

, Parosh Aziz Abdulla

, Soham Chakraborty

, Shankaranarayanan Krishna

, Umang Mathur

, and
Andreas Pavlogiannis
(Aarhus University, Denmark; Uppsala University, Sweden; TU Delft, Netherlands; IIT Bombay, India; National University of Singapore, Singapore)
Published Artifact
Artifacts Available
Artifacts Reusable
PureCake: A Verified Compiler for a Lazy Functional Language
Hrutvik Kanabar 
, Samuel Vivien

, Oskar Abrahamsson

,
Magnus O. Myreen 
, Michael Norrish

, Johannes Åman Pohjola

, and Riccardo Zanetti
(University of Kent, UK; ENS, France; Chalmers University of Technology, Sweden; Australian National University, Australia; University of New South Wales, Australia)
Published Artifact
Artifacts Available
Artifacts Reusable
Cakes That Bake Cakes: Dynamic Computation in CakeML
Thomas Sewell

,
Magnus O. Myreen 
, Yong Kiam Tan

, Ramana Kumar

, Alexander Mihajlovic

, Oskar Abrahamsson

, and Scott Owens
(University of Cambridge, UK; Chalmers University of Technology, Sweden; Unaffiliated, Singapore; Unaffiliated, UK)
Published Artifact
Artifacts Available
Artifacts Reusable
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

, and Yuval Yarom
(University of Adelaide, Australia; Massachusetts Institute of Technology, USA; Stanford University, USA; University of Melbourne, Australia; Georgia Institute of Technology, USA; Monash University, Australia; Ruhr University Bochum, Germany)
Published Artifact
Info
Artifacts Available
Artifacts Reusable
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 
, and Işıl Dillig
(Veridise, USA; Harvard University, USA; 0xparc, USA; Complutense University of Madrid, Spain; ZKonduit, USA)
Published Artifact
Artifacts Available
Artifacts Reusable
proc time: 23.06