‹Programming› 2019 (series) / Student Research Competition /
Reading logic as code or as natural language text
Tue 2 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Tue 2 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
12:30 - 14:00 | Poster SessionStudent Research Competition at Second floor hall Chair(s): Philipp Haller KTH Royal Institute of Technology, Sweden | ||
12:30 90mPoster | RML: Runtime monitoring language Student Research Competition Luca Franceschini DIBRIS, University of Genova, Italy | ||
12:30 90mPoster | Automatic test case generation from UML state machine diagrams Student Research Competition | ||
12:30 90mPoster | Reading logic as code or as natural language text Student Research Competition Patrick Rein Hasso Plattner Institute, Germany | ||
12:30 90mPoster | Cantor pairing in a reversible programming language Student Research Competition Francesco Rossini University of Turin, Italy | ||
12:30 90mPoster | Exploring example-driven migration Student Research Competition | ||
12:30 90mPoster | Magritte: A modern shell language Student Research Competition Jeanine Miller Adkisson Tokyo Institute of Technology | ||
12:30 90mPoster | BacCaml: The Meta-Hybrid Just-In-Time Compiler Student Research Competition Yusuke Izawa Tokyo Institute of Technology | ||
12:30 90mPoster | A framework for big-step semantics Student Research Competition Francesco Dagnino DIBRIS, University of Genova, Italy | ||
