Archive for the 'Publications' Category

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

Paper: Automatic Ad Blocking: Improving AdBlock for the Mozilla Platform

December 7th, 2004, 12:00 pm by Mathias

Automatic Ad Blocking: Improving AdBlock for the Mozilla Platform

Print This Print This   Email This Email This

Paper: Design Patterns for Parsing

November 9th, 2004, 12:15 pm by Mathias

Design Patterns for Parsing

Print This Print This   Email This Email This

Presentation: Marine Biology Simulation - Nifty Assignment

October 25th, 2004, 1:30 am by Mathias

Marine Biology Simulation - Nifty Assignment

Print This Print This   Email This Email This

Poster: Unit Testing for Concurrent Programs

October 18th, 2004, 3:00 pm by Mathias

Unit Testing for Concurrent Programs

Where: …

Print This Print This   Email This Email This

Paper: Assignments for an Objects-First Introductory Computer Science Curriculum

September 10th, 2004, 11:59 pm by Mathias

Assignments for an Objects-First Introductory Computer Science Curriculum

Print This Print This   Email This Email This

Paper: Abstract Factories and the Shape Calculator - Nifty Assignment

August 31st, 2004, 7:49 am by Mathias

Abstract Factories and the Shape Calculator - Nifty Assignment

Print This Print This   Email This Email This

Paper: Marine Biology Simulation - Nifty Assignment

August 31st, 2004, 7:42 am by Mathias

Marine Biology Simulation - Nifty Assignment

Print This Print This   Email This Email This

Presentation: TeachJava - Rice Marine Biology Simulation - Milestone 2

June 25th, 2004, 1:00 pm by Mathias

TeachJava - Rice Marine Biology Simulation - Milestone 2

Print This Print This   Email This Email This