‹Programming› 2024
Mon 11 - Fri 15 March 2024 Lund, Sweden
Tue 12 Mar 2024 17:00 - 17:15 at M:H - Student Presentations

Tue 12 Mar

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

16:30 - 18:30
Student PresentationsStudent Research Competition at M:H
16:30
15m
Talk
Enhancing Developer Experience in Software Development through LLM-Assisted Mentorship
Student Research Competition
Lukas Böhme Hasso Plattner Institute, University of Potsdam, Potsdam, Germany
16:45
15m
Talk
Binary Analysis in Isabelle/HOL
Student Research Competition
Matt Griffin University of Surrey
17:00
15m
Talk
DAPPER - Seamless, Tailored Code Review
Student Research Competition
Lo Heander Lund University
17:15
15m
Talk
Erla+: Translating Formal Models into Executable Actor-Based Implementations
Student Research Competition
17:30
15m
Talk
Bringing multi-language instrumentation support to WebAssembly
Student Research Competition
Aäron Munsters Vrije Universiteit Brussel
17:45
15m
Talk
Using Static Analysis to Improve the Efficiency of Program Analysis
Student Research Competition
Idriss Riouak Department of Computer Science, Lund University, Sweden
18:00
15m
Talk
Concolic Multiverse Debugging
Student Research Competition
Maarten Steevens Ghent University, Belgium
18:15
15m
Talk
Set-theoretic Maps with Type Variables
Student Research Competition