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 - 2012

PhD in Computer Science and Engineering

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.

Honors & Awards

• 2011-2012 Intel Ph.D. Fellowship
• Paper selected for publication in IEEE Micro “Top Picks in Computer Architecture from 2009”
• Paper selected for publication in IEEE Micro “Top Picks in Computer Architecture from 2008”
• Eta Kappa Nu Engineering Honor Society, University of Pennsylvania
• Benjamin Franklin Scholar, University of Pennsylvania

Publications

Conference Papers

• GPUDet: A Deterministic GPU Architecture. Hadi Jooybar, Wilson W. L. Fung, Mike O’Connor, Joseph Devietti and Tor Aamodt. International Conference on Architectural Support for Programming Languages & Operating Systems (to appear at ASPLOS ’13), March 2013.
• RADISH: Always-On Sound and Complete Race Detection in Software and Hardware. Joseph Devietti, Ben Wood, Karin Strauss, Luis Ceze, Dan Grossman and Shaz Qadeer. International Symposium on Computer Architecture (ISCA ’12), June 2012.
• RCDC: A Relaxed-Consistency Deterministic Computer. Joseph Devietti, Jacob Nelson, Tom Bergan, Luis Ceze and Dan Grossman. International Conference on Architectural Support for Programming Languages & Operating Systems (ASPLOS ’11), March 2011.
• CoreDet: A Compiler and Runtime System for Deterministic Multithreaded Execution. Tom Bergan, Owen Anderson, Joseph Devietti, Luis Ceze and Dan Grossman. International Conference on Architectural Support for Programming Languages & Operating Systems (ASPLOS ’10), March 2010.
• DMP: Deterministic Shared Memory Multiprocessing. Joseph Devietti, Brandon Lucia, Luis Ceze and Mark Oskin. International Conference on Architectural Support for Programming Languages & Operating Systems (ASPLOS ’09), March 2009.

  Selected for IEEE Micro Top Picks ’09

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

  Selected for IEEE Micro Top Picks ’08

• HardBound: Architectural Support for Spatial Safety of the C Programming Language. Joseph Devietti, Colin Blundell, Milo Martin and Steve Zdancewic. International Conference on Architectural Support for Programming Languages & Operating Systems (ASPLOS ’08), March 2008.
• Making the Fast Case Common and the Uncommon Case Simple in Unbounded Transactional Memory. Colin Blundell, Joseph Devietti, E Christopher Lewis and Milo Martin. International Symposium on Computer Architecture (ISCA ’07), June 2007.

Workshop Papers

• The Case For Merging Execution- and Language-level Determinism with MELD. Joseph Devietti, Dan Grossman and Luis Ceze. Workshop on Determinism and Correctness in Parallel Programming (WoDet ’12), held in conjunction with ASPLOS ’12, March 2012.
• The Deterministic Execution Hammer: How Well Does it Actually Pound Nails? Tom Bergan, Joseph Devietti, Nicholas Hunt and Luis Ceze. Workshop on Determinism and Correctness in Parallel Programming (WoDet ’11), held in conjunction with ASPLOS ’11, March 2011.
• Lock Prediction. Brandon Lucia, Joseph Devietti, Tom Bergan, Luis Ceze and Dan Grossman. USENIX Workshop on Hot Topics in Parallelism (HotPar ’10), accepted for poster session, June 2010.
• The Case for System Support for Concurrency Exceptions. Luis Ceze, Joseph Devietti, Brandon Lucia and Shaz Qadeer. USENIX Workshop on Hot Topics in Parallelism (HotPar ’09), March 2009.
• Explicitly Parallel Programming with Shared-Memory is Insane: At Least Make it Deterministic! Joseph Devietti, Brandon Lucia, Luis Ceze and Mark Oskin. Workshop on Software and Hardware Challenges of Manycore Platforms (SHCMP ’08), held in conjunction with ISCA ’08, June 2008.

Technical Reports

• Code-Centric Communication Graphs for Shared-Memory Multithreaded Programs. Ben Wood, Joseph Devietti, Luis Ceze and Dan Grossman. Technical Report UW-CSE-09-05-02, May 2009.

Dissertation

• Deterministic Execution for Arbitrary Multithreaded Programs. Joseph Devietti. PhD Dissertation, University of Washington, November 2012.

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

Organizer

• Co-organizer of the 4th Workshop on Determinism and Correctness in Parallel Programming (WoDet 2013), co-located with ASPLOS 2013
• Co-organizer of the 3rd Workshop on Systems for Future Multicore Architectures (SFMA 2013), co-located with EuroSys 2013

Program Committee

• IEEE International Symposium on High Performance Computer Architecture (HPCA) 2013
• Workshop on Transitioning to Multicore, held in conjunction with SPLASH/OOPSLA 2011

Reviewer

• International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS) 2010, 2011, 2012
• ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) 2011, 2012
• ACM Transactions on Architecture and Code Optimization (TACO) 2012, 2013
• ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP) 2012
• Reviewed a draft copy of A Primer on Memory Consistency and Cache Coherence by Daniel J. Sorin, Mark D. Hill, and David A. Wood, Synthesis Lectures in Computer Architecture, Morgan & Claypool Publishers, May 2011.
• ACM SIGPLAN Workshop on Memory Systems Performance and Correctness (MSPC) 2011
• IEEE Symposium on Security and Privacy (Oakland) 2011
• International Symposium on Memory Management (ISMM) 2009
• ACM International Conference on Supercomputing (ICS) 2009
• ACM IEEE International Symposium on Computer Architecture (ISCA) 2008, 2013

Patents

• Luis Ceze, Mark Oskin, Joseph Devietti, Brandon Lucia. “Efficient Deterministic Multiprocessing.” Filed September 2009. US Patent Pending.
• Luis Ceze, Thomas Bergan, Joseph Devietti, Daniel Grossman, Jacob Nelson. “Relaxed Consistency Deterministic Execution in Hardware and Software.” Filed March 2011. US Patent Pending.

Volunteer Work

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

Tutored undergraduates in UW’s introductory digital design (CSE 370), computer architecture (CSE 378), and hardware/software interface (CSE 351) courses 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

Karin Strauss
Microsoft Research, Researcher
One Microsoft Way, Redmond, WA 98052
kstrauss@microsoft.com

Shaz Qadeer
Microsoft Research, Senior Researcher
One Microsoft Way, Redmond, WA 98052
(425) 707-9146
qadeer@microsoft.com

Susan Eggers
University of Washington, Professor of Computer Science & Engineering
Box 352350, Allen Center 101, Seattle, WA 98195-2350
(206) 543-2118
eggers@cs.washington.edu