The performance of typestate-oriented programming languages is difficult to evaluate as existing benchmarks do not exercise the unique features of these languages. We address this by developing a new benchmark suite specifically designed to evaluate ...

Communication occurs constantly within pair programming, however, little is known about this communication, and how it changes according to skill or experience. This research presents the creation of a coding scheme, used for the analysis of expert ...

The history of programming languages shows a continuous search for new composition mechanisms to find better ways for structuring increasingly complex software systems into modules that can be developed and reused independently. Composition mechanisms ...

The search for sound principles for object-oriented languages has given rise to considerable research during the last few decades, leading to a better understanding of the key concepts of object-oriented languages and to important developments in type ...

Domain-Specific Modeling (DSM) has proven to be a viable solution to the challenges related to abstraction mismatches between the problem and solution spaces. In many cases, DSM assists in the generation of final products from high-level models that are ...

With the increasing penetration of parallelism into computing, programmers of all stripes need to acquire competencies in con-current programming. This workshop will concentrate on discussing and disseminating resources for gently introducing ...

This is a design track overview tutorial that provides a foundation for exploring and applying the DCI (Data, Context and Interaction) paradigm. DCI is a means to supporting full object orientation that restores much of the original object vision that ...

Designers are busy people, and they are getting busier. In today's world designers must deal with three competing pressures:

"A relentless avalanche of changes in end-user technologies and applications domains,

"An insatiable marketplace that demands ...

The VMIL workshop is a forum for research in virtual machines and intermediate languages. It is dedicated to identifying programming mechanisms and constructs that are currently realized as code transformations or implemented in libraries but should ...

Massively-parallel systems are coming: core counts keep rising whether conventional cores as in multicore and manycore systems, or specialized cores as in GPUs. Conventional wisdom has been to utilize this parallelism by reducing synchronization to the ...

Programming languages exist to enable programmers to develop software effectively. But how efficiently programmers can write software depends on the usability of the languages and tools that they develop with. The aim of this workshop is to discuss ...

In this workshop we provide a hands-on introduction to the popular open source graph database Neo4j [1] through fixing a series of increasingly sophisticated, but broken, test cases each of which highlights an important graph modeling or API affordance.

The fundamental turn of software into concurrency and distribution is not only a matter of performance, but also of design and abstraction. It calls for programming paradigms that, compared to current mainstream paradigms, would allow us to more ...

Software systems today seldom reside as isolated systems confined to generating and consuming their own data. Collecting, integrating and storing large amounts of data from disparate sources has become a need for many software engineers, as well as for ...

CloudBrowser is a web application framework that supports the development of rich Internet applications whose entire user interface and application logic resides on the server, while all client/server communication is provided by the framework. ...

While the C programming language provides good support for writing efficient, low-level code, it is not adequate for defining higher-level abstractions relevant to embedded software. In this paper we present the mbeddr technology stack that supports ...

Large system development typically involves changes to code and database components. In these environments, testing continues to be the biggest challenge. Since release cycles include both database and code changes, thorough testing of existing schemas ...

We introduce a statically-typed language extensibility mechanism called active type-checking and translation (AT&T) that aims toward expressiveness, safety and composability. This mechanism allows users to equip type definitions with type-level ...

We present CnC-Python (CP), an approach to implicit multicore parallelism based on Intel's Concurrent Collections model. CP enables programmers to achieve task, data and pipeline parallelism in a declarative fashion while only being required to describe ...

We describe an empirical study to understand how JavaScript language features are used by the programmers. Our test corpus is larger than any previous work (more than 1 million scripts) and it attempts to target JS usage from various points of view. We ...