A Concurrent Affair

Testing Concurrent Programs, A 7-Minute Jargon-Free Introduction (PowerPoint, view embedded)

Where: Rice University School of Engineering, Thesis Writing Seminar When: February 25, 2010

A 7-minute jargon-free introduction to the problems of testing concurrent programs, and a proposal for a solution, with non-computer science engineering graduate students as intended audience.

Mint: A Multi-stage Extension of Java (PowerPoint, PDF, view embedded) Video recording available on vimeo.

Where: Rice University Computer Science Department, COMP 600 Graduate Seminar When: February 8, 2010

Multi-stage programming (MSP) provides a safe way of generating code at run-time. In mostly-functional languages like MetaOCaml, this has been used to reduce the performance penalties of abstractions such as loops, recursion or interpretation. [...]

Mint: Java Multi-stage Programming Using Weak Separability

2010 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2010)

Multi-stage programming (MSP) provides a disciplined approach to run-time code generation. In the purely functional setting, it has been shown how MSP can be used to reduce the overhead of abstractions, allowing clean, maintainable code without paying performance penalties. Unfortunately, MSP is [...]

Test-First Java Concurrency for the Classroom

41st Technical Symposium on Computer Science Education (SIGCSE 2010)

Concurrent programming is becoming more important due to the growing dominance of multi-core processors and the prevalence of graphical user interfaces (GUIs). To prepare students for the concurrent future, instructors have begun to address concurrency earlier in their curricula. Unfortunately, test-driven development, [...]

ConcJUnit: Unit Testing for Concurrent Programs…

ConcJUnit: Unit Testing for Concurrent Programs…

Multi-stage Programming for Mainstream Language…

ConcJUnit: Unit Testing for Concurrent Programs…

A Framework for Testing Concurrent Programs: Co…

Java Annotations for Types and Expressions

Invariant Specification and Multi-Staging using Java Annotations

Java Annotations for Invariant Specification

A Framework for Testing Concurrent Programs

Testing Concurrent Programs

A Framework for Testing Concurrent Programs

A Framework for Testing Concurrent Programs

Practical Tools for Testing Concurrent Programs

Programming for Change – Nifty Assignment

Object-Oriented Design Festival

Unit Testing for Concurrent Programs