Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
Watch a 25-minute conference presentation from POPL 2018 that introduces a groundbreaking approach for verifying equivalence between database-driven applications with different schemas. Learn about a novel proof methodology using bisimulation invariants over relational algebra with updates, particularly relevant for web applications undergoing database refactoring. Explore how researchers from the University of Texas at Austin and Microsoft Research developed Mediator, a tool that successfully verified 20 out of 21 benchmarks from textbooks and real-world web applications. Discover techniques for ensuring applications maintain the same external behavior before and after schema migration, addressing a critical gap in existing verification tools for database-driven programs.
