Events (71 results)

One Parser to Rule Them All

Onward! Papers When: Thu 29 Oct 2015 16:18 - 16:42 People: Ali Afroozeh, Anastasia Izmaylova

… …

Gradual typing is morally incorrect; we're all monsters now

NOOL When: Tue 27 Oct 2015 14:00 - 14:30 People: Timothy Jones, Michael Homer

… that they had a particular type, and even past behaviour, are all routes through which an assertion can be falsified, but all practical gradual systems ignore some or all of these cases. The level of knowledge the system has can change behaviour …

PLATEAU Keynote: Computational Thinking for All: Expanding the Boundaries of Computing for Nonprogrammers

PLATEAU When: Mon 26 Oct 2015 09:00 - 10:00 People: Mary Beth Rosson

… As computational tools and digital infrastructures have evolved and diversified, computing has pervaded all aspects of our everyday lives. We are surrounded by data of all forms, much of it interconnected through explicit or tacit …

Modern software is all about data. Development environments should be, too.

Keynotes When: Fri 30 Oct 2015 08:30 - 10:00 People: Robert DeLine

… …

Invited talk: Parsing Unpreprocessed C Code - The TypeChef Experience

Parsing@SLE When: Sun 25 Oct 2015 09:15 - 10:00 People: Christian Kästner

… ) that can soundly parse C code in all configurations, including all branches … this lead to the ability to build a type system that can check all compile-time …

Fastparse: programmable parsers for the 21st century

Parsing@SLE When: Sun 25 Oct 2015 11:30 - 12:00 People: Li Haoyi

… situations, a choice that demonstrates the total inadequacy of all these complex …, error messages? Fastparse is a tiny, 1500LOC library that provides all

GOLD: A Graph Oriented Language Implemented Using the Eclipse Xtext FrameWork

ETX When: Tue 27 Oct 2015 16:10 - 16:50 People: Alejandro Sotelo, Silvia Takahashi

… algorithms for advanced data structures. All GOLD components were packed …

Coordinating extensibility with CoLingua

Future Programming Workshop When: Mon 26 Oct 2015 09:15 - 10:00 People: Dann Toliver

… and units of functionality. Spaces can be nested, and all I/O happens in the application’s outermost space.

By default all communication is fire and forget …

ETX Invited Speaker: The Eclipse Academic Program: Creating the Eclipse University Ecosystem

ETX When: Tue 27 Oct 2015 09:00 - 10:00 People: Brian Barry

… presents one insider’s view of how it all happened and why it succeeded. …

A Datalog-based Protocol for Lazy Data Migration in Agile NoSQL Application Development

DBPL When: Tue 27 Oct 2015 13:52 - 14:15 People: Stefanie Scherzinger, Uta Störl, Meike Klettke

… in production no longer match the application code. Rather than migrating all … entity is loaded by the application, all pending structural changes are applied …

Function Inlining in XQuery 3.0 Optimization

DBPL When: Tue 27 Oct 2015 14:15 - 14:37 People: Leonard Wörteler, Michael Grossniklaus, Christian Grün, Marc H. Scholl

… Originally developed as a query language for XML databases, XQuery has evolved into a complete functional programming language. In order to unlock all optimization opportunities, XQuery processors therefore need to combine traditional …

Disambiguating Grammars with Tree Automata

Parsing@SLE When: Sun 25 Oct 2015 14:00 - 14:30 People: Michael D. Adams

… specify all of these while still allowing the CFG to be written in a natural …

Relational Foundations for Functorial Data Migration

DBPL When: Tue 27 Oct 2015 11:00 - 11:30 People: Ryan Wisnesky, David Spivak

… , and the collection of all S-instances forms a category, S–Inst. A functor F …

Relative Expressive Power of Downward Fragments of Navigational Query Languages on Trees and Chains

DBPL When: Tue 27 Oct 2015 16:00 - 16:30 People: Jelle Hellings, Marc Gyssens, Yuqing Wu, Dirk Van Gucht, Jan Van den Bussche, Stijn Vansummeren, George Fletcher

