Categories
- Code Pranger (8)
- DrJava (207)
- Graduate School (31)
- Pictures (95)
- Programming (4)
- Publications (44)
- Ramblings (117)
- Research (408)
- Concurrent Unit Testing (292)
- Mint (73)
- OOP Book (7)
- xajavac (29)
- Teaching (26)
- Thesis (31)
- MS Thesis (30)
- Uncategorized (210)
Search
Archive
- February 2025 (1)
- January 2025 (1)
- January 2024 (2)
- March 2021 (1)
- January 2021 (3)
- September 2020 (1)
- February 2020 (1)
- September 2019 (1)
- April 2019 (1)
- July 2018 (3)
- May 2018 (1)
- February 2018 (1)
- December 2017 (1)
- October 2017 (1)
- August 2017 (3)
- July 2017 (3)
- June 2017 (3)
- May 2017 (1)
- April 2017 (1)
- March 2017 (2)
- February 2017 (1)
- January 2017 (4)
- December 2016 (1)
- October 2016 (4)
- September 2016 (1)
- August 2016 (8)
- July 2016 (7)
- June 2016 (7)
- May 2016 (2)
- April 2016 (2)
- October 2015 (2)
- June 2015 (4)
- February 2015 (1)
- December 2014 (2)
- August 2014 (1)
- May 2014 (2)
- April 2014 (4)
- March 2014 (2)
- February 2014 (3)
- September 2013 (3)
- July 2013 (1)
- June 2013 (1)
- May 2013 (2)
- March 2013 (2)
- November 2012 (4)
- October 2012 (3)
- September 2012 (2)
- June 2012 (3)
- April 2012 (4)
- March 2012 (4)
- February 2012 (2)
- January 2012 (5)
- November 2011 (2)
- October 2011 (4)
- September 2011 (11)
- August 2011 (6)
- July 2011 (7)
- June 2011 (4)
- May 2011 (3)
- April 2011 (3)
- March 2011 (2)
- February 2011 (7)
- January 2011 (10)
- December 2010 (2)
- November 2010 (7)
- October 2010 (17)
- September 2010 (17)
- August 2010 (23)
- July 2010 (16)
- June 2010 (16)
- May 2010 (14)
- April 2010 (15)
- March 2010 (15)
- February 2010 (16)
- January 2010 (15)
- December 2009 (6)
- November 2009 (16)
- October 2009 (20)
- September 2009 (25)
- August 2009 (13)
- July 2009 (2)
- June 2009 (1)
- May 2009 (3)
- April 2009 (2)
- March 2009 (3)
- February 2009 (3)
- December 2008 (2)
- November 2008 (6)
- October 2008 (16)
- September 2008 (7)
- August 2008 (10)
- July 2008 (4)
- June 2008 (4)
- May 2008 (7)
- April 2008 (3)
- March 2008 (7)
- February 2008 (11)
- January 2008 (3)
- December 2007 (5)
- November 2007 (15)
- October 2007 (5)
- August 2007 (2)
- July 2007 (19)
- June 2007 (8)
- May 2007 (9)
- April 2007 (18)
- March 2007 (23)
- February 2007 (5)
- January 2007 (12)
- December 2006 (5)
- November 2006 (17)
- October 2006 (18)
- September 2006 (22)
- August 2006 (21)
- July 2006 (15)
- June 2006 (1)
- May 2006 (4)
- April 2006 (3)
- March 2006 (1)
- February 2006 (1)
- January 2006 (26)
- December 2005 (6)
- November 2005 (6)
- October 2005 (2)
- September 2005 (7)
- August 2005 (20)
- July 2005 (21)
- June 2005 (23)
- February 2005 (1)
- December 2004 (1)
- November 2004 (2)
- October 2004 (2)
- September 2004 (1)
- August 2004 (2)
- June 2004 (3)
- March 2004 (1)
- September 2003 (1)
Meta
Category Archives: Publications
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
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
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
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
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
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
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
Presentations: Agile and Efficient Domain-Speciï¬c Languages using Multi-stage Programming in Java Mint (Practice Talk 2)
Agile and Efï¬cient Domain-Speciï¬c 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
Presentations: Agile and Efficient Domain-Speciï¬c Languages using Multi-stage Programming in Java Mint (Practice Talk)
Agile and Efï¬cient Domain-Speciï¬c 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
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
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
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
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
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
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
Presentation: ConcJUnit: Unit Testing for Concurrent Programs
ConcJUnit: Unit Testing for Concurrent Programs… Continue reading
Presentation: ConcJUnit: Unit Testing for Concurrent Programs
ConcJUnit: Unit Testing for Concurrent Programs… Continue reading
Tech Report: Multi-stage Programming for Mainstream Languages (TR09-02)
Multi-stage Programming for Mainstream Language… Continue reading
Paper: ConcJUnit: Unit Testing for Concurrent Programs
ConcJUnit: Unit Testing for Concurrent Programs… Continue reading
Book: A Framework for Concurrent Unit Testing: Concutest
A Framework for Testing Concurrent Programs: Co… Continue reading