I am an assistant professor in the Department of Computer Science at Tufts University. I work in a variety of different areas of programming language research, including compilers, optimizations, program analysis, and run-time systems. See my full list of publications

News

Fall, 2009 -- I'm serving on several program committees, including CGO 2010, PLDI 2010 (external PC), and VEE 2010
April 26, 2009 -- Jane Guyer (aka "Mum") inducted into the National Academy of Sciences
January 2009 -- The full conference version of our GC Assertions workshop paper was accepted to PLDI 2009.
October 24, 2008 -- Jonah Solomon Guyer born 8 lbs at 4:20pm

Teaching

COMP 181 -- Compilers -- Fall 2009 • Fall 2008 • Fall 2006 • Fall 2005

COMP 80 -- Programming Languages -- Spring 2009 • Spring 2007

COMP 150 -- Implementation of Modern Programming Languages -- Spring 2007 • Spring 2006

Research

Projects

• Dynamic Bug Detection

The goal of this project is to develop new tools to help programmers detect and diagnose bugs at run-time. We're looking at new ways to specify desired properties, check those properties, and report useful debugging information. GC Assertions in PLDI 2009, Origin Tracking in OOPSLA 2007.

• Storage optimization

This project explores novel techniques for optimizing memory management and usage, including object and container representation, and garbage collection. Free Me in PLDI 2006, Dynamic Object Colocation in OOPSLA 2004.

• Static analysis for security

Precise and scalable static analysis for compile-time detection of bugs and security vulnerabilities. Client-driven Analysis in SCP 2005, my dissertation. Also: I consult for Veracode

• Library-level optimization

My dissertation focuses on providing compiler support for libraries. Broadway compiler in IEEE, Library-level optimization in LCPC 2000, and my dissertation.

• Related projects

DaCapo Project • DaCapo Benchmark Suite • UT DaCapo • Speedway • JikesRVM • Broadway Compiler • QVM (at IBM)

People

• Students

Eddie Aftandilian -- PhD student at Tufts
Nathan Ricci -- PhD student at Tufts
Adam Lewis -- MS student at Tufts
Robert Dockins -- Now a Ph.D. student at Princeton
Brandon Lucia -- Now a PhD student at U of Washington

• Collaborators

Kathryn S. McKinley (UT) • Gary Sevitsky (IBM) • Eran Yahav (IBM) • Martin Vechev • Mike Bond (UT) • Yannis Smaragdakis (UMass) • Steve Blackburn (ANU) • Emery Berger (UMass) • Calvin Lin (UT) • Daniel Jimenez (UTSA)

Service

Program committees: PLDI 2010 (external PC) • CGO 2010 • VEE 2010 • VEE 2009 • VEE 2007 • PPPJ 2006 • PACT 2005
NEPLS Spring 2007 Program chair
Web-master for ASPLOS 2004.

Personal

People

• Family

Aliza Guyer: nurse practitioner and mother extraordinaire!
Jonah Guyer (aka "Jonah-bear", "Shallot", "T-Bone")
Bernard "Pops" Guyer at Johns-Hopkins School of Public Health
Jane Guyer at Johns-Hopkins Department of Anthropology
Kate Fennell at Bearing Point, Inc.
Bill Fennell at KSI Services
William Fennel VI (not yet employed)
Nate Guyer at USDA
Amanda Guyer at UC Davis
Hannah Guyer (also unemployed)
Owen Guyer (do you even need to ask?)

• Friends

Joanna Parham (Hardin Construction) • Emery Berger (UMass) • Yannis Smaragdakis (UMass) • Brendon Cahoon (Intel) • Daniel Jimenez (UTSA) • Ram Mettu (UMass) • Mark Kriegsman (Veracode) • Brian Black (Veracode) • Brooke Mohnkern • Phoebe Weidmann (Australia) • Jeff Thomas • Nils Reker (MaK) and Melanie Butcher • Andrew Frasca (October Handmade Bikes) • George Preble (Tufts) • Kim Hazelwood (UVa) • Lisa Lowy and Marc Chiarini • Scott Kaplan • Steve Henn • Xianglong Huang

Other interests

• Woodworking

Jonah's Crib: my blog documents the process. The crib was finally finished on July 12, 2009.

Fine Woodworking magazine • Rockler • Woodworker's Supply • Target Coatings • American Turbine • Specialty Supplies • Joe Woodworker veneers

• Rock collecting

Boston Mineral Club • Mindat.org mineral database

• Swimming

FINA • US Masters Swimming

• Food

Cook's Illustrated • Yelp • Chowhound • Common Kitchen


Updated Sept 6, 2009