HPVM2FPGA: Enabling True Hardware-Agnostic FPGA Programming. - Adel Ejjeh; Leon Medvinsky; Aaron Councilman; Hemang Nehra; Suraj Sharma; Vikram S. Adve; Luigi Nardi; Eriko Nurvitadhi; Rob A. Rutenbar (ASAP, 2022)

HPVM: Hardware-Agnostic Programming for Heterogeneous Parallel Systems. - Adel Ejjeh; Aaron Councilman; Akash Kothari; Maria Kotsifakou; Leon Medvinsky; Abdul Rafae Noor; Hashim Sharif; Yifan Zhao 004; Sarita V. Adve; Sasa Misailovic; Vikram S. Adve (IEEE Micro, 2022)

An Empirical Comparison of Code Generation Approaches for Ansible. - Benjamin Darnell; Hetarth Chopra; Aaron Councilman; David Grove; Yu-Xiong Wang; Vikram S. Adve (InteNSE, 2024)

FO-Complete Program Verification for Heap Logics. - Adithya Murali; Hrishikesh Balakrishnan; Aaron Councilman; P. Madhusudan (Proc. ACM Program. Lang., 2025)

Hercules: A Compiler for Productive Programming of Heterogeneous Systems. - Russel Arbore; Aaron Councilman; Xavier Routh; Ryan Ziegler; Praneet Rathi; Vikram S. Adve (CoRR, 2025)

Towards Formal Verification of LLM-Generated Code from Natural Language Prompts. - Aaron Councilman; David Fu; Aryan Gupta; Chengxiao Wang; David Grove; Yu-Xiong Wang; Vikram S. Adve (CoRR, 2025)