Laura Effinger-DeanI'm a second-year graduate student in the Department of Computer Science and Engineering at the University of Washington. Office: CSE 394
I am a member of the Washington Advanced Systems for Programming research group. Go visit our website here. I am currently working with Dan Grossman on dynamic protection states for software transactional memory. I interned in the Google Fremont office summer 2008. I recently collaborated with Dan Grossman and Matt Kehrt on Transactional Events for ML, an extension of Fluet and Donnelly's work on Transactional Events for Haskell. Our approach allows threads to modify the heap while executing a transactional event. This work appeared in ICFP '08; you can find our paper and supporting materials here. We have also submitted a paper on programming idioms for TE to PLACES '09. In 2007, I developed an Eclipse plugin called AtomEclipse. Intended for educational purposes, the plugin lets programmers add atomic blocks in Java code, using Eclipse's debug mode to suspend other threads when a thread is executing atomically. The plugin was used in a November 2007 lecture for a University of Washington course. I was advised by Dan Grossman on this project. Prior to UW, I worked on a variety of projects, including:
I graduated from Williams College in 2006. You can view my current schedule here. Assorted links: The NEW, award-winning* CSE Band, The Elizabethans (my a cappella group while at Williams), my LiveJournal (mostly friends-only), the Seattle Buffy Meetup Group, PHD Comics. *TGIF champions, Spring 2008 |