Refinement reflection: complete verification with SMT
Vazou, Niki, Tondwalkar, Anish, Choudhury, Vikraman, Scott, Ryan G., Newton, Ryan R., Wadler, Philip, Jhala, Ranjit
Published in Proceedings of ACM on programming languages (01.01.2018)
Published in Proceedings of ACM on programming languages (01.01.2018)
Get full text
Journal Article
Trustworthy Runtime Verification via Bisimulation (Experience Report)
Scott, Ryan G., Dodds, Mike, Perez, Ivan, Goodloe, Alwyn E., Dockins, Robert
Published in Proceedings of ACM on programming languages (30.08.2023)
Published in Proceedings of ACM on programming languages (30.08.2023)
Get full text
Journal Article
Lower your guards: a compositional pattern-match coverage checker
Graf, Sebastian, Peyton Jones, Simon, Scott, Ryan G.
Published in Proceedings of ACM on programming languages (02.08.2020)
Published in Proceedings of ACM on programming languages (02.08.2020)
Get full text
Journal Article
Monadic composition for deterministic, parallel batch processing
Scott, Ryan G., Navarro Leija, Omar S., Devietti, Joseph, Newton, Ryan R.
Published in Proceedings of ACM on programming languages (01.10.2017)
Published in Proceedings of ACM on programming languages (01.10.2017)
Get full text
Journal Article
Macaw: A Machine Code Toolbox for the Busy Binary Analyst
Scott, Ryan G, Boston, Brett, Davis, Benjamin, Diatchki, Iavor, Dodds, Mike, Hendrix, Joe, Matichuk, Daniel, Quick, Kevin, Ravitch, Tristan, Robert, Valentin, Selfridge, Benjamin, Stefănescu, Andrei, Wagner, Daniel, Winwood, Simon
Year of Publication 08.07.2024
Year of Publication 08.07.2024
Get full text
Journal Article
Refinement Reflection: Complete Verification with SMT
Vazou, Niki, Tondwalkar, Anish, Choudhury, Vikraman, Scott, Ryan G, Newton, Ryan R, Wadler, Philip, Jhala, Ranjit
Published in arXiv.org (09.11.2017)
Published in arXiv.org (09.11.2017)
Get full text
Paper
Journal Article
Macaw: A Machine Code Toolbox for the Busy Binary Analyst
Scott, Ryan G, Boston, Brett, Davis, Benjamin, Diatchki, Iavor, Dodds, Mike, Hendrix, Joe, Matichuk, Daniel, Quick, Kevin, Ravitch, Tristan, Valentin, Robert, Selfridge, Benjamin, Stefănescu, Andrei, Wagner, Daniel, Winwood, Simon
Published in arXiv.org (08.07.2024)
Get full text
Published in arXiv.org (08.07.2024)
Paper