Publications

Conference Publications

• Data-Efficient Learning with Neural Programs, NeurIPS 2024.

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

• Automata Learning with an Incomplete Teacher, ECOOP 2023.

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

• Petr4: Formal Foundations for P4 Data Planes, POPL 2021.

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

Preprints

• Understanding the Effectiveness of Large Language Models in Detecting Security Vulnerabilities, Preprint 2024.

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

Other Writing

• Learning Neural Programs, UPenn WPE-II Research Qualifier 2024.

  Alaia Solko-Breslin