Next Conference
Abstract
No abstract available.
Cited By
- Lidbury C and Donaldson A Sparse record and replay with controlled scheduling Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, (576-593)
-
Finkbeiner B, Klein F, Piskac R and Santolucito M (2019). Temporal Stream Logic: Synthesis Beyond the Bools Computer Aided Verification, 10.1007/978-3-030-25540-4_35, (609-629),
-
Al-Mahfoudh M, Gopalakrishnan G and Stutsman R (2016). Toward Bringing Distributed System Design upon Rigorous Footing 2016 IEEE 17th International Conference on Information Reuse and Integration (IRI), 10.1109/IRI.2016.37, 978-1-5090-3207-5, (233-240)
Index Terms
- Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation