Laura Effinger-Dean

According to our database, Laura Effinger-Dean authored at least 7 papers between 2005 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

Interference-Free Regions and Their Application to Compiler Optimization and Data-Race Detection.

Laura Effinger-Dean

PhD thesis, 2012

IFRit: interference-free regions for dynamic data-race detection.

Laura Effinger-Dean, Brandon Lucia, Luis Ceze, Dan Grossman, Hans-Juergen Boehm

Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012

2011

The impact of memory models on software reliability in multiprocessors.

Alexander Jaffe, Thomas Moscibroda, Laura Effinger-Dean, Luis Ceze, Karin Strauss

Proceedings of the 30th Annual ACM Symposium on Principles of Distributed Computing, 2011

Extended sequential reasoning for data-race-free programs.

Laura Effinger-Dean, Hans-Juergen Boehm, Dhruva R. Chakrabarti, Pramod G. Joisha

Proceedings of the 2011 ACM SIGPLAN workshop on Memory Systems Performance and Correctness: held in conjunction with PLDI '11, 2011

2009

Programming Idioms for Transactional Events

Matthew Kehrt, Laura Effinger-Dean, Michael Schmitz, Dan Grossman

Proceedings of the Proceedings Second International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2009

2008

Transactional events for ML.

Laura Effinger-Dean, Matthew Kehrt, Dan Grossman

Proceedings of the Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, 2008

2005

Resource-Aware Parallel Adaptive Computation for Clusters.

James D. Teresco, Laura Effinger-Dean, Arjun Sharma

Proceedings of the Computational Science, 2005