[Pl-seminar] Semantics Seminar Schedule

[Mitchell Wand]

NU Programming Languages Seminar
Wednesday, 6/7/06
11:45-1:30
Room 366 WVH (http://www.ccs.neu.edu/home/wand/directions.html)

Programming Ad-hoc Networks of Mobile Devices
Ulrich Kremer
Rutgers University

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 .

Upcoming Events:

stay tuned...

--Mitch