Search events for 'all'
All the languages together
SPLASH-I When: Tue 6 Nov 2018 17:30 - 18:30 People: Amal Ahmed
… …
All about JavaScriptCore's many compilers
SPLASH-I When: Thu 8 Nov 2018 16:30 - 17:30 People: Filip Pizlo
… …
CVE, CWE, CQE and all that -- enumerating the security and safety challenges for networked software
HILT 2018 When: Mon 5 Nov 2018 09:15 - 10:00 People: Robert A. Martin
… …
End-of-Workshop Dinner at The Brahmin American (All PLMW attendees, speakers, panelists and mentors are invited)
PLMW When: Tue 6 Nov 2018 18:00 - 21:00
… …
Against The Current: What We Learned From Eve
LIVE 2018 When: Tue 6 Nov 2018 08:30 - 09:30 People: Chris Granger
… <!– 
Against The Current: What We Learned From Eve
Chris Granger –>
The keynote will be open to all SPLASH attendees. …
PANE: Programming with visible data
LIVE 2018 When: Tue 6 Nov 2018 11:00 - 11:30 People: Joshua Horowitz
… environments hide all data by default, affording only high-latency views through … centers around seeing and acting on concrete data values, all of which are visible …
Domain-Specific Optimizations for Linear Pipelines
DSLDI 2018 When: Tue 6 Nov 2018 11:30 - 12:00 People: Aristeidis Mastoras, Thomas Gross
… optimizations. In this way, parallel programming is simplified since all low …
SemanticDB: a common data model for Scala developer tools ⭐️
Meta When: Mon 5 Nov 2018 10:30 - 11:30 People: Eugene Burmako
… or find all references), relatively less work went into unifying implementor … implementations for Scala. They all implement the same protocol that works with code, but they all use different data structures to represent that code.
In this talk, we …
JavaScript AOT Compilation
DLS 2018 When: Tue 6 Nov 2018 14:30 - 15:00 People: Manuel Serrano
… the highly dynamic nature of JavaScript makes
it hard to compile statically and all …
Three approaches to Gradual Typing
GRACE 2018 When: Sun 4 Nov 2018 14:00 - 14:20 People: Ben Greenman, Preston Tunnell Wilson, Justin Pombrio, Shriram Krishnamurthi
… . This work attempts a scientific comparison on all three counts: soundness …
SAFECode.org and Secure Software Development Practices
HILT 2018 When: Tue 6 Nov 2018 08:45 - 09:05 People: Eric Baize
… to software organizations of all sizes and domains. …
Statically Checking the Inconsistencies of Security Assumptions/Measures in Android Apps and Systems
NJR When: Tue 6 Nov 2018 14:00 - 14:30 People: Zhiyun Qian
… ) failing to make sure all paths to protected operations are covered; (3) misplacing …
A Scripting Language for Practical Agent-Oriented Programming
AGERE People: Federico Bergenti, Stefania Monica, Giuseppe Petrosino
… , with all the advantages that it entails in terms of software quality. …
Chocola: Integrating Futures, Actors, and Transactions
AGERE When: Mon 5 Nov 2018 13:30 - 14:00 People: Janwillem Swalens, Joeri De Koster, Wolfgang De Meuter
… that maintains the guarantees of all models wherever possible, even when …
Concurrency vs. Parallelism in Encore (...and Types)
AGERE When: Mon 5 Nov 2018 08:45 - 10:00 People: Tobias Wrigstad
… types across all solutions. …
We Should Stop Claiming Generality in our Domain-Specific Language Papers
Onward! Essays When: Thu 8 Nov 2018 15:30 - 16:15 People: Daco Harkes
… all. …
Model-based Security Analysis of Feature-oriented Software Product Lines
GPCE 2018 When: Mon 5 Nov 2018 16:00 - 16:30 People: Sven Peldszus, Daniel Strüber, Jan Jürjens
… product lines. Analyzing the security of all products separately is generally … the naive strategy of checking all products individually. Finally, we present …
We Should Stop Claiming Generality in our Domain-Specific Language Papers - Preview
PLATEAU 2018 When: Mon 5 Nov 2018 11:50 - 11:55 People: Daco Harkes
… all. …
Chalktalk : A Visualization and Communication Language -- As a Tool in the Domain of Computer Science Education
LIVE 2018 When: Tue 6 Nov 2018 16:30 - 17:00 People: Ken Perlin, Zhenyi He, Karl Rosenberg
… , logic) during a live presentation without needing to create and structure all …
Scaling the REPL Experience
LIVE 2018 When: Tue 6 Nov 2018 15:30 - 16:00 People: Yair Chuchem, Eyal Lotem
… above:
- Bandwidth is improved with value annotations under all evaluated sub …
Delphi: Connecting Researchers to Enable Comparable Large-Scale Experiments in Program Analysis
NJR When: Tue 6 Nov 2018 13:30 - 14:00 People: Ben Hermann
… . The reasons are manifold: First, we all use different platforms and frameworks …
Composable Higher-Order Reactors as the Basis for a Live Reactive Programming Environment
REBLS 2018 When: Sun 4 Nov 2018 15:30 - 15:52 People: Bjarno Oeyen, Humberto Rodriguez Avila, Sam Van den Vonder, Wolfgang De Meuter
… automatically updates all occurrences of that reactor in the reactive program, while …
An Industrial Case Study in Compiler Testing (Tool Demo)
SLE 2018 When: Mon 5 Nov 2018 16:30 - 16:50 People: Vadim Zaytsev
… .
Instead of striving for covering all theoretical aspects of compiler testing in one … consumes manually written specifications and generates all the necessary test … of submission, while the number of test cases generated from them, is 5233. All …
Enhancing and Evaluating Collaborative Blocks Programming in App Inventor
BLOCKS+ When: Sun 4 Nov 2018 15:30 - 15:35 People: Alissa Tinney, Xinhui Xu
… App Inventor is a web-based blocks programming environment that allows people of all ages and experiences to build mobile apps.
App Inventor was initially designed for a single user. Developers and researchers are now investigating how …
GLL Parsing with Flexible Combinators
SLE 2018 When: Mon 5 Nov 2018 11:00 - 11:30 People: L. Thomas van Binsbergen, Elizabeth Scott, Adrian Johnstone
… procedure computing all derivations.
In this paper we present a combinator library …
Continuous Model Validation using Reference Attribute Grammars
SLE 2018 When: Mon 5 Nov 2018 15:30 - 16:00 People: Johannes Mey, René Schöne, Görel Hedin, Emma Söderberg, Thomas Kühn, Niklas Fors, Jesper Oqvist, Uwe Aßmann
… . However, not all features used in conceptual modelling are directly available …
Fostering Metamodels and Grammars Within a Dedicated Environment for HPC: The NabLab Environment (Tool Demo)
SLE 2018 When: Tue 6 Nov 2018 16:00 - 16:20 People: Benoît Lelandais, Marie-Pierre Oudot, Benoit Combemale
… Advanced and mature language workbenches have been proposed in the past decades to develop Domain-Specific Languages (DSL) and rich associated environments. They all come in various flavors, mostly depending of the underlying technological …
The Next 700 Unit Checkers
SLE 2018 When: Tue 6 Nov 2018 11:00 - 11:30 People: Oscar Bennich-Björkman, Steve McKeever
… approach to examine and analyse all available physical quantity open-source libraries …
Analysing Meta-Model Product Lines
SLE 2018 When: Tue 6 Nov 2018 14:00 - 14:30 People: Esther Guerra, Juan de Lara, Marsha Chechik, Rick Salay
… , there is a lack of techniques for ensuring syntactic correctness of all meta-models …
Abstractionless Programming in App Inventor
BLOCKS+ When: Sun 4 Nov 2018 09:05 - 09:10 People: Audrey Seo
… App Inventor is a web-based blocks programming environment that allows people of all ages and experiences to build mobile apps, introducing new programmers to fundamental programming concepts such as variables, conditionals, iterators …
DevTech Lab - KIBO and ScratchJr Demo
BLOCKS+ When: Sun 4 Nov 2018 11:34 - 11:37 People: Catherine Cowell, Hannah Riehl, Marina Umaschi Bers
… and is commercialized by KinderLab Robotics all over the world. KIBO promotes the acquisition …
Scratch 3.0 Design Notes
BLOCKS+ When: Sun 4 Nov 2018 16:35 - 16:40 People: Andrew Sliwinski, Karishma Chadha
… and hardware devices in an interoperable environment. Scratch 3.0 extensions have all …
Coding while Making: using Blocks Language in a Physical Computing Setting
BLOCKS+ When: Sun 4 Nov 2018 09:00 - 09:05 People: Karen H. Jin
… Circuit Playground Express, an all-in-one hobbyist board with embedded sensors …
Mental Models, Metaphors and Misconceptions
BLOCKS+ When: Sun 4 Nov 2018 08:30 - 09:00 People: Felienne Hermans
… in programming education (like all metaphors) are not perfect. In this session we …
What happened to distributed programming languages?
SPLASH-I When: Tue 6 Nov 2018 15:30 - 16:30 People: Heather Miller
… . With all of this distribution going on, one might ask, what happened …, we’ll try to work out what happened to all of the distributed programming …
The Future of AI: Machine Programmers and Their Necessary Self-Awareness
SPLASH-I When: Tue 6 Nov 2018 15:30 - 16:30 People: Justin Gottschlich
… Machine programming is the process where some or all of a software program’s code is generated by a machine rather than a human. We believe machine programming …, its broad applicability across all anomaly detection and management domains. …
Data Programming (DP): A new way of programming user interfaces
Posters When: Mon 5 Nov 2018 17:30 - 17:31Wed 7 Nov 2018 20:13 - 20:15 People: Blaine Bell
… program, including all graphical components and rendering functions …
SoaAlloc: Dynamic Object Allocation in Structure of Arrays Data Layout on GPUs
SRC People: Matthias Springer
… We propose SoaAlloc, a new dynamic object allocator for CUDA. SoaAlloc is the first object allocator for GPUs that (a) arranges allocations in a SIMD-friendly Structure of Arrays data layout, (b) provides a do-all operation, and (c …
Tangible Abstraction
SPLASH-I When: Thu 8 Nov 2018 13:30 - 14:30 People: Sean McDirmid
… representation corresponds to manipulating all of its possible concrete values … array of As and Bs, swapping all their As to the front. As a result …
A Practical and Extensible Framework for Garbage Collection Tracing
SRC People: Xuanrui Qi
… the Merlin algorithm to compute death times. Unlike all previous tools, however, ET2 …
Ten Cool Things you might not know about the OpenJDK Java Virtual Machine
SPLASH-I When: Wed 7 Nov 2018 17:30 - 18:30 People: Christine H. Flood
… Latency, Why do we need so many? All will become clear. We’ll also take a sneak …
Safely Adding a Moving Garbage Collector to a Non Garbage Collected Language
DocSymposium When: Tue 6 Nov 2018 14:15 - 15:00 People: Jacob Hughes
… Retro-fitting precise Garbage Collection (GC) to an existing language is hard and thus conservative GC is genearlly used instead. However, conservative GC is slower, and can cause memory leaks. Correctly identifying all pointers …
Finding Broken Promises in Asynchronous JavaScript Programs
OOPSLA When: Fri 9 Nov 2018 11:37 - 12:00 People: Saba Alimadadi, Di Zhong, Magnus Madsen, Frank Tip
… as a graphical aid for understanding and debugging promise-based code, but did not cover all … of promise graphs to include all promise-related features in ECMAScript 6, including default reactions, exceptions, and the synchronization operations race and all …
Finding Broken Promises in Asynchronous JavaScript Programs
Posters When: Mon 5 Nov 2018 17:39 - 17:41Wed 7 Nov 2018 19:13 - 19:16 People: Saba Alimadadi, Di Zhong, Magnus Madsen, Frank Tip
… as a graphical aid for understanding and debugging promise-based code, but did not cover all … of promise graphs to include all promise-related features in ECMAScript 6, including default reactions, exceptions, and the synchronization operations race and all …
The Software Architecture of Economy Mechanics in Digital Games
DocSymposium When: Tue 6 Nov 2018 11:15 - 12:00 People: Wilson Mizutani
… The game industry relies on software reuse in the form of game engines to enable the efficient development of increasingly engaging digital games. However, these general-purpose solutions cannot provide reuse in all aspects of any given …
The Software Architecture of Economy Mechanics in Digital Games
Posters When: Mon 5 Nov 2018 17:48 - 17:49Wed 7 Nov 2018 19:11 - 19:13 People: Wilson Mizutani
… The game industry relies on software reuse in the form of game engines to enable the efficient development of increasingly engaging digital games. However, these general-purpose solutions cannot provide reuse in all aspects of any given …
Expanding R Syntax in package space
SPLASH-I When: Wed 7 Nov 2018 16:30 - 17:30 People: Jim Hester
… and tidy evaluation with the rlang package all added useful constructs to the R …
Mechanized Proofs of System Correctness in Production: Cryptography and Beyond
SPLASH-I When: Mon 5 Nov 2018 13:30 - 14:30 People: Adam Chlipala
… code now powers (in a small but important role) about half of all HTTPS …
One Tool, Many Languages: Language-Parametric Transformation with Incremental Parametric Syntax
Posters When: Mon 5 Nov 2018 18:11 - 18:12Wed 7 Nov 2018 19:26 - 19:28 People: James Koppel, Varot Premtoon, Armando Solar-Lezama
… that runs on all of them, along with three smaller transformations that each run …
One Tool, Many Languages: Language-Parametric Transformation with Incremental Parametric Syntax
OOPSLA When: Wed 7 Nov 2018 14:37 - 15:00 People: James Koppel, Varot Premtoon, Armando Solar-Lezama
… that runs on all of them, along with three smaller transformations that each run …
Chocola: Integrating Futures, Actors, and Transactions
Posters When: Mon 5 Nov 2018 17:53 - 17:54Wed 7 Nov 2018 18:43 - 18:45 People: Janwillem Swalens, Wolfgang De Meuter, Joeri De Koster
… that maintains the guarantees of all models wherever possible, even when …
Symmetry-based Optimization of Interaction Kernels
Posters When: Mon 5 Nov 2018 18:19 - 18:20Wed 7 Nov 2018 19:20 - 19:22 People: Shigeyuki Sato
… is eliminated by the hands of experts. This is not productive at all both for experts …
Reconciling High-level Optimizations and Low-level Code in LLVM
OOPSLA When: Wed 7 Nov 2018 16:15 - 16:37 People: Juneyoung Lee, Chung-Kil Hur, Ralf Jung, Zhengyang Liu, John Regehr, Nuno P. Lopes
… and the semantics of corner cases are not always clear to all compiler …
Reconciling High-level Optimizations and Low-level Code in LLVM
Posters When: Mon 5 Nov 2018 18:07 - 18:09Wed 7 Nov 2018 18:39 - 18:41 People: Juneyoung Lee, Chung-Kil Hur, Ralf Jung, Zhengyang Liu, John Regehr, Nuno P. Lopes
… and the semantics of corner cases are not always clear to all compiler …
Continuous Model Validation using Reference Attribute Grammars
Posters When: Mon 5 Nov 2018 19:21 - 19:23Wed 7 Nov 2018 18:06 - 18:08 People: Johannes Mey, René Schöne, Görel Hedin, Emma Söderberg, Thomas Kühn, Niklas Fors, Jesper Oqvist, Uwe Aßmann
… . However, not all features used in conceptual modelling are directly available …
Sound Deadlock Prediction
OOPSLA When: Thu 8 Nov 2018 14:37 - 15:00 People: Christian Gram Kalhauge, Jens Palsberg
… For a concurrent program, a prediction tool maps the history of a single run to a prediction of bugs in an exponential number of other runs. If all those bugs can occur, then the tool is sound. This is the case for some data-race tools …
Finding Code That Explodes Under Symbolic Evaluation
OOPSLA When: Thu 8 Nov 2018 16:15 - 16:37 People: James Bornholt, Emina Torlak
… design to elicit the best performance. This task is made difficult by the all-paths … (encompassing all forms of symbolic evaluation), explainable (providing programmers …
In Defense of "Little Code"
Keynotes When: Thu 8 Nov 2018 17:30 - 18:30 People: Kathi Fisler
… Big Code is all the rage. As IDE builders and people who know static analysis, we see a wealth of opportunity to generate data to study how people program. What better way to identify coders’ skills and confusions than to harvest …
Bridging the Gap for At-Risk Cohorts: Experimenting with English Language Learners
SPLASH-E When: Mon 5 Nov 2018 13:30 - 14:00 People: Celina Berg, Fatimah Mahmood
… all learners. This paper outlines two interventions attempted across two years …
Refinement in object-sensitivity points-to analysis via slicing
Posters When: Mon 5 Nov 2018 19:18 - 19:20Wed 7 Nov 2018 19:09 - 19:11 People: Girish Maskeri Rama, Raghavan Komondoor, Himanshu Sharma
… sensitivity analysis that uses a low object-name length bound at all allocation …
A Derivation Framework for Dependent Security Label Inference
Posters When: Mon 5 Nov 2018 19:11 - 19:13Wed 7 Nov 2018 19:38 - 19:40 People: Peixuan Li, Danfeng Zhang
… and a TrustZone-like architecture. However, most work assumes that all (complex …
A Derivation Framework for Dependent Security Label Inference
OOPSLA When: Wed 7 Nov 2018 13:30 - 13:52 People: Peixuan Li, Danfeng Zhang
… and a TrustZone-like architecture. However, most work assumes that all …
Refinement in object-sensitivity points-to analysis via slicing
OOPSLA When: Thu 8 Nov 2018 14:37 - 15:00 People: Girish Maskeri Rama, Raghavan Komondoor, Himanshu Sharma
… object sensitivity analysis that uses a low object-name length bound at all …
Cross-Component Garbage Collection
OOPSLA When: Thu 8 Nov 2018 15:30 - 15:52 People: Ulan Degenbaev, Jochen Eisinger, Kentaro Hara, Marcel Hlopko, Michael Lippautz, Hannes Payer
… system was enabled by default for all websites in Chrome version 57. …
Towards Understanding the Costs of Avoiding Out-of-Thin-Air Results
Posters When: Mon 5 Nov 2018 18:42 - 18:43Wed 7 Nov 2018 18:24 - 18:26 People: Peizhao Ou, Brian Demsky
… in which all memory operations may create OOTA executions. Our solutions provide …
Towards Understanding the Costs of Avoiding Out-of-Thin-Air Results
OOPSLA When: Thu 8 Nov 2018 10:52 - 11:15 People: Peizhao Ou, Brian Demsky
… in which all memory operations may create OOTA executions. Our solutions provide …
Robust Relational Layout Synthesis from Examples for Android
Posters When: Mon 5 Nov 2018 18:24 - 18:25Wed 7 Nov 2018 19:36 - 19:38 People: Pavol Bielik, Marc Fischer, Martin Vechev
… 92% of views across multiple devices, all without requiring additional …
Robust Relational Layout Synthesis from Examples for Android
OOPSLA When: Fri 9 Nov 2018 10:52 - 11:15 People: Pavol Bielik, Marc Fischer, Martin Vechev
… generalizes 92% of views across multiple devices, all without requiring additional …
Relational Program Synthesis
OOPSLA When: Fri 9 Nov 2018 10:30 - 10:52 People: Yuepeng Wang, Xinyu Wang, Işıl Dillig
… that the proposed technique can solve almost all of these benchmarks …
Sound Deadlock Prediction
Posters When: Mon 5 Nov 2018 18:20 - 18:22Wed 7 Nov 2018 18:59 - 19:01 People: Christian Gram Kalhauge, Jens Palsberg
… For a concurrent program, a prediction tool maps the history of a single run to a prediction of bugs in an exponential number of other runs. If all those bugs can occur, then the tool is sound. This is the case for some data race tools …
Precision-Guided Context Sensitivity for Pointer Analysis
Posters When: Mon 5 Nov 2018 19:00 - 19:02Wed 7 Nov 2018 20:21 - 20:23 People: Yue Li, Tian Tan, Anders Møller, Yannis Smaragdakis
… on the identified precision-critical methods, preserves effectively all (98.8 …
Precision-Guided Context Sensitivity for Pointer Analysis
OOPSLA When: Thu 8 Nov 2018 14:15 - 14:37 People: Yue Li, Tian Tan, Anders Møller, Yannis Smaragdakis
… on the identified precision-critical methods, preserves effectively all (98.8 …
Explicit Direct Instruction in Programming Education
Keynotes When: Mon 5 Nov 2018 08:45 - 10:00 People: Felienne Hermans
… the teacher be in charge of what happens in the classroom, explaining students all …
Beauty is the Promise of Happiness
Keynotes When: Thu 8 Nov 2018 08:30 - 10:00 People: Jenny Quillien
… A keynote opens a gathering, sets the tone, and a theme. The proposed theme is Beauty. Notice that it is not Aesthetics, a much cooler, distant, cerebral, and safer term. Intellectuals can sit around all day and nitpick about aesthetics …
Precise and Scalable Points-to Analysis via Data-Driven Context Tunneling
Posters When: Mon 5 Nov 2018 17:57 - 17:59Wed 7 Nov 2018 18:18 - 18:20 People: Minseok Jeon, Sehun Jeong, Hakjoo Oh
… , type-sensitivity, and hybrid context-sensitivity. In all cases, $1$-context …
Scaling the REPL Experience
Posters When: Mon 5 Nov 2018 18:12 - 18:14Wed 7 Nov 2018 18:57 - 18:59 People: Yair Chuchem, Eyal Lotem
… listed above:
- Bandwidth is improved with value annotations under all evaluated …
Precise and Scalable Points-to Analysis via Data-Driven Context Tunneling
OOPSLA When: Thu 8 Nov 2018 13:52 - 14:15 People: Minseok Jeon, Sehun Jeong, Hakjoo Oh
… context-sensitivity. In all cases, $1$-context-sensitive analysis with context …
ShareJIT: JIT Code Cache Sharing across Processes and its Practical Implementation
OOPSLA When: Wed 7 Nov 2018 15:52 - 16:15 People: Xiaoran Xu, Keith Cooper, Jacob Brock, Yan Zhang, Handong Ye
… . It can also reduce the cumulative amount of time spent interpreting code. All three …
Finding Higher Order Mutants Using Variational Execution
SRC People: Serena Chen
… of results. Our variational execution approach finds all 38 SSHOMs for a set of 33 …
Better living through incrementality: Immediate static analysis feedback without loss of precision
SPLASH-I When: Tue 6 Nov 2018 13:30 - 14:30 People: Sebastian Erdweg, Tamás Szabó
… must provide all these features without interrupting the workflow of the developer …
Software Multiplexing: Share Your Libraries and Statically Link Them Too
OOPSLA When: Thu 8 Nov 2018 16:37 - 17:00 People: Will Dietz, Vikram S. Adve
… of application code and all its libraries, even if the libraries are normally compiled …
Gradual Liquid Type Inference
OOPSLA When: Thu 8 Nov 2018 10:52 - 11:15 People: Niki Vazou, Éric Tanter, David Van Horn
… the safe concretizations exhibit all the potential inconsistencies that lead …
Safe Replication through Bounded Concurrency Verification
OOPSLA When: Fri 9 Nov 2018 13:52 - 14:15 People: Gowtham Kaki, Kapil Earanky, KC Sivaramakrishnan, Suresh Jagannathan
… not guarantee all replicas have a consistent view of an application’s state …
Safe Replication through Bounded Concurrency Verification
Posters When: Mon 5 Nov 2018 18:02 - 18:04Wed 7 Nov 2018 19:03 - 19:05 People: Gowtham Kaki, Kapil Earanky, KC Sivaramakrishnan, Suresh Jagannathan
… not guarantee all replicas have a consistent view of an application’s state. Consequently …