Mon 5 Nov 2018 17:43 - 17:44 at Terrace - Poster
Wed 7 Nov 2018 18:22 - 18:24 at Georgian - Poster & SRC

The ability to reason about relational queries plays an important role across various types of database applications, such as test data generation, query equivalence checking, and computer-assisted query authoring tools. Unfortunately, scaling up query reasoning can be challenging as relational tables contains tuples of different types, and relational query languages such as SQL can introduce complex interactions among tuples.In this paper, we propose a new space refinement algorithm to make reasoning of relational queries efficient.Our refinement procedure is independent of the specific database application, and exploits the structural features of queries along with the provenance of tuples in the output table to soundly refine the space of tables that such applications need to consider. As a result of our refinement, the application only needs to consider a small fragment of the original space of tables in order to complete the reasoning process. We have implemented our refinement algorithm, and evaluated it using three different reasoning tasks for SQL:bounded equivalence checking of queries, test generation for applications that manipulate relational data, and concolic testing of database applications. Using real world benchmarks, our study shows that our refinement algorithm can provide significant speedup for reasoning a large class of challenging SQL queries (e.g., queries with aggregations), and can improve the performance of applications that perform relational query reasoning by up to 100×as compared to the original.

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

17:30 - 19:30
PosterPosters at Terrace
17:30
1m
Poster
Data Programming (DP): A new way of programming user interfaces
Posters
Link to publication
17:31
1m
Poster
Programming by example: efficient, but not "helpful"
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
1m
Poster
Obsidian: A Safer Blockchain Programming Language
Posters
A: Michael CoblenzCarnegie Mellon University, A: Jonathan AldrichCarnegie Mellon University, A: Brad A. MyersCarnegie Mellon University, A: Joshua SunshineCarnegie Mellon University
17:34
1m
Talk
Toward a Language-Parametric Code Completion Editor Service
Posters
Daniel A. A. PelsmaekerDelft University of Technology, Netherlands, Eelco VisserDelft University of Technology
Link to publication
17:36
1m
Poster
Compositional Programming and Testing of Dynamic Distributed Systems
Posters
A: Ankush DesaiUniversity of California, Berkeley, A: Amar PhanishayeeMicrosoft Research, A: Shaz QadeerMicrosoft Research, A: Sanjit SeshiaUC Berkeley
Link to publication
17:38
1m
Poster
Messir, a Text-first DSL-based Approach for UML Requirements Engineering (Tool Demo)
Posters
A: Benoît RiesUniversity of Luxembourg, A: Alfredo CapozuccaUniversity of Luxembourg, A: Nicolas GuelfiUniversity of Luxembourg
Link to publication
17:39
1m
Poster
Finding Broken Promises in Asynchronous JavaScript Programs
Posters
A: Saba AlimadadiNortheastern University, A: Di ZhongNortheastern University, USA, A: Magnus MadsenAarhus University, A: Frank TipNortheastern University
Link to publication
17:41
1m
Talk
Test Generation for Higher-Order Functions in Dynamic Languages
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
1m
Poster
Speeding up Symbolic Reasoning for Relational Queries
Posters
A: Chenglong WangUniversity of Washington, USA, A: Alvin CheungUniversity of Washington, A: Rastislav BodikUniversity of Washington
Link to publication
17:44
1m
Poster
Fixing Machine Learning with Solver-Aided Languages
Posters
A: Revan MacQueenUniversity of Alberta, A: Julian DolbyIBM Research, A: Karim AliUniversity of Alberta
17:46
1m
Poster
SWAN: A Swift Program Analysis Framework
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
1m
Poster
The Software Architecture of Economy Mechanics in Digital Games
Posters
A: Wilson MizutaniUniversity of São Paulo
Link to publication
17:49
1m
Poster
Identifying Barriers to Adoption for Rust through Online Discourse
Posters
A: Anna ZengStanford University, A: Will CrichtonStanford University
Link to publication
17:51
1m
Poster
Handling inconsistencies in software product line using a rule-based approach
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
1m
Poster
Chocola: Integrating Futures, Actors, and Transactions
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
1m
Poster
Anomaly Analyses for Feature-Model Evolution
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
1m
Poster
Understanding Java Usability by Mining GitHub Repositories
Posters
Link to publication
17:57
1m
Poster
Precise and Scalable Points-to Analysis via Data-Driven Context Tunneling
Posters
A: Minseok JeonKorea University, South Korea, A: Sehun JeongKorea University, A: Hakjoo OhKorea University
Link to publication
17:59
1m
Poster
QDB: From Quantum Algorithms Towards Correct Quantum Programs
Posters
A: Yipeng HuangPrinceton University, A: Margaret Martonosi
Link to publication
18:01
1m
Talk
Declarative Specification of Indentation Rules: A Tooling Perspective on Parsing and Pretty-Printing Layout-Sensitive Languages
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
1m
Poster
Safe Replication through Bounded Concurrency Verification
Posters
A: Gowtham KakiPurdue University, A: Kapil EarankyPurdue University, A: KC SivaramakrishnanUniversity of Cambridge, A: Suresh JagannathanPurdue University
Link to publication
18:04
1m
Poster
Automatic Diagnosis and Correction of Logical Errors for Functional Programming Assignments
Posters
A: Junho LeeKorea University, A: Dowon SongKorea University, A: Sunbeom SoKorea University, A: Hakjoo OhKorea University
Link to publication
18:06
1m
Poster
Observable atomic consistency for CvRDTs
Posters
A: Xin ZhaoKTH Royal Institute of Technology, A: Philipp HallerKTH, Sweden
Link to publication
18:07
1m
Poster
Reconciling High-level Optimizations and Low-level Code in LLVM
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
1m
Poster
Meta-programming for cross-domain tensor optimizations
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
1m
Poster
One Tool, Many Languages: Language-Parametric Transformation with Incremental Parametric Syntax
Posters
Link to publication
18:12
1m
Poster
Scaling the REPL Experience
Posters
A: Yair ChuchemLamdu, A: Eyal LotemLamdu
Link to publication
18:14
1m
Poster
Automated Rule Inference for Cryptographic APIs through Source Code Repositories
Posters
A: Anna-Katharina WickertTU Darmstadt
Link to publication
18:16
1m
Poster
Exploring feature interactions without specifications: a controlled experiment
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
1m
Poster
GraphIt - A High-Performance Graph DSL
Posters
Link to publication
18:19
1m
Poster
Symmetry-based Optimization of Interaction Kernels
Posters
A: Shigeyuki SatoKochi University of Technology
18:20
1m
Poster
Sound Deadlock Prediction
Posters
A: Christian Gram KalhaugeUniversity of California, Los Angeles, A: Jens PalsbergUniversity of California, Los Angeles
Link to publication
18:22
1m
Poster
Conflict Resolution for Structured Merge via Version Space Algebra
Posters
A: Fengmin Zhu, A: Fei HeTsinghua University
Link to publication
18:24
1m
Poster
Robust Relational Layout Synthesis from Examples for Android
Posters
A: Pavol BielikETH Zürich, A: Marc FischerETH Zurich, A: Martin VechevETH Zürich
Link to publication
18:25
1m
Poster
Parallelization of Dynamic Languages: Synchronizing Built-in Collections
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
1m
Poster
RT-Trust: Automated Refactoring for Trusted Execution Under Real-Time Constraints
Posters
A: Yin LiuVirginia Tech, A: Kijin AnVirginia Tech, A: Eli TilevichVirginia Tech
Link to publication
18:29
1m
Poster
Scopes as Types
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
1m
Poster
Generating a Java Library from Its Specification
Posters
A: Tomoki NakamaruThe University of Tokyo, A: Shigeru ChibaThe University of Tokyo
18:32
1m
Poster
Thread-Safe Reactive Programming
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
1m
Poster
Storm: A Language Platform for Interacting and Extensible Languages (Tool Demo)
Posters
A: Filip StrömbäckLinköping University
Link to publication
18:35
1m
Poster
Multi-Device Grace
Posters
A: Ben Selwyn-Smith, A: Craig AnslowVictoria University of Wellington, A: Michael HomerVictoria University of Wellington
18:37
1m
Poster
Migrating Custom DSL Implementations to a Language Workbench: An Industrial Tool Demonstration (Tool Demo)
Posters
A: Jasper DenkersTU Delft, A: Louis van GoolOcé Technologies B.V., A: Eelco VisserDelft University of Technology
Link to publication
18:39
1m
Poster
Guiding Inlining Decisions by Identifying Post-Inlining Transformations
Posters
A: Erick OchoaUniversity of Alberta, A: Andrew CraikIBM Canada, A: Jose Nelson AmaralUniversity of Alberta, A: Karim AliUniversity of Alberta
18:40
1m
Poster
Compiling Distributed System Specifications into Implementations
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
1m
Poster
Towards Understanding the Costs of Avoiding Out-of-Thin-Air Results
Posters
A: Peizhao OuUniversity of California, Irvine, A: Brian DemskyUniversity of California, Irvine
Link to publication
18:43
1m
Poster
Incremental compilation for Stratego
Posters
A: Jeff SmitsDelft University of Technology, A: Eelco VisserDelft University of Technology
Link to publication
18:45
1m
Poster
Using Compiler Snippets to Exploit Parallelism on Heterogeneous Hardware: A Java Reduction Case Study
Posters
A: Juan FumeroThe University of Manchester, A: Christos KotselidisThe University of Manchester
Link to publication
18:47
1m
Poster
Object-Oriented Recovery for Non-Volatile Memory
Posters
A: Nachshon CohenEPFL, Switzerland, A: David T. AksunEPFL, A: James LarusEPFL
Link to publication
18:48
1m
Poster
Faster Variational Execution with Transparent Bytecode Transformation
Posters
A: Chu-Pan WongCarnegie Mellon University, A: Jens MeinickeMagdeburg University, A: Lukas Lazarek, A: Christian KaestnerCarnegie Mellon University
Link to publication
18:50
1m
Poster
Observing the Uptake of a Language Change Making Strings Immutable
Posters
A: Manuel MaarekHeriot-Watt University
Link to publication
18:52
1m
Poster
Orchestrating Dynamic Analyses of Distributed Processes for Full-Stack JavaScript Programs
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
1m
Poster
Espalier: a structured spreadsheet tool for end-user development of organizational applications
Posters
A: Matt McCutchenMIT, A: Shachar ItzhakyTechnion, Israel, A: Daniel JacksonMIT, A: Willow JarvisMIT
Link to publication
18:55
1m
Poster
Identifying Refactoring Opportunities for Replacing Type Code with Subclass and State
Posters
A: Jyothi VeduradaIIT Madras, A: V Krishna NandivadaIIT Madras
Link to publication
18:57
1m
Poster
Margin Notes: Automatic code documentation with recorded examples from runtime
Posters
Link to publication
18:58
1m
Poster
A Practical Unification of Multi-Stage Programming and Macros
Posters
A: Nicolas StuckiEPFL, Switzerland, A: Aggelos BiboudisEPFL, Switzerland, A: Martin OderskyEPFL, Switzerland
Link to publication
19:00
1m
Poster
Precision-Guided Context Sensitivity for Pointer Analysis
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
1m
Poster
Skitter: A DSL for Distributed Reactive Workflows
Posters
A: Mathijs SaeyVrije Universiteit Brussel, A: Joeri De KosterVrije Universiteit Brussel, Belgium, A: Wolfgang De MeuterVrije Universiteit Brussel
Link to publication
19:03
1m
Poster
Consolidating Inheritance and Scoping into a Context Abstraction
Posters
A: Matan I. PeledTechnion—Israel Institute of Technology
19:05
1m
Poster
Modular Language Composition for the Masses
Posters
A: Manuel LeducIRISA, University of Rennes 1, A: Thomas DegueuleCentrum Wiskunde & Informatica, A: Benoit CombemaleUniversity of Rennes 1
Link to publication
19:06
1m
Poster
From Debugging Towards Live Tuning of Reactive Applications
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
1m
Poster
Secure Serverless Computing Using Dynamic Information Flow Control
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
1m
Poster
DISCOPAR: A Visual Reactive Programming Language for Generating Cloud-based Participatory Sensing Platforms
Posters
A: Jesse ZamanVrije Universiteit Brussel, A: Kennedy KambonaVrije Universiteit Brussel, A: Wolfgang De MeuterVrije Universiteit Brussel
Link to publication
19:11
1m
Poster
A Derivation Framework for Dependent Security Label Inference
Posters
A: Peixuan LiPenn State University, A: Danfeng ZhangPennsylvania State University
Link to publication
19:13
1m
Poster
Distributed System Development with ScalaLoci
Posters
A: Pascal WeisenburgerTechnische Universität Darmstadt, A: Mirko Köhler, A: Guido SalvaneschiTU Darmstadt
Link to publication
19:15
1m
Poster
An Empirical Study of the Effect of Source-level Loop Transformations on Compiler Stability
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
1m
Poster
METACO, a Type Checker Generator
Posters
A: Haochen XieNagoya University
19:18
1m
Poster
Refinement in object-sensitivity points-to analysis via slicing
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
1m
Poster
Explaining Spreadsheets with Spreadsheets
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
1m
Poster
Continuous Model Validation using Reference Attribute Grammars
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
1m
Poster
CROCHET: Checkpoint and Rollback via Lightweight Heap Traversal on Stock JVMs
Posters
A: Jonathan BellGeorge Mason University, A: Luís PinaGeorge Mason University
19:25
1m
Poster
DeepBugs: A Learning Approach to Name-based Bug Detection
Posters
A: Michael PradelTU Darmstadt, A: Koushik SenUniversity of California, Berkeley
Link to publication
19:26
1m
Talk
Grammar Induction for Programming Languages using Skip-Gram Model
Posters
Tomomasa Matsunaga, Shigeru ChibaThe University of Tokyo
19:28
1m
Poster
Migrating Business Logic to an Incremental Computing DSL: A Case Study
Posters
A: Daco HarkesDelft University of Technology, A: Elmer van ChasteletDelft University of Technology, A: Eelco VisserDelft University of Technology
Link to publication

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

