Interests

Concurrency and formal verification: New language paradigms for improving correctness of concurrent programs. Axiomatic semantics of programming languages, abstract interpretation, automated theorem proving.

Publications

Recent Work

Aggressive Transactional Boosting
E. Koskinen, M. Herlihy.
Under submission. August 2008.

Conferences

• Dreadlocks: Efficient Deadlock Detection
  E. Koskinen, M. Herlihy.
  SPAA 2008
• Checkpoints and Continuations instead of Nested Transactions
  E. Koskinen, M. Herlihy.
  SPAA 2008
• Transactional Boosting: A Methodology for Highly-Concurrent Transactional Objects
  M. Herlihy, E. Koskinen.
  PPoPP 2008
  [Tech Report (with proofs)] [slides]
  
• BorderPatrol: Isolating Events for Black-box Tracing
  E. Koskinen, J. Jannotti.
  EuroSys 2008

Workshops

• Aggressive Transactional Boosting
  E. Koskinen, M. Herlihy.
  EC2 2008
• Dreadlocks: Efficient Deadlock Detection
  M. Herlihy, E. Koskinen
  TRANSACT 2008
• Checkpoints and Continuations instead of Nested Transactions
  M. Herlihy, E. Koskinen.
  TRANSACT 2008

Brief Biography

• Research intern at Microsoft Research, Redmond (Summer 2008)
• Research intern at Microsoft Research, Cambridge (Summer 2006)
• PhD student at Brown University (August 2005 -- present)
• Software Engineer at Amazon.com/ IMDb (June 2003 -- August 2005)
• B.S. in Computer Science and Physics from The College of William & Mary