IBM Research Computer Science Blog  

IBM computer scientists have been at the forefront of scientific and technological innovation across a broad range of research areas.  They have made pioneering contributions in artificial intelligence, high-speed processor design, computer architecture, natural language processing, programming languages, optimizing compilers, operating systems, storage systems, computer-supported cooperative work, databases, speech recognition, integer programming, and service-oriented architectures, to name a few.


Most Influential Paper Award at PPDP 2015    (up to IBM Research Computer Science Blog)

Congratulations to Louis Mandel, IBM Thomas J. Watson Research Center, and his co-author Marc Pouzet (now at École Normale Supérieure), for receiveing the most influential paper award at the 2015 International Symposium on Principles and Practice of Declarative Programming (for PPDP 2005).  The winning paper was entitled "ReactiveML: a Reactive Extension to ML".  A retrospective was published as "ReactiveML, ten years later".

The abstract of the original paper was: "We present ReactiveML, a programming language dedicated to the implementation of complex reactive systems as found in graphical user interfaces, video games or simulation problems. The language is based on the reactive model introduced by Boussinot. This model combines the so-called synchronous model found in Esterel which provides instantaneous communication and parallel composition with classical features found in asynchronous models like dynamic creation of processes.The language comes as a conservative extension of an existing call-by-value ML language and it provides additional constructs for describing the temporal part of a system. The language receives a behavioral semantics á la Esterel and a transition semantics describing precisely the interaction between ML values and reactive constructs. It is statically typed through a Milner type inference system and programs are compiled into regular ML programs. The language has been used for programming several complex simulation problems (e.g., routing protocols in mobile ad-hoc networks)."

posted by Brent Hailpern on Wed, 21 Oct 2015 17:24:32 -0400