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. 14 | Overview, background, planning | Gary |
| Jan. 21 | No meeting, MLK holiday | |
| Jan. 28 | [Bowen-Hinchey05] | Rochelle |
| Feb. 4 | Rochelle's Poster | Rochelle |
| Feb. 11 | [Walker-Watkins01] | Yuyan |
| Feb. 18 | [Denning76] | John |
| Feb. 25 | [Myers-Liskov97] | John |
| Mar. 4 | No class (Spring break) | |
| Mar. 11 | [Wei-etal10] | Cheng |
| Mar. 18 | [Ishtiaq-OHearn01] | Yuyan |
| Mar. 25 | No class (AOSD) | |
| Apr. 1 | [Cardelli87] | Yuyan and John |
| Apr. 8 | [Milner78] | John |
| Apr. 15 | [Cousot97] | 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.
- [Bowen-Hinchey05]
- Jonathan P. Bowen and Michael G. Hinchey. Ten Commandments Revisited: a ten-year perspective on the industrial application of formal methods. In Proceedings of the 10th international workshop on Formal methods for industrial critical systems, pp. 8-16, Lisbon, Portugal, 2005. http://doi.acm.org/10.1145/1081180.1081183
- [Cardelli87]
- Luca Cardelli. Basic Polymorphic Typechecking. Science of Computer Programming, 8(2):147-172, Apr., 1987. http://dx.doi.org/10.1016/0167-6423(87)90019-0
- [Cousot97]
- Patrick Cousot. Types as Abstract Interpretation. In Conference Record of POPL 97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Paris, France, Jan, 1997. http://dx.doi.org/10.1145/263699.263744
- [Denning76]
- Dorothy E. Denning. A lattice model of secure information flow. CACM (19):5,236-243, May 1976. http://dx.doi.org/10.1145/360051.360056
- [Ishtiaq-OHearn01]
- Samin S. Ishtiaq and Peter W. O'Hearn. BI as an assertion language for mutable data structures. In Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (POPL), pp. 14-26, ACM, January 2001. http://doi.acm.org/10.1145/360204.375719
- [Milner78]
- Robin Milner. A Theory of Type Polymorphism in Programming. Journal of Computer and System Sciences, 17(3):348-375, Dec., 1978. http://dx.doi.org/10.1016/0022-0000(78)90014-4
- [Myers-Liskov97]
- Andrew C. Myers and Barbara Liskov. A decentralized model for information flow control. In Proceedings of the sixteenth ACM Symposium on Operating Systems Principles (SOSP), pp. 129-142, 1997. http://dx.doi.org/10.1145/269005.266669
- [Walker-Watkins01]
- David Walker and Kevin Watkins. On regions and linear types (extended abstract). In Proceedings of the sixth ACM SIGPLAN international conference on Functional programming, pp. 181-192, Florence, Italy, 2001. http://doi.acm.org/10.1145/507635.507658
- [Wei-etal10]
- Yi Wei, Yu Pei, Carol A. Furia, Lucas S. Silva, Stefan Buchholz, Bertrand Meyer, and Andreas Zeller. Automated fixing of programs with contracts. In Proceedings of the 19th international symposium on Software testing and analysis, pp. 61-72, Trento, Italy, 2010. http://doi.acm.org/10.1145/1831708.1831716
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Last modified Monday, April 1, 2013.