Prof. Balkind's team
Directed Instruction Set Architecture Compilation
Students: Joshua Gray, Luke Herbelin, Sarkis Ter-Martirosyan
Mentors: Prof. Jonathan Balkind
Prof. Bu's team
Benchmarking Mathematical Reasoning of LLMs
Students: Lauren Cho, Derek Flippo, Pratima Nallapareddy, Safwan Rahman
Mentors: Prof. Yuheng Bu, Yepeng Liu
Prof. Bultan's (1) team
PAGENT: Automated PoC Generation for FFmpeg Vulnerabilities
Students: Katelyn Dang, Tim Fan, Aiden Hunter, Sachit Madaan
Mentors: Prof. Tevfik Bultan, Achintya Desai
Prof. Bultan's (2) team
LLM-Assisted Program Analysis for Vulnerability Chain Detection
Students: Vishva Arasan, Sahasra Boddula, Mahima Chaudhary, Wendy Contreras Martinez, Daniil Novak
Mentors: Prof. Tevfik Bultan, Md Shafiuzzaman
Prof. Chang's team
Persona Driven LLM Agents for Social Media Community Engagement
Students: Yue Cao, Nikita Huynh, Ishan Katpally, Harry Kim, Sicheng Xu
Mentors: Prof. Shiyu Chang, Guanyu Yao
Prof. Conrad and Prof. Mirza's team
How Good is Your PrairieLearn Question Bank?
Students: Rahul Janga, Deserae Mendoza, Audrey Nguyen, Tej Tripathy
Mentors: Prof. Phill Conrad, Prof. Diba Mirza, Kate Larrick
Prof. Gupta's team
Transforming BQT+ into Software as a Service (SaaS)
Students: Daniel Chang, Ivy Holiday, Chen Hui Lin, Srinandha Murugesan
Mentors: Prof. Arpit Gupta, Sylee Beltiukov, Laasya Koduru
Prof. Hardekopf's team
Formalizing LL(1) Parsing with Derivatives in LEAN 4
Students: Anish Jaiswal, Kathleen Chen, Hauke Rehwald
Mentors: Prof. Ben Hardekopf
Prof. Lokshtanov's team
Low Distortion Metric Embeddings
Students: Andrew Gao, Bk Kim, Arya Sadeghi, Mayank Shekhar
Mentors: Prof. Daniel Lokshtanov, Ajaykrishnan E S
Prof. Singh's team
S-PGIB: Graph Neural Network Explainer to Mitigate Spurious Correlations
Students: Shreya Chati, Natasha Joshi, Varsha Narasiman, Gabor Szita
Mentors: Prof. Ambuj Singh, Callie Sardina
Prof. Su's team
Pseudoreal Event Data Generator for Event-Based Applications
Students: Anna Gornyitzki, Annie Yang
Mentors: Prof. Jianwen Su, Tyler Yang
Prof. Yan's (1) team
Augmenting Scientific Discovery with LLMs and RAG
Students: Amy Li, Arman Sajjadian, Ashot Ter-Martirosyan
Mentors: Prof. Xifeng Yan, Xuan Luo
Prof. Yan's (2) team
Lightweight AI for Screen Time Classification
Students: Rohan Iyer, Leeor Shemesh, Oscar Valeriano
Mentors: Prof. Xifeng Yan