Turning Unobservable into Unreachable: Dynamic Reactive Programming without Leaks (SPLASH 2019 - Posters) - SPLASH 2019

Write a Blog >>

Sun 20 - Fri 25 October 2019 Athens, Greece

Who

David Richter, Ragnar Mogk

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

When

Mon 21 Oct 2019 18:55 - 18:58 at Kallirhoe - Poster #1
Thu 24 Oct 2019 18:43 - 18:46 at Foyer - Poster #2

Link to Publication

https://2019.splashcon.org/details/rebls-2019-papers/3/Turning-Unobservable-into-Unreachable-Dynamic-Reactive-Programming-without-Leaks

David Richter

Technische Universität Darmstadt

Ragnar Mogk

Technische Universität Darmstadt

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

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

Thu 24 Oct
Times are displayed in time zone: Beirut change

	17:30 - 19:30: Poster #2Posters at Foyer

	17:30 - 17:32 Poster		Etherolic: A Concolic Execution System for Security Analysis of Smart Contracts Posters Mohammadreza AshouriUniversity of Potsdam, Germany
	17:32 - 17:35 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:35 - 17:38 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:38 - 17:40 Poster		A Symmetry-Based $N$-Body Solver Compiler Posters Shigeyuki SatoThe University of Tokyo
	17:40 - 17:43 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:43 - 17:46 Poster		MetaDL : Declarative Program Analysis for the Masses Posters Alexandru DuraLund University, Hampus BalldinLund University
	17:46 - 17:49 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:49 - 17:51 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:51 - 17:54 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:54 - 17:57 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
	17:57 - 18:00 Poster		Automatically Fixing Memory-Leaks Posters Seongjoon HongKorea University, Junhee LeeKorea University, South Korea, Jeongsoo LeeKorea University, Hakjoo OhKorea University
	18:00 - 18:02 Poster		Precise Safety Verification of Smart Contracts Posters Sunbeom SoKorea University, Myungho LeeKorea University, Hakjoo OhKorea University
	18:02 - 18:05 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:05 - 18:08 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:08 - 18:10 Poster		Squirrel: An Extensible Distributed KV Store Posters Kevin De Porre, Elisa Gonzalez BoixVrije Universiteit Brussel, Belgium Link to publication
	18:10 - 18:13 Poster		Memory efficient CRDTs in dynamic environments Posters Jim BauwensVrije Universiteit Brussel, Elisa Gonzalez BoixVrije Universiteit Brussel, Belgium Link to publication
	18:13 - 18:16 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:16 - 18:19 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:19 - 18:21 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:21 - 18:24 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:24 - 18:27 Poster		Aroma: Code Recommendation via Structural Code Search Posters Sifei LuanFacebook, Inc., Di YangUniversity of California, Irvine, Celeste BarnabyFacebook, Inc., Koushik SenUniversity of California, Berkeley, Satish ChandraFacebook Link to publication
	18:27 - 18:30 Poster		System FR: Formalized Foundations for the Stainless Verifier Posters Jad HamzaEPFL, Switzerland, Nicolas VoirolEPFL, Switzerland, Viktor KunčakEPFL, Switzerland Link to publication
	18:30 - 18:32 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:32 - 18:35 Poster		WARDuino: A Dynamic WebAssembly Virtual Machine for Programming Microcontrollers Posters Robbert Gurdeep SinghUniversiteit Gent, Belgium, Christophe ScholliersUniversiteit Gent, Belgium Link to publication
	18:35 - 18:38 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:38 - 18:40 Poster		Asphalion: Trustworthy Shielding against Byzantine Faults Posters Ivana VukoticSnT, University of Luxembourg, Vincent RahliUniversity of Birmingham, Paulo Esteves-VeríssimoSnT, University of Luxembourg Link to publication
	18:40 - 18:43 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:43 - 18:46 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:46 - 18:49 Poster		TLA+ model checking made symbolic Posters Igor KonnovInria Nancy - Grand Est, France, Jure KukovecTU Wien, Austria, Thanh-Hai TranTU Wien, Austria Link to publication
	18:49 - 18:51 Poster		Getafix: Learning to Fix Bugs Automatically Posters Johannes BaderFacebook, Andrew ScottFacebook, Michael PradelUniversity of Stuttgart, Satish ChandraFacebook Link to publication
	18:51 - 18:54 Poster		Dependence-Aware, Unbounded Sound Predictive Race Detection Posters Kaan GençOhio State University, Jake RoemerOhio State University, Yufan XuOhio State University, Michael D. BondOhio State University Link to publication
	18:54 - 18:57 Poster		Effective Lock Handling in Stateless Model Checking Posters Michalis KokologiannakisMPI-SWS, Germany, Azalea RaadMPI-SWS, Germany, Viktor VafeiadisMPI-SWS, Germany Link to publication
	18:57 - 19:00 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:00 - 19:02 Poster		I/O Dependent Idempotence Bugs in Intermittent Systems Posters Milijana SurbatovichCarnegie Mellon University, Limin JiaCarnegie Mellon University, Brandon LuciaCarnegie Mellon University Link to publication
	19:02 - 19:05 Poster		Vision Paper: Generating Incremental Type Services Posters André PacakJGU Mainz, Sebastian ErdwegJGU Mainz Link to publication
	19:05 - 19:08 Poster		Static Analysis with Demand-Driven Value Refinement Posters Benno SteinUniversity of Colorado Boulder, Benjamin Barslev NielsenAarhus University, Bor-Yuh Evan ChangUniversity of Colorado Boulder \| Amazon, Anders MøllerAarhus University Link to publication
	19:08 - 19:10 Poster		Improving Bug Detection via Context-based Code Representation Learning and Attention-based Neural Networks Posters Yi LiNew Jersey Institute of Technology, USA, Shaohua WangNew Jersey Institute of Technology, USA, Tien N. NguyenUniversity of Texas at Dallas, Son NguyenThe University of Texas at Dallas Link to publication
	19:10 - 19:13 Poster		Reflection in Attribute Grammars Posters Lucas KramerUniversity of Minnesota, Ted KaminskiUniversity of Minnesota, Eric Van WykUniversity of Minnesota, USA Link to publication
	19:13 - 19:16 Poster		DeepSEA: A Language for Certified System Software Posters Vilhelm SjöbergYale University, Yuyang SangYale University, Shu-chun WengYale University, Zhong ShaoYale University Link to publication
	19:16 - 19:19 Poster		Practical Second Futamura Projection Posters Florian LatifiJohannes Kepler University Linz
	19:19 - 19:21 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:21 - 19:24 Poster		Incremental Scannerless Generalized LR Parsing Posters Maarten P. SijmDelft University of Technology
	19:24 - 19:27 Poster		Improving Performance and Quality of Database-Backed Software Posters Junwen Yanguniversity of chicago, Cong YanUniversity of Washington, Chengcheng WanThe University of Chicago, Alvin CheungUniversity of California, Berkeley, Shan LuUniversity of Chicago
	19:27 - 19:30 Poster		On the Fly Synthesis of Edit Suggestions Posters Anders MiltnerPrinceton University, Sumit GulwaniMicrosoft, Vu LeMicrosoft, Alan LeungMicrosoft, Arjun RadhakrishnaMicrosoft, Gustavo SoaresMicrosoft, Ashish TiwariMicrosoft, Abhishek UdupaMicrosoft Link to publication