Events (84 results)

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

… <!– alt text

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 …

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 …

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. …

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 …

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 …

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 …

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 …

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 …

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 …

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 …

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

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 …

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 …

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 …

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 …

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

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 …

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

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 …

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 …

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 …

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 …

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 …

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 …

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

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 …

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 …

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 …

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

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 …

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

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 …

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. …

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

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 …

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, Isil 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 …

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 …

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 …

Software Multiplexing: Share Your Libraries and Statically Link Them Too

OOPSLA When: Thu 8 Nov 2018 16:37 - 17:00 People: Will Dietz, Vikram Adve

… of application code and all its libraries, even if the libraries are normally compiled …

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 …

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 …

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 …

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 …

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 …

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 …

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 …