INFO
University email: yw21 | indiana | edu
Personal email: yinwang0 | gmail | com
Telephone: 864-Y1N-WANG
Office: Lindley Hall 330I
CV
|
RESEARCH INTERESTS
type theory
compilation
continuations
logic programming
abstract interpretation
|
TEACHING
- B501: Theory of Computation (spring 2012)
- B461: Database Concepts (fall 2011)
- C212/A592: Introduction to Software Systems (fall 2008,
fall 2009, spring 2010)
|
RESEARCH
- "Delimited continuations and session types" (ongoing,
with Amr Sabry)
- "Register allocation without graph coloring" (Fall 2011,
with R. Kent Dybvig)
- "Reversible Computing" (Spring 2009,
with Amr Sabry)
|
PAPER DRAFTS
- Register Allocation By Model Transformer Semantics (Dec 2011)
[PDF]
|
TALKS
- Towards Structural Version Control (Feb 10, 2012)
[PDF]
[PPT]
- The Little Register Allocator (Nov 4, 2011)
[PDF]
[PPT]
- Separation Logic, Faulty Logic and Monads (April 2010)
[PDF]
[PPT]
|
SOFTWARE
PySonar
|
ydiff
|
other
|
OTHER
blog
|
twitter
|