Research Training Group Weak Consistency (weacon)
Participants
Advisors |
Students |
Affiliated Students |
| Annette Bieniusa (Chair) | Deepthi Devaki Akkoorath | Santiago Castineira |
| Roland Meyer | Egor Derevenetc | Daniel Paqué |
| Arnd Poetzsch-Heffter | Marko Doko | Sebastian Schweizer |
| Klaus Schneider | Florian Furbach | |
| Viktor Vafeiadis | Maximilian Senftleben | |
| Peter Zeller |
Topic
The research training group Weak Consistency investigates (weak) consistency notions for systems with replicated data. A particular focus is on system construction, providing methods that aid the programmer in building large scale systems on top of weakly consistent infrastructure. Our contributions range from design of novel data types to synchronization inference algorithms and consistency-aware proof systems.The research training group is a joint effort of the projects:
Calender
Seminar
Fridays 11.00, MPI-SWS.Events
Upcoming events:- July 25th, 2014, 15:30 :
- Allen Clement
- July 11th, 2014:
- Deepthi Devaki Akkoorath: Causal consistency in geo-replicated systems
- July 4th, 2014:
- Peter Zeller: Programming models for eventual consistency
- June 27th, 2014:
- Marko Doko
- June 20th, 2014:
- Victor Vafeiadis
- June 13th, 2014:
- Egor Derevenetc: Robustness against Power is PSPACE-complete
- June 06th, 2014:
- Maximilian Senftleben: Memory model-aware testing
- May 30th, 2014:
- Kick-off meeting
Kick-off meeting
May 30, 2014. 09.00 - 12.00. MPI-SWS Room 111.Agenda
- 09.00 - 09.30:
- Opening (Annette Bieniusa)
- 09.30 - 10.10:
- Arnd Poetzsch-Heffter (Consistency-aware data types)
- 10.10 - 10.40:
- Coffee-break
- 10.40 - 11.20:
- Klaus Schneider (Consistency at the interface of hardware and software)
- 11.20 - 12.00:
- Roland Meyer (Computer-aided Verification and Construction under Relaxed Memory Models)
- 12.00 - 13.30:
- Lunch at Unique
- 13.30 - 13.40:
- Closing (Annette Bieniusa)