Puppy: An Educational Simplification of Python with a Live Playground (SPLASH 2019 - Posters)

Who

Makoto Sakane, Yuka Akinobu, Taku Tada, Kimio Kuramitsu

Track

SPLASH 2019 Posters

Time Zone

The program is currently displayed in (GMT+03:00) Beirut.

Use conference time zone: (GMT+03:00) BeirutSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Mon 21 Oct 2019 18:36 - 18:39 at Kallirhoe - Poster #1

Makoto Sakane

Japan Women’s University

Yuka Akinobu

Japan Women’s University

Taku Tada

Yokohama National University

Kimio Kuramitsu

Japan Women’s University

Japan

Time Zone

The program is currently displayed in (GMT+03:00) Beirut.

Use conference time zone: (GMT+03:00) BeirutSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

Mon 21 Oct
Displayed time zone: Beirut change

17:30 - 19:30	Poster #1Posters at Kallirhoe

17:30 3m Poster		Language-Parametric Semantic Editor Services based on Declarative Type System Specifications Posters Daniel A. A. Pelsmaeker Delft University of Technology, Netherlands, Hendrik van Antwerpen TU Delft, Eelco Visser Delft University of Technology
17:33 3m Poster		NAB: Automated Large-scale Multi-language Dynamic Program Analysis in Public Code Repositories Posters Alex Villazón Universidad Privada Boliviana, Bolivia, Haiyang Sun Università della Svizzera italiana, Andrea Rosà University of Lugano, Switzerland, Eduardo Rosales University of Lugano, Switzerland, Daniele Bonetta Oracle Labs, Isabella Defilippis Universidad Privada Boliviana (UPB), Sergio Oporto Universidad Privada Boliviana (UPB), Walter Binder University of Lugano, Switzerland
17:36 3m Poster		A Symmetry-Based $N$-Body Solver Compiler Posters Shigeyuki Sato The University of Tokyo
17:39 3m Poster		Renaissance: A Modern Benchmark Suite for Parallel Applications on the JVM Posters Aleksandar Prokopec Oracle Labs, Andrea Rosà University of Lugano, Switzerland, David Leopoldseder Johannes Kepler University Linz, Gilles Duboscq Oracle Labs, Petr Tuma Charles University, Martin Studener JKU Linz, Austria, Lubomír Bulej Charles University, Yudi Zheng Oracle Labs, Alex Villazón Universidad Privada Boliviana, Bolivia, Doug Simon Oracle Labs, Thomas Wuerthinger Oracle Labs, Walter Binder University of Lugano, Switzerland
17:42 3m Poster		Toward a Benchmark Repository for Software Maintenance Tool Evaluations with Humans Posters Matúš Sulír Technical University of Košice Pre-print
17:45 3m Poster		MetaDL : Declarative Program Analysis for the Masses Posters Alexandru Dura Lund University, Hampus Balldin Lund University
17:48 3m Poster		Obsidian: Typestate and Assets for Safer Smart Contracts Posters Michael Coblenz Carnegie Mellon University, Jonathan Aldrich Carnegie Mellon University, Joshua Sunshine Carnegie Mellon University, Brad A. Myers Carnegie Mellon University
17:52 3m Poster		Component-Based Computation-Energy Modeling for Embedded Systems Posters Adam Seewald University of Southern Denmark, Ulrik Pagh Schultz University of Southern Denmark, Julius Roede University of Amsterdam, Benjamin Rouxel University of Amsterdam, Clemens Grelck University of Amsterdam
17:55 3m Poster		Distributed Object-oriented Programming with Multiple Consistency Levels in ConSysT Posters Nafise Eskandani Technische Universität Darmstadt, Mirko Köhler Technische Universität Darmstadt, Guido Salvaneschi Technische Universität Darmstadt
17:58 3m Poster		Comparison Between Object-Sensitivity and Call-Site-Sensitivity in Generalized k-Limited Context Abstraction Posters Minseok Jeon Korea University, South Korea, Sehun Jeong Korea University, South Korea, Hakjoo Oh Korea University
18:01 3m Poster		Automatically Fixing Memory-Leaks Posters Seongjoon Hong Korea University, Junhee Lee Korea University, South Korea, Jeongsoo Lee Korea University, Hakjoo Oh Korea University
18:04 3m Poster		Precise Safety Verification of Smart Contracts Posters Sunbeom So Korea University, Myungho Lee Korea University, Hakjoo Oh Korea University
18:07 3m Poster		Towards a WebAssembly Standalone Runtime on GraalVM Posters Salim S. Salim University of Manchester, Andrew Nisbet The University of Manchester, Mikel Luján University of Manchester
18:11 3m Poster		Performance, Portability, and Productivity for Data-Parallel Applications on Multi- and Many-Core Architectures Posters Ari Rasch University of Münster, Richard Schulze University of Münster, Sergei Gorlatch
18:14 3m Poster		Squirrel: An Extensible Distributed KV Store Posters Kevin De Porre , Elisa Gonzalez Boix Vrije Universiteit Brussel, Belgium Link to publication
18:17 3m Poster		Memory efficient CRDTs in dynamic environments Posters Jim Bauwens Vrije Universiteit Brussel, Elisa Gonzalez Boix Vrije Universiteit Brussel, Belgium Link to publication
18:20 3m Poster		Context-Oriented Live Programming Environments with Mixed Reality System for IoT Education Posters Ikuta Tanigawa Kyusyu University, Harumi Watanabe Tokai University, Nobuhiro Ohe Tokai Univ., Mikiko Sato Tokai University, Nobuhiko Ogura Tokyo City University, Takeshi Ohkawa Tokai Univ., Kenji Hisazumi Kyushu University, Akira Fukuda Kyushu University Link to publication
18:23 3m Poster		Generating a Fluent API with Syntax Checking from an LR Grammar Posters Tetsuro Yamazaki Graduate School of Information Science and Technology, The University of Tokyo, Tomoki Nakamaru Graduate School of Information Science and Technology, The University of Tokyo, Shigeru Chiba Graduate School of Information Science and Technology, The University of Tokyo, Kazuhiro Ichikawa Graduate School of Information Science and Technology, The University of Tokyo Link to publication
18:26 3m Poster		Multitier Reactive Programming in High Performance Computing Posters Daniel Sokolowski Technische Universität Darmstadt, Philipp Martens Technische Universität Darmstadt, Guido Salvaneschi Technische Universität Darmstadt Link to publication
18:30 3m Poster		Certifying Graph-Manipulating C Programs via Localizations within Data Structures Posters Shengyi Wang National University of Singapore, Qinxiang Cao Shanghai Jiao Tong University, Anshuman Mohan National University of Singapore, Aquinas Hobor National University of Singapore Link to publication DOI
18:33 3m Poster		Sound and Reusable Components for Abstract Interpretation Posters Sven Keidel JGU Mainz, Sebastian Erdweg JGU Mainz Link to publication
18:36 3m Poster		Puppy: An Educational Simplification of Python with a Live Playground Posters Makoto Sakane Japan Women’s University, Yuka Akinobu Japan Women’s University, Taku Tada Yokohama National University, Kimio Kuramitsu Japan Women’s University
18:39 3m Poster		Agile Construction of Data Science DSLs (Tool Demo) Posters Artur Andrzejak Heidelberg University, Kevin Kiefer , Diego Elias Costa Heidelberg University, Oliver Wenz Heidelberg University Link to publication
18:42 3m Poster		A Fault-Tolerant Programming Model for Distributed Interactive Applications Posters Ragnar Mogk Technische Universität Darmstadt, Joscha Drechsler Technische Universität Darmstadt, Guido Salvaneschi Technische Universität Darmstadt, Mira Mezini Technische Universität Darmstadt Link to publication
18:45 3m Poster		WARDuino: A Dynamic WebAssembly Virtual Machine for Programming Microcontrollers Posters Robbert Gurdeep Singh Universiteit Gent, Belgium, Christophe Scholliers Universiteit Gent, Belgium Link to publication
18:48 3m Poster		Automatic and Scalable Detection of Logical Errors in Functional Programming Assignments Posters Dowon Song Korea University, Myungho Lee Korea University, Hakjoo Oh Korea University Link to publication
18:52 3m Poster		IVT: An Efficient Method for Sharing Subtype Polymorphic Objects Posters Yu-Ping Wang Tsinghua University, China, Xu-Qiang Hu Tsinghua Univeraity, China, Zi-Xin Zou Tsinghua Univeraity, China, Wende Tan Tsinghua University, China Link to publication
18:55 3m Poster		Turning Unobservable into Unreachable: Dynamic Reactive Programming without Leaks Posters David Richter Technical University of Darmstadt, Ragnar Mogk Technische Universität Darmstadt Link to publication
18:58 3m Poster		Language-Integrated Privacy-Aware Distributed Queries Posters Guido Salvaneschi Technische Universität Darmstadt, Mirko Köhler Technische Universität Darmstadt, Daniel Sokolowski Technische Universität Darmstadt, Philipp Haller KTH Royal Institute of Technology, Sebastian Erdweg JGU Mainz, Mira Mezini Technische Universität Darmstadt Link to publication
19:01 3m Poster		Towards Efficient, Multi-Language Dynamic Taint Analysis Posters Jacob Kreindl Johannes Kepler University Linz, Daniele Bonetta Oracle Labs, Hanspeter Mössenböck JKU Linz, Austria Link to publication
19:04 3m Poster		Supporting On-Stack Replacement in Unstructured Languages by Loop Reconstruction and Extraction Posters Raphael Mosaner Johannes Kepler University Linz, David Leopoldseder Johannes Kepler University Linz, Manuel Rigger ETH Zurich, Roland Schatz Johannes Kepler University Linz, Hanspeter Mössenböck JKU Linz, Austria Link to publication
19:07 3m Poster		Reflection in Attribute Grammars Posters Lucas Kramer University of Minnesota, Ted Kaminski University of Minnesota, Eric Van Wyk University of Minnesota, USA Link to publication
19:11 3m Poster		An Empirical Study of Programming Language Effect on OSS Development Effort Posters Muna Altherwi Southampton University
19:14 3m Poster		Practical Second Futamura Projection Posters Florian Latifi Johannes Kepler University Linz
19:17 3m Poster		Debugging Support for Multi-paradigm Concurrent Programs Posters Dominik Aumayr Johannes Kepler University Linz, Austria
19:20 3m Poster		Gradual Program Analysis Posters Samuel Estep Liberty University, Jenna DiVincenzo (Wise) Carnegie Mellon University, Jonathan Aldrich Carnegie Mellon University, Éric Tanter University of Chile & Inria Paris, Johannes Bader Facebook
19:23 3m Poster		Incremental Scannerless Generalized LR Parsing Posters Maarten P. Sijm Delft University of Technology
19:26 3m Poster		Linear capabilities for CHERI Posters Aaron Lippeveldts Vrije Universiteit Brussel, Dominique Devriese Vrije Universiteit Brussel