… and unlabeled trees, and on labeled and unlabeled chains. In all these cases, we …

Name Resolution Strategies in Variability Realization Languages for Software Product Lines

Parsing@SLE When: Sun 25 Oct 2015 14:30 - 15:00 People: Sven Schuster, Christoph Seidl, Ina Schaefer

… that comprehends all modules at once and, thus, the variability of the SPL …

Reactive Traversal of Recursive Data Types

REBLS When: Tue 27 Oct 2015 16:15 - 16:37 People: Francisco Sant'Anna, Hisham Muhammad, Johnicholas Hines

… for the synchronous language Céu, inheriting all of its concurrency functionality …

DBPL Keynote: The Gremlin Graph Traversal Machine and Language

DBPL When: Tue 27 Oct 2015 08:35 - 10:00 People: Marko Rodriguez

… is the ultimate locations of all halted traversers. A Gremlin machine can be executed over …

Designing Languages using Lightning

SLE When: Mon 26 Oct 2015 16:00 - 16:30 People: Loïc Gammaitoni, Pierre Kelsen, Christian Glodt

… Modelling languages are defined by specifying their abstract syntax, concrete syntax and semantics. In the Lightning tool the definition of all these language components is based on the lightweight formal language Alloy. Lightning makes …

Managing Uncertainty in Bidirectional Model Transformations

SLE When: Mon 26 Oct 2015 14:00 - 14:30 People: Romina Eramo, Alfonso Pierantonio, Gianni Rosa

… by returning all admissible models. This can be regarded as an uncertainty reducing …

Concolic Testing: A Decade Later

WODA When: Mon 26 Oct 2015 10:30 - 11:30 People: Koushik Sen

… of programs paths in all but the smallest programs, which is usually …

Management of Guided and Unguided Code Generator Customizations by Using a Symbol Table

DSM When: Tue 27 Oct 2015 10:50 - 11:10 People: Pedram Mir Seyed Nazari, Alexander Roth, Bernhard Rumpe

… table. As all relevant information is directly associated with a template, we …

Supporting Users to Manage Breaking and Unresolvable Changes in Coupled Evolution

DSM When: Tue 27 Oct 2015 11:40 - 12:00 People: Juri Di Rocco, Davide Di Ruscio, Ludovico Iovino, Alfonso Pierantonio

… , adapting all those artifacts that might have been affected by the operated metamodel …

AGERE! Keynote: Concurrent, Distributed Thinking for First-time Programmers in StarLogo Nova

AGERE When: Mon 26 Oct 2015 08:30 - 09:20 People: Daniel Wendel

… , StarLogo Nova, employs a blocks-based program editor and 3D visualization engine, all

Supporting Efficient and Advanced Omniscient Debugging for xDSMLs

SLE When: Tue 27 Oct 2015 14:00 - 14:30 People: Erwan Bousse, Jonathan Corley, Benoit Combemale, Jeff Gray, Benoit Baudry

… to this problem is to define a generic omniscient debugger for all xDSMLs. However …

A Combined Formal Model for Relational Context-Dependent Roles

SLE When: Tue 27 Oct 2015 11:30 - 12:00 People: Thomas Kühn, Stephan Böhme, Sebastian Götz, Uwe Aßmann

… Role-based modeling has been investigated for over 35 years as a promising paradigm to model complex, dynamic systems. Although current software systems are characterized by increasing complexity and context-dependence, all this research …

Measuring Polymorphism in Python Programs

DLS When: Tue 27 Oct 2015 15:30 - 15:54 People: Beatrice Åkerblom, Tobias Wrigstad

… million call-sites. Our results show that while polymorphism is used in all pro …

CHARIOT: A Domain Specific Language for Extensible Cyber-Physical Systems

DSM When: Tue 27 Oct 2015 09:05 - 09:25 People: Subhav Pradhan, Abhishek Dubey, Aniruddha Gokhale, Martin Lehofer

… on highways are all examples of extensible CPS wherein extensibility is implied …

