Programming Language Seminar

This seminar is opened to anyone who is interested in new developments in the area of programming languages. The students will present a paper from recent year proceedings of Principles of Programming Languages or Programming Language Design and Implementation, or European Symposium on Programming, or from other sources.

The topics include:

•     History of programming languages
•     High level programming languages
•     Proof carrying code and mobile code
•     Programming Environments

   Proof Carrying and Mobile Code

• "Efficient Code Certification, Efficient Code Certification" Dexter Kozen, Cornell
• "Efficient Language-Independent Mobile Programs" Adl Tabatabai, Langdale, Lucco, Wahabe (PLDI'96)
• "Safe Kernel Extensions Without Run-Time Checking", by George Necula and Peter Lee (OSDI'96)
•  "Proof-Carrying Code", by George Necula, POPL'97
• "Security Properties for Typed Applets" (Leroy and Rouaix), POPL'98
• "Manufacturing Cheap, Resilient and Stealthy Opaque Constructs",  Collberg, Thomborson, and Low, POPL'98
• "From System F to Typed Assembly Language", POPL'98

   High Level Programming Languages

•  "Paremeterized Types for Java", Myers, Bank, Liskov, POPL'97 system
•  "From Pizza into Java", Oderski and Wadler, POPL'97
• "Search and Imperative Programming", Apt and Schaerf, POPL'97
• "A language with distributed scope, Luca Cardeli, POPL'95
• "A type system for prototyping languages", Katiyar, Luckham, Mitchell, POPL'94

 Programming Environments

• "Model Checking for Programming Languages Using Verisoft", Godferoid, POPL'97
• "The Wisconsin Program Slicing Tool
•  Partial Evaluation of C Programs
• "Efficient Detection of All Pointer and Array Access Errors", Austin, PLDI'94
• "TCC: A system for high-level dynamic code generation", Poletto, Engler, Kasashoeck,  PLDI'97
• "Automatic Verification of Pointer Programs using Monadic 2nd order Logic", Jensen, Jorgensen, Schwartzbach, PLDI'97
• "LCLint: Static Detection of Dynamic Memory Errors, PLDI'96"

Schedule

1. 17/3 Ido Ariel, "The History of C"
2. 24/3 Elizabeta Shouliak & Yulia Kogan "LCLint A tool for analysing potential errors"
3. 30/3 Itay Lotan, "From Pizza to Java"
   Click here for Pizza home page
   Click here for code question
4. 7/4 Yuval Tarsi, "Typed Assembly Code"
   Click here for code question
   Click here for slides
   Zvi Nachmani, "Mobile Programs"
5. No Class
6. 28/4 Ofir Azoulay, "Safe Kernel Extensions"
   Shachar Ofek, "Proof Carrying Code"
7. 5/5 Dror Alani & Eran Bida, "Partial Evaluation"
8. 12/5 Tzvi Binderman, "Safe C"
9. 19/5 Eran Segal, "Parameterized Types for Java"
10. 26/5 Tzvika Rimalt, "Slicing C Programs"
11. 2/6
12. 9/6 Adi Shlomi, TBA