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
Times are displayed in time zone: Beirut change

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

	17:30 - 17:33 Poster		Language-Parametric Semantic Editor Services based on Declarative Type System Specifications Posters Daniel A. A. PelsmaekerDelft University of Technology, Netherlands, Hendrik van AntwerpenTU Delft, Eelco VisserDelft University of Technology
	17:33 - 17:36 Poster		NAB: Automated Large-scale Multi-language Dynamic Program Analysis in Public Code Repositories Posters Alex VillazónUniversidad Privada Boliviana, Bolivia, Haiyang SunUniversità della Svizzera italiana, Andrea RosàUniversity of Lugano, Switzerland, Eduardo RosalesUniversity of Lugano, Switzerland, Daniele BonettaOracle Labs, Isabella DefilippisUniversidad Privada Boliviana (UPB), Sergio OportoUniversidad Privada Boliviana (UPB), Walter BinderUniversity of Lugano, Switzerland
	17:36 - 17:39 Poster		A Symmetry-Based $N$-Body Solver Compiler Posters Shigeyuki SatoThe University of Tokyo
	17:39 - 17:42 Poster		Renaissance: A Modern Benchmark Suite for Parallel Applications on the JVM Posters Aleksandar ProkopecOracle Labs, Andrea RosàUniversity of Lugano, Switzerland, David LeopoldsederJohannes Kepler University Linz, Gilles DuboscqOracle Labs, Petr TumaCharles University, Martin StudenerJKU Linz, Austria, Lubomír BulejCharles University, Yudi ZhengOracle Labs, Alex VillazónUniversidad Privada Boliviana, Bolivia, Doug SimonOracle Labs, Thomas WuerthingerOracle Labs, Walter BinderUniversity of Lugano, Switzerland
	17:42 - 17:45 Poster		Toward a Benchmark Repository for Software Maintenance Tool Evaluations with Humans Posters Matúš SulírTechnical University of Košice Pre-print
	17:45 - 17:48 Poster		MetaDL : Declarative Program Analysis for the Masses Posters Alexandru DuraLund University, Hampus BalldinLund University
	17:48 - 17:52 Poster		Obsidian: Typestate and Assets for Safer Smart Contracts Posters Michael CoblenzCarnegie Mellon University, Jonathan AldrichCarnegie Mellon University, Joshua SunshineCarnegie Mellon University, Brad A. MyersCarnegie Mellon University
	17:52 - 17:55 Poster		Component-Based Computation-Energy Modeling for Embedded Systems Posters Adam SeewaldUniversity of Southern Denmark, Ulrik Pagh SchultzUniversity of Southern Denmark, Julius RoedeUniversity of Amsterdam, Benjamin RouxelUniversity of Amsterdam, Clemens GrelckUniversity of Amsterdam
	17:55 - 17:58 Poster		Distributed Object-oriented Programming with Multiple Consistency Levels in ConSysT Posters Nafise EskandaniTechnische Universität Darmstadt, Mirko KöhlerTechnische Universität Darmstadt, Guido SalvaneschiTechnische Universität Darmstadt
	17:58 - 18:01 Poster		Comparison Between Object-Sensitivity and Call-Site-Sensitivity in Generalized k-Limited Context Abstraction Posters Minseok JeonKorea University, South Korea, Sehun JeongKorea University, South Korea, Hakjoo OhKorea University
	18:01 - 18:04 Poster		Automatically Fixing Memory-Leaks Posters Seongjoon HongKorea University, Junhee LeeKorea University, South Korea, Jeongsoo LeeKorea University, Hakjoo OhKorea University
	18:04 - 18:07 Poster		Precise Safety Verification of Smart Contracts Posters Sunbeom SoKorea University, Myungho LeeKorea University, Hakjoo OhKorea University
	18:07 - 18:11 Poster		Towards a WebAssembly Standalone Runtime on GraalVM Posters Salim S. SalimUniversity of Manchester, Andrew NisbetThe University of Manchester, Mikel LujánUniversity of Manchester
	18:11 - 18:14 Poster		Performance, Portability, and Productivity for Data-Parallel Applications on Multi- and Many-Core Architectures Posters Ari RaschUniversity of Münster, Richard SchulzeUniversity of Münster, Sergei Gorlatch
	18:14 - 18:17 Poster		Squirrel: An Extensible Distributed KV Store Posters Kevin De Porre, Elisa Gonzalez BoixVrije Universiteit Brussel, Belgium Link to publication
	18:17 - 18:20 Poster		Memory efficient CRDTs in dynamic environments Posters Jim BauwensVrije Universiteit Brussel, Elisa Gonzalez BoixVrije Universiteit Brussel, Belgium Link to publication
	18:20 - 18:23 Poster		Context-Oriented Live Programming Environments with Mixed Reality System for IoT Education Posters Ikuta TanigawaKyusyu University, Harumi WatanabeTokai University, Nobuhiro OheTokai Univ., Mikiko SatoTokai University, Nobuhiko OguraTokyo City University, Takeshi Ohkawa Tokai Univ., Kenji HisazumiKyushu University, Akira FukudaKyushu University Link to publication
	18:23 - 18:26 Poster		Generating a Fluent API with Syntax Checking from an LR Grammar Posters Tetsuro YamazakiGraduate School of Information Science and Technology, The University of Tokyo, Tomoki NakamaruGraduate School of Information Science and Technology, The University of Tokyo, Shigeru ChibaGraduate School of Information Science and Technology, The University of Tokyo, Kazuhiro IchikawaGraduate School of Information Science and Technology, The University of Tokyo Link to publication
	18:26 - 18:30 Poster		Multitier Reactive Programming in High Performance Computing Posters Daniel SokolowskiTechnische Universität Darmstadt, Philipp MartensTechnische Universität Darmstadt, Guido SalvaneschiTechnische Universität Darmstadt Link to publication
	18:30 - 18:33 Poster		Certifying Graph-Manipulating C Programs via Localizations within Data Structures Posters Shengyi WangNational University of Singapore, Qinxiang CaoShanghai Jiao Tong University, Anshuman MohanNational University of Singapore, Aquinas HoborNational University of Singapore Link to publication DOI
	18:33 - 18:36 Poster		Sound and Reusable Components for Abstract Interpretation Posters Sven KeidelJGU Mainz, Sebastian ErdwegJGU Mainz Link to publication
	18:36 - 18:39 Poster		Puppy: An Educational Simplification of Python with a Live Playground Posters Makoto SakaneJapan Women’s University, Yuka AkinobuJapan Women’s University, Taku TadaYokohama National University, Kimio KuramitsuJapan Women’s University
	18:39 - 18:42 Poster		Agile Construction of Data Science DSLs (Tool Demo) Posters Artur AndrzejakHeidelberg University, Kevin Kiefer, Diego CostaHeidelberg University, Oliver WenzHeidelberg University Link to publication
	18:42 - 18:45 Poster		A Fault-Tolerant Programming Model for Distributed Interactive Applications Posters Ragnar MogkTechnische Universität Darmstadt, Joscha DrechslerTechnische Universität Darmstadt, Guido SalvaneschiTechnische Universität Darmstadt, Mira MeziniTechnische Universität Darmstadt Link to publication
	18:45 - 18:48 Poster		WARDuino: A Dynamic WebAssembly Virtual Machine for Programming Microcontrollers Posters Robbert Gurdeep SinghUniversiteit Gent, Belgium, Christophe ScholliersUniversiteit Gent, Belgium Link to publication
	18:48 - 18:52 Poster		Automatic and Scalable Detection of Logical Errors in Functional Programming Assignments Posters Dowon SongKorea University, Myungho LeeKorea University, Hakjoo OhKorea University Link to publication
	18:52 - 18:55 Poster		IVT: An Efficient Method for Sharing Subtype Polymorphic Objects Posters Yu-Ping WangTsinghua University, China, Xu-Qiang HuTsinghua Univeraity, China, Zi-Xin ZouTsinghua Univeraity, China, Wende TanTsinghua University, China Link to publication
	18:55 - 18:58 Poster		Turning Unobservable into Unreachable: Dynamic Reactive Programming without Leaks Posters David RichterTechnische Universität Darmstadt, Ragnar MogkTechnische Universität Darmstadt Link to publication
	18:58 - 19:01 Poster		Language-Integrated Privacy-Aware Distributed Queries Posters Guido SalvaneschiTechnische Universität Darmstadt, Mirko KöhlerTechnische Universität Darmstadt, Daniel SokolowskiTechnische Universität Darmstadt, Philipp HallerKTH Royal Institute of Technology, Sebastian ErdwegJGU Mainz, Mira MeziniTechnische Universität Darmstadt Link to publication
	19:01 - 19:04 Poster		Towards Efficient, Multi-Language Dynamic Taint Analysis Posters Jacob KreindlJohannes Kepler University Linz, Daniele BonettaOracle Labs, Hanspeter MössenböckJKU Linz, Austria Link to publication
	19:04 - 19:07 Poster		Supporting On-Stack Replacement in Unstructured Languages by Loop Reconstruction and Extraction Posters Raphael MosanerJohannes Kepler University Linz, David LeopoldsederJohannes Kepler University Linz, Manuel RiggerETH Zurich, Roland SchatzJohannes Kepler University Linz, Hanspeter MössenböckJKU Linz, Austria Link to publication
	19:07 - 19:11 Poster		Reflection in Attribute Grammars Posters Lucas KramerUniversity of Minnesota, Ted KaminskiUniversity of Minnesota, Eric Van WykUniversity of Minnesota, USA Link to publication
	19:11 - 19:14 Poster		An Empirical Study of Programming Language Effect on OSS Development Effort Posters Muna AltherwiSouthampton University
	19:14 - 19:17 Poster		Practical Second Futamura Projection Posters Florian LatifiJohannes Kepler University Linz
	19:17 - 19:20 Poster		Debugging Support for Multi-paradigm Concurrent Programs Posters Dominik AumayrJohannes Kepler University Linz, Austria
	19:20 - 19:23 Poster		Gradual Program Analysis Posters Samuel EstepLiberty University, Jenna WiseCarnegie Mellon University, Jonathan AldrichCarnegie Mellon University, Éric TanterUniversity of Chile & Inria Paris, Johannes BaderFacebook
	19:23 - 19:26 Poster		Incremental Scannerless Generalized LR Parsing Posters Maarten P. SijmDelft University of Technology
	19:26 - 19:30 Poster		Linear capabilities for CHERI Posters Aaron LippeveldtsVrije Universiteit Brussel, Dominique DevrieseVrije Universiteit Brussel