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

Wed 3 Apr
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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