Patterns to Develop and Evolve an Agile Architecture During a Software Project

PLoP When: Sat 24 Oct 2015 09:00 - 09:15Sat 24 Oct 2015 13:40 - 14:00

… The architecture design during an agile project is an activity that should take place in all phases of a project lifecycle. Even given an initial architectural for a project, it is important to continue to evolve the architecture in order …

Native-2-Native: Automated Cross-Platform Code Synthesis from Web-Based Programming Resources

GPCE When: Tue 27 Oct 2015 10:30 - 11:00 People: Antuan Byalik, Sanchit Chadha, Eli Tilevich

… For maximal market penetration, popular mobile applications are typically supported on all major platforms, including Android and iOS. Despite the vast … is maintained and evolved, the resulting changes must be replicated on all

Generating Reactive Programs for Graphical User Interfaces from Multi-way Dataflow Constraint Systems

GPCE When: Tue 27 Oct 2015 13:30 - 14:00 People: Gabriel Foust, Jaakko Järvi, Sean Parent

… leads to defects. Ensuring that all data dependencies are respected …

Towards A Catalogue of Design Patterns Variants

PLoP When: Sat 24 Oct 2015 08:45 - 09:00Sat 24 Oct 2015 14:40 - 15:00

… . There is no standard catalogue on all variants of Gang of Four(GoF) design patterns … to recognize all variants of GoF patterns. The critical analysis and observations …

An Empirical Study on Configuration-Related Type Issues

GPCE When: Mon 26 Oct 2015 13:30 - 14:00 People: Flávio Medeiros, Iran Rodrigues, Márcio Ribeiro, Leopoldo Teixeira, Rohit Gheyi

… and harder to detect than issues that appear in all configurations. However, little …

Pattern Illustrating Patterns A Pattern Language for Pattern Illustrating

PLoP

… present 6 patterns of all 28 patterns in Pattern Illustration Patterns, which …

Guiding Patterns of Natural Design: Mining Living Quality

PLoP

… parts sometimes. They simplify the solution by satisfying all the key needs … to all the places the recurrent problem arises. Seen that way, design patterns …

Agile Design Process with Patterns for Campus Building: The Keio-SFC Experiment

PLoP

… and enables all the users to pursue their ideal campus. The patterns that were …

Pattern Language of Layering Focus Group

PLoP When: Sat 24 Oct 2015 16:45 - 17:22

… hereby is holistic, we’re interested in ALL possibly relevant aspects …

A Data-driven Methodology for Producing Online Learning System Design Patterns

PLoP

… learning system namely: all content in one place, just enough practice, personalized …

Fundamental Behavioral Properties – Part 2: Extending the Theory of Centers for Pattern Language 3.0

PLoP

… community we hope for these to become knowledge to help all who are writing …

Spur: Efficient Support for Live Programming in Dynamic Languages

SPLASH-I When: Thu 29 Oct 2015 11:15 - 12:00 People: Eliot Miranda

… of all instances of a class, and one that exchanges the identities of pairs … instance, and all pairs of instances are exchanged with become, effecting … down slot access, or has required a sweep of all objects, a very slow operation …

Effectively Mapping Linguistic Abstractions for Message-Passing Concurrency to Threads on the Java Virtual Machine

OOPSLA When: Fri 30 Oct 2015 14:15 - 14:37 People: Ganesha Upadhyaya, Hridesh Rajan

… -all, round-robin-task-all, random-task-all and work-stealing. Our evaluation …

What is a compiler? We thought we knew…

SPLASH-I When: Wed 28 Oct 2015 15:30 - 16:15 People: Mads Torgersen

… a great boost on all those fronts, and also challenged our concept of what … code understanding at all levels of the development experience.

In this talk we …

Software Professionalism – Is it “Good Enough?”

Panels When: Wed 28 Oct 2015 10:30 - 12:00 People: Steven D. Fraser, Dennis Mancl, Nancy Mead, Mary Shaw, Werner Wild

