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
Aug. 19 Overview, background, planning Gary
Aug. 26 [Nelson-Oppen79] Sumit
Sep. 2 No Meeting, Labor Day Holiday  
Sep. 9 [Hobor-Villard13] Yuyan
Sep. 16 [Aldrich13] John
Sep. 23 [Dinsdale-Young-etal13] Yuyan
Sep. 30 pages 1-22 of [Carbone-Honda-Yoshida12] John
Oct. 7 rest of [Carbone-Honda-Yoshida12] John  
Oct. 14 [Hritcu-etal13] Toby
Oct. 21 [Askarov-Sabelfeld09]
Oct. 28 No class (SPLASH)  
Nov. 4 Draft by Bao and Leavens Yuyan and Gary
Nov. 11 [Turon-etal13] Yuyan
Nov. 18 [Vafeiadis-Narayan13]  
Nov. 25 [Cook90] John and Gary in room 356
Dec. 2 [Bessey-etal10] Toby

Bibliography

Note that you can use each paper's DOI link to get a copy of it, when you are on the UCF network.

[Askarov-Sabelfeld09]
Aslan Askarov and Andrei Sabelfeld. Catch me if you can: permissive yet secure error handling. In PLAS '09 Proceedings of the ACM SIGPLAN Fourth Workshop on Programming Languages and Analysis for Security, 2009. http://dx.doi.org/10.1145/1554339.1554346
[Aldrich13]
Jonathan Aldrich. The Power of Interoperability: Why Objects are Inevitable. To appear in Onward! 2013, Indianapolis, 2013. Preprint at http://www.cs.cmu.edu/~aldrich/papers/objects-essay.pdf
[Bessey-etal10]
Al Bessey, Ken Block, Ben Chelf, Andy Chou, Bryan Fulton, Seth Hallem, Charles Henri-Gros, Asya Kamsky, Scott Mcpeak, and Dawson Engler. A Few Billion Lines of Code Later: Using Static Analysis to Find Bugs in the Real World. Communications of the ACM 53(2):66-75, February 2010. http://dx.doi.org/10.1145/1646353.1646374
[Carbone-Honda-Yoshida12]
Marco Carbone, Kohei Honda, and Nobuko Yoshida. Structured Communication-Centered Programming for Web Services. ACM TOPLAS 34(2):8, June 2012. http://dx.doi.org/10.1145/2220365.2220367
[Cook90]
William R. Cook. Object-oriented Programming vs. Abstract Data Types. In Proc. of the REX Workshop/School on the Foundations of Object-Oriented Languages (FOOL), LNCS 489, Springer-Verlag, 1990, pp. 151-178. [Preprint PDF]
[Dinsdale-Young-etal13]
Thomas Dinsdale-Young, Lars Birkedal, Philippa Gardner, Matthew Parkinson, Hongseok Yong. Views: Compositional Reasoning for Concurrent Programs. In POPL'13 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp. 287-300, Rome, Italy, 2013. http://dx.doi.org/10.1145/2429069.2429104
[Hritcu-etal13]
Catalin Hritcu, Michael Greenberg, Ben Karel, Benjamin C. Pierce, and Greg Morrisett. All Your IFCException Are Belong To Us. In 2013 IEE Symposium on Security and Privacy, pp. 3-17, San Francisco, May 2013. http://dx.doi.org/10.1109/SP.2013.10
[Hobor-Villard13]
Aquinas Hobor and Jules Villard. The Ramifications of Sharing in Data Structures. In POPL'13 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp. 523-536, Rome, Italy, 2013. http://dx.doi.org/10.1145/2429069.2429131
[Nelson-Oppen79]
Greg Nelson and Derek C. Oppen. Simplification by Cooperating Decision Procedures. In ACM Transactions on Programming Languages and Systems 1(2):245-257, October 1979. http://dx.doi.org/10.1145/357073.357079
[Turon-etal13]
Aaron J. Turon, Jacob Thamsborg, Amal Ahmed, Lars Birkedal, and Derek Dreyer. Logical relations for fine-grained concurrency In Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (POPL '13), pp. 343-356, January 2013. http://dx.doi.org/10.1145/2429069.2429111
[Vafeiadis-Narayan13]
Viktor Vafeiadis and Chinmay Narayan. Relaxed separation logic: a program logic for C11 concurrency. In Proceedings of the 2013 ACM SIGPLAN international conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2013), pp. 867--884, October 2013. http://dx.doi.org/10.1145/2509136.2509532

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

Last modified Wednesday, November 27, 2013.