Yanyan's Wiki 操作系统 (2023)

STA Paper Presentation Session

Session Chair

  • TBD


  1. (TBD) Dynamically discovering likely program invariants to support program evolution. IEEE Transactions on Software Engineering (TSE), 27(2), 2001.
  2. (张腾) Bugs as deviant behavior: A general approach to inferring errors in systems code. SOSP'01.
  3. (周意可) eXplode: A lightweight, general system for finding serious storage system errors. OSDI'06.
  4. (张天泰) Valgrind: A framework for heavyweight dynamic binary instrumentation. PLDI'07.
Creative Commons License    苏 ICP 备 2020049101 号