Sotabase

Career

· Software Engineer, Google2013–
· Visiting Assistant Professor Of Computer Science, Carleton College2012–2013
· Intern, Hewlett-Packard Laboratories2010–2010
· Software Engineering Intern, Google2008–2008
· Graduate Student, University of Washington2006–2012
· Ph.D., Computer Science and Engineering, University of Washington2006–2012
· Teaching Assistant, University of Washington2006–2007
· B.A., Computer Science, Physics, Williams College2002–2006

Publications (10)

IFRit: interference-free regions for dynamic data-race detection
Conference on Object-Oriented Programming Systems, Languages, and Applications · 2012
109
cited
Extended sequential reasoning for data-race-free programs
Workshop on Memory System Performance and Correctness · 2011
24
cited
Transactional events for ML
ACM SIGPLAN International Conference on Functional Programming · 2008
22
cited
Modular Metatheory for Memory Consistency Models
2010
4
cited
Programming Idioms for Transactional Events
Places · 2010
3
cited
Garbage Collection for Trailer Arrays
2006
2
cited
Resource-Aware Parallel Adaptive Computation for Clusters
International Conference on Conceptual Structures · 2005
2
cited
Extending Garbage Collection to Complex Data Structures
2006
1
cited
Interference-Free Regions and Their Application to Compiler Optimization and Data-Race Detection
2012
1
cited
The impact of memory models on software reliability in multiprocessors
ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing · 2011
Sotabase
Laura Effinger-Dean | Researcher Profile | Sotabase | Sotabase