Asumu Takikawa

Asumu Takikawa
PhD Student
PLT @ Programming Research Lab
College of Computer and Information Science
Northeastern University
West Village H 308


I am interested in pragmatic programming language design. My current research focuses on enabling programmers to evolve real code bases using tools such as type systems and software contracts.

I also work on the Racket programming language


CS 6515 Spring 2013

Past courses:


Contracts for First-Class Classes: Theory and Practice [PDF]
T. Stephen Strickland, Christos Dimoulas, Asumu Takikawa, and Matthias Felleisen
TOPLAS. Volume 35 Issue 3, 2013

Constraining Delimited Control with Contracts [PDF]
Asumu Takikawa, T. Stephen Strickland, Sam Tobin-Hochstadt
ESOP. pp. 229-248, 2013

Gradual Typing for First-Class Classes [PDF][Technical Report]
Asumu Takikawa, T. Stephen Strickland, Christos Dimoulas, Sam Tobin-Hochstadt, and Matthias Felleisen
OOPSLA. pp. 793-810, 2012


I received my BSc in Computer Science and Math from the University of British Columbia in 2010. Before attending university, I lived in Oregon.