‹Programming› 2019
Mon 1 - Thu 4 April 2019 Genoa, Italy
Tue 2 Apr 2019 12:30 - 14:00 at Second floor hall - Poster Session Chair(s): Philipp Haller

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

12:30 - 14:00
Poster SessionStudent Research Competition at Second floor hall
Chair(s): Philipp HallerKTH Royal Institute of Technology, Sweden
12:30
90m
Poster
RML: Runtime monitoring language
Student Research Competition
Luca FranceschiniDIBRIS, University of Genova, Italy
12:30
90m
Poster
Automatic test case generation from UML state machine diagrams
Student Research Competition
12:30
90m
Poster
Reading logic as code or as natural language text
Student Research Competition
Patrick ReinHasso Plattner Institute, Germany
12:30
90m
Poster
Cantor pairing in a reversible programming language
Student Research Competition
Francesco RossiniUniversity of Turin, Italy
12:30
90m
Poster
Exploring example-driven migration
Student Research Competition
12:30
90m
Poster
Magritte: A modern shell language
Student Research Competition
Jeanine Miller AdkissonTokyo Institute of Technology
12:30
90m
Poster
BacCaml: The Meta-Hybrid Just-In-Time Compiler
Student Research Competition
Yusuke IzawaTokyo Institute of Technology
12:30
90m
Poster
A framework for big-step semantics
Student Research Competition
Francesco DagninoDIBRIS, University of Genova, Italy