[PRL] planning purposes

Matthias Felleisen matthias at ccs.neu.edu
Thu May 25 17:00:11 EDT 2006


Uli Kremer will give a PRL Seminar in a couple of weeks (Mitch will 
send out formal announcements) but for your planning purposes, here is 
his abstract. It's basically a call for input from semanticists and 
language designers. -- Matthias


Begin forwarded message:

> Programming Ad-hoc Networks of Mobile Devices
>
> Abstract:
>
> Ad-hoc networks of mobile devices such as smart phones and PDAs
> represent a new and exciting distributed system architecture. Building 
> distributed applications on such an architecture poses new design 
> challenges in programming models, languages,
> compilers, and runtime systems.
> This talk will introduce SpatialViews, a high-level language designed 
> for programming mobile devices connected through a wireless ad-hoc
> network. SpatialViews allows specification of virtual networks with 
> nodes
> providing desired services and residing in interesting spaces.
> These nodes are discovered dynamically with user-specified time 
> constraints and quality of result (QoR). The programming model 
> supports ``best-effort'' semantics, i.e.,
> different executions of the same program may result in ``correct''
> answers of different quality. It is the responsibility of the compiler 
> and runtime system to produce a high-quality answer for the particular 
> network and resource conditions encountered during program execution.
> Example applications will be used to illustrate the different features 
> of the SpatialViews language, and to demonstrate the expressiveness of 
> the language and the efficiency of the compiler generated code. Sample 
> applications include sensor network applications that collect and 
> aggregate sensor data within the network, applications that use 
> dynamic service installation and computation offloading, and 
> augmented-reality gaming. A simulation environment allows the 
> execution of
> SpatialViews programs under different simulated physical conditions. 
> More information about the language, compiler and runtime system, 
> including
> a distribution of our prototype system, can be found at 
> http://www.cs.rutgers.edu/spatialviews .




More information about the PRL mailing list