Mendes, Alexandra
- Leveraging Large Language Models to Boost Dafny's Developers Productivity
2024/01/01 by Silva, Álvaro, Mendes, Alexandra, Ferreira, João F. · 3 citations
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL) #Software Engineering (cs.SE)
- Polyglot Code Smell Detection for Infrastructure as Code with GLITCH
2023/08/18 by Saavedra, Nuno, Gonçalves, João, Henriques, Miguel +2 · 1 citation
#Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Software Engineering (cs.SE)