@inproceedings{d6a0c12f944841f7b27913da6f01bb49,
title = "Lightweight verification via specialized typecheckers",
abstract = "Testing and other unsound analyses are developer-friendly but cannot give guarantees that programs are free of bugs. Verification and other extant sound approaches can give guarantees but often require too much effort for everyday developers. In this work, we describe our efforts to make verification more accessible for developers by using specialized pluggable typecheckers-a relatively accessible verification technology-to solve complex problems that previously required more complex and harder-to-use verification approaches.",
keywords = "Pluggable types, accumulation analysis, lightweight verification",
author = "Martin Kellogg",
note = "Publisher Copyright: {\textcopyright} 2021 ACM.; 29th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE 2021 ; Conference date: 23-08-2021 Through 28-08-2021",
year = "2021",
month = aug,
day = "20",
doi = "10.1145/3468264.3473105",
language = "English (US)",
series = "ESEC/FSE 2021 - Proceedings of the 29th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering",
publisher = "Association for Computing Machinery, Inc",
pages = "1635--1639",
editor = "Diomidis Spinellis",
booktitle = "ESEC/FSE 2021 - Proceedings of the 29th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering",
}