… © Springer-Verlag Berlin Heidelberg 2011 This work is subject to copyright. All rights are
reserved, … This volume contains the papers presented at WOLLIC 2011: 18th Workshop on …

The OptiX™ engine is a programmable ray tracing system designed for NVIDIA(R) GPUs and
other highly parallel architectures. OptiX builds on the key observation that most ray tracing …

… In early 2011 we plan to begin work on a global Kodu sharing server which will allow …
We are also actively seeking partners in university to help us extend Kodu with specialized …

This talk will focus on the declarative coordination language S-Net developed by the speaker
in collaboration with members of the Compilation Technology and Computer Architecture …

We study the safety verification (reachability problem) for concurrent programs with
uninterpreted functions/relations. By extending the notion of coherence, recently identified for …

… In the USA: This journal is registered at the Copyright Clearance Center, Inc., 222 Rosewood
Drive, Danvers, MA 01923. Authorization to photocopy items for internal or personal use, or …

High-performance multithreaded software often relies on optimized implementations of
common abstract data types (ADTs) like counters, key-value stores, and queues, ie, concurrent …

… Our system includes a notion of blame, which allows us to show that when casting
between a more-precise type and a less-precise type, any cast failures are due to the less-precisely-…

In this paper, we consider the semantic design and verified compilation of a C-like programming
language for concurrent shared-memory computation above x86 multiprocessors. The …

This paper explores a sweet spot between flow-insensitive and flow-sensitive subset-based
points-to analysis. Flow-insensitive analysis is efficient: it has been applied to million-line …