Write a Blog >>
Onward! 2018
Wed 7 - Thu 8 November 2018 Boston, Massachusetts, United States
co-located with SPLASH 2018
SPLASH 2018 (series) / Onward! 2018 (series) / Boston Park Plaza Hotel /

Room information: Terrace

VenueBoston Park Plaza Hotel
Room nameTerrace
Floor0
Additional informationThere is no additional information of this room available.
Program

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

Sun 4 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

08:00 - 09:00: BreakfastSPLASH Social at Terrace
10:00 - 10:30: BreakSPLASH Social at Terrace
15:00 - 15:30: BreakSPLASH Social at Terrace
17:00 - 18:00: Social SPLASH Social at Terrace

Mon 5 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

07:30 - 08:30: BreakfastSPLASH Social at Terrace
10:00 - 10:30: BreakSPLASH Social at Terrace
15:00 - 15:30: BreakSPLASH Social at Terrace
17:30 - 19:30: PosterSPLASH Posters at Terrace
17:30 - 17:31
Poster		Data Programming (DP): A new way of programming user interfaces
SPLASH Posters
A: Blaine Bell
Link to publication
17:31 - 17:33
Poster		Programming by example: efficient, but not "helpful"
SPLASH Posters
A: Mark SantolucitoYale University, USA, A: Drew GoldmanRoslyn High School, A: Allyson WeseleyRoslyn High School, A: Ruzica PiskacYale University, USA
Link to publication
17:33 - 17:34
Poster		Obsidian: A Safer Blockchain Programming Language
SPLASH Posters
A: Michael CoblenzCarnegie Mellon University, A: Jonathan AldrichCarnegie Mellon University, A: Brad A. MyersCarnegie Mellon University, A: Joshua SunshineCarnegie Mellon University
17:34 - 17:36
Talk		Toward a Language-Parametric Code Completion Editor Service
SPLASH Posters
Daniel A. A. PelsmaekerDelft University of Technology, Netherlands, Eelco VisserDelft University of Technology
Link to publication
17:36 - 17:38
Poster		Compositional Programming and Testing of Dynamic Distributed Systems
SPLASH Posters
A: Ankush DesaiUniversity of California, Berkeley, A: Amar PhanishayeeMicrosoft Research, A: Shaz QadeerMicrosoft Research, A: Sanjit SeshiaUC Berkeley
Link to publication
17:38 - 17:39
Poster		Messir, a Text-first DSL-based Approach for UML Requirements Engineering (Tool Demo)
SPLASH Posters
A: Benoît RiesUniversity of Luxembourg, A: Alfredo CapozuccaUniversity of Luxembourg, A: Nicolas GuelfiUniversity of Luxembourg
Link to publication
17:39 - 17:41
Poster		Finding Broken Promises in Asynchronous JavaScript Programs
SPLASH Posters
A: Saba AlimadadiNortheastern University, A: Di ZhongNortheastern University, USA, A: Magnus MadsenAarhus University, A: Frank TipNortheastern University
Link to publication
17:41 - 17:43
Talk		Test Generation for Higher-Order Functions in Dynamic Languages
SPLASH Posters
A: Marija SelakovicTU Darmstadt, Germany, A: Michael PradelTU Darmstadt, A: Rezwana Karim NawrinSamsung Research America, A: Frank TipNortheastern University
Link to publication
17:43 - 17:44
Poster		Speeding up Symbolic Reasoning for Relational Queries
SPLASH Posters
A: Chenglong WangUniversity of Washington, USA, A: Alvin CheungUniversity of Washington, A: Rastislav BodikUniversity of Washington
Link to publication
17:44 - 17:46
Poster		Fixing Machine Learning with Solver-Aided Languages
SPLASH Posters
A: Revan MacQueenUniversity of Alberta, A: Julian DolbyIBM Research, A: Karim AliUniversity of Alberta
17:46 - 17:48
Poster		SWAN: A Swift Program Analysis Framework
SPLASH Posters
A: Jeff ChoUniversity of Alberta, A: Mark MrozUniversity of Ottawa, A: Julian DolbyIBM Research, A: Karim AliUniversity of Alberta
Link to publication
17:48 - 17:49
Poster		The Software Architecture of Economy Mechanics in Digital Games
SPLASH Posters
A: Wilson MizutaniUniversity of São Paulo
Link to publication
17:49 - 17:51
Poster		Identifying Barriers to Adoption for Rust through Online Discourse
SPLASH Posters
A: Anna ZengStanford University, A: Will CrichtonStanford University
Link to publication
17:51 - 17:53
Poster		Handling inconsistencies in software product line using a rule-based approach
SPLASH Posters
Megha BhushanChitkara University, Punjab, India, A: Shivani Goel, Arun NegiMinistry of Defence, Government of India, India, Piyush SamantThapar Institute of Engineering, Patiala, Punjab, India
17:53 - 17:54
Poster		Chocola: Integrating Futures, Actors, and Transactions
SPLASH Posters
A: Janwillem SwalensVrije Universiteit Brussel, A: Wolfgang De MeuterVrije Universiteit Brussel, A: Joeri De KosterVrije Universiteit Brussel, Belgium
Link to publication Pre-print
17:54 - 17:56
Poster		Anomaly Analyses for Feature-Model Evolution
SPLASH Posters
A: Michael NiekeTU Braunschweig, Germany, A: Christoph SeidlTechnische Universität Braunschweig, A: Jacopo MauroUniversity of Southern Denmark, A: Thomas ThümTU Braunschweig, Germany, A: Ingrid Chieh YuUniversity of Oslo, A: Felix FranzkeTU Braunschweig
Link to publication
17:56 - 17:57
Poster		Understanding Java Usability by Mining GitHub Repositories
SPLASH Posters
A: Mark Lemay
Link to publication
17:57 - 17:59
Poster		Precise and Scalable Points-to Analysis via Data-Driven Context Tunneling
SPLASH Posters
A: Minseok JeonKorea University, South Korea, A: Sehun JeongKorea University, A: Hakjoo OhKorea University
Link to publication
17:59 - 18:01
Poster		QDB: From Quantum Algorithms Towards Correct Quantum Programs
SPLASH Posters
A: Yipeng HuangPrinceton University, A: Margaret Martonosi
Link to publication
18:01 - 18:02
Talk		Declarative Specification of Indentation Rules: A Tooling Perspective on Parsing and Pretty-Printing Layout-Sensitive Languages
SPLASH Posters
A: Luis Eduardo de Souza AmorimDelft University of Technology, Netherlands, A: Michael J. SteindorferDelft University of Technology, A: Sebastian ErdwegTU Delft, A: Eelco VisserDelft University of Technology
Link to publication
18:02 - 18:04
Poster		Safe Replication through Bounded Concurrency Verification
SPLASH Posters
A: Gowtham KakiPurdue University, A: Kapil EarankyPurdue University, A: KC SivaramakrishnanUniversity of Cambridge, A: Suresh JagannathanPurdue University
Link to publication
18:04 - 18:06
Poster		Automatic Diagnosis and Correction of Logical Errors for Functional Programming Assignments
SPLASH Posters
A: Junho LeeKorea University, A: Dowon SongKorea University, A: Sunbeom SoKorea University, A: Hakjoo OhKorea University
Link to publication
18:06 - 18:07
Poster		Observable atomic consistency for CvRDTs
SPLASH Posters
A: Xin ZhaoKTH Royal Institute of Technology, A: Philipp HallerKTH, Sweden
Link to publication
18:07 - 18:09
Poster		Reconciling High-level Optimizations and Low-level Code in LLVM
SPLASH Posters
A: Juneyoung LeeSeoul National University, A: Chung-Kil HurSeoul National University, A: Ralf JungMPI-SWS, A: Zhengyang LiuUniversity of Utah, A: John RegehrUniversity of Utah, A: Nuno P. LopesMicrosoft Research
Link to publication
18:09 - 18:11
Poster		Meta-programming for cross-domain tensor optimizations
SPLASH Posters
A: Adilla SusungiMINES ParisTech, France, A: Norman A. RinkTU Dresden, Germany, A: Albert CohenGoogle, A: Jeronimo CastrillonTU Dresden, Germany, A: Claude TadonkiMINES ParisTech, France
Link to publication
18:11 - 18:12
Poster		One Tool, Many Languages: Language-Parametric Transformation with Incremental Parametric Syntax
SPLASH Posters
A: James KoppelMIT, A: Varot PremtoonMIT, A: Armando Solar-LezamaMIT CSAIL
Link to publication
18:12 - 18:14
Poster		Scaling the REPL Experience
SPLASH Posters
A: Yair ChuchemLamdu, A: Eyal LotemLamdu
Link to publication
18:14 - 18:16
Poster		Automated Rule Inference for Cryptographic APIs through Source Code Repositories
SPLASH Posters
A: Anna-Katharina WickertTU Darmstadt
Link to publication
18:16 - 18:17
Poster		Exploring feature interactions without specifications: a controlled experiment
SPLASH Posters
A: Larissa SoaresUniversidade Federal da Bahia, A: Jens MeinickeMagdeburg University, A: Sarah NadiUniversity of Alberta, A: Christian KaestnerCarnegie Mellon University, A: Eduardo Santana de AlmeidaUniversidade Federal da Bahia
Link to publication
18:17 - 18:19
Poster		GraphIt - A High-Performance Graph DSL
SPLASH Posters
A: Yunming Zhang, A: Mengjiao YangMIT CSAIL, A: Riyadh BaghdadiMIT, A: Shoaib KamilAdobe, A: Julian ShunMIT, A: Saman AmarasingheMIT
Link to publication
18:19 - 18:20
Poster		Symmetry-based Optimization of Interaction Kernels
SPLASH Posters
A: Shigeyuki SatoKochi University of Technology
18:20 - 18:22
Poster		Sound Deadlock Prediction
SPLASH Posters
A: Christian Gram KalhaugeUniversity of California, Los Angeles, A: Jens PalsbergUniversity of California, Los Angeles
Link to publication
18:22 - 18:24
Poster		Conflict Resolution for Structured Merge via Version Space Algebra
SPLASH Posters
A: Fengmin Zhu, A: Fei HeTsinghua University
Link to publication
18:24 - 18:25
Poster		Robust Relational Layout Synthesis from Examples for Android
SPLASH Posters
A: Pavol BielikETH Zürich, A: Marc FischerETH Zurich, A: Martin VechevETH Zürich
Link to publication
18:25 - 18:27
Poster		Parallelization of Dynamic Languages: Synchronizing Built-in Collections
SPLASH Posters
A: Benoit DalozeJKU Linz, Austria, A: Arie TalTechnion, A: Stefan MarrUniversity of Kent, A: Hanspeter MössenböckJKU Linz, Austria, A: Erez PetrankTechnion
Link to publication
18:27 - 18:29
Poster		RT-Trust: Automated Refactoring for Trusted Execution Under Real-Time Constraints
SPLASH Posters
A: Yin LiuVirginia Tech, A: Kijin AnVirginia Tech, A: Eli TilevichVirginia Tech
Link to publication
18:29 - 18:30
Poster		Scopes as Types
SPLASH Posters
A: Hendrik van AntwerpenTU Delft, A: Casper Bach PoulsenDelft University of Technology, A: Arjen RouvoetDelft University of Technology, A: Eelco VisserDelft University of Technology
Link to publication
18:30 - 18:32
Poster		Generating a Java Library from Its Specification
SPLASH Posters
A: Tomoki NakamaruThe University of Tokyo, A: Shigeru ChibaThe University of Tokyo
18:32 - 18:34
Poster		Thread-Safe Reactive Programming
SPLASH Posters
A: Joscha DrechslerTechnische Universität Darmstadt, A: Ragnar MogkTechnische Universität Darmstadt, A: Guido SalvaneschiTU Darmstadt, A: Mira MeziniTU Darmstadt
Link to publication
18:34 - 18:35
Poster		Storm: A Language Platform for Interacting and Extensible Languages (Tool Demo)
SPLASH Posters
A: Filip StrömbäckLinköping University
Link to publication
18:35 - 18:37
Poster		Multi-Device Grace
SPLASH Posters
A: Ben Selwyn-Smith, A: Craig AnslowVictoria University of Wellington, A: Michael HomerVictoria University of Wellington
18:37 - 18:39
Poster		Migrating Custom DSL Implementations to a Language Workbench: An Industrial Tool Demonstration (Tool Demo)
SPLASH Posters
A: Jasper DenkersTU Delft, A: Louis van GoolOcé Technologies B.V., A: Eelco VisserDelft University of Technology
Link to publication
18:39 - 18:40
Poster		Guiding Inlining Decisions by Identifying Post-Inlining Transformations
SPLASH Posters
A: Erick OchoaUniversity of Alberta, A: Andrew CraikIBM Canada, A: Jose Nelson AmaralUniversity of Alberta, A: Karim AliUniversity of Alberta
18:40 - 18:42
Poster		Compiling Distributed System Specifications into Implementations
SPLASH Posters
A: Matthew DoComputer Science, University of British Columbia, A: Renato MascarenhasComputer Science, University of British Columbia, A: Finn HacketComputer Science, University of Waterloo, A: Brandon ZhangComputer Science, University of British Columbia, A: Yi Fan (Bob) YangFacebook, A: Adam GellerComputer Science, University of British Columbia, A: Ivan BeschastnikhComputer Science, University of British Columbia
18:42 - 18:43
Poster		Towards Understanding the Costs of Avoiding Out-of-Thin-Air Results
SPLASH Posters
A: Peizhao OuUniversity of California, Irvine, A: Brian DemskyUniversity of California, Irvine
Link to publication
18:43 - 18:45
Poster		Incremental compilation for Stratego
SPLASH Posters
A: Jeff SmitsDelft University of Technology, A: Eelco VisserDelft University of Technology
Link to publication
18:45 - 18:47
Poster		Using Compiler Snippets to Exploit Parallelism on Heterogeneous Hardware: A Java Reduction Case Study
SPLASH Posters
A: Juan FumeroThe University of Manchester, A: Christos KotselidisThe University of Manchester
Link to publication
18:47 - 18:48
Poster		Object-Oriented Recovery for Non-Volatile Memory
SPLASH Posters
A: Nachshon CohenEPFL, Switzerland, A: David T. AksunEPFL, A: James LarusEPFL
Link to publication
18:48 - 18:50
Poster		Faster Variational Execution with Transparent Bytecode Transformation
SPLASH Posters
A: Chu-Pan WongCarnegie Mellon University, A: Jens MeinickeMagdeburg University, A: Lukas Lazarek, A: Christian KaestnerCarnegie Mellon University
Link to publication
18:50 - 18:52
Poster		Observing the Uptake of a Language Change Making Strings Immutable
SPLASH Posters
A: Manuel MaarekHeriot-Watt University
Link to publication
18:52 - 18:53
Poster		Orchestrating Dynamic Analyses of Distributed Processes for Full-Stack JavaScript Programs
SPLASH Posters
A: Laurent ChristopheVUB, A: Coen De RooverVrije Universiteit Brussel, A: Elisa Gonzalez BoixVrije Universiteit Brussel, A: Wolfgang De MeuterVrije Universiteit Brussel
Link to publication
18:53 - 18:55
Poster		Espalier: a structured spreadsheet tool for end-user development of organizational applications
SPLASH Posters
A: Matt McCutchenMIT, A: Shachar ItzhakyTechnion, Israel, A: Daniel JacksonMIT, A: Willow JarvisMIT
Link to publication
18:55 - 18:57
Poster		Identifying Refactoring Opportunities for Replacing Type Code with Subclass and State
SPLASH Posters
A: Jyothi VeduradaIIT Madras, A: V Krishna NandivadaIIT Madras
Link to publication
18:57 - 18:58
Poster		Margin Notes: Automatic code documentation with recorded examples from runtime
SPLASH Posters
A: Geoffrey Litt
Link to publication
18:58 - 19:00
Poster		A Practical Unification of Multi-Stage Programming and Macros
SPLASH Posters
A: Nicolas StuckiEPFL, Switzerland, A: Aggelos BiboudisEPFL, Switzerland, A: Martin OderskyEPFL, Switzerland
Link to publication
19:00 - 19:02
Poster		Precision-Guided Context Sensitivity for Pointer Analysis
SPLASH Posters
A: Yue LiAarhus University, Denmark, A: Tian TanAarhus University, Denmark, A: Anders MøllerAarhus University, A: Yannis SmaragdakisUniversity of Athens
Link to publication
19:02 - 19:03
Poster		Skitter: A DSL for Distributed Reactive Workflows
SPLASH Posters
A: Mathijs SaeyVrije Universiteit Brussel, A: Joeri De KosterVrije Universiteit Brussel, Belgium, A: Wolfgang De MeuterVrije Universiteit Brussel
Link to publication
19:03 - 19:05
Poster		Consolidating Inheritance and Scoping into a Context Abstraction
SPLASH Posters
A: Matan I. PeledTechnion—Israel Institute of Technology
19:05 - 19:06
Poster		Modular Language Composition for the Masses
SPLASH Posters
A: Manuel LeducIRISA, University of Rennes 1, A: Thomas DegueuleCentrum Wiskunde & Informatica, A: Benoit CombemaleUniversity of Rennes 1
Link to publication
19:06 - 19:08
Poster		From Debugging Towards Live Tuning of Reactive Applications
SPLASH Posters
A: Ragnar MogkTechnische Universität Darmstadt, A: Pascal WeisenburgerTechnische Universität Darmstadt, A: Julian HaasTechnische Universität Darmstadt, A: David RichterTechnische Universität Darmstadt
Link to publication
19:08 - 19:10
Poster		Secure Serverless Computing Using Dynamic Information Flow Control
SPLASH Posters
A: Kalev AlpernasTel Aviv University, A: Cormac FlanaganUniversity of California, Santa Cruz, A: Sadjad FouladiStanford University, A: Leonid RyzhykVMware Research, A: Mooly SagivTel Aviv University, A: Thomas Schmitz, A: Keith WinsteinStanford University
Link to publication
19:10 - 19:11
Poster		DISCOPAR: A Visual Reactive Programming Language for Generating Cloud-based Participatory Sensing Platforms
SPLASH Posters
A: Jesse ZamanVrije Universiteit Brussel, A: Kennedy KambonaVrije Universiteit Brussel, A: Wolfgang De MeuterVrije Universiteit Brussel
Link to publication
19:11 - 19:13
Poster		A Derivation Framework for Dependent Security Label Inference
SPLASH Posters
A: Peixuan LiPenn State University, A: Danfeng ZhangPennsylvania State University
Link to publication
19:13 - 19:15
Poster		Distributed System Development with ScalaLoci
SPLASH Posters
A: Pascal WeisenburgerTechnische Universität Darmstadt, A: Mirko Köhler, A: Guido SalvaneschiTU Darmstadt
Link to publication
19:15 - 19:16
Poster		An Empirical Study of the Effect of Source-level Loop Transformations on Compiler Stability
SPLASH Posters
A: Zhangxiaowen GongUniversity of Illinois at Urbana-Champaign, A: Zhi ChenUniversity of California, Irvine, A: Justin SzadayUniversity of Illinois at Urbana-Champaign, A: David WongIntel, A: Zehra SuraIBM Research, A: Neftali Watkinson, A: Saeed MalekiMicrosoft Research, A: David PaduaUniversity of Illinois at Urbana-Champaign, A: Alexander VeidenbaumUniversity of California, Irvine, A: Alexandru NicolauUniversity of California, Irvine, A: Josep TorrellasUniversity of Illinois at Urbana-Champaign
Link to publication
19:16 - 19:18
Poster		METACO, a Type Checker Generator
SPLASH Posters
A: Haochen XieNagoya University
19:18 - 19:20
Poster		Refinement in object-sensitivity points-to analysis via slicing
SPLASH Posters
A: Girish Maskeri RamaInfosys Limited, A: Raghavan KomondoorIndian Institute of Science, Bangalore, A: Himanshu SharmaIndian Institute of Science, Bangalore
Link to publication
19:20 - 19:21
Poster		Explaining Spreadsheets with Spreadsheets
SPLASH Posters
A: Jácome CunhaUniversity of Minho, A: Mihai DanOregon State University, A: Martin ErwigOregon State University, A: Danila FedorinOregon State University, A: Alex GrejucOregon State University
Link to publication
19:21 - 19:23
Poster		Continuous Model Validation using Reference Attribute Grammars
SPLASH Posters
A: Johannes MeyTechnische Universität Dresden, A: René SchöneTechnische Universität Dresden, A: Görel Hedin, A: Emma SöderbergLund University, A: Thomas KühnTechnische Universität Dresden, A: Niklas ForsLund University, A: Jesper OqvistLund University, A: Uwe AßmannTU Dresden, Germany
Link to publication Pre-print
19:23 - 19:25
Poster		CROCHET: Checkpoint and Rollback via Lightweight Heap Traversal on Stock JVMs
SPLASH Posters
A: Jonathan BellGeorge Mason University, A: Luís PinaGeorge Mason University
19:25 - 19:26
Poster		DeepBugs: A Learning Approach to Name-based Bug Detection
SPLASH Posters
A: Michael PradelTU Darmstadt, A: Koushik SenUniversity of California, Berkeley
Link to publication
19:26 - 19:28
Talk		Grammar Induction for Programming Languages using Skip-Gram Model
SPLASH Posters
Tomomasa Matsunaga, Shigeru ChibaThe University of Tokyo
19:28 - 19:30
Poster		Migrating Business Logic to an Incremental Computing DSL: A Case Study
SPLASH Posters
A: Daco HarkesDelft University of Technology, A: Elmer van ChasteletDelft University of Technology, A: Eelco VisserDelft University of Technology
Link to publication

