External Source
[oopsla'25] Laurel: Unblocking Automated Verification With Large Language Models
Synopsis
Laurel: Unblocking Automated Verification with Large Language Models (Video, OOPSLA1 2025) Eric Mugnier, Emmanuel Anaya ...
You Might Also Like
![[OOPSLA'25] TraceLinking Implementations with their Verified Designs](https://i.ytimg.com/vi/lHPxUwz8Oc4/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLAd85JY7dSIMW7LAxw_D3P0-Mk0og)
![[OOPSLA'25] On the Impact of Formal Verification on Software Development](https://i.ytimg.com/vi/GptVarCy2v4/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLBoiSMo1CDRbdMgiWXjgfm3plaIIg)
![[OOPSLA'25] Bolt-On Strong Consistency: Specification, Implementation, and Verification](https://i.ytimg.com/vi/gi-2TuKwg60/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLCVEFWrLxHhawwzrjzNdbqS1LNcog)
![[OOPSLA'25] UTFix: Change Aware Unit Test Repairing using LLM](https://i.ytimg.com/vi/G_AwO_JOLsM/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLDwpNmAl5YW9G7E5Y3ezsbTlECLNg)
![[OOPSLA'25] Mini-Batch Robustness Verification of Deep Neural Networks](https://i.ytimg.com/vi/4xo-YihHtdw/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLBK9yDj0xMUqLBviZwiUOAKGfj9Hw)
![[OOPSLA'25] Automated Verification of Soundness of DNN Certifiers](https://i.ytimg.com/vi/iBQM4t0hCHY/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLCEZij1baMTuzry12C03PoiPsuw-A)
![[OOPSLA'25] Incremental Certified Programming](https://i.ytimg.com/vi/7uQnVfyK6YA/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLAWSMZfbVxLXPcpgDRGjkp8mALIKg)
![[OOPSLA'25] Embedding Quantum Program Verification into Dafny](https://i.ytimg.com/vi/uQRpESB2iXo/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLBNtyjyB9xreHn1YqblZ377-of_pg)
![[OOPSLA'25] Automatically Verifying Replication-aware Linearizability](https://i.ytimg.com/vi/-mMCNj7lYQs/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLDUibyIyBlrq_l_P8RCimVEssvMtg)
![[OOPSLA'25] Towards Verifying Crash Consistency](https://i.ytimg.com/vi/rg0QSQa1Dp8/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLAyKBab1BPUewmoFPTYGL6xkExoBA)
Download Options
Choose a download method below. All links open in new tabs.
| Service | Features | Action |
|---|---|---|
| SaveFrom |
MP4 & MP3 • HD Quality • Browser Extension Available
|
Download |
Security Notice: These are third-party services. We recommend using antivirus software and being cautious of pop-up ads.