Powered by
Proceedings of the ACM on Programming Languages, Volume 6, Number OOPSLA1,
December 8–10, 2022,
Auckland, New Zealand
Frontmatter
Papers
Linear Types for Large-Scale Systems Verification
Jialin Li
![ORCID logo](images/orcid.svg)
, Andrea Lattuada
![ORCID logo](images/orcid.svg)
, Yi Zhou
![ORCID logo](images/orcid.svg)
, Jonathan Cameron
![ORCID logo](images/orcid.svg)
, Jon Howell
![ORCID logo](images/orcid.svg)
,
Bryan Parno ![ORCID logo](images/orcid.svg)
, and Chris Hawblitzel
(University of Washington, USA; ETH Zurich, Switzerland; Carnegie Mellon University, USA; VMware Research, USA; Microsoft Research, USA)
Publisher's Version
Artifacts Reusable
Translating Canonical SQL to Imperative Code in Coq
Véronique Benzaken
![ORCID logo](images/orcid.svg)
, Évelyne Contejean
![ORCID logo](images/orcid.svg)
, Mohammed Houssem Hachmaoui
![ORCID logo](images/orcid.svg)
,
Chantal Keller ![ORCID logo](images/orcid.svg)
, Louis Mandel
![ORCID logo](images/orcid.svg)
, Avraham Shinnar
![ORCID logo](images/orcid.svg)
, and Jérôme Siméon
(LMF, France; Université Paris-Saclay, France; CNRS, France; IBM Research, USA; Docusign, USA)
Publisher's Version
Artifacts Functional
proc time: 3.81