Tue 6 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

07:30 - 08:30: BreakfastSPLASH Social at Terrace
10:00 - 10:30: BreakSPLASH Social at Terrace
15:00 - 15:30: BreakSPLASH Social at Terrace
17:00 - 18:00: SocialSPLASH Social at Terrace

Wed 7 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

07:30 - 08:30: BreakfastSPLASH Social at Terrace
10:00 - 10:30: BreakSPLASH Social at Terrace
15:00 - 15:30: BreakSPLASH Social at Terrace

Thu 8 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

07:30 - 08:30: BreakfastSPLASH Social at Terrace
10:00 - 10:30: BreakSPLASH Social at Terrace
15:00 - 15:30: BreakSPLASH Social at Terrace

Fri 9 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

07:30 - 08:30: BreakfastSPLASH Social at Terrace
10:00 - 10:30: BreakSPLASH Social at Terrace
15:45 - 16:45: T-shirt socialSPLASH Social at Terrace

Sun 4 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:0030
Terrace

SPLASH Social

Breakfast

SPLASH Social

Break

SPLASH Social

Break

SPLASH Social

Social

Mon 5 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Room7:00308:00309:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:0030
Terrace

SPLASH Social

Breakfast

SPLASH Social

Break

SPLASH Social

Break

SPLASH Posters

