Elaine L. Sonderegger

According to our database, Elaine L. Sonderegger authored at least 8 papers between 2004 and 2011.

Collaborative distances:

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

2011

Optimal deployment of eventually-serializable data services.

Laurent D. Michel, Alexander A. Shvartsman, Elaine L. Sonderegger, Pascal Van Hentenryck

Ann. Oper. Res., 2011

2010

Load Balancing and Almost Symmetries for RAMBO Quorum Hosting.

Laurent Michel, Alexander A. Shvartsman, Elaine L. Sonderegger, Pascal Van Hentenryck

Proceedings of the Principles and Practice of Constraint Programming - CP 2010, 2010

2009

Optimizing Network Deployment of Formally-Specified Distributed Systems.

Carleton Coffrin, Laurent D. Michel, Alexander A. Shvartsman, Elaine L. Sonderegger, Pascal Van Hentenryck

Proceedings of the 18th International Conference on Software Engineering and Data Engineering (SEDE-2009), 2009

Bandwidth-Limited Optimal Deployment of Eventually-Serializable Data Services.

Laurent D. Michel, Pascal Van Hentenryck, Elaine L. Sonderegger, Alexander A. Shvartsman, Martijn Moraal

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2009

Online Selection of Quorum Systems for RAMBO Reconfiguration.

Laurent Michel, Martijn Moraal, Alexander A. Shvartsman, Elaine L. Sonderegger, Pascal Van Hentenryck

Proceedings of the Principles and Practice of Constraint Programming, 2009

2008

An Abstract Channel Specification and an Algorithm Implementing It Using Java Sockets.

Chryssis Georgiou, Peter M. Musial, Alexander A. Shvartsman, Elaine L. Sonderegger

Proceedings of The Seventh IEEE International Symposium on Networking Computing and Applications, 2008

2007

A formal treatment of an abstract channel implementation using java sockets and TCP.

Chryssis Georgiou, Peter M. Musial, Alexander A. Shvartsman, Elaine L. Sonderegger

Proceedings of the Twenty-Sixth Annual ACM Symposium on Principles of Distributed Computing, 2007

2004

Turing machines, transition systems, and interaction.

Dina Q. Goldin, Scott A. Smolka, Paul C. Attie, Elaine L. Sonderegger

Inf. Comput., 2004