Presentation: Java Annotations for Types and Expressions
October 24th, 2008, 11:00 am by MathiasJava Annotations for Types and Expressions
Archive for the 'Publications' Category
Poster: Invariant Specification and Multi-Staging using Java Annotations
October 16th, 2008, 1:00 pm by MathiasInvariant Specification and Multi-Staging using Java Annotations
Presentation: Java Annotations for Invariant Specification
September 22nd, 2008, 11:00 am by MathiasJava Annotations for Invariant Specification
Thesis: A Framework for Testing Concurrent Programs
October 30th, 2007, 1:00 pm by MathiasA Framework for Testing Concurrent Programs
Presentation: Testing Concurrent Programs
October 4th, 2007, 12:00 pm by MathiasTesting Concurrent Programs
Presentation: A Framework for Testing Concurrent Programs
August 27th, 2007, 12:00 pm by MathiasA Framework for Testing Concurrent Programs
Defense: A Framework for Testing Concurrent Programs
June 14th, 2007, 1:00 pm by MathiasA Framework for Testing Concurrent Programs
Poster: Practical Tools for Testing Concurrent Programs
October 6th, 2006, 2:30 pm by MathiasPractical Tools for Testing Concurrent Programs
Paper: Programming for Change
June 30th, 2006, 11:59 pm by MathiasProgramming for Change - Nifty Assignment
Workshop: Object-Oriented Design Festival
March 1st, 2006, 7:00 pm by MathiasObject-Oriented Design Festival
Poster: Unit Testing for Concurrent Programs
September 20th, 2005, 3:30 pm by MathiasUnit Testing for Concurrent Programs
Presentation: Design Patterns for Parsing
February 27th, 2005, 11:00 am by MathiasDesign Patterns for Parsing
Paper: Automatic Ad Blocking: Improving AdBlock for the Mozilla Platform
December 7th, 2004, 12:00 pm by MathiasAutomatic Ad Blocking: Improving AdBlock for the Mozilla Platform
Paper: Design Patterns for Parsing
November 9th, 2004, 12:15 pm by MathiasDesign Patterns for Parsing
Presentation: Marine Biology Simulation - Nifty Assignment
October 25th, 2004, 1:30 am by MathiasMarine Biology Simulation - Nifty Assignment
Poster: Unit Testing for Concurrent Programs
October 18th, 2004, 3:00 pm by MathiasUnit Testing for Concurrent Programs
Where: …
Paper: Assignments for an Objects-First Introductory Computer Science Curriculum
September 10th, 2004, 11:59 pm by MathiasAssignments for an Objects-First Introductory Computer Science Curriculum
Paper: Abstract Factories and the Shape Calculator - Nifty Assignment
August 31st, 2004, 7:49 am by MathiasAbstract Factories and the Shape Calculator - Nifty Assignment
Paper: Marine Biology Simulation - Nifty Assignment
August 31st, 2004, 7:42 am by MathiasMarine Biology Simulation - Nifty Assignment
Presentation: TeachJava - Rice Marine Biology Simulation - Milestone 2
June 25th, 2004, 1:00 pm by MathiasTeachJava - Rice Marine Biology Simulation - Milestone 2
