Powered by
Proceedings of the ACM on Programming Languages, Volume 5, Number OOPSLA,
October 20–22, 2021,
Chicago, USA
Frontmatter
Papers
Making Weak Memory Models Fair
Ori Lahav 
, Egor Namakonov

, Jonas Oberhauser, Anton Podkopaev

, and
Viktor Vafeiadis
(Tel Aviv University, Israel; St. Petersburg University, Russia; JetBrains Research, Russia; Huawei, Germany; HSE University, Russia; MPI-SWS, Germany)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Coarsening Optimization for Differentiable Programming
Xipeng Shen 
, Guoqiang Zhang

, Irene Dea, Samantha Andow, Emilio Arroyo-Fang, Neal Gafter, Johann George, Melissa Grueter, Erik Meijer, Olin Grigsby Shivers, Steffi Stumpos, Alanna Tempest, Christy Warden, and Shannon Yang
(North Carolina State University, USA; Facebook, USA)
Publisher's Version
Specifying and Testing GPU Workgroup Progress Models
Tyler Sorensen

, Lucas F. Salvador, Harmit Raval, Hugues Evrard, John Wickerson

, Margaret Martonosi, and
Alastair F. Donaldson
(University of California at Santa Cruz, USA; Princeton University, USA; Google, USA; Imperial College London, UK)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
MonkeyDB: Effectively Testing Correctness under Weak Isolation Levels
Ranadeep Biswas, Diptanshu Kakwani, Jyothi Vedurada, Constantin Enea, and
Akash Lal
(Informal Systems, France; Microsoft, India; IIT Hyderabad, India; IRIF, France; University of Paris, France; CNRS, France; Microsoft Research, India)
Publisher's Version
Published Artifact
Artifacts Available
A Type System for Extracting Functional Specifications from Memory-Safe Imperative Programs
Paul He 
, Eddy Westbrook, Brent Carmer, Chris Phifer

, Valentin Robert, Karl Smeltzer, Andrei Ştefănescu, Aaron Tomb, Adam Wick, Matthew Yacavone, and
Steve Zdancewic
(University of Pennsylvania, USA; Galois, USA)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Reconciling Optimization with Secure Compilation
Son Tuan Vu, Albert Cohen

, Arnaud De Grandmaison, Christophe Guillon, and Karine Heydemann
(Sorbonne University, France; CNRS, France; LIP6, France; Google, France; ARM, France; STMicroelectronics, France)
Publisher's Version
Fully Automated Functional Fuzzing of Android Apps for Detecting Non-crashing Logic Bugs
Ting Su

, Yichen Yan,
Jue Wang 
, Jingling Sun

, Yiheng Xiong, Geguang Pu

, Ke Wang

, and Zhendong Su
(East China Normal University, China; Nanjing University, China; Visa Research, USA; ETH Zurich, Switzerland)
Publisher's Version
proc time: 16.2