‹Programming› 2024 (series) / Student Research Competition /
Erla+: Translating Formal Models into Executable Actor-Based Implementations
Tue 12 Mar 2024 17:15 - 17:30 at M:H - Student Presentations
Tue 12 MarDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Tue 12 Mar
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
16:30 - 18:30 | |||
16:30 15mTalk | 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 15mTalk | Binary Analysis in Isabelle/HOL Student Research Competition Matt Griffin University of Surrey | ||
17:00 15mTalk | DAPPER - Seamless, Tailored Code Review Student Research Competition Lo Heander Lund University | ||
17:15 15mTalk | Erla+: Translating Formal Models into Executable Actor-Based Implementations Student Research Competition | ||
17:30 15mTalk | Bringing multi-language instrumentation support to WebAssembly Student Research Competition Aäron Munsters Vrije Universiteit Brussel | ||
17:45 15mTalk | Using Static Analysis to Improve the Efficiency of Program Analysis Student Research Competition Idriss Riouak Department of Computer Science, Lund University, Sweden | ||
18:00 15mTalk | Concolic Multiverse Debugging Student Research Competition Maarten Steevens Ghent University, Belgium | ||
18:15 15mTalk | Set-theoretic Maps with Type Variables Student Research Competition | ||