2025 Spring
Welcome to the homepage of CSE 645: Seminar in Languages, Spring 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, 2-3:20PM ET on Zoom
https://stonybrook.zoom.us/j/94298584108?pwd=OXRLemROdk8xOHY3NXFRV2xjQmhVUT09
Schedule
01/29 Organization and topics discussion
02/06 Nengkun Yu will present: Quantum Program Verification and Testing
02/13 David Warren will present: Crossing the River with ASP and STRIPS. and Slides.
02/20 Nitin will be leading a discussion about: Can LLMs Reason with Rules? Logic Scaffolding for Stress-Testing and Improving LLMs. Siyuan Wang, Zhongyu Wei, Yejin Choi, Xiang Ren. ACL (1) 2024. Slides.
Rohan will be leading a discussion about: Symbolic Working Memory Enhances Language Models for Complex Rule Application. Siyuan Wang, Zhongyu Wei, Yejin Choi, Xiang Ren.EMNLP 2024. Slides.
02/27 Tanoy will be leading a discussion about: nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models. Matthias Cosler, Christopher Hahn, Daniel Mendoza, Frederik Schmitt, and Caroline Trippel. CAV (2) 2023. Slides.
3/6 Siva will be leading a discussion about: Starlark. Overview: here. Github: here. (Slides by Siva, script by Siva)
3/13 Jamalia will be leading a discussion about: Automated Interactive Domain-Specific Conversational Agents that Understand Human Dialogs. Yankai Zeng, Abhiramon Rajasekharan, Parth Padalkar, Kinjal Basu, Joaquín Arias, Gopal Gupta. PADL 2024.
3/20 Spring break
3/27 Abhinav will be leading a discussion about: Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning. Liangming Pan, Alon Albalak, Xinyi Wang, William Wang. EMNLP 2023
4/3 KaLok will be leading a discussion about: FaCT: a DSL for timing-sensitive computation. Sunjay Cauligi, Gary Soeller, Brian Johannesmeyer, Fraser Brown, Riad S. Wahby, John Renner, Benjamin Grégoire, Gilles Barthe, Ranjit Jhala, Deian Stefan. PLDI 2019.
4/10 Russell will be leading a discussion about: Advanced Automatic Code Generation for Multiple Relaxation-Time Lattice Boltzmann Methods. Frederik Hennig, Markus Holzer and Ulrich Rüde. SIAM Journal of Scientific Computing, 2023.
4/17 Apeksha will be leading a discussion about: Runtime checking of Lumiere consensus protocol. Lumiere: Making Optimal BFT for Partial Synchrony Practical. Andrew Lewis-Pye, Dahlia Malkhi, Oded Naor, Kartik Nayak. 43rd ACM Symposium on Principles of Distributed Computing, PODC, 2023.
4/24 Divesh will be leading a discussion about: Smart redbelly blockchain: Reducing congestion for web3. Deepal Tennakoon, Yiding Hua, and Vincent Gramoli. IEEE International Parallel and Distributed Processing Symposium (IPDPS), 2023.
5/1 Deepshika will be leading a discussion about: Diablo: A benchmark suite for blockchains. Vincent Gramoli, Rachid Guerraoui, Andrei Lebedev, Chris Natoli and Gauthier Voron. European Conference on Computer Systems, 2023.
5/8 Sajen will be leading a discussion about: NL2FOL: Translating Natural Language to First-Order Logic for Logical Fallacy Detection. Abhinav Lalwani, Lovish Chopra, Christopher Hahn, Caroline Trippel, Zhijing Jin, Mrinmaya Sachan. ACL ARR 2024.
Paul will present: Paraconsistency and word puzzles. Tiantian Gao, Paul Fodor and Michael Kifer. ICLP, TPLP 2016. Slides.