[CS group meeting] Wednesday, April 27, at 11:00, Room B

It is our pleasure to announce a CS group meeting for the next Wednesday, April 27th, at 11:00 at Room B. Speaker. Emilio Incerto Title. Symbolic performance adaptation Abstract. Quality-of-Service attributes such as performance and reliability heavily depend on the run-time conditions under which software is executed (e.g., workload fluctuation and resources availability). Therefore, it […]

Continue reading


GSSI Lectures from Radu Calinescu

Quantitative Verification for Software Performance Engineering Quantitative verification is a mathematically based technique for analysing the correctness, reliability, performance and other quality-of-service properties of systems characterised by stochastic behaviour. This two-lecture course will cover the use of the technique in software performance engineering at design and run time, with an emphasis on advanced topics linked […]

Continue reading


Seminar from Lorenzo Bettini

Monday 16th May, 2016 – GSSI – Main Room (16:00 – 18:00) Tuesday 17th May, 2016 – GSSI – Main Room (09:30 – 12:30) Title: “An Intro/Demo to Xtext” Abstract: Xtext is an Eclipse framework for the development of DSLs (Domain Specific Languages) that covers all aspects of a language implementation, including its integration in the […]

Continue reading


Seminar from Paul Klint

Wednesday 4th May, 2016 – GSSI – Main Room  (9.30 – 12.00) Title: The Evolving Rascal Ecosystem Slides: Here  Abstract: The Rascal language and ecosystem aim at providing a one-stop shop for metaprogramming: parsing, analysis, transformation, and code generation are conveniently provided in a single linguistic framework. In this talk I will first recapitulate the […]

Continue reading