Poster

Tue 6 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Room7:00308:00309:003010:003011:003012:003013:003014:003015:003016:003017:0030
Terrace

SPLASH Social

Breakfast

SPLASH Social

Break

SPLASH Social

Break

SPLASH Social

Social

Wed 7 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Room7:00308:00309:003010:003011:003012:003013:003014:003015:0030
Terrace

SPLASH Social

Breakfast

SPLASH Social

Break

SPLASH Social

Break

Thu 8 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Room7:00308:00309:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:0030
Terrace

SPLASH Social

Breakfast

SPLASH Social

Break

SPLASH Social

Break

SPLASH Social

Fri 9 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Room7:00308:00309:003010:003011:003012:003013:003014:003015:003016:0030
Terrace

SPLASH Social

Breakfast

SPLASH Social

Break

SPLASH Social

SPLASH Social

T-shirt social

Mon 5 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Room17:0015304518:0015304519:00153045
Terrace
SPLASH Posters
Data Programming (DP): A new way of programming user interfaces
17:30 - 17:31
SPLASH Posters
Programming by example: efficient, but not "helpful"
17:31 - 17:33
SPLASH Posters
Obsidian: A Safer Blockchain Programming Language
17:33 - 17:34
SPLASH Posters
Toward a Language-Parametric Code Completion Editor Service
17:34 - 17:36
SPLASH Posters
Compositional Programming and Testing of Dynamic Distributed Systems
17:36 - 17:38
SPLASH Posters
Messir, a Text-first DSL-based Approach for UML Requirements Engineerin ...
17:38 - 17:39
SPLASH Posters
Finding Broken Promises in Asynchronous JavaScript Programs
17:39 - 17:41
SPLASH Posters
Test Generation for Higher-Order Functions in Dynamic Languages
17:41 - 17:43
SPLASH Posters
Speeding up Symbolic Reasoning for Relational Queries
17:43 - 17:44
SPLASH Posters
Fixing Machine Learning with Solver-Aided Languages
17:44 - 17:46
SPLASH Posters
SWAN: A Swift Program Analysis Framework
17:46 - 17:48
SPLASH Posters
The Software Architecture of Economy Mechanics in Digital Games
17:48 - 17:49
SPLASH Posters
Identifying Barriers to Adoption for Rust through Online Discourse
17:49 - 17:51
SPLASH Posters
Handling inconsistencies in software product line using a rule-based ap ...
17:51 - 17:53
SPLASH Posters
Chocola: Integrating Futures, Actors, and Transactions
17:53 - 17:54
SPLASH Posters
Anomaly Analyses for Feature-Model Evolution
17:54 - 17:56
SPLASH Posters
Understanding Java Usability by Mining GitHub Repositories
17:56 - 17:57
SPLASH Posters
Precise and Scalable Points-to Analysis via Data-Driven Context Tunneling
17:57 - 17:59
SPLASH Posters
QDB: From Quantum Algorithms Towards Correct Quantum Programs
17:59 - 18:01
SPLASH Posters
Declarative Specification of Indentation Rules: A Tooling Perspective o ...
18:01 - 18:02
SPLASH Posters
Safe Replication through Bounded Concurrency Verification
18:02 - 18:04
SPLASH Posters
Automatic Diagnosis and Correction of Logical Errors for Functional Pro ...
18:04 - 18:06
SPLASH Posters
Observable atomic consistency for CvRDTs
18:06 - 18:07
SPLASH Posters
Reconciling High-level Optimizations and Low-level Code in LLVM
18:07 - 18:09
SPLASH Posters
Meta-programming for cross-domain tensor optimizations
18:09 - 18:11
SPLASH Posters
One Tool, Many Languages: Language-Parametric Transformation with Incre ...
18:11 - 18:12
SPLASH Posters
Scaling the REPL Experience
18:12 - 18:14
SPLASH Posters
Automated Rule Inference for Cryptographic APIs through Source Code Rep ...
18:14 - 18:16
SPLASH Posters
Exploring feature interactions without specifications: a controlled exp ...
18:16 - 18:17
SPLASH Posters
GraphIt - A High-Performance Graph DSL
18:17 - 18:19
SPLASH Posters
Symmetry-based Optimization of Interaction Kernels
18:19 - 18:20
SPLASH Posters
Sound Deadlock Prediction
18:20 - 18:22
SPLASH Posters
Conflict Resolution for Structured Merge via Version Space Algebra
18:22 - 18:24
SPLASH Posters
Robust Relational Layout Synthesis from Examples for Android
18:24 - 18:25
SPLASH Posters
Parallelization of Dynamic Languages: Synchronizing Built-in Collections
18:25 - 18:27
SPLASH Posters
RT-Trust: Automated Refactoring for Trusted Execution Under Real-Time C ...
18:27 - 18:29
SPLASH Posters
Scopes as Types
18:29 - 18:30
SPLASH Posters
Generating a Java Library from Its Specification
18:30 - 18:32
SPLASH Posters
Thread-Safe Reactive Programming
18:32 - 18:34
SPLASH Posters
Storm: A Language Platform for Interacting and Extensible Languages (To ...
18:34 - 18:35
SPLASH Posters
Multi-Device Grace
18:35 - 18:37
SPLASH Posters
Migrating Custom DSL Implementations to a Language Workbench: An Indust ...
18:37 - 18:39
SPLASH Posters
Guiding Inlining Decisions by Identifying Post-Inlining Transformations
18:39 - 18:40
SPLASH Posters
Compiling Distributed System Specifications into Implementations
18:40 - 18:42
SPLASH Posters
Towards Understanding the Costs of Avoiding Out-of-Thin-Air Results
18:42 - 18:43
SPLASH Posters
Incremental compilation for Stratego
18:43 - 18:45
SPLASH Posters
Using Compiler Snippets to Exploit Parallelism on Heterogeneous Hardwar ...
18:45 - 18:47
SPLASH Posters
Object-Oriented Recovery for Non-Volatile Memory
18:47 - 18:48
SPLASH Posters
Faster Variational Execution with Transparent Bytecode Transformation
18:48 - 18:50
SPLASH Posters
Observing the Uptake of a Language Change Making Strings Immutable
18:50 - 18:52
SPLASH Posters
Orchestrating Dynamic Analyses of Distributed Processes for Full-Stack ...
18:52 - 18:53
SPLASH Posters
Espalier: a structured spreadsheet tool for end-user development of org ...
18:53 - 18:55
SPLASH Posters
Identifying Refactoring Opportunities for Replacing Type Code with Subc ...
18:55 - 18:57
SPLASH Posters
Margin Notes: Automatic code documentation with recorded examples from ...
18:57 - 18:58
SPLASH Posters
A Practical Unification of Multi-Stage Programming and Macros
18:58 - 19:00
SPLASH Posters
Precision-Guided Context Sensitivity for Pointer Analysis
19:00 - 19:02
SPLASH Posters
Skitter: A DSL for Distributed Reactive Workflows
19:02 - 19:03
SPLASH Posters
Consolidating Inheritance and Scoping into a Context Abstraction
19:03 - 19:05
SPLASH Posters
Modular Language Composition for the Masses
19:05 - 19:06
SPLASH Posters
From Debugging Towards Live Tuning of Reactive Applications
19:06 - 19:08
SPLASH Posters
Secure Serverless Computing Using Dynamic Information Flow Control
19:08 - 19:10
SPLASH Posters
DISCOPAR: A Visual Reactive Programming Language for Generating Cloud-b ...
19:10 - 19:11
SPLASH Posters
A Derivation Framework for Dependent Security Label Inference
19:11 - 19:13
SPLASH Posters
Distributed System Development with ScalaLoci
19:13 - 19:15
SPLASH Posters
An Empirical Study of the Effect of Source-level Loop Transformations o ...
19:15 - 19:16
SPLASH Posters
METACO, a Type Checker Generator
19:16 - 19:18
SPLASH Posters
Refinement in object-sensitivity points-to analysis via slicing
19:18 - 19:20
SPLASH Posters
Explaining Spreadsheets with Spreadsheets
19:20 - 19:21
SPLASH Posters
Continuous Model Validation using Reference Attribute Grammars
19:21 - 19:23
SPLASH Posters
CROCHET: Checkpoint and Rollback via Lightweight Heap Traversal on Stoc ...
19:23 - 19:25
SPLASH Posters
DeepBugs: A Learning Approach to Name-based Bug Detection
19:25 - 19:26
SPLASH Posters
Grammar Induction for Programming Languages using Skip-Gram Model
19:26 - 19:28
SPLASH Posters
Migrating Business Logic to an Incremental Computing DSL: A Case Study
19:28 - 19:30