Xi Wang

32 Vassar St 32-G980
Cambridge, MA 02139

Projects

  • Stack finds unstable code due to undefined behavior.
  • Kint is a static integer overflow checker.
  • Retro helps sysadmin retroactively undo damages.
  • Resin allows developers to secure web apps with data-flow assertions.
  • Altair generates modular API cross-references for documentation.