Write a Blog >>
AGERE 2019
Sun 20 - Fri 25 October 2019 Athens, Greece
co-located with SPLASH 2019
VenueRoyal Olympic Hotel
Room nameFoyer
Floor-1
Capacity500
Room InformationNo extra information available
Program

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

Conference Day
Wed 23 Oct

Displayed time zone: Beirut change

18:00 - 19:30
Competition - Round 1SPLASH SRC at Foyer
18:00
11m
Talk
Is Mutation Score a Fair Metric?
SPLASH SRC
Beatriz SouzaFederal University of Campina Grande
18:11
11m
Talk
Designing immersive virtual training environments for experiential learning
SPLASH SRC
Kalliopi Evangelia StavrouliaCyprus University of Technology, Andreas LanitisCyprus University of Technology
18:22
11m
Talk
Debugging Support for Multi-paradigm Concurrent Programs
SPLASH SRC
Dominik AumayrJohannes Kepler University Linz, Austria
18:33
11m
Talk
Linear capabilities for CHERI
SPLASH SRC
Aaron LippeveldtsVrije Universiteit Brussel, Dominique DevrieseVrije Universiteit Brussel
18:45
11m
Talk
An Empirical Study of Programming Language Effect on OSS Development Effort
SPLASH SRC
Muna AltherwiSouthampton University
18:56
11m
Talk
Practical Second Futamura Projection
SPLASH SRC
Florian LatifiJohannes Kepler University Linz
DOI Pre-print
19:07
11m
Talk
Gradual Program Analysis
SPLASH SRC
Samuel EstepLiberty University, Jenna WiseCarnegie Mellon University, Jonathan AldrichCarnegie Mellon University, Éric TanterUniversity of Chile & Inria Paris, Johannes BaderFacebook
19:18
11m
Talk
Incremental Scannerless Generalized LR Parsing
SPLASH SRC
Maarten P. SijmDelft University of Technology

Conference Day
Thu 24 Oct

Displayed time zone: Beirut change