… In the 21st Century, software is the enabling innovation pillar for all of civilization’s needs – including: food supply, living space (water, waste, power, and climate) management, services (health, financial, transportation …

Flow: a static type checker for JavaScript

SPLASH-I When: Wed 28 Oct 2015 13:30 - 15:00 People: Avik Chaudhuri

… . Flow adds minimal compile-time overhead, as it does all its work proactively …

Safely Evolving Configurable Systems

Student Research Competition When: Wed 28 Oct 2015 18:00 - 21:00 People: Flavio Medeiros

… in all configurations. Furthermore, we propose a strategy to detect …

ECMAScript 2015: the future of JavaScript is now!

SPLASH-I When: Wed 28 Oct 2015 11:15 - 12:00 People: Tom Van Cutsem

… engine that supports all new features. To overcome this period of change, I …

Selective Control-Flow Abstraction via Jumping

OOPSLA Artifacts People: Sam Blackshear, Bor-Yuh Evan Chang, Manu Sridharan

… , yet analyzing the product graph of all possible event orderings is intractable …

Selective Control-Flow Abstraction via Jumping

OOPSLA When: Wed 28 Oct 2015 13:52 - 14:15 People: Sam Blackshear, Bor-Yuh Evan Chang, Manu Sridharan

… for precision, yet analyzing the product graph of all possible event orderings …

Automatic Memory Reclamation for Lock-Free Data Structures

OOPSLA When: Wed 28 Oct 2015 16:15 - 16:37 People: Nachshon Cohen, Erez Petrank

… Lock-free data-structures are widely employed in practice, yet designing lock-free memory reclamation for them is notoriously difficult. In particular, all known lock-free reclamation schemes are ``manual; in the sense that the developer …

Fighting Spam with Haskell

SPLASH-I When: Fri 30 Oct 2015 10:30 - 11:15 People: Simon Marlow

… One of Facebook’s most important weapons in the fight against abuse is a system called Sigma. Sigma’s job is to proactively identify malicious content such as spam, phishing attacks, and links to malware. All of the bad content detected …

Customizable Gradual Polymorphic Effects for Scala

OOPSLA When: Fri 30 Oct 2015 16:37 - 17:00 People: Matías Toro, Éric Tanter

… , all represent promising steps towards making effect systems suitable …

Customizable Gradual Polymorphic Effects for Scala

OOPSLA Artifacts People: Matías Toro, Éric Tanter

… , all represent promising steps towards making effect systems suitable …

How Scale Affects Structure in Java Programs

OOPSLA Artifacts People: Crista Lopes, Joel Ossher

… now be properly normalized so that all the information that is left in them …

How Scale Affects Structure in Java Programs

OOPSLA When: Fri 30 Oct 2015 10:52 - 11:15 People: Crista Lopes, Joel Ossher

… now be properly normalized so that all the information that is left in them …

Teaching Big Data with a Virtual Cluster

SPLASH-E When: Mon 26 Oct 2015 08:45 - 09:15 People: Joshua Eckroth

… Both industry and academia are confronting the challenge of big data, i.e., data processing that involves data so voluminous or arriving at such high velocity that no single commodity machine is capable of storing or processing them all

Programming with Enumerable Sets of Structures

OOPSLA When: Wed 28 Oct 2015 11:15 - 11:37 People: Ivan Kuraj, Viktor Kunčak, Daniel Jackson

… generating all structures). The foundation of efficient enumeration lies in both direct …

Galois Transformers and Modular Abstract Interpreters: Reusable Metatheory for Program Analysis

OOPSLA When: Thu 29 Oct 2015 16:42 - 17:06 People: David Darais, Matthew Might, David Van Horn

… once and for all, making it a reusable analysis component. As new analysis …

Performance Problems You Can Fix: A Dynamic Analysis of Memoization Opportunities

OOPSLA Artifacts People: Luca Della Toffola, Michael Pradel, Thomas Gross

… of comparing objects at all method invocations in detail, MemoizeIt first …

Performance Problems You Can Fix: A Dynamic Analysis of Memoization Opportunities

