Lightning Talks‹Programming› 2025
Lightning Talks provide attendees of ‹Programming› with the opportunity to discuss their recent and ongoing work, clarify problem statements, get feedback on their ideas or identify suitable evaluation methods. They offer an excellent opportunity for authors to receive feedback from the ‹Programming› community and encourage discussions on a technical topic. If you are thinking how to turn your ideas into a paper for ‹Programming› 2026, consider submitting a talk proposal!
Lightning Talks
| Title | |
|---|---|
| Binary parametricity in Rocq — the case of record types Lightning Talks | |
| Copy-and-Patch JIT for R Lightning Talks | |
| Lightning Talks - Block 2 Lightning Talks | |
| Smalltix: Smalltalk via the Unix Filesystem Lightning Talks | |
| Understanding Feedback Information in Just-in-Time Compilers Lightning Talks A: Filip Riha |
Call for Contributions
We are looking for talks reporting and seeking feedback on early work in the general areas covered by the ‹Programming› conference, that is the Art, Science, and Engineering of Programming. The topics of interest include programming languages and systems, implementation techniques, theories of programming, but also social aspects of programming or history and philosophy.
A lightning talk can be focused on a demo of a system that you are working on (which does not always work), a neat idea that you are exploring (but suspect it has limitations), a problem that you find interesting (but do not know how to solve) or any other form of early work.
The submissions will not be formally reviewed and published. If you are attending ‹Programming› 2025, you can use a presentation as part of the Lightning Talks track to get feedback on your current and ongoing research ideas - to get the most out of your trip to Prague.
Selection
We will accept submitted talk proposals on a rolling basis (for as long as we have space in the program). We will not provide formal reviews to authors and aim to accept talk proposals that are in line with the general theme of the conference (and its past editions).
Format
The format will be finalized once we have the final number of talks, but we expect to have 15 minute talks with 5-10 minutes for discussion immediately after the talk. However, the idea is that the talk will trigger interesting discussions that will continue throughout the coffee breaks!
Submission
To submit a Lightning Talk proposal, please fill out the brief Lightning Talk proposal form.
Tue 3 JunDisplayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change
10:30 - 12:00 | Lightning Talks - Block 1Lightning Talks at S 8 Chair(s): Pierre Donat-Bouillud Czech Technical University in Prague | ||
10:30 22mTalk | Smalltix: Smalltalk via the Unix Filesystem Lightning Talks | ||
10:52 22mTalk | Copy-and-Patch JIT for R Lightning Talks Matěj Kocourek Czech Technical University, Czechia | ||
11:15 22mTalk | Understanding Feedback Information in Just-in-Time Compilers Lightning Talks | ||
11:37 22mTalk | Binary parametricity in Rocq — the case of record types Lightning Talks Vojtěch Štěpančík Inria | ||
12:00 - 13:30 | |||
12:00 90mLunch | Lunch Catering | ||
15:30 - 17:00 | |||
15:30 90mTalk | Lightning Talks - Block 2 Lightning Talks | ||
| Tue 3 Jun 2025 Lightning Talks |
