Research

I work in a variety of different areas of programming language research, including compilers, optimizations, program analysis, and run-time systems. Full list of publications

• 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 record and report useful program information. Papers -- GC Assertions in PLDI 2009, Origin Tracking in OOPSLA 2007.

• Compiler-assisted memory management. This project explores ways for compilers to work cooperatively with memory managers and garbage collectors to improve performance. Papers -- Free Me in PLDI 2006, Dynamic Object Colocation in OOPSLA 2004.

• Static analysis for security

Papers -- Client-driven Analysis in SCP 2005, my dissertation

• Library-level optimization

Papers -- Broadway compiler in IEEE, Library-level optimization in LCPC 2000., and my dissertation

• Students

Eddie Aftandilian -- PhD student at Tufts.
Graham Baker -- PhD student at Tufts.
Nathan Ricci -- PhD 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 -- Mike Bond -- Yannis Smaragdakis -- Steve Blackburn -- Emery Berger -- Calvin Lin -- Daniel Jimenez

• Related projects

DaCapo Project -- DaCapo Benchmark Suite -- UT DaCapo -- Speedway -- JikesRVM -- Broadway Compiler -- PLAPACK

• Service

NEPLS Spring 2007 Program chair
Program committees: VEE 2007 -- PPPJ 2006 -- PACT 2005
Web-master for ASPLOS 2004.

Personal

• Friends

Xianglong "Long" Huang at Adverplex
Emery Berger at UMass Amherst
Brendon Cahoon at Intel
Daniel Jimenez at Rutgers
Ram Mettu at UMass Amherst
Nora Shine at Wakefield public schools
Andrea Guyer at BMC Software
Joanna Parham (The Honorable Senator from Georgia) at Hardin Construction
Yannis Smaragdakis at U of Oregon
Phoebe Weidmann: Mistress of "Lambda"
Jeff Thomas at Momentum Software
Nils Reker at Mak Technologies
Melanie Butcher at PeopleCube

• Family

Aliza "S.P." Guyer: nurse practitioner at Harvard University Health Services.
Jonah (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 (formerly Guyer) at Bearing Point, Inc.
Bill Fennell at KSI Services
Nate Guyer at National Gallery of Art
Amanda Guyer at National Institutes of Health
Hannah Guyer (not yet employed)
William Fennel VI (also unemployed)
Owen Guyer

• Rock collecting

Boston Mineral Club
mindat.org mineral database

• Woodworking

Fine Woodworking magazine
Rockler -- Woodworker's Supply -- Target Coatings -- American Turbine -- Specialty Supplies -- MLCS router bits -- Penn State Industries
Joe Woodworker veneers

News

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

Fall 08 -- I am serving on the program committee for VEE 2009

Fall 08 -- I am building a crib for Jonah. See my progress here.

Fall 07 - Spring 08 -- I was on leave at Veracode working on static analysis tools for security.

April 6-9, 2008 -- I am serving as local arrangements chair for CGO 2008

Classes

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

• COMP 80 -- Programming Languages -- Spring 2009

• COMP 150-IPL -- Implementation of Modern Programming Languages (Spring 2007)

• COMP 150-07 -- Compilation for Modern Programming Languages (Spring 2006)

Useful Links

• Tufts University

Calendar -- Events -- Athletics

• Search and reference

Google -- GMail -- Google Maps
Yellow Pages
Websters -- OED -- Wikipedia -- IMDB
WebMD -- Mayo Clinic -- Centers for Disease Control

• News

NY Times -- BBC -- Wall Street Journal -- CNN
Science Daily -- Science News
Salon -- The Onion -- Comedy Central

• Computer science

ACM Digital Library -- DBLP bibliography
NSF CCF
Who's who in compilers and architecture
CS references from SUNY Albany
US CERT: computer security

• Boston

CitySearch -- Craig's List
Weather
WCVB -- WHDH -- WBZ4 -- WGBH
City of Boston

• Technology

Engadget -- Slashdot -- CNet -- PC Magazine
SourceForge
CERT -- Security Focus -- snopes.com
How Stuff Works -- Mathworld

• Shopping

Amazon -- EBay
Consumer Reports -- PriceScan
Orbitz -- Travelocity -- Seat Guru -- Expedia -- AirTran
Mortgage calculators