SPLASH 2014
Mon 20 - Fri 24 October 2014 Portland, Oregon, United States
Events (36 results)

One VM to Rule Them All

Tutorials When: Thu 23 Oct 2014 10:30 - 12:00 People: Christian Wimmer

… …

The Problem of Structural Type Tests in a Gradual-Typed Language

FOOL When: Mon 20 Oct 2014 11:00 - 11:30 People: John Boyland

… forward, all of which have their own drawbacks. …

SMAST: Constructing Languages for Multi-Disciplinary Engineering Problems

DSLDI When: Mon 20 Oct 2014 14:30 - 15:00 People: Kevin Baldor, Jianwei Niu

… Reuse of engineering solutions is a greater challenge than the reuse of software artifacts. Without the advantage of a common description language, automatic reuse tends to be ad hoc if available at all. We present a concept-stage project …

Invited Speaker: A Brief, Opinionated History of the API

PLATEAU When: Tue 21 Oct 2014 09:00 - 10:00 People: Josh Bloch

… APIs have been with us for 60 years or so. They come in all different shapes, sizes, and disguises. In this talk we’ll look at a few APIs, focusing on what makes them good, what makes them successful, and why the correlation between …

Invited Talk: Automatic and Precise Program Analyses for Reliable and Efficient Concurrency

SEPS When: Tue 21 Oct 2014 08:40 - 09:40 People: Michael Pradel

… software with minimal effort, and precise, in the sense that all reported problems …

Metamorphic Domain-Specific Languages: A Journey Into the Shapes of a Language

Onward! Essays When: Wed 22 Oct 2014 14:15 - 15:00 People: Mathieu Acher, Benoit Combemale, Philippe Collet

… DSL, different shapes of an internal API, and maintain all these languages. A key insight is that there is no one-size-fits-all solution or no clear superiority …

Invited Talk: Dependence Programing with CnC

SEPS When: Tue 21 Oct 2014 10:30 - 11:20 People: Frank Schlimbach

… in the application and leave out all others. There are exactly two reasons …

Programming with Managed Time

Onward! Papers When: Wed 22 Oct 2014 10:30 - 10:52 People: Sean McDirmid, Jonathan Edwards

… entirely on programmers to properly order all updates. Just as languages now … propose a new form of managed time, Glitch, which ensures that all updates … of simultaneous execution. To do this, all updates must be commutative …

Unifying Textual and Visual: a Theoretical Account of the Visual Perception of Programming Languages

Onward! Papers When: Fri 24 Oct 2014 11:15 - 11:37 People: Stéphane Conversy

… languages is narrow, and that all kind of programming languages should rely …

It's only illegal if you get caught

Onward! Papers When: Thu 23 Oct 2014 16:37 - 17:00 People: Raphaël Proust, Alan Mycroft

… —bringing some form of atomicity. However, while all these constructs might work …

Getting to Flow in Software Development

Onward! Essays When: Thu 23 Oct 2014 14:15 - 15:00 People: Gail Murphy

… and process all of the information that may be useful or critical for decisions …

Mining the Ecosystem to Improve Type Inference For Dynamically Typed Languages

Onward! Papers When: Thu 23 Oct 2014 15:52 - 16:15 People: Boris Spasojevic, Mircea Lungu, Oscar Nierstrasz

… written in the same language. For all available projects, we track how often messages …

Keynote: Machine Learning for Programming

Keynotes When: Thu 23 Oct 2014 08:30 - 10:00 People: Peter Norvig

… to most or all software problems, and for most or all programmers, from …

Adaptive LL(*) Parsing: The Power of Dynamic Analysis

OOPSLA Artifacts People: Terence Parr, Sam Harwell, Kathleen Fisher

… strategies. This paper introduces the ALL() parsing strategy that combines … innovation is to move grammar analysis to parse-time, which lets ALL() handle any non-left-recursive context-free grammar. ALL(*) is O(n^4) in theory …

Adaptive LL(*) Parsing: The Power of Dynamic Analysis

OOPSLA When: Thu 23 Oct 2014 15:30 - 15:52 People: Terence Parr, Sam Harwell, Kathleen Fisher

… strategies. This paper introduces the ALL() parsing strategy that combines … innovation is to move grammar analysis to parse-time, which lets ALL() handle any non-left-recursive context-free grammar. ALL(*) is O(n^4) in theory …

QA to AQ: Shifting from Quality Assurance to Agile Quality

Tutorials When: Wed 22 Oct 2014 10:30 - 12:00 People: Joe Yoder

… , working to ensure quality in all facets of the development process. Because …, know how to write their own automated suite cases, and be involved in all

Using Catrobat, a Scratch-like visual programming language for smartphones, in a middle school physics course

SPLASH-E When: Tue 21 Oct 2014 15:30 - 16:00 People: Roxane Koitz-Hristov, Wolfgang Slany

… programs to the Web, all under free open source licenses to foster learning, sharing, and remixing. All major mobile platforms are supported. Google is promoting …

Keynote: Humane Representation of Thought: A Trail Map for the 21st Century

