2019 Spring

Welcome to the homepage of CSE 645: Seminar in Languages (Spring 2019)!

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 a wide range of applications.

For this semester, we will include the following four topics and possibly others: probabilistic programming, quantum computing, knowledge base languages, and languages for security.

In particular, we will start each topic from scratch, and discuss the best overview and survey papers that lead to the state of the art.

Everyone is welcome.  If you are enrolled in the class, you are expected to attend a majority of the meetings and present a paper. 

Hours: Thursdays, 11:30AM-12:50PM, in New Computer Science, Room 220.

Instructors: Annie Liu, CR Ramakrishnan, Michael Kifer, David Warren, and Paul Fodor (contact: paul.fodor@stonybrook.edu).

Schedule

1/31 Organizational meeting.

Bladimil Nunez will lead the discussion on Lock-free atom garbage collection for multithreaded Prolog Jan Wielemaker, Keri Harris, ICLP, 2016.

2/7 Jamshed Khan will present: Solving Probability Problems in Natural Language. Anton Dries, Angelika Kimmig, Jesse Davis, Vaishak Belle, Luc De Raedt. IJCAI 2017: 3981-3987. https://www.ijcai.org/proceedings/2017/0556.pdf

2/14 Yi will present: Distributed Constraint Optimization Problems and Applications: A Survey, Fioretto, Ferdinando; Pontelli, Enrico; Yeoh, William, Journal of Artificial Intelligence Research,2018. https://jair.org/index.php/jair/article/view/11185/26392 and Solving Distributed Constraint Optimization Problems Using Logic Programming, Tiep Le, Tran Cao Son, Enrico Pontelli, William Yeoh. ICLP,2017 https://www.cs.nmsu.edu/~wyeoh/OPTMAS2016/docs/OPTMAS_2016_paper_3.pdf

2/21 Hirak will present: DeepMath - Deep Sequence Models for Premise Selection, Alexander A. Alemi, François Chollet, Niklas Een, Geoffrey Irving, Christian Szegedy, Josef Urban,NIPS 2016. https://arxiv.org/abs/1606.04442

2/28 Rory will present: On the Relative Expressiveness of Bayesian and Neural Networks, Arthur Choi, Ruocheng Wang, Adnan Darwiche, 2018, https://arxiv.org/abs/1812.08957 and Open-World Probabilistic Databases,Ismail Ilkan Ceylan and Adnan Darwiche and Guy Van den Broeck, KR2016.  https://www.aaai.org/ocs/index.php/KR/KR16/paper/download/12908/12490

3/7 Mousumi will present: Meta-Interpretive Learning: Achievements and Challenges, Stephen H. Muggleton, RuleML+RR 2017. https://www.doc.ic.ac.uk/~shm/Papers/rulemlabs.pdf and Logical Vision: Meta-Interpretive Learning for Simple Geometrical Concepts, Wang-Zhou Dai, Stephen H. Muggleton, Zhi-Hua Zhou, Inductive Logic Programming (ILP) 2015. http://ceur-ws.org/Vol-1636/paper-01.pdf

3/14 Shen will present: Semantic code browsing, Isabel Garcia-Contreras, Jose Morales And Manuel V. Hermenegildo, ICLP 2016, https://arxiv.org/abs/1608.02565

3/21 Spring Recess

3/28 Richard will present: Plan Failure Analysis and Interactive Planning Through Natural Language Communication,Chitta Baral and Tran Cao Son,LPNMR,2015. https://pdfs.semanticscholar.org/b5de/cc878e9ea36bf7d4017f982e0059becb604c.pdf

4/4 Kien will present: Learning constraints in spreadsheets and tabular data. Samuel Kolb, Sergey Paramonov, Tias Guns, Luc De Raedt. Machine Learning 106(9-10): 1441-1468 (2017) https://link.springer.com/article/10.1007/s10994-017-5640-x

4/11 David  Paredes Merino will present: Reasoning About Entailment with Neural Attention, Tim Rocktaschel , Edward Grefenstette, Karl Moritz, Hermannil Blunsom, ICLR,2016. https://arxiv.org/pdf/1509.06664.pdf with comparison to Learning Knowledge Base Inference with Neural Theorem Provers,Tim Rocktaschel and Sebastian Riedel, NAACL Workshop on Automated Knowledge Base Construction 2016. http://www.aclweb.org/anthology/W16-1309

4/18 Saksham will present: Safety and Liveness of Distributed Consensus Algorithms.

4/25 Christopher will present: A New Algorithm To Automate Inductive Learning Of Default Theories, Farhad Shakerin, Elmer Salazar, Gopal Gupta. ICLP 2017.  https://arxiv.org/abs/1707.02693

5/2 Our distinguished external speaker Tom Rothamel: The Four Languages of Ren'Py. https://www.renpy.org/

5/9 Our distinguished faculty speaker Ari Kaufman on Graphics Languages.

More Papers:

Below are some possible papers from before, and more paper will be available.

Declarative Programming Languages topics: incremental view maintenance, tabling, implementation of logic systems, etc.

Learning:

Application papers: scheduling, planning, natural language processing, distributed computing, etc.

Miscellaneous (for when we don't have a scheduled presentation):