Page not found

Perhaps you were looking for one of these?

Latest

• ICSE 2020 paper is the most cited according to 2025 Scholar Metrics
• Awarded an Amazon Research Award on Automated Reasoning!
• Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification
• InfraFix: Technology-Agnostic Repair of Infrastructure as Code
• ACM SIGSOFT Distinguished Paper Award at ICSE 2025
• Do Experts Agree About Smelly Infrastructure?
• InfraGov: New Funded Project on Reliable and Secure IT Infrastructure
• Contract Usage and Evolution in Android Mobile Applications
• CoqPyt: Proof Navigation in Python in the Era of LLMs
• How are Contracts Used in Android Mobile Applications?