CSE 645 (Fall 2009)
Seminar in Languages

General Information

Course description: We will read papers and discuss research ranging from high-level specifications (such as logic, rules, and sets) to algorithms and methods for efficient implementations, with applications in semantic web, security, and services.

Instructors: Michael Kifer and Annie Liu

Hours: Thursday 1-2:30PM, in CS 2313A.
Note: there is no meeting the week of 9/14, and the meeting for the week of 9/21 is Tuesday 2pm (that week only), same room.

Topics

We will select papers from these topics (don't have to cover all) and possibly other interesting ones as they come up.

Logic rule languages and implementations

  1. Computable Functions in ASP: Theory and Implementation. Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone. ICLP 2008: 407-424.
    http://www.springerlink.com/content/g8726p7315022320/fulltext.pdf
  2. Online Justification for Tabled Logic Programs. Pemmasani et al.
    http://www.springerlink.com/content/ba3fkyh7u0brp5du/fulltext.pdf
  3. Efficient Description Logic Reasoning in Prolog: The DLog system. Gergely Lukacsy and Peter Szeredi.
    http://arxiv.org/pdf/0904.0578v2
  4. Proving Termination for Logic Programs by the Query-Mapping Pairs Approach. Naomi Lindenstrauss, Yehoshua Sagiv, and Alexander Serebrenik. LNCS 3049.
    http://www.cs.huji.ac.il/~naomil/program_development.pdf
  5. A Logic-Based Production System Framework. R. Kowalski
    http://www.doc.ic.ac.uk/~rak/papers/LPS.pdf
Program complexity analysis
  1. SPEED: Precise and Efficient Static Estimation of Program Computational Complexity. Sumit Gulwani, Krishna K. Mehra, and Trishul Chilimbi. POPL 2009: 36th Annual Acm Symposium on Principles of Programming Languages.
    http://doi.acm.org/10.1145/1480881.1480898
Logical algorithms
  1. Linear Logical Algorithms. R.J. Simmons and F. Pfenning. LNCS 5126, 2008.
    http://www.cs.cmu.edu/~rjsimmon/papers/CMU-LALG-2008-REV2.pdf
Query optimization
  1. Query Simplification: Graceful Degradation for Join-Order Optimization. Thomas Neumann. SIGMOD 2009: 35th SIGMOD International Conference on Management of Data.
    http://doi.acm.org/10.1145/1559845.1559889
  2. Scalable Join Processing on Very Large RDF Graphs. Thomas Neumann and Gerhard Weikum. SIGMOD 2009.
    http://doi.acm.org/10.1145/1559845.1559911>
Security and services
  1. Towards a Declarative Language and System for Secure Networking. M. Abadi and B.T. Loo. 3rd USENIX Intl Workshop on Networking Meets Databases, 2007.
    http://www.cs.ucsc.edu/~abadi/Papers/secnetlogic.pdf
  2. Cross-Tier, Label-Based Security Enforcement for Web Applications. Brian J. Corcoran, Nikhil Swamy, and Michael Hicks. SIGMOD 2009.
    http://doi.acm.org/10.1145/1559845.1559875
  3. Access Control in the Aqualogic Data Services Platform. Vinayak Borkar and 7 others. SIGMOD 2009.
    http://doi.acm.org/10.1145/1559845.1559951
  4. A Comparison of Flexible Schemas for Software as a Service. Stefan Aulbach, Dean Jacobs, Alfons Kemper, and Michael Seibold. SIGMOD 2009.
    http://doi.acm.org/10.1145/1559845.1559941
  5. The Design of the force.com Multitenant Internet Application Development Platform. Craig D. Weissman and Steve Bobrowski. SIGMOD 2009.
    http://doi.acm.org/10.1145/1559845.1559942
Business rules
  1. SBVR (Semantics of Business Vocabulary and Business Rules): A Fact-Oriented OMG Standard. Peter Bollen. LNCS 5333, On the Move to Meaningful Internet Systems: OTM 2008 Workshops.
    http://www.springerlink.com/content/15533t3521881152/

Schedule

9/22 paper selection

10/6 Michael Kifer:

  Introduction to Datalog and negation semantics.
  (note: this is in place of 10/1, because of the CEWIT conference on 10/1)

10/8 Senlin Liang:

  Scalable Join Processing on Very Large RDF Graphs.
  (query optimization 2)

10/15 Jon Brandvein:

  Query Simplification: Graceful Degradation for Join-Order Optimization.
  (query optimization 1)

10/22 Paul Fodor:

  Proving Termination for Logic Programs by the Query-Mapping Pairs Approach.
  (logic rule languages and implementations 4)

11/3 Andrey Gorlin:
 
  A Logic-Based Production System Framework.
  (logic rule languages and implementations 5)
  (note: this is in place of 10/29, when several people will be at a conference)

11/5 Tuncay Tekle:

  Linear Logical Algorithms.
  (logical algorithms 1)

11/12 Hui Wan:

  Online Justification for Tabled Logic Programs.
  (logic rule languages and implementations 2)

11/17 Spyros Hadjichristodoulou:

  Towards a Declarative Language and System for Secure Networking.
  (security and services 1)

11/19 Zhongyuan Xu:

  SPEED: Precise and Efficient Static Estimation of Program Computational Complexity.
  (program complexity analysis 1)

12/3 Bo Lin:

  Computable Functions in ASP: Theory and Implementation.
  (logic rule languages and implementations 1)

12/10 no meeting

  Aseem Rastogi will talk next year. :-)
Michael Kifer and Annie Liu