‹Programming› 2019
Mon 1 - Thu 4 April 2019 Genoa, Italy
VenueHotel Bristol Palace
Room nameSecond floor hall
Floor2
Room Information

Second floor hall

Program

You're viewing the program in a time zone which is different from your device's time zone - change time zone

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

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

12:30 - 14:30
Poster SessionPosters at Second floor hall
12:30
2h
Poster
Distributed Software on Mobile Robot
Posters
12:30
2h
Talk
Developing Distributed Systems with ScalaLoci
Posters
Pascal WeisenburgerTechnische Universität Darmstadt, Guido SalvaneschiTU Darmstadt
12:30
2h
Poster
Proving Inequational Propositions about Haskell Programs in Coq
Posters
Jan ChristiansenFlensburg University of Applied Sciences, Germany, Sandra DylusUniversity of Kiel, Germany
12:30
2h
Poster
IDVE: an Integrated Development and Verification Environment for JavaScript
Posters
Christopher SchusterUniversity of California, Santa Cruz, Cormac FlanaganUniversity of California, Santa Cruz

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

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