Keynotes When: Fri 24 Oct 2014 08:30 - 10:00 People: Bret Victor

… which draw on the entire range of human capabilities — all senses, all forms of movement, all forms of understanding — instead of straining a few and atrophying …

Refactoring Java Generics by Inferring Wildcards, In Practice

OOPSLA Artifacts People: John Altidor, Yannis Smaragdakis

… no changes to the Java type system, while taking into account all its intricacies …

Structured Source Retrieval for Improving Software Search during Program Comprehension Tasks

Doctoral Symposium When: Mon 20 Oct 2014 09:15 - 10:00 People: Brian Eddy

… ), and traceability (i.e., determining where requirements are implemented in the program), are all

An Experimental Survey of Energy Management Across the Stack

OOPSLA When: Thu 23 Oct 2014 11:15 - 11:37 People: Melanie Kambadur, Martha A. Kim

… Modern demand for energy-efficient computation has spurred research at all levels of the stack, from devices to microarchitecture, operating systems, compilers, and languages. Unfortunately, this breadth has resulted in a disjointed space …

Natural Proofs for Asynchronous Programs using Almost-Synchronous Invariants

OOPSLA When: Fri 24 Oct 2014 11:37 - 12:00 People: Ankush Desai, Pranav Garg, P. Madhusudan

… argues that they cover all local states. We show that asynchronous programs often …

Refactoring Java Generics by Inferring Wildcards, In Practice

OOPSLA When: Thu 23 Oct 2014 11:37 - 12:00 People: John Altidor, Yannis Smaragdakis

… no changes to the Java type system, while taking into account all its intricacies …

Efficient Subcubic Alias Analysis for C

OOPSLA When: Fri 24 Oct 2014 14:15 - 14:37 People: Qirun Zhang, Xiao Xiao, Charles Zhang, Hao Yuan, Zhendong Su

… -reachability algorithm propagates along all summary edges. We also utilize …

Bounded Exhaustive Test Input Generation from Hybrid Invariants

OOPSLA When: Fri 24 Oct 2014 10:30 - 10:52 People: Nico Rosner, Valeria Bengolea, Pablo Ponzio, Shadi Abdul Khalek, Nazareno Aguirre, Marcelo F. Frias, Sarfraz Khurshid

… . Moreover, our technique automatically evaluates all different possible ways …

Static Analysis for Independent App Developers

OOPSLA Artifacts People: Lucas Brutschy, Pietro Ferrara, Peter Müller

… for a selection of all scripts shows that most of the alarms are real errors. …

Static Analysis for Independent App Developers

OOPSLA When: Fri 24 Oct 2014 14:37 - 15:00 People: Lucas Brutschy, Pietro Ferrara, Peter Müller

… of the analysis results for a selection of all scripts shows that most of the alarms …

Multithreaded Test Synthesis for Deadlock Detection

OOPSLA Artifacts People: Malavika Samak, Murali Krishna Ramanathan

… it on many multithreaded Java libraries. OMEN synthesizes multithreaded tests for all

Keynote: Software Security - A Study in Technology Transfer

Keynotes When: Wed 22 Oct 2014 08:30 - 10:00 People: Gary McGraw

… people believe that the original researchers need to be involved all the way along …

Using Web Corpus Statistics for Program Analysis

OOPSLA When: Wed 22 Oct 2014 11:37 - 12:00 People: Chun-Hung Hsiao, Michael Cafarella, Satish Narayanasamy

… a code n-gram as a subgraph of the program dependence graph that contains all nodes …

Multithreaded Test Synthesis for Deadlock Detection

OOPSLA When: Thu 23 Oct 2014 14:15 - 14:37 People: Malavika Samak, Murali Krishna Ramanathan

… it on many multithreaded Java libraries. OMEN synthesizes multithreaded tests for all

Finding Minimum Type Error Sources

OOPSLA When: Thu 23 Oct 2014 15:52 - 16:15 People: Zvonimir Pavlinovic, Tim King, Thomas Wies

… errors. Our algorithm finds all minimum error sources, where the exact …

Late Data Layout: Unifying Data Representation Transformations

OOPSLA When: Thu 23 Oct 2014 14:15 - 14:37 People: Vlad Ureche, Eugene Burmako, Martin Odersky

… -stage programming mechanisms: they all expose a concept which they later refine …

Late Data Layout: Unifying Data Representation Transformations

OOPSLA Artifacts People: Vlad Ureche, Eugene Burmako, Martin Odersky

… -stage programming mechanisms: they all expose a concept which they later refine …

Fast Conservative Garbage Collection

OOPSLA When: Wed 22 Oct 2014 11:37 - 12:00 People: Rifat Shahriyar, Steve Blackburn, Kathryn S McKinley

… conservative collectors either (1) use mark-sweep and forgo moving all objects …

Fast Conservative Garbage Collection

OOPSLA Artifacts People: Steve Blackburn, Kathryn S McKinley, Rifat Shahriyar

… conservative collectors either (1) use mark-sweep and forgo moving all objects …