Alaia Solko-Breslin

According to our database1, Alaia Solko-Breslin authored at least 5 papers between 2021 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Data-Efficient Learning with Neural Programs.
CoRR, 2024

2023
Automata Learning with an Incomplete Teacher (Artifact).
Dagstuhl Artifacts Ser., 2023

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

Automata Learning with an Incomplete Teacher.
Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

2021
Petr4: formal foundations for p4 data planes.
Proc. ACM Program. Lang., 2021


  Loading...