Travelled to:1 × Austria
1 × Finland
1 × Spain
1 × Sweden
1 × USA
2 × Italy
Collaborated with:A.Schmitt J.Stefani C.Laneve E.Giachino A.Garcia O.Dardha F.Damiani R.Hähnle E.Kamburjan I.Lanese C.A.Mezzina C.A.Grazia P.Y.H.Wong R.D.Cosmo R.Treinen S.Zacchiroli J.Zwolakowski A.Eiche A.Agahi
Talks about:compon (3) program (2) concurr (2) analysi (2) cloud (2) type (2) assemblag (1) synthesi (1) deadlock (1) communic (1)
Person: Michael Lienhardt
DBLP: Lienhardt:Michael
Contributed to:
2015
2014
2013
2013
2013
20082007
2017Wrote 8 papers:
- PPDP-2015-GarciaLL #static analysis
- Static analysis of cloud elasticity (AG, CL, ML), pp. 125–136.
- ASE-2014-CosmoLTZZEA #automation #deployment #synthesis
- Automated synthesis and deployment of cloud applications (RDC, ML, RT, SZ, JZ, AE, AA), pp. 211–222.
- ESOP-2013-LaneseLMSS #concurrent #flexibility
- Concurrent Flexible Reversibility (IL, ML, CAM, AS, JBS), pp. 370–390.
- IFM-2013-GiachinoGLLW #analysis #concurrent #theory and practice
- Deadlock Analysis of Concurrent Objects: Theory and Practice (EG, CAG, CL, ML, PYHW), pp. 394–411.
- SEFM-2013-DardhaGL #component #type system
- A Type System for Components (OD, EG, ML), pp. 167–181.
- GPCE-2008-LienhardtSS #communication #component #type system
- Typing communicating component assemblages (ML, AS, JBS), pp. 125–136.
- GPCE-2007-LienhardtSS #component #kernel #named #programming
- Oz/K: a kernel language for component-based open programming (ML, AS, JBS), pp. 43–52.
- FASE-2017-DamianiHKL #programming
- A Unified and Formal Programming Model for Deltas and Traits (FD, RH, EK, ML), pp. 424–441.