Aaron Councilman

According to our database, Aaron Councilman authored at least 6 papers between 2022 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

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, July, 2025

Hercules: A Compiler for Productive Programming of Heterogeneous Systems.

Russel Arbore, Aaron Councilman, Xavier Routh, Ryan Ziegler, Praneet Rathi, Vikram S. Adve

CoRR, March, 2025

FO-Complete Program Verification for Heap Logics.

Adithya Murali, Hrishikesh Balakrishnan, Aaron Councilman, P. Madhusudan

Proc. ACM Program. Lang., 2025

2024

An Empirical Comparison of Code Generation Approaches for Ansible.

Benjamin Darnell, Hetarth Chopra, Aaron Councilman, David Grove, Yu-Xiong Wang, Vikram S. Adve

Proceedings of the 2nd IEEE/ACM International Workshop on Interpretability, 2024

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, Sarita V. Adve, Sasa Misailovic, Vikram S. Adve

IEEE Micro, 2022

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

Proceedings of the 33rd IEEE International Conference on Application-specific Systems, 2022