Asumu Takikawa

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

Research

My goal is to design programming languages that are highly expressive yet also suitable for developing large scale software by using tools such as type systems and behavioral contracts.

Teaching

CS 6515 Spring 2013

Past courses:

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

Constraining Delimited Control with Contracts [PDF]
Asumu Takikawa, T. Stephen Strickland, Sam Tobin-Hochstadt
ESOP. To appear, 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.