Vincent St-Amour

Email: stamourv at ccs dot neu dot edu Office: WVH308 I am currently a Ph.D. student in the programming languages group. I am working on Racket and Typed Racket, under the direction of Matthias Felleisen. I used to work at the LTP (Laboratory of Parallel Processing) under the direction of Marc Feeley. Resume.

By popular demand, Racket stickers are available here.

See them in action!

1 Research [Scribble bibliography]

• Optimization Coaching

  • To be presented at OOPSLA 2012.

• Seeing the Futures: Profiling Shared-Memory Parallel Racket

  • To be presented at FHPC 2012.

• Typing the Numeric Tower

  • Presented at PADL 2012. Slides available here.

• Languages as Libraries

  • Presented at PLDI 2011.

• Where are you going with those types?

  • Presented at IFL 2010. Slides available here.

  • The type-driven optimizer described is part of Typed Racket.

• PICOBIT: A Compact Scheme System for Microcontrollers

  • Presented at IFL 2009. Slides available here.

  • The PICOBIT system is available here.

  • The SIXPIC C compiler is avaiable here.

• S3 (Small Scheme Stack): A Scheme TCP/IP Stack Targeting Small Embedded Applications.

  • Presented at the 2008 Workshop on Scheme and Functional Programming. Slides available here.

  • Code available here.

2 Teaching

I’m not teaching at the moment.

In the past, I’ve taught How to Design Programs with Jesse Tov and Olin Shivers. I’ve also taught Object-Oriented Design with Will Clinger.

3 Lab

• If you’re in the Boston area, and are interested in programming languages, check out the PL Jr. seminars.

4 Code

• Most of my code is either on Github or in the Racket codebase.

• expand-diff: a script that shows the sexp-diff between the expansion of two files.

• etags.scm: a script that generates emacs TAGS files from Scheme code, and supports nested definitions.