Category Archives: Publications

All papers, presentations and posters I make available.

Tutorial Lecture: Agile and Efficient Domain-Specific Languages using Multi-stage Programming in Java Mint

Posted on August 15, 2010 by Mathias

Agile and Efficient Domain-Specific Languages using Multi-stage Programming in Java Mint (PDF, view embedded) Mathias Ricken and Edwin Westbrook A tutorial lecture to be presented at the Ninth International Conference on Generative Programming and Component Engineering (GPCE’10) October 10-13, 2010 … Continue reading →

Posted in Publications | 1 Comment

Print This Print This   Email This Email This

Presentation: Purdue University Computer Science Colloquia-Mint: A Multi-stage Extension of Java

Posted on March 15, 2010 by Mathias

Purdue University Computer Science Colloquia Mint: A Multi-stage Extension of Java (PowerPoint, PDF, view embedded) Mr. Mathias Ricken Rice University LWSN 3102 A/B Monday, March 15, 2010 3:30 p.m. – 4:30 p.m. Complete Description: Abstract: Multi-stage programming (MSP) provides a … Continue reading →

Posted in Publications | 1 Comment

Print This Print This   Email This Email This

Presentation: Test-First Java Concurrency for the Classroom

Posted on March 12, 2010 by Mathias

Test-First Java Concurrency for the Classroom (PowerPoint, view embedded) Where: 41st Technical Symposium on Computer Science Education (SIGCSE 2010) When: March 2, 2010 Concurrent programming is becoming more important due to the growing dominance of multi-core processors and the prevalence … Continue reading →

Posted in Publications | 1 Comment

Print This Print This   Email This Email This

Presentation: Testing Concurrent Programs, A 7-Minute Jargon-Free Introduction

Posted on February 25, 2010 by Mathias

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, … Continue reading →

Posted in Publications | 1 Comment

Print This Print This   Email This Email This

Presentation: Mint: A Multi-stage Extension of Java

Posted on February 8, 2010 by Mathias

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 … Continue reading →

Posted in Mint, Publications | 2 Comments

Print This Print This   Email This Email This

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

Posted on January 31, 2010 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 … Continue reading →

Posted in Mint, Publications | 2 Comments

Print This Print This   Email This Email This

Paper: Test-First Java Concurrency for the Classroom

Posted on October 24, 2009 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 … Continue reading →

Posted in Concurrent Unit Testing, Publications | Leave a comment

Print This Print This   Email This Email This

Presentation: ConcJUnit: Unit Testing for Concurrent Programs

Posted on August 29, 2009 by Mathias

ConcJUnit: Unit Testing for Concurrent Programs…

Continue reading →
Posted in Concurrent Unit Testing, Publications | Leave a comment

Print This Print This   Email This Email This

Presentation: ConcJUnit: Unit Testing for Concurrent Programs

Posted on August 24, 2009 by Mathias

ConcJUnit: Unit Testing for Concurrent Programs…

Continue reading →
Posted in Concurrent Unit Testing, Publications | Leave a comment

Print This Print This   Email This Email This

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

Posted on July 14, 2009 by Mathias

Multi-stage Programming for Mainstream Language…

Continue reading →
Posted in Mint, Publications | Leave a comment

Print This Print This   Email This Email This

Paper: ConcJUnit: Unit Testing for Concurrent Programs

Posted on June 5, 2009 by Mathias

ConcJUnit: Unit Testing for Concurrent Programs…

Continue reading →
Posted in Publications | Leave a comment

Print This Print This   Email This Email This

Book: A Framework for Concurrent Unit Testing: Concutest

Posted on May 24, 2009 by Mathias

A Framework for Testing Concurrent Programs: Co…

Continue reading →
Posted in Concurrent Unit Testing, Publications | Leave a comment

Print This Print This   Email This Email This

Presentation: Java Annotations for Types and Expressions

Posted on October 24, 2008 by Mathias

Java Annotations for Types and Expressions

Continue reading →
Posted in Publications | Leave a comment

Print This Print This   Email This Email This

Poster: Invariant Specification and Multi-Staging using Java Annotations

Posted on October 16, 2008 by Mathias

Invariant Specification and Multi-Staging using Java Annotations

Continue reading →
Posted in Publications | Leave a comment

Print This Print This   Email This Email This

Presentation: Java Annotations for Invariant Specification

Posted on September 22, 2008 by Mathias

Java Annotations for Invariant Specification

Continue reading →
Posted in Publications | Leave a comment

Print This Print This   Email This Email This

Thesis: A Framework for Testing Concurrent Programs

Posted on October 30, 2007 by Mathias

A Framework for Testing Concurrent Programs

Continue reading →
Posted in Concurrent Unit Testing, MS Thesis, Publications | Leave a comment

Print This Print This   Email This Email This

Presentation: Testing Concurrent Programs

Posted on October 4, 2007 by Mathias

Testing Concurrent Programs

Continue reading →
Posted in Concurrent Unit Testing, Publications | Leave a comment

Print This Print This   Email This Email This

Presentation: A Framework for Testing Concurrent Programs

Posted on August 27, 2007 by Mathias

A Framework for Testing Concurrent Programs

Continue reading →
Posted in Concurrent Unit Testing, Publications | Leave a comment

Print This Print This   Email This Email This

Defense: A Framework for Testing Concurrent Programs

Posted on June 14, 2007 by Mathias

A Framework for Testing Concurrent Programs

Continue reading →
Posted in Concurrent Unit Testing, MS Thesis, Publications | Leave a comment

Print This Print This   Email This Email This

Poster: Practical Tools for Testing Concurrent Programs

Posted on October 6, 2006 by Mathias

Practical Tools for Testing Concurrent Programs

Continue reading →
Posted in Concurrent Unit Testing, Publications | Leave a comment

Print This Print This   Email This Email This