‹Programming› 2019
Mon 1 - Thu 4 April 2019 Genoa, Italy
Wed 3 Apr 2019 09:30 - 09:45 at Bellini - Oral Presentation Chair(s): Philipp Haller

Wed 3 Apr

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

09:30 - 11:00
Oral PresentationStudent Research Competition at Bellini
Chair(s): Philipp Haller KTH Royal Institute of Technology, Sweden
09:30
15m
Talk
Cantor pairing in a reversible programming language (short presentation)
Student Research Competition
Francesco Rossini University of Turin, Italy
09:45
15m
Talk
Reading logic as code or as natural language text (short presentation)
Student Research Competition
Patrick Rein Hasso Plattner Institute, Germany
10:00
15m
Talk
A framework for big-step semantics (short presentation)
Student Research Competition
Francesco Dagnino DIBRIS, University of Genova, Italy
10:15
15m
Talk
RML: Runtime monitoring language (short presentation)
Student Research Competition
Luca Franceschini DIBRIS, University of Genova, Italy
10:30
15m
Talk
BacCaml: The Meta-Hybrid Just-In-Time Compiler (short presentation)
Student Research Competition
Yusuke Izawa Tokyo Institute of Technology
10:45
15m
Talk
Magritte: A modern shell language (short presentation)
Student Research Competition
Jeanine Miller Adkisson Tokyo Institute of Technology