Solko-Breslin, Alaia

1. Understanding the Effectiveness of Large Language Models in Detecting Security Vulnerabilities
   2023/11/16 by Avishree Khare, Khare, Avishree, Saikat Dutta +9 · 16 citations
   Computer Science · #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Programming Languages (cs.PL) #Software Engineering (cs.SE) #Software Engineering Research #Software Reliability and Analysis Research #Web Application Security Vulnerabilities
2. Petr4: Formal Foundations for P4 Data Planes
   2020/11/11 by Doenges, Ryan, Arashloo, Mina Tahmasbi, Bautista, Santiago +7 · 1 citation
   #FOS: Computer and information sciences #Networking and Internet Architecture (cs.NI) #Programming Languages (cs.PL)
3. Data-Efficient Learning with Neural Programs
   2024/06/10 by Alaia Solko-Breslin, Seewon Choi, Solko-Breslin, Alaia +11 · 2 citations
   Computer Science · #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning and Algorithms #Neural Networks and Applications