Alaia Solko-Breslin

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 6

Top Topics

Security Vulnerabilities

Top Venues

Proc. ACM Program. Lang.

Dagstuhl Artifacts Ser.

Publications

Alaia Solko-Breslin, Seewon Choi, Ziyang Li, Neelay Velingker, Rajeev Alur, Mayur Naik, Eric Wong
Data-Efficient Learning with Neural Programs. CoRR (2024)
Mark Moeller, Thomas Wiener, Alaia Solko-Breslin, Caleb Koch, Nate Foster, Alexandra Silva
Automata Learning with an Incomplete Teacher (Artifact). Dagstuhl Artifacts Ser. 9 (2) (2023)
Avishree Khare, Saikat Dutta, Ziyang Li, Alaia Solko-Breslin, Rajeev Alur, Mayur Naik
Understanding the Effectiveness of Large Language Models in Detecting Security Vulnerabilities. CoRR (2023)
Mark Moeller, Thomas Wiener, Alaia Solko-Breslin, Caleb Koch, Nate Foster, Alexandra Silva
Automata Learning with an Incomplete Teacher. ECOOP (2023)
Ryan Doenges, Mina Tahmasbi Arashloo, Santiago Bautista, Alexander Chang, Newton Ni, Samwise Parkinson, Rudy Peterson, Alaia Solko-Breslin, Amanda Xu, Nate Foster
Petr4: formal foundations for p4 data planes. Proc. ACM Program. Lang. 5 (POPL) (2021)
Ryan Doenges, Mina Tahmasbi Arashloo, Santiago Bautista, Alexander Chang, Newton Ni, Samwise Parkinson, Rudy Peterson, Alaia Solko-Breslin, Amanda Xu, Nate Foster
Petr4: Formal Foundations for P4 Data Planes. CoRR (2020)