IIT Database Group

2011
[3] Smile: Enabling Easy and Fast Development of Domain-Specific Scheduling Protocols Christian Tilgner, Boris Glavic, Michael H. Böhlen, Carl-Christian KanneIn Proceedings of the 28th British National Conference on Databases (BNCOD), 2011 [bibtex] [pdf]
[2] Declarative Serializable Snapshot Isolation Christian Tilgner, Boris Glavic, Michael H. Böhlen, Carl-Christian KanneIn Proceedings of the 15th International Conference on Advances in Database and Information Systems (ADBIS), 2011 [bibtex] [pdf]
2010
[1] Correctness Proof of the Declarative SS2PL Protocol Implementation Christian Tilgner, Boris Glavic, Michael H. Böhlen, Carl-Christian KanneTechnical report, University of Zurich, 2010 [bibtex] [pdf]