Contact Information
- Name: José Proença
- Email: firstname.lastname AT cs DOT kuleuven DOT be
- Web: http://people.cs.kuleuven.be/~jose.proenca
- Address:
K.U.Leuven (KUL)
Dept. Computer Science
Celestijnenlaan 200A
B-3001 Heverlee
BELGIUM
Introduction
I am currently a postdoc at K.U.Leuven working with Dave Clarke, working mainly on formal approaches to software product line engeneering and to coordination of distributed components. I finished my PhD in CWI, in the SEN3 group, in May 2011. My thesis was on "Synchronous Coordination of Distributed Components"", under the supervision of Farhad Arbab, Dave Clarke, and Erik de Vink.
Before that I finished a 5 year degree in Mathematics and Computer Science in the University of Minho, Portugal. In my last year I studied how to reason automatically over programs written in a PointFree style, a style known in functional programming for avoiding the use of variables and favoring function composition. In the last two months of 2005 I also had the pleasure to work in MultiCert, a company that provides services related to electronic certification.
More information about me can be found in my CV.
Research
Since I started my PhD in 2006, my main research interests concern coordination languages, with respect to composition, distribution, and deployment. I give a special emphasis to the Reo coordination language.
Coordination Languages
I am involved in small project where the Reo language is animated, to help understanding how the behaviour of coordinated components is performed. The resulting animations can be found here. The animations are also included in the Eclipse Coordination Tools, which provides support for the development Reo connectors, among other things.
I am also investigating the how Reo fits the real world, by comparing its expressiveness with other coordination languages, and by considering what important extensions can be introduced. I presented a formal comparison between Reo and the coordination model Orc, showing the advantadges and disadvantadges of two different approaches to coordination of components or services. The paper was accepted and presented the workshop FOCLASA'07.
The distribution of a connector over a network brings up practical issues, such as locality of each sub-connector in synchronous communications, how to manage dynamic reconfigurable connectors, and how can we solve the race conditions for several entities competing for dataflow in a single synchronous (atomic) event. I am involved in the development of implementation tools and formalisms to address these issues. I am starting the project Distributed Reo which addresses how to implement a distributed system where there are synchronous constraints over a set of independent coordinators.
Point-free Program Transformation
Point-free Program Transformation is the project I worked on in my last year at the university (5th year). It is related to rewriting of functional programs written in a specific sublanguage. The project consists on the development of a tool that reads a pointfree program annotated with information about the transformations to be made, and tries to apply them. To view the project proposal click here. Detailed information about this project can be found here.
Publications
- Modeling, Testing and Executing Reo Connectors with the Eclipse
Coordination Tools (tool paper).
Farhad Arbab, Christian Koehler, Ziyan Maraikar, Young-Joo Moon, José Proença.
To appear in the proceedings of FACS 2008.
[download] - Deconstructing Reo.
Dave Clarke, José Proença, Alexander Lazovik, Farhad Arbab.
To appear in the proceedings of FOCLASA 2008.
[download] [slides] - Reconfiguration of Reo Connectors Triggered by Dataflow.
Christian Koehler, David Costa, José Proença, Farhad Arbab.
Revised proceedings of GTVMT 2008.
[download] [bib] - Coordination Models Orc and Reo Compared.
José Proença and Dave Clarke, FOCLASA 2007, accepted.
[download] [slides] [bib] - A Framework for Point-free Program
Transformation.
Alcino Cunha, Jorge Sousa Pinto and José Proença.
Revised proceedings of the 17th International Workshop on Implementation and Application of Functional Languages (IFL'05).
Springer LNCS.
[download] [bib]
Techical Reports
- Coordination models Orc and Reo compared.,
José Proença and Dave Clarke,
SEN-R0802, 2008. (pdf) - Tranformações pointwise -
point-free.
José Proença,
DI-PURe-05.02.01, February 2005. (pdf) - Down with Variables.
Alcino Cunha, Jorge Sousa Pinto, and José Proença,
DI-PURe-05.06.01, June 2005. (pdf) - Point-free Simplification.
José Proença,
DI-PURe-05.08.01, August 2005. (pdf)
Events
- International Workshop
on the
Foundations of Coordination Languages and Software Architectures
(FOCLASA 2008)
July 13, 2008. Reykjavik, Iceland.
(presented a talk about an interactive model for Reo based on contraints.)
(See photos) -
Second International School on Trends in Concurrency (TiC'08)
June 22 - 27, 2008. Prague, Czech Republic.
(See photos) -
7th International Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT 2008)
Satellite event of ETAPS 2008.
(the accepted paper, about reconfiguration of \reo connectors, was presented by another author)
March 29 - 30, 2008. Budapest, Hungary.
(See photos) -
SYANCO meeting - Synthesis and Analysis of Component Connectors
February 11 - 12, 2008. CWI, Amsterdam, The Netherlands.
(presented a slightly changed version of a talk about distribution of the coordination language Reo) - First CWI-DIPisa Workshop on Coordination, Coalgebras and Constraints
January 21 - 23, 2008. Dipartimento di Informatica, Pisa, Italy.
(presented a slightly changed version of a talk about distribution of the coordination language Reo) - Coinduction, Interaction and Composition 2007
October 22 - 23, 2007. CWI, Amsterdam, The Netherlands.
(presented a talk about distribution of the coordination language Reo) - International Workshop
on the
Foundations of Coordination Languages and Software Architectures
(FOCLASA 2007)
September 8, 2007. Lisbon, Portugal.
(presented a talk about the comparison between the Orc and Reo coordination models) - International
Workshop on Synthesis and Analysis of Component Connectors (SYANCO 2007)
September 3 - 4, 2007. Dubrovnik, Croatia.
(presented a talk about the comparison between the Orc and Reo coordination models)
(See photos) - Summer
School on Language-Based Techniques for Integrating with the
External World
July 18 - 26, 2007. Eugene, Oregon, USA.
(See photos) - IPA
Basic Course on Algorithms & Complexity
June 25 - 29, 2007. Eindhoven, Netherlands. - IPA
Lentedagen on Service-oriented Computing
April 3 - 5, 2007. Kapellerput, Heeze, Netherlands.
(presented a talk about Composition of Reo Connector Animations) - IPA
Herfstdagen on Stochastic Systems
November 27 - December 1, 2006. Bergen (NH), Netherlands. - Coalgebra
Day
October 30, 2006. Radboud University, Nijmegen, Netherlands. - Coinduction,
Interaction and Composition
October 11 - 14, 2006. Universidade do Minho, Braga, Portugal.
(presented a talk about Composition of Reo Connector Animations) - IPA
Basic Course on Software Technology
September 18 - 22, 2006. Eindhoven, Netherlands. - Marktoberdorf
Summer School 2006
August 1 - 13, 2006. Marktoberdorf, Germany.
(Some photos, all photos) - IPA
Lentedagen on Testing
April 19 - 21, 2006. Vught, Netherlands.