Syllabus
The table below gives the planned syllabus for the seminar this semester. The syllabus lists the topics and papers to be discussed.
Material describing the course is available elsewhere.
Students should study the paper to be discussed prior to the meeting so that they can participate in the discussion.
This syllabus is provisional and subject to change. If it is necessary to revise the schedule, then this page will be updated to reflect the changes.
| Date | Paper or Topic | Discussion Leader |
|---|---|---|
| Jan. 29 | Plans for the semester and [Butler-Hallerstede07] | Gary |
| Feb. 5 | [Shapiro-etal11] | John |
| Feb. 12 | [Raza-Gardner08] | Yuyan |
| Feb. 19 | [Raza-Gardner08], continued | Yuyan |
| Feb. 26 | [Mueller-Ruskiewicz09] | Jose |
| Mar. 5 | [Nieto03] | Christina |
| Mar. 12 | No class (spring break) | |
| Mar. 19 | [Dijkstra76] | John |
| Mar. 26 | ? | |
| Apr. 2 | (cancelled) | |
| Apr. 9 | (cancelled) | |
| Apr. 16 | (cancelled) | |
| Apr. 23 | [Parkinson-Bierman08] | Yuyan |
Bibliography
Note that you can use each paper's DOI link to get a copy of it, when you are on the UCF network.
- [Butler-Hallerstede07]
- Michael Butler and Stefan Hallerstede. The Rodin Formal Modelling Tool. In BCS-FACS Christmas 2007 Meeting, London, p. 2, 2007. http://www.stups.uni-duesseldorf.de/mediawiki/images/9/90/Pub-BuHa07_292.pdf
- [Dijkstra]
- Edsger W. Dijkstra. A Discipline of Programming, chapters 0 and 3. Prentice-Hall, Englwood Cliffs, NJ, 1976.
- [Mueller-Ruskiewicz09]
- Peter Müller and Joseph N. Ruskiewicz. A Modular Verification Methodology for C# Delegates. In Jean-Raymond Abrial and Uwe Glässer (eds.), Rigorous Methods for Software Construction and Analysis, Lecture Notes in Computer Science, Volume 5115, pp. 187-203, 2009. http://dx.doi.org/10.1007/978-3-642-11447-2_12
- [Nieto03]
- Leonor Prensa Nieto. The Rely-Guarantee Method in Isabelle/HOL. In P. Degano (ed.), European Symposium on Programming (ESOP), Lecture Notes in Computer Science, Volume 2618, pp. 348-362, 2003. http://dx.doi.org/10.1007/3-540-36575-3_24
- [Parkinson-Bierman08]
- Matthew J. Parkinson and Gavin M. Bierman. Separation Logic, Abstraction and Inheritance. In Proceedings of the 35th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), San Francisco, CA, USA, ACM, pp. 75-86, 2008. http://doi.acm.org/10.1145/1328438.1328451
- [Raza-Gardner08]
- Mohammad Raza and Philippa Gardner. Footprints in Local Reasoning. In Foundations of Software Science and Computational Structures, Lecture Notes in Computer Science, Volume 4962, pp. 201-215, 2008. http://link.springer.com/chapter/10.1007/978-3-540-78499-9_15
- [Shapiro-etal11]
- Marc Shapiro, Nuno Preguica, Carlos Baquero, Marek Zawirski. Conflict-free Replicated Data Types. INRIA Research Report RR-7687, 2011. https://hal.inria.fr/file/index/docid/617341/filename/RR-7687.pdf
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Last modified Tuesday, April 14, 2015.