News

Fall 07 - Spring 08 -- I'm 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

Dec 21, 2007 -- Our paper GC Assertions: Using the Garbage Collector to Check Heap Properties is accepted to MSPC 2008

May 11, 2007 -- Our paper on tracking bad values was accepted to OOPSLA 2007.

April 11, 2007 -- I am hosting the Spring meeting of NEPLS (the New England Programming Language Symposium

Feb 20, 2007 -- Rob Dockin's paper on verifying Haskell bytecodes was accepted to TFP 2007.

Research

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

• Current projects

Compiler-assisted memory management. Recently, I've been working on ways to use compilers to assist in memory management, particularly garbage collection. See [OOPSLA 04, PLDI 06]

• Students

Eddie Aftandilian -- PhD student at Tufts.
Graham Baker -- PhD student at Tufts.
Ben Rubinger -- 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

Classes

• COMP 80 -- Programming Languages -- Spring 2007

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

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

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

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

Wall Street Journal -- NY Times -- BBC -- 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

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.
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)

• 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

Research community

• Collaborators

Kathryn S. McKinley -- 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.

Publications

• MSPC 08 • GC Assertions: Using the Garbage Collector to Check Heap Properties
Edward Aftandilian and Samuel Z. Guyer
To appear. [PDF]

• OOPSLA 07 • Tracking Bad Apples: Reporting the Origin of Null and Undefined Value Errors
Michael D. Bond, Nicholas Nethercote, Stephen W. Kent, Samuel Z. Guyer, and Kathryn S. McKinley
To appear. [Link]

• TFP 2007 • Bytecode Verification for Haskell
with ROb Dockins
[PDF coming soon]

• OOPSLA 06 • The DaCapo Benchmarks: Java Benchmarking Development and Analysis
with Steve Blackburn et al.
[PDF]

• PLDI 06 • Free-Me: A Static Analysis for Automatic Individual Object Reclamation
with Kathryn S. McKinley and Daniel Frampton
[PDF] -- Also see complete results graphs for mark/sweep and GenMS collectors.

• CC 06 • Efficient Flow-Sensitive Interprocedural Data-flow Analysis in the Presence of Pointers
with Teck Bok Tok and Calvin Lin
[PDF]

• SCP 05 • Error Checking with Client-Driven Pointer Analysis
with Calvin Lin
Science of Computer Programming, Special Issue on the Static Analysis Symposium 2003
[Postscript] [PDF]

• OOPSLA 04 • Finding Your Cronies: Static Analysis for Dynamic Object Colocation
with Kathryn S. McKinley
[PDF][Slides]

• IEEE 04 • Broadway: A Compiler for Exploiting the Domain-Specific Semantics of Software Libraries
with Calvin Lin
Proceedings of the IEEE: Special Issue on Program Generation, Optimization, and Platform Adaptation
[Postscript] [PDF]

• SAS 03 • Client-Driven Pointer Analysis
with Calvin Lin
June 2003 with FCRC '03.
[Postscript] [PDF] [Slides]

• Incorporating Domain-Specific Information into the Compilation Process
Advisor: Calvin Lin
Doctoral dissertation May 2003
[Postscript] [PDF] [Slides]

• UTCS TR-02-04 • Detecting Errors with Configurable Whole-Program Dataflow Analysis
with Emery D. Berger and Calvin Lin
[PDF]

• Broadway: A Software Architecture for Scientific Computing
with Calvin Lin
The Architecture of Scientific Software. R. F. Boisvert and P. T. P. Tang Editors. Kluwer Academic Press, 2000.
[Postscript] [PDF]

• LCPC 00 • Optimizing the Use of High Performance Libraries
with Calvin Lin
August 2000.
[Postscript] [PDF] [Slides]

• DSL 99 • An Annotation Language for Optimizing Software Libraries
with Calvin Lin
October 1999.
[Postscript] [PDF]