Eric Koskinen
Visiting Assistant Professor

Computer Science Department
Courant Institute of Mathematical Sciences
New York University


ejk@cims.nyu.edu
 
Biography   Research   Publications
 

Journals, Theses

Conferences

2015 The Push/Pull model of transactions [Technical Report]
E Koskinen, M Parkinson
Under submission
2014 Local Temporal Reasoning [Full version] NEW
E Koskinen, T Terauchi
LICS 2014
  Commutativity Race Detection NEW
D Dimitrov, V Raychev, M Vechev, E Koskinen
PLDI 2014
  Composable Transactional Objects: A Position Paper
M Herlihy (Invited talk), E Koskinen
ESOP 2014
2013
2011
2010
2009
2008

Workshops