Conference. PLDI '25: 46th ACM SIGPLAN International Conference on Programming Language Design and Implementation [pldi25]

June 2025
Seoul, Republic of Korea
https://pldi22.sigplan.org/

Backlinks

Reviewing done [loc-001C]

July 7, 2025
Liam O'Connor

With the cancellation of FProPer this year due to low submissions, I believe I have finally finished my reviewing marathon for this year. I served on the PLDI (11 papers), ICFP (7 papers), APLAS (4 papers) and Haskell Symposium (4 papers) PCs this year, plus reviewed one paper for the Journal of Functional Programming, giving me a total of 27 papers reviewed this year. Now that that's over with, I will focus my attention on preparing the ICFP Programming Contest and preparing to teach first-year computing next semester.

News [news]

Liam O'Connor

See also Weeknotes

26.07.19	I have agreed to teach my Interactive theorem proving course at the Logic Summer School in December this year.
26.06.10	I have accepted an invitation to serve on the PC of TFPIE '27: 16th International Workshop on Trends in Functional Programming in Education.
26.03.01	Kai Phan starts her PhD this week, and Edwin Park starts his honours project.
26.02.20	I have accepted an invitation to serve on the PC of POPL ’27: 54th ACM SIGPLAN Symposium on Principles of Programming Languages.
26.01.16	My student Kai Phan will start her PhD with me this semester.
26.01.15	I have agreed to join the supervision panel for Fabian Mühlböck's student, Carlo Zancanaro.
25.12.17	I have agreed to join the supervision panel for Nisansala Yatapanage's student, Ali Nosherwan Hamed.
25.12.01	My course on Interactive theorem proving is running this week.
25.09.19	I have agreed to teach COMP1110 Structured Programming in 2026 Semester 1.
25.09.18	I will be teaching at the ANU Logic Summer School 2025 this December.
25.09.12	I have been made a member of IFIP Working Group 2.1: Algorithmic Languages and Calculi.
25.09.08	The ICFP '25 Programming Contest has successfully concluded.
25.08.22	Xin Lu starts her PhD with me and Peter Höfner today.
25.07.22	Selene's paper, Memory Safety: Uniqueness as Separation, has been accepted to APLAS '25: 23rd Asian Symposium on Programming Languages and Systems!
25.07.20	Mio Wu and Josh Brown are starting their Honours projects with me this semester, working on the next generation of the Holbert proof assistant.
25.05.30	Xin Lu will be starting her PhD with me and Peter Höfner in a few months.
25.05.16	I have completed the domain theory lecture notes.
25.05.01	I have agreed to co-supervise Yi Yao, a new PhD student with Peter Höfner.
25.03.22	I have joined the PC for Haskell '25: 18th ACM SIGPLAN Haskell Symposium.
25.03.13	I have joined the PC for FProPer '25: 2nd ACM SIGPLAN Workshop on Functional Programming for Productivity and Performance.
25.02.04	Jack Bashford has joined me for a semester project working on Holbert.
25.01.08	I have joined the PC for APLAS '25: 23rd Asian Symposium on Programming Languages and Systems.
24.11.05	I have joined the PC for ICFP '25: 29th ACM SIGPLAN International Conference on Functional Programming.
24.10.22	I have joined the PC for PLDI '25: 46th ACM SIGPLAN International Conference on Programming Language Design and Implementation.
24.09.17	I have agreed to organise the ICFP '25 Programming Contest.
24.09.30	I was delighted to spend a week with the WG2.1 folks here at the ANU.
24.09.09	Our student Rayhana Amjad has published her first paper, Semantics for Linear-time Temporal Logic with Finite Observations at EXPRESS/SOS.
24.07.30	I have taken a new position as a Senior Lecturer at the Australian National University.

Liam O'Connor › Curriculum vitæ › Academic community roles [loc-0003]

Member, IFIP Working Group 2.1: Algorithmic Languages and Calculi, 2025–present (observer from 2024–2025).
Organiser, ICFP '25 Programming Contest, 2025.
Editor (Social Media), Journal of Functional Programming, 2020–present.
Member at Large, Workshop on Type-Driven Development Steering Committee, 2022–2024.
Publicity Chair, Scottish Programming Languages Institute, 2022–2024.
Organiser and Designer, TypeSIG Advent of Proof, 2023.
Problem Designer, TypeSIG Advent of Proof, 2024.

Program committees

Other reviewing

Journal Review, Journal of Functional Programming, 2025
External Review, TASE '23: 17th International Symposium on Theoretical Aspects of Software Engineering
External Review, ESOP '22: 31st European Symposium on Programming
External Review, FoSSaCS '21: 24th International Conference on Foundations of Software Science and Computation Structures
Journal Review, Journal of Functional Programming, 2020
External Review, CPP '18: 7th ACM SIGPLAN International Conference on Certified Programs and Proofs
External Review, POPL '16: 43rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Artifact Evaluation, ICFP '18: 23rd ACM SIGPLAN International Conference on Functional Programming
Subreviewer, CSF '19: 32nd IEEE Computer Security Foundations Symposium
Subreviewer, ASPLOS '19: 24th International Conference on Architectural Support for Programming Languages and Operating Systems
Subreviewer, ITP '17: 8th International Conference on Interactive Theorem Proving
Subreviewer, ICFP '15: 20th ACM SIGPLAN International Conference on Functional Programming
Subreviewer, POPL '15: 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Subreviewer, ICFP '14: 19th ACM SIGPLAN International Conference on Functional Programming
Subreviewer, APLAS '13: 11th Asian Symposium on Programming Languages and Systems