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 Parrallel Processing) under the direction of Marc Feeley.

• Resume.

By popular demand, Racket stickers are available here.

See them in action!

1 Research [ Scribble bibliography]

• 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

4.1 Racket

• PICOBIT: A Scheme system for PIC18 microcontrollers.

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

• More on Github.

4.2 Scheme

• SIXPIC: A C compiler for PIC18 microcontrollers specialized for virtual machines.

• S3 (Small Scheme Stack).

• A version of Dominique Boucher’s Lalr-scm without any dependency to Snow.

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