17:30 - 19:30
Poster #2SPLASH Posters at Foyer
17:30
2m
Poster
Etherolic: A Concolic Execution System for Security Analysis of Smart Contracts
SPLASH Posters
Mohammadreza AshouriUniversity of Potsdam, Germany
17:32
2m
Poster
Language-Parametric Semantic Editor Services based on Declarative Type System Specifications
SPLASH Posters
Daniel A. A. PelsmaekerDelft University of Technology, Netherlands, Hendrik van AntwerpenTU Delft, Eelco VisserDelft University of Technology
17:35
2m
Poster
NAB: Automated Large-scale Multi-language Dynamic Program Analysis in Public Code Repositories
SPLASH 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
2m
Poster
A Symmetry-Based $N$-Body Solver Compiler
SPLASH Posters
Shigeyuki SatoThe University of Tokyo
17:40
2m
Poster
Renaissance: A Modern Benchmark Suite for Parallel Applications on the JVM
SPLASH 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
2m
Poster
MetaDL : Declarative Program Analysis for the Masses
SPLASH Posters
Alexandru DuraLund University, Hampus BalldinLund University
17:46
2m
Poster
Obsidian: Typestate and Assets for Safer Smart Contracts
SPLASH Posters
Michael CoblenzCarnegie Mellon University, Jonathan AldrichCarnegie Mellon University, Joshua SunshineCarnegie Mellon University, Brad A. MyersCarnegie Mellon University
17:49
2m
Poster
Component-Based Computation-Energy Modeling for Embedded Systems
SPLASH 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
2m
Poster
Distributed Object-oriented Programming with Multiple Consistency Levels in ConSysT
SPLASH Posters
Nafise EskandaniTechnische Universität Darmstadt, Mirko KöhlerTechnische Universität Darmstadt, Guido SalvaneschiTechnische Universität Darmstadt
17:54
2m
Poster
Comparison Between Object-Sensitivity and Call-Site-Sensitivity in Generalized k-Limited Context Abstraction
SPLASH Posters
Minseok JeonKorea University, South Korea, Sehun JeongKorea University, South Korea, Hakjoo OhKorea University
17:57
2m
Poster
Automatically Fixing Memory-Leaks
SPLASH Posters
Seongjoon HongKorea University, Junhee LeeKorea University, South Korea, Jeongsoo LeeKorea University, Hakjoo OhKorea University
18:00
2m
Poster
Precise Safety Verification of Smart Contracts
SPLASH Posters
Sunbeom SoKorea University, Myungho LeeKorea University, Hakjoo OhKorea University
18:02
2m
Poster
Towards a WebAssembly Standalone Runtime on GraalVM
SPLASH Posters
Salim S. SalimUniversity of Manchester, Andrew NisbetThe University of Manchester, Mikel LujánUniversity of Manchester
18:05
2m
Poster
Performance, Portability, and Productivity for Data-Parallel Applications on Multi- and Many-Core Architectures
SPLASH Posters
Ari RaschUniversity of Münster, Richard SchulzeUniversity of Münster, Sergei Gorlatch
18:08
2m
Poster
Squirrel: An Extensible Distributed KV Store
SPLASH Posters
Kevin De Porre, Elisa Gonzalez BoixVrije Universiteit Brussel, Belgium
Link to publication
18:10
2m
Poster
Memory efficient CRDTs in dynamic environments
SPLASH Posters
Jim BauwensVrije Universiteit Brussel, Elisa Gonzalez BoixVrije Universiteit Brussel, Belgium
Link to publication
18:13
2m
Poster
Context-Oriented Live Programming Environments with Mixed Reality System for IoT Education
SPLASH 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
2m
Poster
Generating a Fluent API with Syntax Checking from an LR Grammar
SPLASH 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
2m
Poster
Multitier Reactive Programming in High Performance Computing
SPLASH Posters
Daniel SokolowskiTechnische Universität Darmstadt, Philipp MartensTechnische Universität Darmstadt, Guido SalvaneschiTechnische Universität Darmstadt
Link to publication
18:21
2m
Poster
Certifying Graph-Manipulating C Programs via Localizations within Data Structures
SPLASH 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
2m
Poster
Aroma: Code Recommendation via Structural Code Search
SPLASH Posters
Sifei LuanFacebook, Inc., Di YangUniversity of California, Irvine, Celeste BarnabyFacebook, Inc., Koushik SenUniversity of California, Berkeley, Satish ChandraFacebook
Link to publication
18:27
2m
Poster
System FR: Formalized Foundations for the Stainless Verifier
SPLASH Posters
Jad HamzaEPFL, Switzerland, Nicolas VoirolEPFL, Switzerland, Viktor KunčakEPFL, Switzerland
Link to publication
18:30
2m
Poster
A Fault-Tolerant Programming Model for Distributed Interactive Applications
SPLASH 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
2m
Poster
WARDuino: A Dynamic WebAssembly Virtual Machine for Programming Microcontrollers
SPLASH Posters
Robbert Gurdeep SinghUniversiteit Gent, Belgium, Christophe ScholliersUniversiteit Gent, Belgium
Link to publication
18:35
2m
Poster
Automatic and Scalable Detection of Logical Errors in Functional Programming Assignments
SPLASH Posters
Dowon SongKorea University, Myungho LeeKorea University, Hakjoo OhKorea University
Link to publication
18:38
2m
Poster
Asphalion: Trustworthy Shielding against Byzantine Faults
SPLASH Posters
Ivana VukoticSnT, University of Luxembourg, Vincent RahliUniversity of Birmingham, Paulo Esteves-VeríssimoSnT, University of Luxembourg
Link to publication
18:40
2m
Poster
IVT: An Efficient Method for Sharing Subtype Polymorphic Objects
SPLASH 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
2m
Poster
Turning Unobservable into Unreachable: Dynamic Reactive Programming without Leaks
SPLASH Posters
David RichterTechnische Universität Darmstadt, Ragnar MogkTechnische Universität Darmstadt
Link to publication
18:46
2m
Poster
TLA+ model checking made symbolic
SPLASH Posters
Igor KonnovInria Nancy - Grand Est, France, Jure KukovecTU Wien, Austria, Thanh-Hai TranTU Wien, Austria
Link to publication
18:49
2m
Poster
Getafix: Learning to Fix Bugs Automatically
SPLASH Posters
Johannes BaderFacebook, Andrew ScottFacebook, Michael PradelUniversity of Stuttgart, Satish ChandraFacebook
Link to publication
18:51
2m
Poster
Dependence-Aware, Unbounded Sound Predictive Race Detection
SPLASH Posters
Kaan GençOhio State University, Jake RoemerOhio State University, Yufan XuOhio State University, Michael D. BondOhio State University
Link to publication
18:54
2m
Poster
Effective Lock Handling in Stateless Model Checking
SPLASH Posters
Michalis KokologiannakisMPI-SWS, Germany, Azalea RaadMPI-SWS, Germany, Viktor VafeiadisMPI-SWS, Germany
Link to publication
18:57
2m
Poster
Language-Integrated Privacy-Aware Distributed Queries
SPLASH 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
2m
Poster
I/O Dependent Idempotence Bugs in Intermittent Systems
SPLASH Posters
Milijana SurbatovichCarnegie Mellon University, Limin JiaCarnegie Mellon University, Brandon LuciaCarnegie Mellon University
Link to publication
19:02
2m
Poster
Vision Paper: Generating Incremental Type Services
SPLASH Posters
André PacakJGU Mainz, Sebastian ErdwegJGU Mainz
Link to publication
19:05
2m
Poster
Static Analysis with Demand-Driven Value Refinement
SPLASH 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
2m
Poster
Improving Bug Detection via Context-based Code Representation Learning and Attention-based Neural Networks
SPLASH 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
2m
Poster
Reflection in Attribute Grammars
SPLASH Posters
Lucas KramerUniversity of Minnesota, Ted KaminskiUniversity of Minnesota, Eric Van WykUniversity of Minnesota, USA
Link to publication
19:13
2m
Poster
DeepSEA: A Language for Certified System Software
SPLASH Posters
Vilhelm SjöbergYale University, Yuyang SangYale University, Shu-chun WengYale University, Zhong ShaoYale University
Link to publication
19:16
2m
Poster
Practical Second Futamura Projection
SPLASH Posters
Florian LatifiJohannes Kepler University Linz
19:19
2m
Poster
Gradual Program Analysis
SPLASH Posters
Samuel EstepLiberty University, Jenna WiseCarnegie Mellon University, Jonathan AldrichCarnegie Mellon University, Éric TanterUniversity of Chile & Inria Paris, Johannes BaderFacebook
19:21
2m
Poster
Incremental Scannerless Generalized LR Parsing
SPLASH Posters
Maarten P. SijmDelft University of Technology
19:24
2m
Poster
Improving Performance and Quality of Database-Backed Software
SPLASH 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
2m
Poster
On the Fly Synthesis of Edit Suggestions
SPLASH Posters
Anders MiltnerPrinceton University, Sumit GulwaniMicrosoft, Vu LeMicrosoft, Alan LeungMicrosoft, Arjun RadhakrishnaMicrosoft, Gustavo SoaresMicrosoft, Ashish TiwariMicrosoft, Abhishek UdupaMicrosoft
Link to publication

Conference Day
Wed 23 Oct

Displayed time zone: Beirut change

Conference Day
Thu 24 Oct

Displayed time zone: Beirut change

Room17:003018:003019:0030
Foyer

Conference Day
Thu 24 Oct

Displayed time zone: Beirut change

Room17:0015304518:0015304519:00153045
Foyer