Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation

FaCT: a DSL for timing-sensitive computation

Pub Date : 2019-06-08 DOI: 10.1145/3314221.3314605 S. Cauligi, Gary Soeller, Brian Johannesmeyer, Fraser Brown, R. Wahby, John Renner, B. Grégoire, G. Barthe, Ranjit Jhala, D. Stefan

Computing summaries of string loops in C for better testing and refactoring

Pub Date : 2019-06-08 DOI: 10.1145/3314221.3314610 Timotej Kapus, Oren Ish-Shalom, Shachar Itzhaky, N. Rinetzky, Cristian Cadar

Reusable inline caching for JavaScript performance

Pub Date : 2019-06-08 DOI: 10.1145/3314221.3314587 Jiho Choi, Thomas Shull, J. Torrellas