Green, Harrison
- STRIDE: Simple Type Recognition In Decompiled Executables
2024/07/03 by Harrison Green, H. Gwynedd Green, Green, Harrison +6 · 1 voice · 1 citation
Business, Management and Accounting · Computer Science · #Business Process Modeling and Analysis #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Formal Methods in Verification #Semantic Web and Ontologies #cs.CR
- DiffSpec: Differential Testing with LLMs using Natural Language Specifications and Code Artifacts
2024/10/05 by Nikitha Rao, Elizabeth Gilbert, Rao, Nikitha +10 · 1 citation
Computer Science · #FOS: Computer and information sciences #Natural Language Processing Techniques #Software Engineering (cs.SE)