[TYPES/announce] CfParticipation: FOPARA
Olha Shkaravska
shkarav at cs.ru.nl
Wed Sep 16 10:25:27 EDT 2009
Call for Participation
International workshop on
FOUNDATIONAL AND PRACTICAL ASPECTS OF RESOURCE ANALYSIS
FOPARA 2009
Eindhoven, The Netherlands
November,3 2009
A satellite event of 16th International Symposium on Formal Methods
http://www.aha.cs.ru.nl/fopara/
WORKSHOP OBJECTIVES AND SCOPE
The workshop serves as a forum for presenting original research results
that are relevant to the analysis of resource (time, space) consumption
by computer programs. The workshop aims to bring together the
researchers that work on foundational issues with the researchers that
focus more on practical results. Therefore, both theoretical and
practical contributions are encouraged. The following list of topics is
non-exhaustive:
* resource analysis for embedded systems,
* logical and machine-independent characterisations
of complexity classes,
* logics closely related to complexity classes,
* type systems for controlling complexity,
* semantic methods to analyse resources, incl. quasi- and sup-
interpretations,
* practical applications of resource analysis.
Up to now a few similar events have taken place. In 2006, 2008
application-oriented resource analysis workshops ( EmBounded Open
Workshop in Budapest, 2006, and Resource Analysis Workshop in
Hertfordshir, 2008) were held as affiliated events of International
Symposium on the Implementation and Application of Functional Languages
(IFL). Participated: University of St. Andrew (UK), Heriot-Watt
University of Edinburgh (UK), Ludwig-Maximilians University of Munich
(Germany), University Complutense of Madrid (Spain), Politechnical
University of Madrid (Spain). Another large group of research schools is
presented in series of workshops on Implicit Computational Complexity,
see, for instance, WICC'08 in Paris . The series gather researchers
working in theoretical foundations of resource analysis, mainly from in
France (Universities of Paris Diderot and Paris Nord, LORIA Nancy),
Italy (Universities of Bologna and Turin), Norway, Germany and
Portugal. FOPARA aims to bringing these various directions in resource
analysis together and possibly to extend the community by other groups.
INVITED SPEAKER
Sumit Gulwani (http://research.microsoft.com/en-us/um/people/sumitg/),
Microsoft Research
PROGRAM
* 9:00 - 9:05 Greetings
* 9:05 - 10:00 Invited Talk (incl. 10 min discussion)
________________________________________________________________________
10:00-10:15 Coffee
________________________________________________________________________
Session 1: Abstract and Polynomial Interpretations, Data Flow
* 10:15 - 10:40 A Space Consumption Analysis By Abstract
Interpretation (Manuel Montenegro, Ricardo Peña and Clara
Segura)
* 10:40 - 11:05 Polynomials over the reals are safe for
interpretation of programs (Guillaume Bonfante, Florian Deloup
and Antoine Henrot)
* 11:05 - 11:30 Static Complexity Analysis of Higher Order
Programs (James Avery, Lars Kristiansen and Jean-Yves Moyen)
* 11:30 - 11:55 Implementing a practical polynomial programming
language (Mike Burrell, Robin Cockett and Brian Redmond)
________________________________________________________________________
Lunch 12:00 - 13:20
________________________________________________________________________
Session 2 Implicit Computational Complexity, PTIME
* 13:20-13:45 A structural and local criterion for polynomial time
computations (Luca Roversi and Luca Vercelli)
* 13:45-14:10 Polynomial Time Computation in the Context of
Recursive Analysis (Walid Gomaa)
* 14:10-14:35 Non-deterministic Boolean Proof Nets (Virgile
Mogbil)
* 14:35-15:00 Derivational Complexity is an Invariant Cost Model
(Ugo Dal Lago and Simone Martini)
________________________________________________________________________
15:00 - 15:15 Coffee
________________________________________________________________________
Session 3: Resource Analysis for varieties of programming languages
Session 3.1:
* 15:15 - 15:40 Comparing Cost Functions in Resource Analysis
(Elvira Albert, Puri Arenas, Samir Genaim, Israel Herraiz and
German Puebla)
* 15:40 - 16:05 Characterising Effective Resource Analyses for
Parallel and Distributed Coordination (Phil Trinder, Murray
Cole, Hans-Wolfgang Loidl and Greg Michaelson)
* 16:05 - 16:30 Global and local space properties of stream
programs (Marco Gaboardi and Romain Pechoux)
** 16:30 - 16:40 Pause **
Session 3.2
* 16:40 - 17:05 Improvements to a Resource Analysis for Hume
(Hans-Wolfgang Loidl and Steffen Jost)
* 17:05 - 17:30 Compositional Analysis of Hume Box Iterations
(Christoph Herrmann and Kevin Hammond)
LOCATION
The workshop is a satellite event of the 16th International Symposium on
Formal Methods, FM2009. The venue for FM2009 is the Auditorium of the
Technische Universiteit Eindhoven. Everything related to the symposium
will take place here, including workshops, lunches, and other
activities.
Technische Universiteit Eindhoven was founded in the 1950s on a patch of
uncultivated land near the centre of town. Due to this fortunate
circumstance, the university campus is now right in the middle of the
fifth largest city in the Netherlands. This means that the railway
station, the conference hotels, and other facilities are all within
walking distance of the campus, and that during your stay you will have
easy access to everything Eindhoven has to offer.
More information about the Types-announce
mailing list