Publications

Conference Publications

• Automata Learning with an Incomplete Teacher [PDF]

  Mark Moeller, Thomas Wiener, Alaia Solko-Breslin, Caleb Koch, Nate Foster, and Alexandra Silva.

  ECOOP 2023

• Petr4: Formal Foundations for P4 Data Planes [PDF]

  Ryan Doenges, Mina Tahmasbi Arashloo, Santiago Bautista, Alexander Chang, Newton Ni, Samwise Parkinson, Rudy Peterson, Alaia Solko-Breslin, Amanda Xu, and Nate Foster.

  POPL 2021

Under Review

• Beyond Differentiability: Neurosymbolic Learning with Black-Box Programs

  Alaia Solko-Breslin, Ziyang Li, Seewon Choi, Neelay Velingker, Rajeev Alur, Mayur Naik, and Eric Wong.

Drafts

• Understanding the Effectiveness of Large Language Models in Detecting Security Vulnerabilities [PDF]

  Avishree Khare*, Saikat Dutta*, Ziyang Li, Alaia Solko-Breslin, Rajeev Alur, and Mayur Naik.