| BHive: A Benchmark Suite and Measurement Framework for Validating x86-64 Basic Block Performance Models Y Chen, A Brahmakshatriya, C Mendis, A Renda, E Atkinson, O Sýkora, ... 2019 IEEE International Symposium on Workload Characterization (IISWC), 167-177, 2019 | 43 | 2019 |
| Parallel schedule synthesis for attribute grammars LA Meyerovich, ME Torok, E Atkinson, R Bodik Proceedings of the 18th ACM SIGPLAN symposium on Principles and practice of …, 2013 | 40 | 2013 |
| Reactive probabilistic programming G Baudart, L Mandel, E Atkinson, B Sherman, M Pouzet, M Carbin Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020 | 38 | 2020 |
| Semi-symbolic inference for efficient streaming probabilistic programming E Atkinson, C Yuan, G Baudart, L Mandel, M Carbin Proceedings of the ACM on Programming Languages 6 (OOPSLA2), 1668-1696, 2022 | 19 | 2022 |
| Simplifying dependent reductions in the polyhedral model C Yang, E Atkinson, M Carbin Proceedings of the ACM on Programming Languages 5 (POPL), 1-33, 2021 | 12 | 2021 |
| Superconductor: A language for big data visualization LA Meyerovich, ME Torok, E Atkinson, R Bodk Workshop on Leveraging Abstractions and Semantics in High-Performance …, 2013 | 11 | 2013 |
| Verifying Handcoded Probabilistic Inference Procedures E Atkinson, C Yang, M Carbin arXiv preprint arXiv:1805.01863, 2018 | 8 | 2018 |
| Statically bounded-memory delayed sampling for probabilistic streams E Atkinson, G Baudart, L Mandel, C Yuan, M Carbin Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-28, 2021 | 7 | 2021 |
| Programming and reasoning with partial observability E Atkinson, M Carbin Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-28, 2020 | 7 | 2020 |
| Towards correct-by-construction probabilistic inference E Atkinson, M Carbin NIPS Workshop on Machine Learning Systems, 2016 | 7 | 2016 |
| Conflict-Driven synthesis for layout engines J Liu, Y Chen, E Atkinson, Y Feng, R Bodik Proceedings of the ACM on Programming Languages 7 (PLDI), 638-659, 2023 | 5 | 2023 |
| Programmation d'Applications Réactives Probabilistes G Baudart, L Mandel, M Pouzet, E Atkinson, B Sherman, M Carbin JFLA 2020-Journées Francophones des Langages Applicatifs, 2020 | 2 | 2020 |
| Simplifying multiple-statement reductions with the polyhedral model JJC Yang Massachusetts Institute of Technology, 2020 | 2 | 2020 |
| Typesafety for explicitly-coded probabilistic inference procedures E Atkinson, M Carbin | 1 | 2017 |
| Inference Plans for Hybrid Particle Filtering EY Cheng, E Atkinson, G Baudart, L Mandel, M Carbin Proceedings of the ACM on Programming Languages 9 (POPL), 271-299, 2025 | | 2025 |
| A Language and Logic for Programming and Reasoning with Partial Observability EH Atkinson Massachusetts Institute of Technology, 2024 | | 2024 |
| Reactive probabilistic programming EH Atkinson, B Sherman, MJ Carbin ACM, 2020 | | 2020 |
| Synthesizing Structured Traversals from Attribute Grammars LA Meyerovich, ME Torok, E Atkinson, R Bodık | | |
| Parallel Browser Layout EH Atkinson | | |
| Programming Reactive Probabilistic Applications E ATKINSON, B SHERMAN, M CARBIN | | |
