Asumu Takikawa

Asumu Takikawa
asumu at ccs dot neu dot edu
PhD Alum
PLT @ Programming Research Lab
College of Computer and Information Science
Northeastern University
West Village H 308

I have graduated and will be starting at Igalia in the fall.

Research

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

Teaching

Past courses:

CS 6515: Software Development (Spring 2013)
CS 2510: Introduction to Programming and Computing II (Spring 2012)
CS 5010: Program Design Paradigms (Fall 2010)
CPSC 110: Computation, Programs, and Programming (UBC Spring 2010)
CPSC 110: Computation, Programs, and Programming (UBC Fall 2009)

Papers

Is Sound Gradual Typing Dead? [PDF][Slides]
Asumu Takikawa, Daniel Feltey, Ben Greenman, Max S. New, Jan Vitek, and Matthias Felleisen
POPL. pp. 456-468, 2016

Towards Practical Gradual Typing [PDF][Slides]
Asumu Takikawa, Daniel Feltey, Earl Dean, Matthew Flatt, Robert B. Findler, Sam Tobin-Hochstadt, and Matthias Felleisen
ECOOP. pp. 4-27, 2015

Position Paper: Performance Evaluation for Gradual Typing [PDF]
Asumu Takikawa, Daniel Feltey, Ben Greenman, Max S. New, Jan Vitek, and Matthias Felleisen
STOP, 2015

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

History

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