| 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 |
| 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 | 34 | 2019 |
| 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 | 31 | 2020 |
| 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 |
| 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 | 8 | 2021 |
| Verifying Handcoded Probabilistic Inference Procedures E Atkinson, C Yang, M Carbin arXiv preprint arXiv:1805.01863, 2018 | 7 | 2018 |
| Towards correct-by-construction probabilistic inference E Atkinson, M Carbin NIPS Workshop on Machine Learning Systems, 2016 | 7 | 2016 |
| Programming and reasoning with partial observability E Atkinson, M Carbin Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-28, 2020 | 5 | 2020 |
| Simplifying Multiple-Statement Reductions with the Polyhedral Model C Yang, E Atkinson, M Carbin arXiv preprint arXiv:2007.11203, 2020 | 2 | 2020 |
| Programmation d'Applications Réactives Probabilistes G Baudart, L Mandel, M Pouzet, E Atkinson, B Sherman, M Carbin Journées Francophones des Langages Applicatifs (JFLA), 2020 | 2 | 2020 |
| Typesafety for explicitly-coded probabilistic inference procedures E Atkinson, M Carbin | 1 | 2017 |
| 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 Bodik hgpu. org, 2012 | | 2012 |
| Parallel Browser Layout EH Atkinson | | |
| Programming Reactive Probabilistic Applications E ATKINSON, B SHERMAN, M CARBIN | | |
