vix.ing · top · new · best · stats · spec

Robert Dickerson

  1. KestRel: Relational Verification Using E-Graphs for Program Alignment
    2024/04/11 by Robert Dickerson, Dickerson, Robert, Prasita Mukherjee +3 · 1 citation
    Computer Science · #Advanced Software Engineering Methodologies #FOS: Computer and information sciences #Programming Languages (cs.PL) #Software Engineering Research #Software Engineering Techniques and Practices