SPLASH 2018 - Posters - SPLASH 2018 (original) (raw)

Megha Bhushan Chitkara University, Punjab, India, A: Shivani Goel , Arun Negi Ministry of Defence, Government of India, India, Piyush Samant Thapar Institute of Engineering, Patiala, Punjab, India

Poster

Storm: A Language Platform for Interacting and Extensible Languages (Tool Demo)

Posters

Link to publication

Poster

Espalier: a structured spreadsheet tool for end-user development of organizational applications

Posters

Link to publication

Poster

Scaling the REPL Experience

Posters

Link to publication

Poster

Sound Deadlock Prediction

Posters

Link to publication

Poster

Distributed System Development with ScalaLoci

Posters

Link to publication

Poster

Safe Replication through Bounded Concurrency Verification

Posters

Link to publication

Poster

Identifying Refactoring Opportunities for Replacing Type Code with Subclass and State

Posters

Link to publication

Poster

Margin Notes: Automatic code documentation with recorded examples from runtime

Posters

Link to publication

Poster

Refinement in object-sensitivity points-to analysis via slicing

Posters

Link to publication

Poster

The Software Architecture of Economy Mechanics in Digital Games

Posters

Link to publication

Poster

Finding Broken Promises in Asynchronous JavaScript Programs

Posters

Link to publication

Poster

Programming by example: efficient, but not "helpful"

Posters

Link to publication

Poster

Parallelization of Dynamic Languages: Synchronizing Built-in Collections

Posters

Link to publication

Poster

Symmetry-based Optimization of Interaction Kernels

Posters

Poster

A Practical Unification of Multi-Stage Programming and Macros

Posters

Link to publication

Poster

Messir, a Text-first DSL-based Approach for UML Requirements Engineering (Tool Demo)

Posters

Link to publication

Poster

One Tool, Many Languages: Language-Parametric Transformation with Incremental Parametric Syntax

Posters

Link to publication

Poster

Anomaly Analyses for Feature-Model Evolution

Posters

Link to publication

Poster

RT-Trust: Automated Refactoring for Trusted Execution Under Real-Time Constraints

Posters

Link to publication

Poster

Meta-programming for cross-domain tensor optimizations

Posters

Link to publication

Poster

Automatic Diagnosis and Correction of Logical Errors for Functional Programming Assignments

Posters

Link to publication

Poster

Robust Relational Layout Synthesis from Examples for Android

Posters

Link to publication

Poster

A Derivation Framework for Dependent Security Label Inference

Posters

Link to publication

Poster

An Empirical Study of the Effect of Source-level Loop Transformations on Compiler Stability

Posters

A: Zhangxiaowen Gong University of Illinois at Urbana-Champaign, A: Zhi Chen University of California, Irvine, A: Justin Szaday University of Illinois at Urbana-Champaign, A: David Wong Intel, A: Zehra Sura IBM Research, A: Neftali Watkinson , A: Saeed Maleki Microsoft Research, A: David Padua University of Illinois at Urbana-Champaign, A: Alexander Veidenbaum University of California, Irvine, A: Alexandru Nicolau University of California, Irvine, A: Josep Torrellas University of Illinois at Urbana-Champaign

Link to publication

Poster

Consolidating Inheritance and Scoping into a Context Abstraction

Posters

A: Matan I. Peled Technion—Israel Institute of Technology

Talk

Test Generation for Higher-Order Functions in Dynamic Languages

Posters

Link to publication

Poster

Using Compiler Snippets to Exploit Parallelism on Heterogeneous Hardware: A Java Reduction Case Study

Posters

Link to publication

Poster

DISCOPAR: A Visual Reactive Programming Language for Generating Cloud-based Participatory Sensing Platforms

Posters

Link to publication

Poster

Explaining Spreadsheets with Spreadsheets

Posters

Link to publication

Poster

Skitter: A DSL for Distributed Reactive Workflows

Posters

Link to publication

Poster

Thread-Safe Reactive Programming

Posters

Link to publication

Poster

Automated Rule Inference for Cryptographic APIs through Source Code Repositories

Posters

Link to publication

Poster

Observable atomic consistency for CvRDTs

Posters

Link to publication

Poster

Conflict Resolution for Structured Merge via Version Space Algebra

Posters

Link to publication

Poster

Observing the Uptake of a Language Change Making Strings Immutable

Posters

Link to publication

Poster

Secure Serverless Computing Using Dynamic Information Flow Control

Posters

Link to publication

Poster

Understanding Java Usability by Mining GitHub Repositories

Posters

Link to publication

Poster

Compiling Distributed System Specifications into Implementations

Posters

A: Matthew Do Computer Science, University of British Columbia, A: Renato Mascarenhas Computer Science, University of British Columbia, A: Finn Hacket Computer Science, University of Waterloo, A: Brandon Zhang Computer Science, University of British Columbia, A: Yi Fan (Bob) Yang Facebook, A: Adam T. Geller Computer Science, University of British Columbia, A: Ivan Beschastnikh Computer Science, University of British Columbia

Poster

From Debugging Towards Live Tuning of Reactive Applications

Posters

Link to publication

Poster

Data Programming (DP): A new way of programming user interfaces

Posters

Link to publication

Poster

Object-Oriented Recovery for Non-Volatile Memory

Posters

Link to publication