FOPARA

Keyphrases

Publications

volume 9964, 2016

Foundational and Practical Aspects of Resource Analysis - 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015, Revised Selected Papers FOPARA 9964 (2016)

2015

Kevin Hammond, Christopher Brown, Susmit Sarkar
Timing Properties and Correctness for Structured Parallel Programs on x86-64 Multicores. FOPARA (2015)
Umer Liqat, Kyriakos Georgiou, Steve Kerrison, Pedro López-García, John P. Gallagher, Manuel V. Hermenegildo, Kerstin Eder
Inferring Parametric Energy Consumption Functions at Different Software Levels: ISA vs. LLVM IR. FOPARA (2015)
Erika De Benedetti, Simona Ronchi Della Rocca
Call-by-Value, Elementary Time and Intersection Types. FOPARA (2015)
Bernard van Gastel, Rody Kersten, Marko C. J. D. van Eekelen
Using Dependent Types to Define Energy Augmented Semantics of Programs. FOPARA (2015)
Maja H. Kirkeby, Mads Rosendahl
Probabilistic Resource Analysis by Program Transformation. FOPARA (2015)
Elvira Albert, Antonio Flores-Montoya, Samir Genaim
May-Happen-in-Parallel Analysis with Condition Synchronization. FOPARA (2015)

volume 8552, 2014

Foundational and Practical Aspects of Resource Analysis - Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers FOPARA 8552 (2014)

2013

volume 7177, 2012

Foundational and Practical Aspects of Resource Analysis - Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers FOPARA 7177 (2012)

2011

volume 6324, 2010

Foundational and Practical Aspects of Resource Analysis - First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papers FOPARA 6324 (2010)