Ph.D. Student Flávio Cruz Wins Best Paper Award at the 30th International Conference on Logic Programming

Flávio Cruz 2014  Flávio Cruz, dual degree doctoral student in Computer Science (Faculdade de Ciências of the Universidade do Porto - FCUP, and Carnegie Mellon University), with his three advisors Ricardo Rocha (FCUP and INESC TEC), Seth Copen Goldstein and Frank Pfenning (CMU), won a Best Paper Award at the 30th International Conference on Logic Programming (ICLP 2014) for the paper “A Linear Logic Programming Language for Concurrent Programming over Graph Structures.”

In this paper, the authors describe a new logic programming language called LM (Linear Meld) that aims to solve problems that can be specified as graphs. According to Flávio Cruz, “graphs can represent arbitrary relations between things and for that reason they are a suitable representation for many interesting problems. Due to the popularity of social networks and also the increased availability of biological and scientific data, graphs become more important since such information can be described as a graph.”

The new language shows how to concisely solve problems that operate on graphs and how to solve them concurrently. Flávio Cruz explains that with this language it is possible to “take advantage of multiple computers in order to reduce the time it takes to solve the problems,” and because it is based on logic “it is easier to prove that our programs will always work correctly.”

Because Linear Meld integrates both classical and linear logic, it tends to be more expressive than other logic programming languages, which is a differentiating factor. In this work, the authors present the syntax and operational semantics of the language and illustrate its use providing a number of examples. For Flávio Cruz, this award “means a lot because it is the culmination of a few years of work.”

Flávio Cruz is enrolled in CMU Portugal’s dual degree Ph.D. program in Computer Science since the academic year 2011/2012, at Faculdade de Ciências of the Universidade do Porto (FCUP) and Carnegie Mellon University (CMU). When asked to comment on his views on the CMU Portugal Program, Flávio Cruz stated that “it is a good experience, and I would recommend it to people who love their research field.”

The International Conference on Logic Programming (ICLP 2014) is the leading international conference for presenting research in logic programming. Its 30th edition took place between July 19 and 22, 2014, in Vienna, Austria. 

August 2014  

 

________ 

Title: "A Linear Logic Programming Language for Concurrent Programming over Graph Structures
 

Authors: Flávio Cruz (FCUP and CMU), Ricardo Rocha (FCUP and INESC TEC), Seth Copen Goldstein and Frank Pfenning (CMU). 

Abstract: This paper describes the design of a new logic programming language called LM (Linear Meld) for programming graph-based algorithms in a declarative fashion. The language is based on linear logic, an expressive logical system where logical facts can be consumed. Because LM integrates both classical and linear logic, LM tends to be more expressive than other logic programming languages. LM programs are naturally concurrent because facts are partitioned by nodes of a graph data structure. This work presents the syntax and operational semantics of the language and illustrate its use through a number of examples.

____

Other articles published by:

Universidade do Porto more
CMU's School of Computer Science (news in brief) more
INESC TEC more