Category Archives: Publications

All my papers, presentations and posters.

Demonstration: DrHJ – the cure to your Multicore Programming Woes

DrHJ – the cure to your Multicore Programming Woes SPLASH 2011 DrHJ extends DrJava with support for the pedagogic Habanero-Java language derived from X10, and used to teach parallel programming at the sophomore level. The demonstration will show how a … Continue reading

Share
Posted in Publications | Leave a comment

Print This Post Print This Post   Email This Email This

Paper: DrHJ – a lightweight pedagogic IDE for Habanero Java

DrHJ – a lightweight pedagogic IDE for Habanero Java 9th International Conference on the Principles and Practice of Programming in Java (PPPJ 2011) The Java language and runtime environment has had a profound worldwide impact on computer software since its … Continue reading

Share
Posted in Publications | Leave a comment

Print This Post Print This Post   Email This Email This

PhD Thesis: A Framework for Testing Concurrent Programs

A Framework for Testing Concurrent Programs Rice University A Framework for Testing Concurrent Programs by Mathias Guenter Ricken A thesis submitted in partial fulfillment of the requirements for the degree Doctor of Philosophy This study proposes a new framework that … Continue reading

Share
Posted in Publications | Leave a comment

Print This Post Print This Post   Email This Email This

PhD Defense: A Framework for Testing Concurrent Programs

A Framework for Testing Concurrent Programs (Presentation, PowerPoint, PDF) Rice University Department of Computer Science Presents Mathias Ricken Ph.D. Thesis Defense Title: A Framework for Testing Concurrent Programs Date: January 10, 2011 Time: 9 AM Location: Duncan Hall 3076 Abstract: … Continue reading

Share
Posted in Publications | Leave a comment

Print This Post Print This Post   Email This Email This

PhD Proposal: A Framework for Testing Concurrent Programs

A Framework for Testing Concurrent Programs (Presentation, PowerPoint,PDF) Rice University Department of Computer Science Presents Mathias Ricken Ph.D. Thesis Proposal Title: A Framework for Testing Concurrent Programs Date: December 2, 2010 Time: 9 AM Location: Duncan Hall 3076 Abstract: This … Continue reading

Share
Posted in Publications | Leave a comment

Print This Post Print This Post   Email This Email This

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

Agile and Efficient Domain-Specific Languages using Multi-stage Programming in Java Mint (PowerPoint, PDF, view embedded) Tutorial Proposal (PDF, view embedded) Source code (ZIP file) Mathias Ricken, Edwin Westbrook and Walid Taha A tutorial lecture presented at the Ninth International Conference … Continue reading

Share
Posted in Publications | 1 Comment

Print This Post Print This Post   Email This Email This

Poster: Java Programming Language Team

Research Summary: Java Programming Language Team Where: Rice University Undergraduate-Graduate Research Mixer 2010 When: October 7, 2010 This poster shows a summary of my work in the Java Programming Languages Team in the Department of Computer Science at Rice University. … Continue reading

Share
Posted in Publications | 1 Comment

Print This Post Print This Post   Email This Email This

Presentations: Agile and Efficient Domain-Specific Languages using Multi-stage Programming in Java Mint (Practice Talk 2)

Agile and Efficient Domain-Specific Languages using Multi-stage Programming in Java Mint (PowerPoint, PDF, view embedded) Mathias Ricken, Edwin Westbrook and Walid Taha Where: Rice University Computer Science Department, Habanero Research Group Meeting When: September 24, 2010 Domain-specific languages (DSLs) are … Continue reading

Share
Posted in Publications | Leave a comment

Print This Post Print This Post   Email This Email This

Presentations: Agile and Efficient Domain-Specific Languages using Multi-stage Programming in Java Mint (Practice Talk)

Agile and Efficient Domain-Specific Languages using Multi-stage Programming in Java Mint (PowerPoint, PDF, view embedded) Video recording available on vimeo. Mathias Ricken, Edwin Westbrook and Walid Taha Where: Rice University Computer Science Department, COMP 600 Graduate Seminar When: September 20, … Continue reading

Share
Posted in Publications | Leave a comment

Print This Post Print This Post   Email This Email This

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

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

Share
Posted in Publications | 1 Comment

Print This Post Print This Post   Email This Email This

Presentation: Test-First Java Concurrency for the Classroom

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

Share
Posted in Publications | 1 Comment

Print This Post Print This Post   Email This Email This

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

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

Share
Posted in Publications | 1 Comment

Print This Post Print This Post   Email This Email This

Presentation: Mint: A Multi-stage Extension of Java

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

Share
Posted in Mint, Publications | 2 Comments

Print This Post Print This Post   Email This Email This

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

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

Share
Posted in Mint, Publications | 2 Comments

Print This Post Print This Post   Email This Email This

Paper: Test-First Java Concurrency for the Classroom

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

Share
Posted in Concurrent Unit Testing, Publications | Leave a comment

Print This Post Print This Post   Email This Email This

Presentation: ConcJUnit: Unit Testing for Concurrent Programs

ConcJUnit: Unit Testing for Concurrent Programs… Continue reading

Share
Posted in Concurrent Unit Testing, Publications | Leave a comment

Print This Post Print This Post   Email This Email This

Presentation: ConcJUnit: Unit Testing for Concurrent Programs

ConcJUnit: Unit Testing for Concurrent Programs… Continue reading

Share
Posted in Concurrent Unit Testing, Publications | Leave a comment

Print This Post Print This Post   Email This Email This

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

Multi-stage Programming for Mainstream Language… Continue reading

Share
Posted in Mint, Publications | Leave a comment

Print This Post Print This Post   Email This Email This

Paper: ConcJUnit: Unit Testing for Concurrent Programs

ConcJUnit: Unit Testing for Concurrent Programs… Continue reading

Share
Posted in Publications | Leave a comment

Print This Post Print This Post   Email This Email This

Book: A Framework for Concurrent Unit Testing: Concutest

A Framework for Testing Concurrent Programs: Co… Continue reading

Share
Posted in Concurrent Unit Testing, Publications | Leave a comment

Print This Post Print This Post   Email This Email This