OOPSLA When: Fri 30 Oct 2015 10:52 - 11:15 People: Luca Della Toffola, Michael Pradel, Thomas Gross

… of comparing objects at all method invocations in detail, MemoizeIt first …

Finding Deep Compiler Bugs via Guided Stochastic Program Mutation

OOPSLA When: Thu 29 Oct 2015 10:52 - 11:15 People: Vu Le, Chengnian Sun, Zhendong Su

… and LLVM. Developers have confirmed all 72 bugs and fixed 68 of them. …

Learning a Strategy for Adapting a Program Analysis via Bayesian Optimisation

OOPSLA When: Thu 29 Oct 2015 17:06 - 17:30 People: Hakjoo Oh, Hongseok Yang, Kwangkeun Yi

… is crucial for learning from an existing codebase. Also, they show that among all

A Sound and Optimal Incremental Build System

OOPSLA Artifacts People: Sebastian Erdweg, Moritz Lichter, Manuel Weiel

… Build systems are used in all but the smallest software projects to invoke the right build tools on the right files in the right order. A build system must be sound (after a build, generated files consistently reflect the latest source …

A Sound and Optimal Incremental Build System with Dynamic Dependencies

OOPSLA When: Wed 28 Oct 2015 10:52 - 11:15 People: Sebastian Erdweg, Moritz Lichter, Manuel Weiel

… Build systems are used in all but the smallest software projects to invoke the right build tools on the right files in the right order. A build system must be sound (after a build, generated files consistently reflect the latest source …

Automating Ad-hoc Data Representation Transformations

OOPSLA When: Fri 30 Oct 2015 13:30 - 13:52 People: Vlad Ureche, Aggelos Biboudis, Yannis Smaragdakis, Martin Odersky

… , to retrofitting specialization and value class status, and all the way to collection …

Vectorization of Apply to Reduce Interpretation Overhead of R

OOPSLA When: Thu 29 Oct 2015 11:15 - 11:37 People: Haichuan Wang, David Padua, Peng Wu

… the vectorization transformation as an R package. To enable the optimization, all

Efficient Support for Strong Semantics in Transactional and Non-transactional Programs

Student Research Competition When: Wed 28 Oct 2015 18:00 - 21:00 People: Aritra Sengupta

… are aimed at efficiently enforcing this strong memory model for all programs …

ShamDroid: Gracefully Degrading Functionality in the Presence of Limited Resource Access

OOPSLA When: Thu 29 Oct 2015 10:52 - 11:15 People: Lucas Brutschy, Pietro Ferrara, Omer Tripp, Marco Pistoia

… (rather than app) level. ShamDroid performs better than all of these tools …

SATCheck: SAT-Directed Stateless Model Checking for SC and TSO

OOPSLA When: Wed 28 Oct 2015 10:52 - 11:15 People: Brian Demsky, Patrick Lam

… observed behavior, and repeats the process until it has explored all reachable …

SATCheck: SAT-Directed Stateless Model Checking for SC and TSO

OOPSLA Artifacts People: Brian Demsky, Patrick Lam

… observed behavior, and repeats the process until it has explored all reachable …

Lightning Talk #3 - Why a theory for software engineering teaching is important

SPLASH-E When: Mon 26 Oct 2015 15:50 - 16:00 People: María Clara Gómez, Carlos Zapata, Yadran Eterovic

… for organizing all knowledge generated from several experiences in order to make it available …

Mining Programming Language Usage with Boa

Tutorials When: Thu 29 Oct 2015 15:30 - 17:00 People: Robert Dyer, Hridesh Rajan, Tien N. Nguyen, Hoan Nguyen

… as all of that is handled by Boa. This opens up the possibilities …

Tomorrow’s Network Operators Will Be Programmers

Keynotes When: Wed 28 Oct 2015 08:30 - 10:00 People: Nick Feamster

… Communications networks remain incredibly difficult to manage, troubleshoot, and secure. Network management challenges exist in all kinds of networks. In this talk, I will describe how Software Defined Networking (SDN), which decouples …