Welcome to the homepage of CSE 645: Seminar in Languages, Fall 2025!
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
Mailing list: https://groups.google.com/a/cs.stonybrook.edu/g/languages
Schedule
The following schedule is tentative and subject to change.
08/28 Organization and topics discussion
9/4 Paul will discuss: Paraconsistency and word puzzles. Tiantian Gao, Paul Fodor, Michael Kifer. Theory Pract. Log. Program. 16(5-6): 703-720 (2016)
https://arxiv.org/abs/1608.01338 . Slides .
9/11 Derrick will discuss CDCL. Conflict-Driven Clause Learning SAT Solvers. Joao Marques-Silva, Ines Lynce and Sharad Malik. Handbook of Satisfiability, 2009. Slides.
9/18 Russell will discuss the FEniCS project with a focus on UFL (https://fenicsproject.org/citing/) Unified Form Language: A domain-specific language for weak formulations of partial differential equations, Martin S. Alnæs, Anders Logg, Kristian B. Ølgaard, Marie E. Rognes, Garth N. Wells.
ACM Transactions on Mathematical Software (TOMS), Volume 40, Issue 2, 2014. DOLFINx: The next generation FEniCS problem solving environment, Baratta, I. A., Dean, J. P., Dokken, J. S., Habera, M., Hale, J. S., Richardson, C. N., Rognes, M. E., Scroggs, M. W., Sime, N., & Wells, G. N. (2023). https://doi.org/10.5281/zenodo.10447666. Slides.
9/25 Ethan Hong will discuss: Symbolic value-flow static analysis: deep, precise, complete modeling of Ethereum smart contracts . Yannis Smaragdakis, Neville Grech, Sifis Lagouvardos, Konstantinos Triantafyllou, and Ilias Tsatiris . Proceedings of the ACM on Programming Languages 5, no. OOPSLA (2021): 1-30. Slides.
10/2 Henry will discuss: Desyan: A Platform for Seamless Value-Flow and Symbolic Analysis , Panagiotis Diamantakis, Thanassis Avgerinos, and Yannis Smaragdakis. arXiv preprint arXiv:2508.00508 (2025). Slides.
10/9 Harsh will discuss: MALMM: Multi-Agent Large Language Models for Zero-Shot Robotic Manipulation. Harsh Singh, Rocktim Jyoti Das, Mingfei Han, Preslav Nakov, Ivan Laptev. IROS 2025. Project site: https://malmm1.github.io . Slides.
10/16 Amir will discuss: Efficient memory management for large language model serving with pagedattention . Kwon, Woosuk, Zhuohan Li, Siyuan Zhuang, Ying Sheng, Lianmin Zheng, Cody Hao Yu, Joseph Gonzalez, Hao Zhang, and Ion Stoica. In Proceedings of the 29th symposium on operating systems principles, 2023. Slides.
10/23 Eshwar will discuss: PANDA: query evaluation in submodular width . Khamis, Mahmoud Abo, Hung Q. Ngo, and Dan Suciu. TheoretiCS 4 (2025). Slides.
10/30 ZhenWei will discuss: LLM+Reasoning+Planning for supporting incomplete user queries in presence of APIs. Sudhir Agarwal, Anu Sreepathy, David H. Alonso and Prarit Lamba. ICLP 2024. Slides.
11/6 (Invited Talk) Theresa Swift, about Integrating Belief Domains into Probabilistic Logic Programming
11/13 Amritpreet will discuss: Mind the Gaps: Logical English, Prolog, and Multi-agent Systems for Autonomous Vehicles. Galileo Sartor, Adam Wyner, Giuseppe Contissa. ICLP 2025. Slides.
11/20 Saikiran will discuss: Neurosymbolic AI: the 3rd wave. Artur d’Avila Garcez, Luís C. Lamb. Artificial Intelligence Review. Volume 56 (2023).
11/27 Thanksgiving break
12/4 Ethan Lau will discuss: A Reliable Common-Sense Reasoning Socialbot Built Using LLMs and Goal-Directed ASP. Yankai Zeng, Abhiramon Rajashekharan, Kinjal Basu, Huaduo Wang, Joaquín Arias and Gopal Gupta. ICLP 2024. Slides.