Rich Joiner

CRASH Project Systems Programmer
Executable Slicing Facilitator
Minimalist Website Developer

Pending Submissions

• Aung, M., Horwitz, S., Joiner, R., and Reps, T., Executable slicing via procedure specialization. Submitted for conference publication, March 2012. [abstract; Tech. Report version:PDF]
• Fredrikson, M., Joiner, R., Jha, S., Reps, T., Porras, P., Saïdi, H., and Yegneswaran, V., Efficient runtime policy enforcement using counterexample-guided abstraction refinement. Submitted for conference publication, Jan. 2012.

Other Publications and Reports

• Aung, M., Horwitz, S., Joiner, R., and Reps, T., Executable slicing via procedure specialization. TR-1711, Computer Sciences Department, University of Wisconsin, Madison, WI, March 2012. [abstract; PDF]

Documents

• Building Google Chrome from source? Read this:
  • for Windows: chromium.build.windows.README
  • for Linux: chromium.build.linux.README
  • for FreeBSD: chromium.build.freebsd.README