Search
 
   

3 results for "domain:people.mpi-sws.org"

  1. 2
    Equivalence Testing for JavaScript Transformations ☶ pdf slides javascript testing people.mpi-sws.org
    nickpsecurity avatar via nickpsecurity 2 months ago | cached | no comments
  2. 10
    1ML - core and modules united compilers ml release people.mpi-sws.org
    pushcx avatar via pushcx 9 months ago | cached | 1 comment
  3. 32
    RustBelt: Securing the Foundations of the Rust Programming Language pdf formalmethods rust people.mpi-sws.org
    pushcx avatar via pushcx 1 year ago | cached | 49 comments