Petr4: formal foundations for p4 data planes. - Ryan Doenges; Mina Tahmasbi Arashloo; Santiago Bautista; Alexander Chang; Newton Ni; Samwise Parkinson; Rudy Peterson; Alaia Solko-Breslin; Amanda Xu; Nate Foster (Proc. ACM Program. Lang., 2021)

Automata Learning with an Incomplete Teacher. - Mark Moeller; Thomas Wiener; Alaia Solko-Breslin; Caleb Koch 001; Nate Foster; Alexandra Silva 001 (ECOOP, 2023)

Automata Learning with an Incomplete Teacher (Artifact). - Mark Moeller; Thomas Wiener; Alaia Solko-Breslin; Caleb Koch 001; Nate Foster; Alexandra Silva 001 (Dagstuhl Artifacts Ser., 2023)

Data-Efficient Learning with Neural Programs. - Alaia Solko-Breslin; Seewon Choi; Ziyang Li; Neelay Velingker; Rajeev Alur; Mayur Naik; Eric Wong 001 (NeurIPS, 2024)

Understanding the Effectiveness of Large Language Models in Detecting Security Vulnerabilities. - Avishree Khare; Saikat Dutta 001; Ziyang Li; Alaia Solko-Breslin; Rajeev Alur; Mayur Naik (ICST, 2025)

CTSketch: Compositional Tensor Sketching for Scalable Neurosymbolic Learning. - Seewon Choi; Alaia Solko-Breslin; Rajeev Alur; Eric Wong 001 (CoRR, 2025)