Archive for the 'Publications' Category

Presentation: Mint: A Multi-stage Extension of Java

February 8th, 2010, 3:27 pm by Mathias

Mint: A Multi-stage Extension of Java (PowerPoint, PDF, view embedded)

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. The main advantage of [...]

Print This Print This   Email This Email This

Paper: Mint: Java Multi-stage Programming Using Weak Separability

January 31st, 2010, 8:21 pm by Mathias

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 [...]

Print This Print This   Email This Email This

Paper: Test-First Java Concurrency for the Classroom

October 24th, 2009, 3:47 pm by Mathias

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, [...]

Print This Print This   Email This Email This

Presentation: ConcJUnit: Unit Testing for Concurrent Programs

August 29th, 2009, 1:06 am by Mathias

ConcJUnit: Unit Testing for Concurrent Programs…

Print This Print This   Email This Email This

Presentation: ConcJUnit: Unit Testing for Concurrent Programs

August 24th, 2009, 1:41 pm by Mathias

ConcJUnit: Unit Testing for Concurrent Programs…

Print This Print This   Email This Email This

Tech Report: Multi-stage Programming for Mainstream Languages (TR09-02)

July 14th, 2009, 3:39 pm by Mathias

Multi-stage Programming for Mainstream Language…

Print This Print This   Email This Email This

Paper: ConcJUnit: Unit Testing for Concurrent Programs

June 5th, 2009, 3:33 pm by Mathias

ConcJUnit: Unit Testing for Concurrent Programs…

Print This Print This   Email This Email This

Book: A Framework for Concurrent Unit Testing: Concutest

May 24th, 2009, 5:43 pm by Mathias

A Framework for Testing Concurrent Programs: Co…

Print This Print This   Email This Email This

Presentation: Java Annotations for Types and Expressions

October 24th, 2008, 11:00 am by Mathias

Java Annotations for Types and Expressions

Print This Print This   Email This Email This

Poster: Invariant Specification and Multi-Staging using Java Annotations

October 16th, 2008, 1:00 pm by Mathias

Invariant Specification and Multi-Staging using Java Annotations

Print This Print This   Email This Email This

Presentation: Java Annotations for Invariant Specification

September 22nd, 2008, 11:00 am by Mathias

Java Annotations for Invariant Specification

Print This Print This   Email This Email This

Thesis: A Framework for Testing Concurrent Programs

October 30th, 2007, 1:00 pm by Mathias

A Framework for Testing Concurrent Programs

Print This Print This   Email This Email This

Presentation: Testing Concurrent Programs

October 4th, 2007, 12:00 pm by Mathias

Testing Concurrent Programs

Print This Print This   Email This Email This

Presentation: A Framework for Testing Concurrent Programs

August 27th, 2007, 12:00 pm by Mathias

A Framework for Testing Concurrent Programs

Print This Print This   Email This Email This

Defense: A Framework for Testing Concurrent Programs

June 14th, 2007, 1:00 pm by Mathias

A Framework for Testing Concurrent Programs

Print This Print This   Email This Email This

Poster: Practical Tools for Testing Concurrent Programs

October 6th, 2006, 2:30 pm by Mathias

Practical Tools for Testing Concurrent Programs

Print This Print This   Email This Email This

Paper: Programming for Change

June 30th, 2006, 11:59 pm by Mathias

Programming for Change – Nifty Assignment

Print This Print This   Email This Email This

Workshop: Object-Oriented Design Festival

March 1st, 2006, 7:00 pm by Mathias

Object-Oriented Design Festival

Print This Print This   Email This Email This

Poster: Unit Testing for Concurrent Programs

September 20th, 2005, 3:30 pm by Mathias

Unit Testing for Concurrent Programs

Print This Print This   Email This Email This

Presentation: Design Patterns for Parsing

February 27th, 2005, 11:00 am by Mathias

Design Patterns for Parsing

Print This Print This   Email This Email This