2023 Spring

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

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 2023 will include Rule and query languages, Efficient inference and learning, and Probabilistic programming

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 menu to the left.

Schedule

1/26 Organizational meeting

2/2 Annie Liu. From meta frameworks and transformations to distributed computing and more.

Based on https://popl22.sigplan.org/details/pepm-2022-papers/9/From-meta-frameworks-and-transformations-to-distributed-computing-and-more (video from PEPM 22 https://www.youtube.com/watch?v=wBnswkwepDs)

2/9 Invited Speaker, Steven Pemberton. On the Design of Notations,

and ideas of his work on “Invisible Markup” and “The 100 year Web” (slides on Steven's homepage https://homepages.cwi.nl/~steven/Talks/2023/02-09-notations, slides in pdf, video)

2/16 Videos and discussions of 2 invited talks from IBM Neuro-Symbolic AI Workshop 2023:

Friday Invited talks:

9:10 - 9:35 Program Learning from One Example - a Comparison to ChatGPT (Stephen Muggleton - Imperial College London) https://ibm.ent.box.com/s/3rwy72p4p0vqtshqptp98njmzy22m8b4 (16:00-48:40)

10:35 - 11:00 General AI Through Learned Abstractions (George Konidaris - Brown University) https://ibm.ent.box.com/s/uzh9kofmuyac3u71x6ysbix7fmde0oja (26:00-52:00)

2/23 Yuheng will present an introduction to ILP, a long and a short version below:

A. Cropper and S. Dumancic. Inductive logic programming at 30: a new introduction. Journal of Artificial Intelligence Research 74 (2022) 765-850. (version on arxiv)

A. Cropper, S. Dumancic, R. Evans, and S.H. Muggleton. Inductive logic programming at 30. Machine learning 2022

(slides by Yuheng)

3/2 Videos and discussions of 2 invited talks from IBM Neuro-Symbolic AI Workshop 2023:

Monday invited talk

10:35 - 11:00 Deep Probabilistic Logic (Luc de Raedt - KU Leuven)

https://ibm.ent.box.com/s/bo759etkqjfnd0hhg7fjtkcx5a2xm3ef (1:48:00-)

https://ibm.ent.box.com/s/75xnvcwc2r5ow0kmxg9fc8qsbulo9h8s (-17:00)

Thursday Invited talk

10:10 - 10:35 Symbolic Knowledge Distillation (Yejin Choi - UW+AI2)

https://ibm.ent.box.com/s/m4z2v0n65yau1gs6s8f3nq7q9x7j7y4p (10:30-23:00))

3/9 CR will discuss Probabilistic Logic Programming, like the following or similar:

ICLP 2022 Invited talk by Fabrizio Riguzzi: Probabilistic Logic Programming: Semantics, Inference and Learning (slides)

Fadja, Dott Arnaud Nguembang, and Fabrizio Riguzzi. "Scalable Probabilistic Inductive Logic Programming for Big Data." 2019. (thesis presumably with more details about implementation; ask Fabrizio first)

(video, slides)

3/16 Happy Spring Break!

3/23 Matthew Castellana will present:

McNutt, Andrew M., and Ravi Chugh. "Integrated visualization editing via parameterized declarative templates." In Proceedings of the 2021 CHI Conference on Human Factors in Computing Systems, pp. 1-14. 2021.https://arxiv.org/pdf/2101.07902.pdf (slides by Matthew)

3/30 Amit will present:

Kim, Hyeok, Ryan Rossi, Fan Du, Eunyee Koh, Shunan Guo, Jessica Hullman, and Jane Hoffswell. "Cicero: A declarative grammar for responsive visualization." In Proceedings of the 2022 CHI Conference on Human Factors in Computing Systems, pp. 1-15. 2022. https://arxiv.org/pdf/2203.08314.pdf

4/6 Rohit will present:

Besold, Tarek R., Artur d'Avila Garcez, Sebastian Bader, Howard Bowman, Pedro Domingos, Pascal Hitzler, Kai-Uwe Kühnberger et al. "Neural-symbolic learning and reasoning: A survey and interpretation." arXiv preprint arXiv:1711.03902 (2017). https://arxiv.org/abs/1711.03902 (slides by Rohit)

4/13 Hiteshwar will present:

Fierens, Daan, Guy Van den Broeck, Joris Renkens, Dimitar Shterionov, Bernd Gutmann, Ingo Thon, Gerda Janssens, and Luc De Raedt. "Inference and learning in probabilistic logic programs using weighted Boolean formulas." Theory and Practice of Logic Programming 15, no. 3 (2015): 358-401. https://arxiv.org/abs/1304.6810 (slides by Hiteshwar)

4/20 Invited Speaker, Theresa Swift. Probabilistic Logic Programming and Imprecise Probabilities: Current Work

4/27 Rucha will present an overview of smart contracts and logic programming for smart contracts:

Zheng, Zibin, Shaoan Xie, Hong-Ning Dai, Weili Chen, Xiangping Chen, Jian Weng, and Muhammad Imran. "An overview on smart contracts: Challenges, advances and platforms." Future Generation Computer Systems 105 (2020): 475-491. https://arxiv.org/pdf/1912.10370.pdf

Ciatto, Giovanni, Roberta Calegari, Stefano Mariani, Enrico Denti, and Andrea Omicini. "From the Blockchain to Logic Programming and Back: Research Perspectives." In WOA, pp. 69-74. (2018. https://ceur-ws.org/Vol-2215/paper_12.pdf

Chen, Haoxian, Gerald Whitters, Mohammad Javad Amiri, Yuepeng Wang, and Boon Thau Loo. "Declarative smart contracts." In Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, pp. 281-293. 2022. https://dl.acm.org/doi/abs/10.1145/3540250.3549121

5/4 Shivam will a distributed database, testing, and runtime checking:

Zhou, Jingyu, Meng Xu, Alexander Shraer, Bala Namasivayam, Alex Miller, Evan Tschannen, Steve Atherton et al. "Foundationdb: A distributed unbundled transactional key value store." In Proceedings of the 2021 International Conference on Management of Data, pp. 2653-2666. 2021 (industry best paper award) https://sigmodrecord.org/publications/sigmodRecord/2203/pdfs/08_fdb-zhou.pdf

An example use https://apple.github.io/foundationdb/class-scheduling.html#class-scheduling-application

Havelund, Klaus. "Rule-based runtime verification revisited." International Journal on Software Tools for Technology Transfer 17 (2015): 143-170. https://havelund.com/~havelund/Publications/sttt-2013-logfire.pdf

Below are topics with references:

Program transformation/optimization and more

discussions on 2/2

Language design

discussions on 2/9

Neuro symbolic AI

discussions on 2/16, 3/2, 4/6