ISSN Portal
The Keepers Registry (preservation)
SHERPA/RoMEO (access policies)
Proceedings of the ACM on Programming Languages (PACMPL)
container_dqy7qc7jkzal5bz3gueys3siz4
Association for Computing Machinery
Homepage URLs
https://pacmpl.acm.org/ |
https://pacmpl.acm.org/index.cfm |
Example Publications
Bugs in Quantum computing platforms: an empirical study
Matteo Paltenghi, Michael Pradel
2022
|
Proceedings of the ACM on Programming Languages (PACMPL)
doi:10.1145/3527330
Purity of an ST monad: full abstraction by semantically typed back-translation
Koen Jacobs, Dominique Devriese, Amin Timany
2022
|
Proceedings of the ACM on Programming Languages (PACMPL)
doi:10.1145/3527326
Applying cognitive principles to model-finding output: the positive value of negative information
Tristan Dyer, Tim Nelson, Kathi Fisler, Shriram Krishnamurthi
2022
|
Proceedings of the ACM on Programming Languages (PACMPL)
doi:10.1145/3527323
Weighted programming: a programming paradigm for specifying mathematical models
Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Tobias Winkler
2022
|
Proceedings of the ACM on Programming Languages (PACMPL)
doi:10.1145/3527310
Coverage-guided tensor compiler fuzzing with joint IR-pass mutation
Jiawei Liu, Yuxiang Wei, Sen Yang, Yinlin Deng, Lingming Zhang
2022
|
Proceedings of the ACM on Programming Languages (PACMPL)
doi:10.1145/3527317