2024 Fall

Welcome to the homepage of CSE 645: Seminar in Languages, Fall 2024!

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 of programming languages, with a wide range of applications.

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

Instructors: Annie Liu, CR Ramakrishnan, Michael Kifer, David Warren, Paul Fodor.

Hours: Thursdays, 11AM-12:20PM ET on Zoom

https://stonybrook.zoom.us/j/94298584108?pwd=OXRLemROdk8xOHY3NXFRV2xjQmhVUT09

Schedule

08/29  Organization and topics discussion

09/05  Annie: Michael Kifer. Elements of Knowledge Representation with Rules (part 1)

Basics: rules, recursion, and negation (closed-world assumption, stratified, non-stratified)

09/12  Annie: Michael Kifer. Elements of Knowledge Representation with Rules (part 2)

Advanced: defeasible reasoning, higher-order, object-based, dynamic/updates, paraconsistency, uncertainty, probability

09/19  David: Two papers accepted in ICLP 2024: 

David Warren. A Prolog Program for Bottom-up Evaluation: Slides 

David Warren. The Semantics of Metaprogramming in Prolog: An introduction to Prolog semantics, Metaprogramming slides  

09/26  David will continue

10/03  Russell: Taichi language, https://dl.acm.org/doi/10.1145/3355089.3356506 , Slides 

10/10  Jagadeesh: Borazjanizadeh, Nasim, and Steven T. Piantadosi. "Reliable Reasoning Beyond Natural Language." arXiv preprint arXiv:2407.11373 (2024). 

10/17  A good talk from ICLP, but skipped

10/24  Harshvardhan: Lost in Translation: A Study of Bugs Introduced by Large Language Models while Translating Code , ICSE '24: Proceedings of the IEEE/ACM 46th International Conference on Software Engineering, Article No.: 82, Pages 1 - 13.

10/31 KaLok: Syntax-guided synthesis of Datalog programs | Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering 

11/7  Sagar: Eric Zelikman, Qian Huang, Gabriel Poesia, Noah D. Goodman, Nick Haber: Parsel : Algorithmic Reasoning with Language Models by Composing Decompositions, NeurIPS 2023.

11/14  Video and discussions: Henry Kautz's invited talk at LPOP 2024

Neuro-symbolic AI, or Are We Already There? His slides and a position paper (first paper, pages 13-28)

11/21  Invited Talk: Theresa Swift: Multi-paradigm Logic Programming in the ErgoAI System (LPNMR2024, with Michael Kifer)

11/26 Thanksgiving

12/5  Invited Talk: Benjamin Grosof: Directions for logic programs KRR: tractability, expressiveness, and integration with machine learning.