Institute of

Theoretical Computer Science

Carl-Friedrich-Gauß-Fakultät

Technische Universität Braunschweig

WICHTIG: Veränderte Prüfungstermine!

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:

  1. ADVENT (EU FP7-Young Explorers)
  2. SyncFree (EU FP7-Strep)
  3. R2M2 (DFG)
  4. SDPA (Fraunhofer ITWM)

Calender

Seminar

Fridays 11.00, MPI-SWS.

Events

Upcoming events:
July 25th, 2014, 15:30 :
Allen Clement
Past events:
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)