Institute of Information Science, Academia Sinica



Press Ctrl+P to print from browser


Netlog, Part 1: Towards Declarative Abstraction for Distributed Programming

  • LecturerDr. Stephane Grumbach (LIAMA/Netquest)
    Host: Dr. Tyng-Ruey Chuang
  • Time2010-12-21 (Tue.) 14:00 – 15:00
  • LocationAuditorium 107 at new IIS Building
Abstract: Programming network is a tedious task. High level abstractions have been proposed to facilitate programming and increase portability and reliability. In this talk, I will present a rule-based language, Netlog, to express distributed applications such as communication protocols or P2P applications in a relatively declarative manner. The language extends Datalog with communication primitives, as well as aggregation and non-deterministic constructs, standard in networking applications. Netlog admits a sound distributed fixpoint semantics, which takes explicitly into account the in-node behavior as well as the communication between nodes. Netlog allows very concise programming. The language runs over a virtual machine, Netquest, which relies on a DBMS, and is portable over any device which support an embedded DBMS (eg, smart phones, PDA, iMote, network simulators, etc.).