Search events for 'all'
Infra: Structure All the Way Down - Structured Data as a Visual Programming Language
Onward! Papers When: Fri 27 Oct 2017 13:30 - 14:00 People: Christopher Hall, Trevor Standley, Tobias Höllerer
… We present Infra, a new baseline medium for representing data. With Infra, arbitrarily-complex structured data can be encoded, viewed, edited and processed, all within a parsed paradigm. It is suitable for the full range of information …
Concept Analysis in Programming Language Research: Done Well It Is All Right
Onward! Essays When: Wed 25 Oct 2017 16:15 - 17:00 People: Antti-Juhani Kaijanaho
… …
You Can Have it All: Abstraction and Good Cache Performance
Onward! Papers When: Fri 27 Oct 2017 11:00 - 11:30 People: Juliana Franco, Martin Hagelin, Tobias Wrigstad, Sophia Drossopoulou, Susan Eisenbach
… …
Accelerate JavaScript Applications by Cross-Compiling to WebAssembly
VMIL 2017 When: Tue 24 Oct 2017 11:20 - 12:00 People: Micha Reiser, Luc Bläser
… execution supported by all major browsers. Speedy.js only imposes minimal …
Verifiable Reactive Software
REBELS When: Mon 23 Oct 2017 14:30 - 15:00 People: Kevin Baldor, Jianwei Niu
… of errors, it effectively explores all possible input of a configurable length …
Keynote: How Should We Train the Next Generation of VM Engineers?
VMIL 2017 When: Tue 24 Oct 2017 13:30 - 14:30 People: Mario Wolczko
… , all the while remaining cognizant of the tradeoffs involved. How does one …
Specifying Attenuation
OCAP 2017 When: Tue 24 Oct 2017 15:30 - 16:00 People: Shu-Peng Loh, Sophia Drossopoulou
… In object capability systems, attenuating objects give secure access to some, but not all capabilities of another object. One such example, is restricted (DOM) tree access, where an attenuating object allows reading and writing …
Programmable Aspect (Canceled)
Meta 2017 People: Farshad Saeidi, Farzad Sanati
… One of the barriers to identifying all possible crosscutting concerns is the presence of repetitive details, which in most cases leads to encapsulation of each repeated detail into an independent module. In this paper, we propose …
FRP IoT Modules as a Scala DSL
REBELS When: Mon 23 Oct 2017 13:30 - 14:00 People: Ben Calus, Bob Reynders, Dominique Devriese, Job Noorman, Frank Piessens
… managing code-bases of sub-applications that go on all nodes separately.
We …
Invited talk: Challenges and Progress Toward Efficient Gradual Typing
DLS 2017 When: Tue 24 Oct 2017 13:30 - 14:30 People: Jeremy G. Siek
… or fully typed version of the same program. But all is not lost …
Declarative Disambiguation with Contextual Scoping
Parsing@SLE 2017 When: Sun 22 Oct 2017 14:00 - 14:30 People: Michael Steindorfer, Luis Eduardo de Souza Amorim
… . Safe disambiguation denotes that all valid inputs are accepted by the parser … disambiguate all combinations of operators, i.e., for any input constructed combining …
Kanto: A multi-participant screen-sharing system for Etoys, Snap! and GP
PX/17.2 When: Sun 22 Oct 2017 13:30 - 14:15 People: Yoshiki Ohshima, Bert Freudenberg, Dan Amelang
… canvas to render all graphics, we can simply stream the contents of the canvas …
A Concurrency-Agnostic Protocol for Multi-Paradigm Concurrent Debugging Tools
DLS 2017 When: Tue 24 Oct 2017 09:30 - 10:00 People: Stefan Marr, Carmen Torres Lopez, Dominik Aumayr, Elisa Gonzalez Boix, Hanspeter Mössenböck
… of these, the debugger needed to be changed. Furthermore, we visualize all concurrent …
CapNet: Security and Least Authority in a Capability-Enabled Cloud
OCAP 2017 When: Tue 24 Oct 2017 10:30 - 11:00 People: Anton Burtsev, David Johnson, Josh Kunz, Eric Eide, Jacobus Van der Merwe
… beyond capabilities: all network operations are accessible only through capability …
Monocle - Physical to Digital
SAVR 2017 When: Tue 24 Oct 2017 15:50 - 16:10
… , sharing the scan to all viewers simultaneously.
Aaron Hilton (Steampunk …
Block Level Parallelism in Parsing Block Structured Languages
Parsing@SLE 2017 When: Sun 22 Oct 2017 09:00 - 09:30 People: Abhinav Jangda
… -AST for each part, and then combining all sub-ASTs into one AST. …
Dinner (registration add-on)
GPCE 2017 When: Tue 24 Oct 2017 18:00 - 20:00
… of the conference venue.
All GPCE attendees are warmly encouraged to attend, but tickets …
Collapsing Towers of Interpreters ⭐️
Meta 2017 When: Sun 22 Oct 2017 15:30 - 16:30 People: Nada Amin
… ### Invited Talk
Given a tower of interpreters, i.e., a sequence of interpreters interpreting each other, we aim to collapse this tower into a compiler that removes all interpretive overhead in a single pass. In the real world, a use …
Embedding By Normalisation
DSLDI 2017 When: Sun 22 Oct 2017 15:52 - 16:15 People: Shayan Najd
… their target code from, all embedded terms are designed to eventually adhere to the normal …
Some Were Meant For C: The endurance of an unmanageable language
Onward! Essays When: Wed 25 Oct 2017 15:30 - 16:15 People: Stephen Kell
… ned behaviour, and the motivation of performance. It argues all …
Dinner (registration add-on)
SLE When: Tue 24 Oct 2017 18:00 - 20:00
… of the conference venue.
All SLE attendees are warmly encouraged to attend, but tickets …
Toward a Live Stepper for Typed Expressions with Holes
LIVE 2017 When: Tue 24 Oct 2017 11:20 - 11:40 People: Cyrus Omar, Ian Voysey, Matthew Hammer
… be a program editor where the programmer has access to the stepper at all times …
Preliminary Analysis of Contestant Performance for a Code Hunt Contest
PLATEAU 2017 When: Mon 23 Oct 2017 16:45 - 17:05 People: Adrian Clark, Jonathan Wells, Angello Astorga, Andrew Xie, Jalen Coleman-Lands, Tao Xie
… preliminary analysis of contestant performance among all contestants along with comparing …
Sympathy for the Devil: Reified Collection of Runtime Errors
PLATEAU 2017 When: Mon 23 Oct 2017 14:25 - 14:45 People: Tommaso Dal Sasso, Andrei Chiş, Andrea Mocci, Tudor Gîrba, Michele Lanza
… a running system. The developer is able to take a snapshot of all …
Selfie and the Basics
Onward! Papers When: Fri 27 Oct 2017 14:00 - 14:30 People: Christoph Kirsch
… compiler, self-executing MIPS emulator, and self-hosting MIPS hypervisor all …
Robust Projectional Editing
SLE When: Mon 23 Oct 2017 14:38 - 15:00 People: Friedrich Steimann, Marcus Frenkel, Markus Voelter
… at all times ensures that necessary corrections of a program are linked …-based capture of well-formedness will still catch all introduced errors …
Silverchain: A Fluent API Generator
GPCE 2017 When: Tue 24 Oct 2017 14:20 - 14:45 People: Tomoki Nakamaru, Kazuhiro Ichikawa, Tetsuro Yamazaki, Shigeru Chiba
… provide two styles of APIs:
One is for building a chain by concatenating all …
The Immersive Internet, Karan Singh, University of Toronto
SAVR 2017 When: Tue 24 Oct 2017 09:00 - 10:00
… as webspaces is challenging: it is about enabling all content regardless …
Rewriting for Sound and Complete Union, Intersection and Negation Types
GPCE 2017 When: Mon 23 Oct 2017 16:20 - 16:45 People: David J. Pearce
… which an implementation can be automatically generated. Whilst not all type systems …
Staging with Control: Type-Safe Multi-stage Programming with Control Operators
GPCE 2017 When: Mon 23 Oct 2017 11:20 - 11:45 People: Junpei Oishi, Yukiyoshi Kameyama
… Staging allows a programmer to write domain-specific, custom code generators. Ideally, a programming language for staging provides all necessary features for staging, and at the same time, gives static guarantee for the safety properties …
Reducing Calling Convention Overhead in Object-Oriented Programming on Embedded ARM Thumb-2 Platforms
GPCE 2017 When: Tue 24 Oct 2017 10:55 - 11:20 People: Joseph Caldwell, Shigeru Chiba
… , such as the 16-bit ARM Thumb and Thumb-2 instruction sets, used in virtually all …
Tool Demonstration: A development environment for the Alf language within the MagicDraw UML tool
SLE When: Tue 24 Oct 2017 14:38 - 15:00 People: Ed Seidewitz
… simulation scenarios. The Alf compiler also tracks the dependencies of all Alf …
Ensuring Non-interference of Composable Language Extensions
SLE When: Tue 24 Oct 2017 11:20 - 11:45 People: Ted Kaminski, Eric Van Wyk
… , implemented as attribute grammars, preserve all coherent properties. If we also restrict …
SLE Keynote: Engineering meta-languages for specifying software languages
SLE When: Tue 24 Oct 2017 08:45 - 10:00 People: Peter D. Mosses
… ). The main feature of CBS is that each funcon is defined once and for all …
Keynote: Engineering Meta-Languages for Specifying Software Languages
GPCE 2017 When: Tue 24 Oct 2017 08:45 - 10:00 People: Peter D. Mosses
… (funcons). The main feature of CBS is that each funcon is defined once and for all …
Deep Priority Conflicts in the Wild: A Pilot Study
SLE When: Mon 23 Oct 2017 13:53 - 14:15 People: Luis Eduardo de Souza Amorim, Michael J. Steindorfer, Eelco Visser
… disambiguation of operator precedence and associativity conflicts guarantees that all …
One if by Lambda, Two if by C: How PL Can Attack Computing Education
SPLASH-I When: Thu 26 Oct 2017 13:30 - 14:00 People: Kathi Fisler
… Collegiate CS enrollments are exploding. Many states are calling for"CS for All" K-12 students. Choices of programming languages and technologies are key strategic decisions for supporting diverse learners and their teachers. What …
How Type Errors Were Fixed and What Students Did?
OOPSLA When: Fri 27 Oct 2017 14:15 - 14:37 People: Baijun Wu, Sheng Chen
… more than 3,900 are ill typed. We investigated all the ill-typed programs … in practice since only about 30% of all type errors were caused by single …
Project Snowflake: Non-blocking Safe Manual Memory Management for .NET
OOPSLA When: Fri 27 Oct 2017 10:30 - 10:52 People: Matthew J. Parkinson, Dimitrios Vytiniotis, Kapil Vaswani, Manuel Costa, Pantazis Deligiannis, Dylan McDermott, Jonathan Balkind, Aaron Blankstein
… or the manual heap. All existing applications run unmodified, and without any … and concurrent sharing of these objects amongst all the threads in the program …
Onward 2017 Keynote: How the languages we speak shape the ways we think
Keynotes When: Fri 27 Oct 2017 08:55 - 10:00 People: Lera Boroditsky
… , and with good reason. At stake are basic questions all of us have about ourselves, human …
A Verified Messaging System
OOPSLA When: Thu 26 Oct 2017 16:15 - 16:37 People: William Mansky, Andrew W. Appel, Aleksey Nogin
… participants. There is only one writer, all operations are wait-free …
The Tensor Algebra Compiler
OOPSLA When: Thu 26 Oct 2017 10:30 - 10:52 People: Fredrik Kjolstad, Shoaib Kamil, Stephen Chou, David Lugato, Saman Amarasinghe
… implement and optimize them all. This paper introduces the first compiler technique …
Bounded Exhaustive Test-Input Generation on GPUs
OOPSLA When: Thu 26 Oct 2017 16:14 - 16:37 People: Ahmet Celik, Sreepathi Pai, Sarfraz Khurshid, Milos Gligoric
… testing is Korat. It generates all test inputs, up to a given small size, based … to systematically explore the space of all possible inputs and generate only those …
Who Guards the Guards? Formal Validation of the ARM v8-M Architecture Specification
OOPSLA When: Thu 26 Oct 2017 16:37 - 17:00 People: Alastair Reid
… twelve bugs (including two security bugs) that have all been fixed by
ARM. …
A Simple Soundness Proof for Dependent Object Types
OOPSLA When: Wed 25 Oct 2017 10:52 - 11:15 People: Marianna Rapoport, Ifaz Kabir, Paul He, Ondřej Lhoták
… and paradoxes caused by abstract type members are eliminated. Almost all reasoning …
Deadlock Avoidance in Parallel Programs with Futures: Why Parallel Tasks Should Not Wait for Strangers
OOPSLA When: Fri 27 Oct 2017 13:30 - 13:52 People: Tiago Cogumbreiro, Rishi Surendran, Francisco Martins, Vivek Sarkar, Vasco T. Vasconcelos, Max Grossman
… -detection. Proofs of all results were formalized using the Coq proof assistant. …
Heaps Don't Lie: Countering Unsoundness with Heap Snapshots
OOPSLA When: Wed 25 Oct 2017 16:37 - 17:00 People: Neville Grech, George Fourtounis, Adrian Francalanza, Yannis Smaragdakis
… Static analyses aspire to explore all possible executions in order to achieve soundness. Yet, in practice, they fail to capture common dynamic behavior. Enhancing static analyses with dynamic information is a common pattern, with tools …
Unifying Typing and Subtyping
OOPSLA When: Wed 25 Oct 2017 11:15 - 11:37 People: Yanpeng Yang, Bruno C. d. S. Oliveira
… substitution lemmas. All the metatheory of λI≤ is mechanically proved in the Coq …
Verifying Distributed Programs via Canonical Sequentialization
OOPSLA When: Fri 27 Oct 2017 14:37 - 15:00 People: Alexander Bakst, Klaus v. Gleissenthall, Ranjit Jhala, Rami Gökhan Kıcı
… , programmers do not reason about their systems by case-splitting over all …
Data-Driven Context-Sensitivity for Points-to Analysis
OOPSLA When: Fri 27 Oct 2017 11:15 - 11:37 People: Sehun Jeong, Minseok Jeon, Sungdeok (Steve) Cha, Hakjoo Oh
… -sensitivity. In all cases, experimental results show that our approach significantly …
Robust and Compositional Verification of Object Capability Patterns
OOPSLA When: Thu 26 Oct 2017 15:52 - 16:15 People: David Swasey, Deepak Garg, Derek Dreyer
…
for representative client code. All our results are fully mechanized in the Coq …
Verifying Strong Eventual Consistency in Distributed Systems
OOPSLA When: Fri 27 Oct 2017 14:15 - 14:37 People: Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, Alastair R. Beresford
… , and proving that our theorems hold in all possible network behaviours. Our …
Synthesizing Configuration File Specifications with Association Rule Learning
OOPSLA When: Wed 25 Oct 2017 16:37 - 16:59 People: Mark Santolucito, Ennan Zhai, Rahul Dhodapkar, Aaron Shim, Ruzica Piskac
… set of configuration files (not necessarily all correct) into a well-structured …
Learning User Friendly Type-Error Messages
OOPSLA When: Fri 27 Oct 2017 14:37 - 15:00 People: Baijun Wu, John Peter Campora, Sheng Chen
… steps to fix and occur quite frequently (around 50% to 60% of all type-errors …
Monadic Composition for Deterministic, Parallel Batch Processing
OOPSLA When: Thu 26 Oct 2017 11:37 - 12:00 People: Ryan Scott, Omar Navarro-Leija, Ryan R. Newton, Joseph Devietti
… an entrypoint that lives in the DetIO monad, a type which requires all operations—including …
Direct Manipulation Programming Systems
SPLASH-I When: Wed 25 Oct 2017 10:30 - 11:00 People: Ravi Chugh
… , and all of the code manipulation features, are new compared to the version …
Static Stages for Heterogeneous Programming
OOPSLA When: Thu 26 Oct 2017 10:52 - 11:15 People: Adrian Sampson, Kathryn S McKinley, Todd Mytkowicz
… take on multi-stage programming that lets the compiler generate all code …
Verifying Spatial Properties of Array Computations
OOPSLA When: Thu 26 Oct 2017 11:15 - 11:37 People: Dominic Orchard, Mistral Contrastin, Matthew Danish, Andrew Rice
… on the all too common mistake of array offset errors as a generalisation of off …
Toward Scalable Semantic Big Data
SPLASH-I When: Wed 25 Oct 2017 11:00 - 11:30 People: Julian Dolby
… for query federation over different endpoints is limited: the endpoints all need …
A Volatile-by-Default JVM for Server Applications
OOPSLA When: Wed 25 Oct 2017 10:30 - 10:52 People: Lun Liu, Todd Millstein, Madan Musuvathi
… * semantics provides sequential consistency (SC) for all programs by default …
IDEal: Efficient and Precise Alias-Aware Dataflow Analysis
OOPSLA When: Fri 27 Oct 2017 10:30 - 10:52 People: Johannes Späth, Karim Ali, Eric Bodden
… , and context-sensitive all-alias analysis. Yet, it achieves previously unseen …
Exploiting Implicit Beliefs to Resolve Sparse Usage Problem in Usage-Based Specification Mining
OOPSLA When: Thu 26 Oct 2017 13:30 - 13:52 People: Samantha Syeda Khairunnesa, Hoan Anh Nguyen, Tien N. Nguyen, Hridesh Rajan
… a program, and empirical evaluation of all of these ideas. We have analyzed …
Instrumentation Bias for Dynamic Data Race Detection
OOPSLA When: Wed 25 Oct 2017 15:52 - 16:15 People: Benjamin P. Wood, Man Cao, Michael D. Bond, Dan Grossman
… eliminates nearly all instrumentation atomicity costs on benchmarks where data often …
Automated Testing of Graphics Shader Compilers
OOPSLA When: Thu 26 Oct 2017 15:52 - 16:14 People: Alastair F. Donaldson, Hugues Evrard, Andrei Lascu, Paul Thomson
… than 60 distinct bugs, covering all tested configurations. As well as defective …
Panel: 50 Years of Language Evolution: From Simula’67 to the Future
SPLASH-I When: Wed 25 Oct 2017 15:30 - 17:00 People: Steven D. Fraser, Lera Boroditsky, Robert Gentleman, Chris Granger, Sumit Gulwani, Crista Lopes
… questions all of us have about ourselves, human nature, and reality. Why do we think …, and was proud of herself about it all day.
Robert Gentleman. It seems …