| Relay: A new ir for machine learning frameworks J Roesch, S Lyubomirsky, L Weber, J Pollock, M Kirisame, T Chen, ... Proceedings of the 2nd ACM SIGPLAN international workshop on machine …, 2018 | 118 | 2018 |
| Relay: A high-level compiler for deep learning J Roesch, S Lyubomirsky, M Kirisame, L Weber, J Pollock, L Vega, ... arXiv preprint arXiv:1904.08368, 2019 | 39 | 2019 |
| Animated Vega-Lite: Unifying animation with a grammar of interactive graphics J Zong, J Pollock, D Wootton, A Satyanarayan IEEE Transactions on Visualization and Computer Graphics 29 (1), 149-159, 2022 | 14 | 2022 |
| Theia: automatically generating correct program state visualizations J Pollock, J Roesch, D Woos, Z Tatlock Proceedings of the 2019 ACM SIGPLAN Symposium on SPLASH-E, 46-56, 2019 | 9 | 2019 |
| Bluefish: A Relational Grammar of Graphics J Pollock, C Mei, G Huang, D Jackson, A Satyanarayan arXiv preprint arXiv:2307.00146, 2023 | 1 | 2023 |
| Certified perception for autonomous cars U Guajardo, A Bryan, N Arechiga, S Campos, J Chow, D Jackson, S Kong, ... 6th Workshop On Monitoring And Testing Of Cyber-Physical Systems,, 2021 | 1 | 2021 |
| The Essence of Program Semantics Visualizers: A Three-Axis Model J Pollock, G Oh, E Jun, PJ Guo, Z Tatlock 11th annual workshop on the intersection of HCI and PL, PLATEAU 20, 2020 | 1 | 2020 |
| Language Model Agents Enable Semi-Formal Programming J POLLOCK, A SATYANARAYAN, D JACKSON | 1 | 2018 |
| Design Spaces of Domain-Specific Languages: Comparing and Contrasting Approaches in PL and HCI J Zong, J Pollock, D Wootton PLATEAU 2021, 2022 | | 2022 |
| Design Spaces of Domain-Specific Languages J Zong, J Pollock, D Wootton, A Satyanarayan Plateau Workshop, 0 | | |
| Fast (ish) Algorithms for Integer Programming: The Lost Lecture of 6.854 L Weber, J Pollock | | |
| ALTMAN, Neal CMU-ISR-20-110 BAUER, Lujo CMU-ISR-20-114 BESKOW, David CMU-ISR-20-107 CARLEY, Kathleen M. CMU-ISR-20-110 LF CRANOR, W CRICHTON, IJ CRUICKSHANK, A DAS, ... | | |
