Alaia Solko-Breslin

According to our database, Alaia Solko-Breslin authored at least 4 papers between 2021 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Automata Learning with an Incomplete Teacher (Artifact).

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

Dagstuhl Artifacts Ser., 2023

Understanding the Effectiveness of Large Language Models in Detecting Security Vulnerabilities.

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

CoRR, 2023

Automata Learning with an Incomplete Teacher.

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

Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

2021

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