2022 Spring

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

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.

Main topics planned for Spring 2022 will include Knowledge graphs, AI for programming, Constraints, and Quantum

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 ET on Zoom https://stonybrook.zoom.us/j/94298584108?pwd=OXRLemROdk8xOHY3NXFRV2xjQmhVUT09

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

Previous semesters: see the list to the left.

Schedule

1/27 Organizational meeting.

2/3 Video and discussions of What are Knowledge Graphs, and why do we need them? by Chaitanya Baru

2/10 Invited speaker, Theresa Swift, ``You got chocolate on my peanut butter!'' Tightly Connecting XSB Prolog and Python (video)

2/17 Haley Pace will present Knowledge Graphs: Introduction, History and Perspectives by Vinay K. Chaudhri, Chaitanya Baru, Naren Chittar, Xin Luna Dong, Michael Genesereth, RV Guha, Jim Hendler, Aditya Kalyanpur, Doug Lenat, Juan Sequeda, Denny Vrandečić, and Kuansan Wang (a general introduction) (slides by Haley)

2/24 Video and discussions of What are some inference algorithms for Knowledge Graphs? (slides) by Vinay K. Chaudhri

3/3 Video and discussions of Relational.AI Knowledge Graph Management System and Introduction to Graph Neural Networks

3/10 Matthew Castellana will discuss json-ld and schema.org tools and applications, query languages, and inference algorithms (slides by Matthew)

3/17 Spring Break

3/24 Video and discussion of invited talk and demo on OpenAI Codex by Lukasz Kaiser (paper: Evaluating Large Language Models Trained on Code 2021)

3/31 Yuheng Wang will present Competitive programming with AlphaCode (paper 2022) (slides by Yuheng)

4/7 Ethan DeTurk will present Reformulations of Constraint Satisfaction Problems: A Survey (2020) by Vo, Huu-Phuc (slides by Ethan)

4/14 Shivam Kumar will present Savile Row, a multi-pass term rewriting system, the frontend reads a model in the Essence Prime language into an AST, several backends target a range of solvers: Nightingale, Peter, et al. "Automatically improving constraint models in Savile Row." Artificial Intelligence 251 (2017): 35-61. (slides by Shivam)

4/21 Jasmine Chin will present The unconstrained binary quadratic programming problem: a survey (2014) by Kochenberger et al. (slides by Jasmine)

4/28 Manish Adkar will present Luís Moniz Pereira and Ari Saptawijaya (2016), "Bridging Two Realms of Machine Ethics" in Programming machine ethics, Springer (slides by Manish)

5/5 CR will talk about Declarative problem specifications for quantum computing. He will talk about the paper "Efficient Quantum Network Communication using Optimized Entanglement-Swapping Trees" by Mohammad Ghaderibaneh, Caitao Zhan, Himanshu Gupta, C.R. Ramakrishnan (https://arxiv.org/abs/2112.11002). In particular, it will be a "meta" talk, not directly the problem/solution in the paper, but how they ended up solving the problem. (slides)

Below are additional references, and some candidate papers to discuss:

Knowledge graphs:

Quantum: