Possible Papers
Fall 2018

This is a nonexhaustive list of interesting papers and background materials. Any of these papers are acceptable to present in class, although some are short enough that they may require another paper as well. Feel free to suggest another paper that interests you! If there is a topic or area that you would like to investigate, you can let me know, and I can suggest additional papers of interest. You might look through the proceedings of ISSTA, ICSE, PLDI, FSE, ICST, ASPLOS, ICSM, ASE, ISMM, Middleware, ICPC, POPL, Usenix Security, Security and Privacy, CCS, SAS, or CAV.

Fuzzing & Symbolic Execution

Offense & Defense

Bugs, Testing, Verification, & Repair

Smart Contracts

Parallelism & Concurrency

Synthesis

Learning

Static Analysis

Performance

Mobile

Web

Similarity

Misc.