PLT develops foundations for building reliable, high-performance software. Foundations include practices, languages, semantics, implementation techniques and type systems. To dem...
"I wrote the first edition this book with the goal of identifying synchronization
idioms and patterns that could be understood in isolation and then assembled
to solve compl...
In this paper we take a look at the start of the art in smart environments research. The survey is motivated by the recent dramatic increase of activity in the field, and summariz...
Abstract. We present a study exploring the promise of developing computational systems to support the discovery and execution of opportunistic activities in mobile settings. We int...
Abstract. In this manuscript, we present several challenging and interesting open problems in graph drawing. The goal of the listing in this paper is to stimulate future research i...
Franz-Josef Brandenburg, David Eppstein, Michael T...