This page summarizes the research projects funded by national or international agencies granted to the group. For more information on a specific project, please visit the corresponding webpage.
Swiss National Science Foundation – Projects in Division II
PARACAS – PARallelization tuning using ACcurate and efficient dynamic Analyses on managed runtime Systems
Project 200020_188688
Amount granted: 1’004’425 CHF
Sep. 2020 – Ongoing
[project page]
Fundamentals of Parallel Programming for Platform-as-a-Service Clouds
Project 200021_153560
Amount granted: 451’785 CHF (total)
Nov. 2014 – Oct. 2018
[project page]
LoadOpt: Workload Characterization and Optimization for Multicore Systems
Project 200021_141002
Amount granted: 497’124 CHF
Mar. 2013 – Feb. 2018
[project page]
CIAO: Composite Instrumentations And Optimizations for multicores
Project 200020_132663
Amount granted: 55’168 CHF
Oct. 2010 – Sep. 2011
[project page]
FERRARI: Framework for Efficient Rewriting and Reification Applying Runtime Instrumentation
Project 200021_118016
Amount granted: 145’675 CHF
Oct. 2007 – Sep. 2010
[project page]
Swiss National Science Foundation – Sinergia Projects
FAN: Foundations of dynamic program ANalysis
Project CRSII2_136225
Amount granted: 868’056 CHF (total)
Apr. 2012 – Sep. 2015
[project page]
SOSOA: Self-Organizing Service-Oriented Architectures
Project CRSI22_127386
Amount granted: 1’110’912 CHF (total)
Feb. 2010 – Jan. 2014
[project page]
Swiss National Science Foundation – Scientific Exchanges
Cloud-based Dynamic Program Analysis for Android Devices
Project IZSEZ0_177215
Amount granted: 22’740 CHF
Dec. 2017 – May 2018
[project page]
EU Projects
ASHLEY: Avionics Systems Hosted on a distributed modular electronics Large scale dEmonstrator for multiple tYpes of aircraft
FP7 project 605442
Amount granted: 302’792 EUR
Oct. 2013 – Mar. 2017
[project page]
SCC-Computing: Strategic collaboration with China on super-computing based on Tianhe-1A
FP7 Coordination and Support Action 287746
Amount granted: 38’000 EUR
Jan. 2012 – Dec. 2013
[project page]
Hasler Foundation
Automatic and Scalable Test Coverage Extension via Dependent Applications
Project 20022
Amount granted: 49’950 CHF
Apr. 2020 – Sep. 2020
[project page]
Scalable Program Analysis in Large Code Repositories
Project 18012
Amount granted: ~50’000 CHF
Mar. 2018 – Dec. 2018
[project page]
COST Actions
Runtime Verification beyond Monitoring (ARVI)
Action IC1402
Dec. 2014 – Dec. 2018
[project page]
Scientific Exchange Programme (Sciex-NMSch)
WORLD: WORkLoad analysis and consolidation for Datacenters
Sciex-NMS Fellowship 12.211
May 2013 – Oct. 2014
[project page]
DYNASTY: DYNamic Analysis for diSTributed sYstems
Sciex-NMS Fellowship 11.109
July 2012 – Dec. 2012
[project page]
PEARL: Productive and Efficient dynamic Analysis thRough aspect-oriented domain-specific Languages
Sciex-NMS Fellowship 10.165
June 2011 – May 2012
[project page]
International Research Collaboration
Massive Program Analysis in the Wild
Bridging grant with Kyushu University, Japan
Project BG 04-122017
May 2018 – Apr. 2019
Institutional Partnership with Shanghai Jiaotong University (SJTU)
Project IP04-092010
Apr. 2011 – Mar. 2014
[project page]
Design and Implementation of an Auto-tuning Framework for Parallelizing Dynamic Analysis on Multicores
Oct. 2012 – Feb. 2013
[project page]
Runtime Adaptation for a Domain-specific Aspect Language for Dynamic Program Analysis
Oct. 2012 – Jul. 2013
[project page]
Design and Implementation of an Aspect-Oriented Domain-Specific Language for Dynamic Program Analysis
Sept. 2010 – Jan. 2011
[project page]