2013 Fall
Welcome to the homepage of CSE645 (Fall 2013) 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, program analysis, security, and services.
Instructors: Michael Kifer, David Warren, Annie Liu, CR Ramakrishnan and Paul Fodor (contact: paul.fodor@stonybrook.edu).
Hours: Thursdays 1:00pm-2:20pm, in CS 1310.
Papers:
We will select papers from the following list (don't have to cover all) and possibly other interesting ones as they come up.
Semantic acyclicity on graph databases
Pablo Barceló Baeza, Miguel Romero, and Moshe Y. Vardi
In PODS 13.
http://users.dcc.uchile.cl/~mromero/papers/pods2013.pdf
Generalized scale independence through incremental precomputation
Michael Armbrust, Eric Liang, Tim Kraska, Armando Fox, Michael J. Franklin, David A. Patterson
In SIGMOD 13.
https://amplab.cs.berkeley.edu/wp-content/uploads/2013/04/PIQLSigmod2013.pdf
Rethinking Eventual Consistency
Philip A. Bernstein and Sudipto Das
In SIGMOD 13.
http://research.microsoft.com/pubs/192621/sigtt611-bernstein.pdf
HALO: haskell to logic through denotational semantics
Dimitrios Vytiniotis, Simon Peyton Jones, Koen Claessen, and Dan Rosen
In POPL 13.
http://research.microsoft.com/en-us/people/dimitris/hcc-popl.pdf
The Complexity of Evaluating Path Expressions in SPARQL.
Katja Losemann, Wim Martens.
In PODS 2012.
http://www.theoinf.uni-bayreuth.de/download/pods12submission.pdf
Cascading Map-Side Joins over HBase for Scalable Join Processing.
Alexander Schätzle, Martin Przyjaciel-Zablocki, Christopher Dorner, Thomas Hornung, Georg Lausen.
In the Joint Workshop on Scalable and High-Performance Semantic Web Systems 2012 (in conjunction with the International Semantic Web Conference ISWC 2012).
http://ceur-ws.org/Vol-943/SSWS_HPCSW2012_paper5.pdf
The Jobs Puzzle: Taking on the Challange via Controlled Natural Language Processing.
Rolf Schwitter.
In ICLP 2013.
Compact Serialization of Prolog Terms.
Paul Tarau.
In ICLP 2013.
Lloyd-Topor Completion and General Stable Models.
Vladimir Lifschitz and Fangkai Yang.
In ICLP 2013.
BigYAP: Exo-compilation meets UDI.
Vitor Santos Costa and David Vaz.
In ICLP 2013.
Nonmonotonic Causal Theories.
Enrico Giunchiglia, Joohyung Lee, Vladimir Lifschitz, Norman McCain, Hudson Turner.
In the Handbook of Knowledge Representation, 2008.
http://www.d.umn.edu/~hudson/papers/nmct.pdf
Some Alternative Formulations of the Event Calculus.
Rob Miller, Murray Shanahan.
In Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski. 2002.
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.98.476
Semantic Matchmaking of Resources with Local Closed-World Reasoning.
Stephan Grimm, Pascal Hitzler.
In the Journal International Journal of Electronic Commerce. 2008.
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.147.4883
Forgetting for Defeasible Logic.
Grigoris Antoniou, Thomas Eiter, Kewen Wang.
In LPAR. 2012.
http://www.ict.griffith.edu.au/~kewen/Papers/LPAR2012.pdf
Hypertree decompositions and tractable queries
Gottlob, Georg, Nicola Leone, and Francesco Scarcello.
In Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems. ACM, 1999.
https://www.cs.ox.ac.uk/people/georg.gottlob/userweb/ht-jcss.pdf
Schedule
9/5 Organizational meeting and Overview of ICLP 2013 ( http://www.iclp2013.org )
9/12 Prof. Liu presented distributed computing languages and algorithms.
9/19 Sudheer will present "Semantic acyclicity on graph databases".
9/26 Rishi will present "Rethinking Eventual Consistency".
10/3 Prajwal will present "Generalized scale independence through incremental precomputation".
10/10 Sagar will present "HALO: haskell to logic through denotational semantics". http://research.microsoft.com/en-us/people/dimitris/hcc-popl.pdf
10/17 Reza will present "The Jobs Puzzle: Taking on the Challenge via Controlled Natural Language Processing"
10/24 Sadh Mostafa will present "Semantic Matchmaking of Resources with Local Closed-World Reasoning" http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.147.4883
10/31Bo will present "The Complexity of Evaluating Path Expressions in SPARQL". http://www.theoinf.uni-bayreuth.de/download/pods12submission.pdf
11/7 Andrey will present "Forgetting for Defeasible Logic", http://www.ict.griffith.edu.au/~kewen/Papers/LPAR2012.pdf
11/14 Arun will present "Hypertree decompositions and tractable queries." https://www.cs.ox.ac.uk/people/georg.gottlob/userweb/ht-jcss.pdf
11/21 Xuetian will present "Automating induction with an SMT solver" http://research.microsoft.com/en-us/um/people/leino/papers/krml218.pdf
11/28 Thanksgiving break
12/5 Jon will present "On the expressive power of update primitives", PODS 2013, http://dl.acm.org/citation.cfm?id=2465218
Backup presentation: Spyros will present "Massive Graph Triangulation", SIGMOD 2013, http://www.cse.cuhk.edu.hk/~taoyf/paper/sigmod13-triangle.pdf