Powered by
15th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2022),
December 6–7, 2022,
Auckland, New Zealand
15th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2022)
Frontmatter
Keynotes
Papers
Property-Based Testing: Climbing the Stairway to Verification
Zilin Chen
![ORCID logo](images/orcid.svg)
, Christine Rizkallah
![ORCID logo](images/orcid.svg)
,
Liam O'Connor ![ORCID logo](images/orcid.svg)
,
Partha Susarla ![ORCID logo](images/orcid.svg)
, Gerwin Klein
![ORCID logo](images/orcid.svg)
, Gernot Heiser
![ORCID logo](images/orcid.svg)
, and Gabriele Keller
(UNSW, Australia; University of Melbourne, Australia; University of Edinburgh, UK; Independent, Australia; Proofcraft, Australia; Utrecht University, Netherlands)
Publisher's Version
Artifacts Reusable
A Language-Parametric Approach to Exploratory Programming Environments
L. Thomas van Binsbergen ![ORCID logo](images/orcid.svg)
, Damian Frölich
![ORCID logo](images/orcid.svg)
, Mauricio Verano Merino
![ORCID logo](images/orcid.svg)
, Joey Lai
![ORCID logo](images/orcid.svg)
, Pierre Jeanjean
![ORCID logo](images/orcid.svg)
, Tijs van der Storm
![ORCID logo](images/orcid.svg)
, Benoit Combemale
![ORCID logo](images/orcid.svg)
, and Olivier Barais
(University of Amsterdam, Netherlands; Vrije Universiteit Amsterdam, Netherlands; Inria, France; University of Rennes, France; CNRS, France; IRISA, France; CWI, Netherlands; University of Groningen, Netherlands)
Publisher's Version
Artifacts Functional
proc time: 4.58