Eric Koskinen

Interests

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

Recent Work

Aggressive Transactional Boosting

EC2

Conferences

E. Koskinen, M. Herlihy. Dreadlocks: Efficient Deadlock Detection. In SPAA'08. June 2008.
E. Koskinen, M. Herlihy. Checkpoints and Continuations instead of Nested Transactions. In SPAA '08. June 2008.
M. Herlihy, E. Koskinen. Transactional Boosting: A Methodology for Highly-Concurrent Transactional Objects. In PPoPP'08. February 2008.
Proofs are in the accompanying Technical Report CS-07-08
Here are the PPoPP talk slides.
E. Koskinen, J. Jannotti. BorderPatrol: Isolating Events for Black-box Tracing. In EuroSys'08. March 2008.

Workshops

M. Herlihy, E. Koskinen. Dreadlocks: Efficient Deadlock Detection. In TRANSACT 08. February 2008.
M. Herlihy, E. Koskinen. Checkpoints and Continuations instead of Nested Transactions. In TRANSACT '08. February 2008.

Contact

ejk_at_cs

Box 1910, Computer Science Department
Brown University
Providence, RI 02912
401-863-6191 (voice)
401-863-7657 (fax)

Eric Koskinen

Interests

Recent Work

Conferences

Workshops

Brief Biography

Reviewing

Contributions to Grant Awards

Contact