OOPSLA When: Wed 2 Nov 2016 10:30 - 10:55 People: Andrei Stefanescu, Daejun Park, Shijiao Yuwen, Yilong Li, Grigore Roşu

… …

GPCE When: Mon 31 Oct 2016 08:30 - 10:00 People: Tiark Rompf

… …

DSM When: Sun 30 Oct 2016 15:40 - 17:00

… All participants can join the group(s) with the topic of interest. …

NOOL When: Mon 31 Oct 2016 15:40 - 16:15 People: Patrick Dubroy

… We explore a form of object-oriented messaging in the context of an ownership tree, where owners can intercept messages sent to their transitively-owned objects. If all access to an object is mediated by its owner *(owners-as-accessors …

DLS When: Tue 1 Nov 2016 11:45 - 12:10 People: Mattias De Wael, Janwillem Swalens, Wolfgang De Meuter

… is not the silver bullet to solve all ambiguity problems heir to multiple inheritance, because it is not applicable in all scenarios.
We conclude …

WODA When: Tue 1 Nov 2016 16:30 - 17:20 People: Yannis Smaragdakis

… static analysis is one that catches all bugs–the complement of the previous …

DSLDI When: Mon 31 Oct 2016 16:55 - 17:20 People: Bruce Trask

… be understood very clearly by all involved (from customer to developer …

DSLDI When: Mon 31 Oct 2016 13:55 - 14:20 People: Jonathan Aldrich, Alex Potanin

… , and dynamic semantics for the DSL, all of which may differ from the host …

SEPS When: Tue 1 Nov 2016 10:30 - 10:55 People: Jixin Han, Rina Fujino, Ryota Tamura, Mamoru Shimaoka, Hiroki Mikami, Moriyuki Takamura, Sachio Kamiya, Kazuhiko Suzuki, Takahiro Miyajima, Keiji Kimura , Hironori Kasahara

… to a source program but all program analysis passes do not have to be applied …

VMIL When: Mon 31 Oct 2016 16:30 - 16:55 People: Matthew Gaudet, Mark Stoodley

… Eclipse OMR is a new open source project created by refactoring the IBM J9 Java Virtual Machine to create a set of language agnostic components for building all kinds of language runtimes. This paper reflects on the effort, the successes …

GPCE When: Mon 31 Oct 2016 15:40 - 16:10 People: Mina Lee, Sunbeom So, Hakjoo Oh

… automatically synthesizes the simplest possible regular expression that accepts all the positive examples while rejecting all the negative examples. The key novelty …

ITSLE When: Mon 31 Oct 2016 16:10 - 16:39 People: Abhishek Sharma, Michel Reniers

… A model of a system (plant) is required to address aspects from different domains, e.g., supervisory control, communication, each of which need to be formulated using appropriate modeling tools. Modeling all these aspects using a single …

Meta 2016 When: Sun 30 Oct 2016 14:00 - 14:30 People: Prakasam Kannan, Thomas H. Austin, Mark Stamp, Tim Disney, Cormac Flanagan

… implementations require the support of all JavaScript VMs. Code rewriting requires …

Meta 2016 When: Sun 30 Oct 2016 11:00 - 11:30 People: Pablo Tesone, Guillermo Polito, Luc Fabresse, Noury Bouraqadi, Stéphane Ducasse

… they are executing. A common concern in all DSU solutions is the migration …

VMIL When: Mon 31 Oct 2016 16:05 - 16:30 People: Maarten Vandercammen, Coen De Roover

… refine the information about the future of the current and all possible states. We …

Meta 2016 When: Sun 30 Oct 2016 09:30 - 10:00 People: Yutaro Tsunekawa, Taichi Tomioka, Kazunori Ueda

… LMNtal is a modeling language based on hierarchical graph rewriting, and its implementation SLIM features an LTL model checker. There is some research on extensions of SLIM, and all of them achieve their functionalities by modifying SLIM …

WODA When: Tue 1 Nov 2016 11:36 - 12:10 People: Steven Arzt

… out and emulate all these app-specific constraints. In this talk, we will present …

FOSD When: Sun 30 Oct 2016 10:30 - 11:00 People: Benjamin Behringer, Moritz Fey

… is expressive enough to represent DeltaJ product lines, and at the same time supports all …

DLS When: Tue 1 Nov 2016 10:30 - 10:55 People: Gianluca Mezzetti, Anders Møller, Fabio Strocco

… . Our results show that some, but not all, sources of unsoundness can …

DLS When: Tue 1 Nov 2016 10:55 - 11:20 People: Thomas S. Heinze, Anders Møller, Fabio Strocco

… that the technique is remarkably effective, even without context sensitivity: 99.3% of all …

SLE When: Mon 31 Oct 2016 11:30 - 11:45 People: Juha-Pekka Tolvanen

… Almost all software development activities require collaboration and language engineering is no exception. First, there is a need for collaboration among language engineers as it is not realistic to expect one man to master all. Second …

GPCE When: Tue 1 Nov 2016 14:45 - 15:00 People: Mustafa Al-Hajjaji, Jens Meinicke, Sebastian Krieter, Reimar Schröter, Thomas Thüm, Thomas Leich, Gunter Saake

… configurations. Ideally, all configurations of a software system should be tested … or a specialized testing framework. Within our tool FeatureIDE, we integrate all …

Mobile! When: Mon 31 Oct 2016 11:20 - 11:45 People: Rohan Bavishi, Awanish Pandey, Subhajit Roy

… Regression-aware fault localization attempts to rank suspicious statements in a manner such that potential regression inducing suggestions are ranked low. The algorithm extracts the proof of correctness of all the correct executions …

Meta 2016 When: Sun 30 Oct 2016 10:30 - 11:00 People: Simon Van de Water, Thierry Renaux, Wolfgang De Meuter

… a reification of all the rules in the ruleset, enabling us to provide language …

VMIL When: Mon 31 Oct 2016 09:35 - 10:00 People: Keith Chapman, Tony Hosking, Eliot Moss

… transactional metadata in the synchronization word carried by all OpenJDK objects …

FOSD When: Sun 30 Oct 2016 15:40 - 16:10 People: David Wille, Sandro Schulze, Ina Schaefer

… variants is lost so that all products have to be maintained separately …

Mobile! When: Mon 31 Oct 2016 09:35 - 10:00 People: Kumud Bhandari

… The scalability limitations of current DRAM technology
have prompted research in alternative memory technologies.
Almost all new viable alternatives being explored are non-volatile
in nature. In this talk, we explore …

Mobile! When: Mon 31 Oct 2016 13:55 - 14:10 People: David S. Janzen, Andrew Hughes, Anthony Lenz

… developers who desire to support all devices within a single application. Squid …

Onward! Essays When: Wed 2 Nov 2016 14:20 - 15:10 People: James Noble, Andrew Black, Kim Bruce, Michael Homer, Mark Miller

… all of which provide two variants of ``equality'', while some …

Onward! Papers When: Thu 3 Nov 2016 15:40 - 16:05 People: Matt McCutchen, Shachar Itzhaky, Daniel Jackson

… in almost all cases to represent data that is essentially relational (with some …

Parsing@SLE When: Sun 30 Oct 2016 10:30 - 10:55 People: Tobias Runge, Ina Schaefer, Loek Cleophas, Bruce Watson

… developed [1]. Yet no coherent implementation covering all these algorithm variants …

Onward! Papers When: Fri 4 Nov 2016 11:20 - 11:45 People: Soumya Indela, Mukul Kulkarni, Kartik Nayak, Tudor Dumitras

… not encapsulate all the framework-specific knowledge and expect developers to understand …

AGERE 2016 When: Sun 30 Oct 2016 14:10 - 14:30 People: Tim Coppieters, Joeri De Koster, Wolfgang De Meuter

… executing all the operations of the replicas in the same order, as determined …

Onward! Papers When: Wed 2 Nov 2016 16:30 - 16:55 People: Heather Miller, Philipp Haller, Normen Müller, Jocelyn Boullier, Jorge Vicente Cantero

… The most successful systems for ``big data'' processing have all adopted
functional APIs. We present a new programming model we call {\em function
passing} designed to provide a more principled substrate on which to build …

Scala When: Mon 31 Oct 2016 09:00 - 10:00 People: Jan Vitek

… words they ignore four decade of research in programming languages. But all …

GPCE When: Tue 1 Nov 2016 10:30 - 11:00 People: Larissa Braz, Rohit Gheyi, Melina Mongiovi, Márcio Ribeiro, Flavio Medeiros, Leopoldo Teixeira

… Configurable systems typically use #ifdefs to denote variability. Generating and compiling all configurations may be time-consuming. An alternative consists of using variability-aware parsers, such as TypeChef. However, they may not scale …

GPCE When: Tue 1 Nov 2016 11:00 - 11:30 People: Juliana Alves Pereira, Pawel Matuszyk, Sebastian Krieter, Myra Spiliopoulou, Gunter Saake

… an interactive open-source configurator tool encompassing all those features. (iv …

Onward! Papers When: Wed 2 Nov 2016 11:20 - 11:45 People: Kimio Kuramitsu

… of parsers since all Nez operations are independent of a specific parser language …

SLE When: Mon 31 Oct 2016 16:55 - 17:10 People: Thomas Kühn, Kay Bierzynski, Sebastian Richly, Uwe Aßmann

… modeling editor embracing all natures of roles and modeling constraints featuring …

SLE When: Tue 1 Nov 2016 11:45 - 12:00 People: Joel Lindholm, Johan Thorsberg, Görel Hedin

… , and supports all JastAdd attribution mechanisms, such as demand evaluation, reference …

SLE When: Tue 1 Nov 2016 14:20 - 14:45 People: Ahmad Salim Al-Sibahi, Aleksandar S. Dimovski, Andrzej Wąsowski

… for such programs in almost all tested cases. …

Scala When: Mon 31 Oct 2016 13:55 - 14:20 People: Mikaël Mayer, Ravichandhran Madhavan

… , and interleaves as per the schedule all user-specified operations invoked through …

Scala When: Sun 30 Oct 2016 09:00 - 10:00 People: Laurence Tratt

… : no matter how clever the VM, some languages run slowly. Even when all languages …

GPCE When: Tue 1 Nov 2016 14:30 - 14:45 People: Michael Steindorfer, Jurgen Vinju

… structures which covers all variations without exhaustively listing them, while …

SPLASH-I When: Fri 4 Nov 2016 10:30 - 11:20 People: William Cook

… Stencils are a new approach to Graphical/Web User Interface (GWUI) construction based on combining multiple domain-specific languages with powerful implementation strategies. The strategies convey all the knowledge about how to build …

SPLASH-I When: Thu 3 Nov 2016 14:20 - 15:10 People: Adam Welc, Chris Seaton

… Not all programming languages can be supported by huge expert engineering teams to make them as fast as major languages such as Java and JavaScript. Two technologies from Oracle Labs are making it easy to achieve similar results with much …

OOPSLA When: Wed 2 Nov 2016 13:30 - 13:55 People: Scott Moore, Christos Dimoulas, Robert Bruce Findler, Matthew Flatt, Stephen Chong

… Existing programming language access control frameworks do not meet the needs of all software components. We propose an expressive framework for implementing access control monitors for components. The basis of the framework is a novel …

Posters When: Wed 2 Nov 2016 17:30 - 19:30Mon 31 Oct 2016 18:42 - 19:00 People: Joseph Caldwell

… in virtually all smart phones and in many other smaller-scale embedded devices …

Student Research Competition People: Tyler Etzel

… to express and enforce immutability by declaring all fields of an object "final …

Student Research Competition People: Larissa Braz

… Configurable systems typically use #ifdefs to denote variability. Generating and compiling all configurations may be time-consuming. An alternative consists of using variability-aware parsers, such as TypeChef. However, they may not scale …

Student Research Competition People: Joseph Caldwell

… in virtually all smart phones and in many other smaller-scale embedded devices. Here …

SPLASH-I When: Fri 4 Nov 2016 13:30 - 14:20 People: Todd Veldhuizen

… demonstrate parallel speedup even in inimical scenarios where all pairs …

Posters When: Wed 2 Nov 2016 17:30 - 19:30Mon 31 Oct 2016 20:12 - 20:30 People: Yewen Pu, Karthik Narasimhan, Armando Solar-Lezama, Regina Barzilay

… can correct 29% of all incorrect submissions and out-performs state of the art …

OOPSLA When: Wed 2 Nov 2016 10:55 - 11:20 People: Ilya Sergey, Aleksandar Nanevski, Anindya Banerjee, Germán Andrés Delbianco

… mechanized proofs for all the examples in the paper. …

Posters When: Wed 2 Nov 2016 17:30 - 19:30Mon 31 Oct 2016 18:06 - 18:24 People: Tetsuo Kamina

… and any changes of the source values are propagated to all the dependent reactive …

OOPSLA When: Wed 2 Nov 2016 16:55 - 17:20 People: Satish Chandra, Colin Gordon, Jean-Baptiste Jeannin, Cole Schlesinger, Manu Sridharan, Frank Tip, Young-il Choi

… bound propagation to infer types and
discover type errors in all code, including …

OOPSLA When: Wed 2 Nov 2016 16:30 - 16:55 People: Oliver Hanappi, Waldemar Hummer, Schahram Dustdar

… preservation, and we show that if preservation holds for all pairs of resources … scripts and show the effectiveness of the approach. Our tool is able to detect all …

SPLASH-I When: Thu 3 Nov 2016 11:20 - 12:10 People: Crista Lopes

… , all these new technologies can greatly benefit from urban simulations …, despite all the reasons why complex simulations are desirable for decision …

OOPSLA When: Thu 3 Nov 2016 11:45 - 12:10 People: Jeff Huang, Arun Krishnakumar Rajagopalan

… to be precise all report many false alarms when missing synchronizations. …

SPLASH-I When: Wed 2 Nov 2016 11:20 - 12:10 People: Jos Warmer

… and more different technologies.

To guarantee consistency between all usages …

SPLASH-I When: Wed 2 Nov 2016 10:30 - 11:20 People: Markus Völter

… , engine control and system engineering. All of the languages discussed have been …

OOPSLA When: Thu 3 Nov 2016 14:20 - 14:45 People: Kumud Bhandari, Dhruva Chakrabarti, Hans-J. Boehm

… memory leaks, and is efficient, all in the face of failures.

We show …

SPLASH-I When: Fri 4 Nov 2016 14:20 - 15:10 People: Tudor Gîrba

… and anything else related to a software system. It’s all data, and data is best … systems all the way down, and (3) reeducate our perception of what software …

OOPSLA When: Thu 3 Nov 2016 11:20 - 11:45 People: Ben Blum, Garth Gibson

… checkers. It also enables full verification of all possible schedules when …

OOPSLA When: Wed 2 Nov 2016 11:20 - 11:45 People: Kyndylan Nienhuis, Kayvan Memarian, Peter Sewell

… concurrency. This covers all the features of the previous formalised axiomatic model …

OOPSLA When: Fri 4 Nov 2016 14:20 - 14:45 People: Zhiqiang Zuo, Lu Fang, Siau-Cheng Khoo, Harry Xu, Shan Lu

… simultaneously,
which are all indispensable for statistical debugging …

Keynotes and Awards When: Wed 2 Nov 2016 08:45 - 10:00 People: Benjamin C. Pierce

… Abstraction and modularity underlie all successful hardware and software systems: We build complex artifacts by decomposing them into parts that can be understood separately. Modular decomposition depends crucially on the artful choice …

OOPSLA When: Wed 2 Nov 2016 13:55 - 14:20 People: Leo Osvald, Gregory Essertel, Xilun Wu, Lilliam I Gonzalez Alayon, Tiark Rompf

… modify the Scala Collections library and add
privilege annotations to all …

OOPSLA When: Thu 3 Nov 2016 13:55 - 14:20 People: Keith Chapman, Tony Hosking, Eliot Moss

… successfully run all transactional programs, whether because of hardware …