[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