2024 Spring

Welcome to the homepage of CSE 645: Seminar in Languages, Spring 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: Wednesdays, 11:30AM-12:50PM ET on Zoom

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

Schedule

01/24  Organization and topics discussion

01/31  Prof. Michael Kifer Elements of Knowledge Representation with Rules (part 1)

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

02/07  Prof. Michael Kifer Elements of Knowledge Representation with Rules (part 2)

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

02/14  John Idogun:  Topic: type inference, for adding automatic type inference for Python and for dynamically typed languages in general.

Henglein, Fritz, and Jakob Rehof. "Safe polymorphic type inference for a dynamically typed language: translating Scheme to ML." In Proceedings of the seventh international conference on Functional programming languages and computer architecture, pp. 192-203. 1995. (slides by John)

02/21  Muhammad Muzammil: Topic: program specialization for optimization and improving security.

Sharif, Hashim, et al. "TRIMMER: application specialization for code debloating." Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering. 2018. (slides by Muhammad)

Note: two later papers on Trimmer at https://scholar.google.com/citations?user=UMslRkEAAAAJ in 2021 and 2022.

02/28  Dino Garofolo:   Topic: large language models, for improving a search program.

Romera-Paredes, Bernardino, Mohammadamin Barekatain, Alexander Novikov, Matej Balog, M. Pawan Kumar, Emilien Dupont, Francisco JR Ruiz et al.  "Mathematical discoveries from program search with large language models." Nature (2023): 1-3. https://deepmind.google/discover/blog/funsearch-making-new-discoveries-in-mathematical-sciences-using-large-language-models/ (slides by Dino)

03/06  Dileep Pemmana:  Topic: constraint solving using answer-set programming.

Banbara, Mutsunori, Katsumi Inoue, Benjamin Kaufmann, Tenda Okimoto, Torsten Schaub, Takehide Soh, Naoyuki Tamura, and Philipp Wanko. "teaspoon: solving the curriculum-based course timetabling problems with answer set programming." Annals of Operations Research 275 (2019): 3-37. (slides by Dileep)

03/13  Happy Spring Break! 

03/20  To be rescheduled to Fall: Prof. Nengkun Yu: Topic: analysis of quantum programs

Due to conflict with Provost 's Spotlight Talk  Barry Barish (Wang Center Theater, Lecture from 11:30 AM-12:30 PM with a reception to follow)

03/27  Video and discussion of Karp distinguished lecture by Floris Geerts: Topic:  connecting graph neural networks (GNNs) with database theory.

The power of graph learning at the Simons institute at Berkeley.

04/03  Pooja Anbuselvan: Topic: expressive power of GNNs.

Morris, Christopher, Martin Ritzert, Matthias Fey, William L. Hamilton, Jan Eric Lenssen, Gaurav Rattan, and Martin Grohe. "Weisfeiler and leman go neural: Higher-order graph neural networks." In Proceedings of the AAAI conference on artificial intelligence, vol. 33, no. 01, pp. 4602-4609. 2019. (slides by Pooja)

04/10   Saksham Pattem:  Topic: general survey of GNNs in machine learning.

Morris, Christopher, Yaron Lipman, Haggai Maron, Bastian Rieck, Nils M. Kriege, Martin Grohe, Matthias Fey, and Karsten Borgwardt. "Weisfeiler and leman go machine learning: The story so far." arXiv preprint arXiv:2112.09992 (2021). 

04/17   Hritam Basak: Topic: algorithms for GNNs and finite variable counting logic.

Grohe, Martin. "The logic of graph neural networks." In 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), pp. 1-17. IEEE, 2021. (slides by Hritam)

04/24   Anthony Ripa: Topic: uncertainty reasoning 

(In/Ex)tensional Uncertainty, in Pearl, Judea. “Probabilistic reasoning in intelligent systems: networks of plausible inference”. Morgan Kaufmann, 2014. (slides by Anthony)

05/01  Swarad Gat: Topic: database queries 

Brucato, Matteo, Juan Felipe Beltran, Azza Abouzied, and Alexandra Meliou. "Scalable Package Queries in Relational Database Systems." Proceedings of the VLDB Endowment 9, no. 7 (2016).

arXiv version https://arxiv.org/pdf/1512.03564.pdf

with some new developments in

Brucato, M, A Abouzied, and A Meliou. "Package queries: efficient and scalable computation of high-order constraints." The VLDB Journal 27 (2018): 693-718.

Mai, Anh, M Brucateo, A Abouzied, Peter J. Haas, and A Meliou. "Scaling Package Queries to a Billion Tuples via Hierarchical Partitioning and Customized Optimization." arXiv:2307.02860 (2023).