STA Paper Presentation Session

Session Chair

• 蒋炎岩

Speakers:

1. (李一丁) 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.