Research Interests

My main research interests are in the fields of computer architecture and programming languages. I’m interested in using language and hardware innovations to provide better support for parallel programming.

Education

University of Washington, 2007 - present

Enrolled in Ph.D. degree program

University of Pennsylvania, 2006 - 2007

Enrolled in Master of Science in Engineering degree program

University of Pennsylvania, 2001 - 2006

Bachelor of Science in Engineering degree in Computer Science and Bachelor of Arts degree in English, May 2006. Graduated magna cum laude.

Publications

• Tom Bergan, Owen Anderson, Joseph Devietti, Luis Ceze and Dan Grossman. CoreDet: A Compiler and Runtime System for Deterministic Multithreaded Execution. International Conference on Architectural Support for Programming Languages & Operating Systems (to appear at ASPLOS ’10), March 2010.
• Luis Ceze, Joseph Devietti, Brandon Lucia and Shaz Qadeer. The Case for System Support for Concurrency Exceptions. USENIX Workshop on Hot Topics in Parallelism (HotPar ’09), March 2009.
• Joseph Devietti, Brandon Lucia, Luis Ceze and Mark Oskin. DMP: Deterministic Shared Memory Multiprocessing. International Conference on Architectural Support for Programming Languages & Operating Systems (ASPLOS ’09), March 2009.

  Selected for IEEE Micro Top Picks ’09

• Brandon Lucia, Joseph Devietti, Karin Strauss and Luis Ceze. Atom-Aid: Surviving and Detecting Atomicity Violations. International Symposium on Computer Architecture (ISCA ’08), June 2008.

  Selected for IEEE Micro Top Picks ’08

• Joseph Devietti, Brandon Lucia, Luis Ceze and Mark Oskin. Explicitly Parallel Programming with Shared-Memory is Insane: At Least Make it Deterministic! Workshop on Software and Hardware Challenges of Manycore Platforms (SHCMP ’08), held in conjuction with ISCA ’08, June 2008.
• Joseph Devietti, Colin Blundell, Milo Martin and Steve Zdancewic. HardBound: Architectural Support for Spatial Safety of the C Programming Language. International Conference on Architectural Support for Programming Languages & Operating Systems (ASPLOS ’08), March 2008.
• Colin Blundell, Joseph Devietti, E Christopher Lewis and Milo Martin. Making the Fast Case Common and the Uncommon Case Simple in Unbounded Transactional Memory. International Symposium on Computer Architecture (ISCA ’07), June 2007.

Honors & Awards

Eta Kappa Nu Engineering Honor Society

Benjamin Franklin Scholar, University of Pennsylvania

Research Experience

University of Washington, Computer Science & Engineering Department, Seattle, WA
Advisors: Luis Ceze & Dan Grossman
Winter 2008 - present

Graduate Research Assistant: I have focused on improving the experience of explicitly parallel programming using shared memory. Certain classes of bugs can be detected and survived automatically by recognizing particular shared-memory access patterns (ISCA ’08), while providing deterministic execution (SHCMP ’08, ASPLOS ’09) makes bugs in multi-threaded programs as repeatable as bugs in single-threaded programs. Future work will focus on reducing the runtime overheads of deterministic execution via hardware and software techniques.

University of Pennsylvania, Computer and Information Science Department, Philadelphia, PA
Advisor: Milo Martin
Summer 2006 - Summer 2007

Graduate Research Assistant: I was a founding member of the Hardbound project (ASPLOS ’08). Hardbound is an extension to the processor core that overloads the semantics of instructions if their operands are pointers. With lightweight compiler transformations to identify the creation of pointers within a program, a Hardbound-enabled processor can then invisibly track and verify these pointers through bounds checking as the program executes, efficiently providing memory safety guarantees for unsafe languages like C.

I was also involved with the OneTM hardware transactional memory project (ISCA ’07) that seeks to find a balance between concurrency and the complexity of unbounded transactional memory by limiting the number of simultaneous unbounded transactions. This reduces the cost of conflict detection, while admitting a simpler hardware implementation.

University of Pennsylvania, Computer and Information Science Department, Philadelphia, PA
Advisor: Milo Martin
Summer 2005

Undergraduate Research Assistant: I did research for my Senior Design Project, which entailed evaluating performance of the CCured secure C language dialect on industry-standard benchmarks and custom microbenchmarks, using timing and cache simulation metrics.

Teaching Experience

Instructor: Designed course, gave lectures, held office hours, answered email/newsgroup queries, designed and graded homework and exams.

• Unix/Linux skills (CSE 399, undergraduate-level) – University of Pennsylvania – Spring 2007

Teaching Assistant: held office hours, answered email/newsgroup queries, led review sessions, designed and graded student homework.

• Computer Architecture (CSE 548P, graduate-level) – University of Washington – Spring 2009
• Machine Organization and Assembly Language (CSE 378, undergraduate-level) – University of Washington – Fall 2007
• Introduction to Computer Architecture (CIS 501, graduate-level) – University of Pennsylvania – Fall 2006
• Digital Systems & Design Lab (CSE 372, undergraduate-level) – University of Pennsylvania – Spring 2006
• Introduction to Computer Architecture (CSE 240, undergraduate-level) – University of Pennsylvania – Fall 2005

Writing Advisor: helped students with structuring and organizing academic essays

• University of Pennsylvania – Spring 2003, Fall 2004 - Spring 2005

Professional Activities

I have served as an external reviewer for the following conferences:

• International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS) 2010
• International Symposium on Memory Management (ISMM) 2009
• International Conference on Supercomputing (ICS) 2009
• International Symposium on Computer Architecture (ISCA) 2008

Volunteer Work

Undergraduate Tutoring, Seattle, WA (Spring 2008 - present)

Tutored undergraduates in UW’s introduction to computer architecture course for 1 hour per week during the academic year.

References

Luis Ceze
University of Washington, Assistant Professor of Computer Science & Engineering
Box 352350, Allen Center 101
Seattle, WA 98195-2350
(206) 543-1896
luisceze@cs.washington.edu

Dan Grossman
University of Washington, Associate Professor of Computer Science & Engineering
Box 352350, Allen Center 101
Seattle, WA 98195-2350
(206) 616-1124
djg@cs.washington.edu

Milo Martin
University of Pennsylvania, Assistant Professor of Computer and Information Science
3330 Walnut Street
Levine Hall
Philadelphia, PA 19104-6389
(215) 746-2972
milom@cis.upenn.edu

Personal

• U.S. Citizen
• student member of the ACM
• open source software advocate