18:00 - 20:30
Poster & SRCPosters at Georgian
18:00
2m
Poster
Faster Variational Execution with Transparent Bytecode Transformation
Posters
A: Chu-Pan WongCarnegie Mellon University, A: Jens MeinickeMagdeburg University, A: Lukas Lazarek, A: Christian KaestnerCarnegie Mellon University
Link to publication
18:02
2m
Poster
Guiding Inlining Decisions by Identifying Post-Inlining Transformations
Posters
A: Erick OchoaUniversity of Alberta, A: Andrew CraikIBM Canada, A: Jose Nelson AmaralUniversity of Alberta, A: Karim AliUniversity of Alberta
18:04
2m
Poster
DeepBugs: A Learning Approach to Name-based Bug Detection
Posters
A: Michael PradelTU Darmstadt, A: Koushik SenUniversity of California, Berkeley
Link to publication
18:06
2m
Poster
Continuous Model Validation using Reference Attribute Grammars
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
18:08
2m
Poster
Modular Language Composition for the Masses
Posters
A: Manuel LeducIRISA, University of Rennes 1, A: Thomas DegueuleCentrum Wiskunde & Informatica, A: Benoit CombemaleUniversity of Rennes 1
Link to publication
18:10
2m
Poster
Generating a Java Library from Its Specification
Posters
A: Tomoki NakamaruThe University of Tokyo, A: Shigeru ChibaThe University of Tokyo
18:12
2m
Poster
Scopes as Types
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:14
2m
Poster
Compositional Programming and Testing of Dynamic Distributed Systems
Posters
A: Ankush DesaiUniversity of California, Berkeley, A: Amar PhanishayeeMicrosoft Research, A: Shaz QadeerMicrosoft Research, A: Sanjit SeshiaUC Berkeley
Link to publication
18:16
2m
Poster
Fixing Machine Learning with Solver-Aided Languages
Posters
A: Revan MacQueenUniversity of Alberta, A: Julian DolbyIBM Research, A: Karim AliUniversity of Alberta
18:18
2m
Poster
Precise and Scalable Points-to Analysis via Data-Driven Context Tunneling
Posters
A: Minseok JeonKorea University, South Korea, A: Sehun JeongKorea University, A: Hakjoo OhKorea University
Link to publication
18:20
2m
Poster
CROCHET: Checkpoint and Rollback via Lightweight Heap Traversal on Stock JVMs
Posters
A: Jonathan BellGeorge Mason University, A: Luís PinaGeorge Mason University
18:22
2m
Poster
Speeding up Symbolic Reasoning for Relational Queries
Posters
A: Chenglong WangUniversity of Washington, USA, A: Alvin CheungUniversity of Washington, A: Rastislav BodikUniversity of Washington
Link to publication
18:24
2m
Poster
Towards Understanding the Costs of Avoiding Out-of-Thin-Air Results
Posters
A: Peizhao OuUniversity of California, Irvine, A: Brian DemskyUniversity of California, Irvine
Link to publication
18:26
2m
Poster
Exploring feature interactions without specifications: a controlled experiment
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:28
2m
Poster
Obsidian: A Safer Blockchain Programming Language
Posters
A: Michael CoblenzCarnegie Mellon University, A: Jonathan AldrichCarnegie Mellon University, A: Brad A. MyersCarnegie Mellon University, A: Joshua SunshineCarnegie Mellon University
18:30
2m
Talk
Grammar Induction for Programming Languages using Skip-Gram Model
Posters
Tomomasa Matsunaga, Shigeru ChibaThe University of Tokyo
18:32
2m
Talk
Declarative Specification of Indentation Rules: A Tooling Perspective on Parsing and Pretty-Printing Layout-Sensitive Languages
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:34
2m
Poster
Incremental compilation for Stratego
Posters
A: Jeff SmitsDelft University of Technology, A: Eelco VisserDelft University of Technology
Link to publication
18:36
2m
Poster
Migrating Custom DSL Implementations to a Language Workbench: An Industrial Tool Demonstration (Tool Demo)
Posters
A: Jasper DenkersTU Delft, A: Louis van GoolOcé Technologies B.V., A: Eelco VisserDelft University of Technology
Link to publication
18:39
2m
Poster
Reconciling High-level Optimizations and Low-level Code in LLVM
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:41
2m
Poster
Identifying Barriers to Adoption for Rust through Online Discourse
Posters
A: Anna ZengStanford University, A: Will CrichtonStanford University
Link to publication
18:43
2m
Poster
Chocola: Integrating Futures, Actors, and Transactions
Posters
A: Janwillem SwalensVrije Universiteit Brussel, A: Wolfgang De MeuterVrije Universiteit Brussel, A: Joeri De KosterVrije Universiteit Brussel, Belgium
Link to publication Pre-print
18:45
2m
Poster
SWAN: A Swift Program Analysis Framework
Posters
A: Jeff ChoUniversity of Alberta, A: Mark MrozUniversity of Ottawa, A: Julian DolbyIBM Research, A: Karim AliUniversity of Alberta
Link to publication
18:47
2m
Poster
Migrating Business Logic to an Incremental Computing DSL: A Case Study
Posters
A: Daco HarkesDelft University of Technology, A: Elmer van ChasteletDelft University of Technology, A: Eelco VisserDelft University of Technology
Link to publication
18:49
2m
Poster
Multi-Device Grace
Posters
A: Ben Selwyn-Smith, A: Craig AnslowVictoria University of Wellington, A: Michael HomerVictoria University of Wellington
18:51
2m
Poster
Handling inconsistencies in software product line using a rule-based approach
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
18:53
2m
Poster
Storm: A Language Platform for Interacting and Extensible Languages (Tool Demo)
Posters
A: Filip StrömbäckLinköping University
Link to publication
18:55
2m
Poster
Espalier: a structured spreadsheet tool for end-user development of organizational applications
Posters
A: Matt McCutchenMIT, A: Shachar ItzhakyTechnion, Israel, A: Daniel JacksonMIT, A: Willow JarvisMIT
Link to publication
18:57
2m
Poster
Scaling the REPL Experience
Posters
A: Yair ChuchemLamdu, A: Eyal LotemLamdu
Link to publication
18:59
2m
Poster
Sound Deadlock Prediction
Posters
A: Christian Gram KalhaugeUniversity of California, Los Angeles, A: Jens PalsbergUniversity of California, Los Angeles
Link to publication
19:01
2m
Poster
Distributed System Development with ScalaLoci
Posters
A: Pascal WeisenburgerTechnische Universität Darmstadt, A: Mirko Köhler, A: Guido SalvaneschiTU Darmstadt
Link to publication
19:03
2m
Poster
Safe Replication through Bounded Concurrency Verification
Posters
A: Gowtham KakiPurdue University, A: Kapil EarankyPurdue University, A: KC SivaramakrishnanUniversity of Cambridge, A: Suresh JagannathanPurdue University
Link to publication
19:05
2m
Poster
Identifying Refactoring Opportunities for Replacing Type Code with Subclass and State
Posters
A: Jyothi VeduradaIIT Madras, A: V Krishna NandivadaIIT Madras
Link to publication
19:07
2m
Poster
Margin Notes: Automatic code documentation with recorded examples from runtime
Posters
Link to publication
19:09
2m
Poster
Refinement in object-sensitivity points-to analysis via slicing
Posters
A: Girish Maskeri RamaInfosys Limited, A: Raghavan KomondoorIndian Institute of Science, Bangalore, A: Himanshu SharmaIndian Institute of Science, Bangalore
Link to publication
19:11
2m
Poster
The Software Architecture of Economy Mechanics in Digital Games
Posters
A: Wilson MizutaniUniversity of São Paulo
Link to publication
19:13
2m
Poster
Finding Broken Promises in Asynchronous JavaScript Programs
Posters
A: Saba AlimadadiNortheastern University, A: Di ZhongNortheastern University, USA, A: Magnus MadsenAarhus University, A: Frank TipNortheastern University
Link to publication
19:16
2m
Poster
Programming by example: efficient, but not "helpful"
Posters
A: Mark SantolucitoYale University, USA, A: Drew GoldmanRoslyn High School, A: Allyson WeseleyRoslyn High School, A: Ruzica PiskacYale University, USA
Link to publication
19:18
2m
Poster
Parallelization of Dynamic Languages: Synchronizing Built-in Collections
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
19:20
2m
Poster
Symmetry-based Optimization of Interaction Kernels
Posters
A: Shigeyuki SatoKochi University of Technology
19:22
2m
Poster
A Practical Unification of Multi-Stage Programming and Macros
Posters
A: Nicolas StuckiEPFL, Switzerland, A: Aggelos BiboudisEPFL, Switzerland, A: Martin OderskyEPFL, Switzerland
Link to publication
19:24
2m
Poster
Messir, a Text-first DSL-based Approach for UML Requirements Engineering (Tool Demo)
Posters
A: Benoît RiesUniversity of Luxembourg, A: Alfredo CapozuccaUniversity of Luxembourg, A: Nicolas GuelfiUniversity of Luxembourg
Link to publication
19:26
2m
Poster
One Tool, Many Languages: Language-Parametric Transformation with Incremental Parametric Syntax
Posters
Link to publication
19:28
2m
Poster
Anomaly Analyses for Feature-Model Evolution
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
19:30
2m
Poster
RT-Trust: Automated Refactoring for Trusted Execution Under Real-Time Constraints
Posters
A: Yin LiuVirginia Tech, A: Kijin AnVirginia Tech, A: Eli TilevichVirginia Tech
Link to publication
19:32
2m
Poster
Meta-programming for cross-domain tensor optimizations
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
19:34
2m
Poster
Automatic Diagnosis and Correction of Logical Errors for Functional Programming Assignments
Posters
A: Junho LeeKorea University, A: Dowon SongKorea University, A: Sunbeom SoKorea University, A: Hakjoo OhKorea University
Link to publication
19:36
2m
Poster
Robust Relational Layout Synthesis from Examples for Android
Posters
A: Pavol BielikETH Zürich, A: Marc FischerETH Zurich, A: Martin VechevETH Zürich
Link to publication
19:38
2m
Poster
A Derivation Framework for Dependent Security Label Inference
Posters
A: Peixuan LiPenn State University, A: Danfeng ZhangPennsylvania State University
Link to publication
19:40
2m
Poster
An Empirical Study of the Effect of Source-level Loop Transformations on Compiler Stability
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:42
2m
Poster
Consolidating Inheritance and Scoping into a Context Abstraction
Posters
A: Matan I. PeledTechnion—Israel Institute of Technology
19:44
2m
Talk
Test Generation for Higher-Order Functions in Dynamic Languages
Posters
A: Marija SelakovicTU Darmstadt, Germany, A: Michael PradelTU Darmstadt, A: Rezwana Karim NawrinSamsung Research America, A: Frank TipNortheastern University
Link to publication
19:46
2m
Poster
Using Compiler Snippets to Exploit Parallelism on Heterogeneous Hardware: A Java Reduction Case Study
Posters
A: Juan FumeroThe University of Manchester, A: Christos KotselidisThe University of Manchester
Link to publication
19:48
2m
Poster
DISCOPAR: A Visual Reactive Programming Language for Generating Cloud-based Participatory Sensing Platforms
Posters
A: Jesse ZamanVrije Universiteit Brussel, A: Kennedy KambonaVrije Universiteit Brussel, A: Wolfgang De MeuterVrije Universiteit Brussel
Link to publication
19:50
2m
Poster
Explaining Spreadsheets with Spreadsheets
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:53
2m
Poster
Skitter: A DSL for Distributed Reactive Workflows
Posters
A: Mathijs SaeyVrije Universiteit Brussel, A: Joeri De KosterVrije Universiteit Brussel, Belgium, A: Wolfgang De MeuterVrije Universiteit Brussel
Link to publication
19:55
2m
Poster
Thread-Safe Reactive Programming
Posters
A: Joscha DrechslerTechnische Universität Darmstadt, A: Ragnar MogkTechnische Universität Darmstadt, A: Guido SalvaneschiTU Darmstadt, A: Mira MeziniTU Darmstadt
Link to publication
19:57
2m
Poster
Automated Rule Inference for Cryptographic APIs through Source Code Repositories
Posters
A: Anna-Katharina WickertTU Darmstadt
Link to publication
19:59
2m
Poster
Observable atomic consistency for CvRDTs
Posters
A: Xin ZhaoKTH Royal Institute of Technology, A: Philipp HallerKTH, Sweden
Link to publication
20:01
2m
Poster
Conflict Resolution for Structured Merge via Version Space Algebra
Posters
A: Fengmin Zhu, A: Fei HeTsinghua University
Link to publication
20:03
2m
Poster
Observing the Uptake of a Language Change Making Strings Immutable
Posters
A: Manuel MaarekHeriot-Watt University
Link to publication
20:05
2m
Poster
Secure Serverless Computing Using Dynamic Information Flow Control
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
20:07
2m
Poster
Understanding Java Usability by Mining GitHub Repositories
Posters
Link to publication
20:09
2m
Poster
Compiling Distributed System Specifications into Implementations
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
20:11
2m
Poster
From Debugging Towards Live Tuning of Reactive Applications
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
20:13
2m
Poster
Data Programming (DP): A new way of programming user interfaces
Posters
Link to publication
20:15
2m
Poster
Object-Oriented Recovery for Non-Volatile Memory
Posters
A: Nachshon CohenEPFL, Switzerland, A: David T. AksunEPFL, A: James LarusEPFL
Link to publication
20:17
2m
Poster
METACO, a Type Checker Generator
Posters
A: Haochen XieNagoya University
20:19
2m
Poster
GraphIt - A High-Performance Graph DSL
Posters
Link to publication
20:21
2m
Poster
Precision-Guided Context Sensitivity for Pointer Analysis
Posters
A: Yue LiAarhus University, Denmark, A: Tian TanAarhus University, Denmark, A: Anders MøllerAarhus University, A: Yannis SmaragdakisUniversity of Athens
Link to publication
20:23
2m
Poster
QDB: From Quantum Algorithms Towards Correct Quantum Programs
Posters
A: Yipeng HuangPrinceton University, A: Margaret Martonosi
Link to publication
20:25
2m
Talk
Toward a Language-Parametric Code Completion Editor Service
Posters
Daniel A. A. PelsmaekerDelft University of Technology, Netherlands, Eelco VisserDelft University of Technology
Link to publication
20:27
2m
Poster
Orchestrating Dynamic Analyses of Distributed Processes for Full-Stack JavaScript Programs
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