2018-annual-report
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
gent Theories. 32nd International Workshop
on Unification, July 2018.
6. Niccolò Marastoni, Roberto Giacobazzi, Mila
Dalla Preda. A Deep Learning Approach to
Program Similarity. Proceedings of the 1st
International Workshop on Machine Learning
and Software Engineering in Symbiosis,
MASES 2018, pages 26–35, ACM, 2018.
5. John P. Gallagher, Rob van Glabbeek, Wendelin
Serwe (Eds.). Proceedings Third Workshop
on Models for Formal Analysis of Real
Systems and Sixth International Workshop
on Verification and Program Transformation,
MARS/VPT-ETAPS 2018, and Sixth International
Workshop on Verification and Program
Transformation Thessaloniki, Greece, 20th
April 2018. EPTCS, Vol. 268, 2018.
83
annual report
20
7. Zsolt István, Alessandro Sorniotti, Marko
Vukolić. StreamChain: Do Blockchains Need
Blocks?. Proceedings of the 2nd Workshop
on Scalable and Resilient Infrastructures for
Distributed Ledgers, SERIAL’18, pages 1–6,
2018.
1.2. Edited Volumes
1. Alessandra Gorla, Juan Pablo Galeotti (Eds.).
Proceedings of the 11th International Workshop
on Search-Based Software Testing,
ICSE 2018. ACM, 2018.
2. Gilles Barthe, Geoff Sutcliffe, Margus Veanes
(Eds.). LPAR-22. 22nd International Conference
on Logic for Programming, Artificial
Intelligence and Reasoning. EPiC Series in
Computing, Vol. 57, EasyChair, 2018.
3. John P. Gallagher, Martin Sulzmann (Eds.).
Functional and Logic Programming - 14th
International Symposium, FLOPS 2018,
Nagoya, Japan, May 9-11, 2018, Proceedings.
Lecture Notes in Computer Science,
Vol. 10818, Springer, 2018.
4. John P. Gallagher, Fabio Fioravanti (Eds.).
Logic-Based Program Synthesis and Transformation
- 27th International Symposium,
LOPSTR 2017, Namur, Belgium, October
10-12, 2017, Revised Selected Papers. Lecture
Notes in Computer Science, Vol. 10855,
Springer, 2018.
1.3. Articles in Books and Other
Collections
1. Adrian Francalanza, Jorge A. Pérez, César
Sánchez. Runtime Verification for Decentralized
and Distributed Systems. Lectures
on Runtime Verification – Introductory and
Advanced Topics, LNCS, Vol. 10457, pages
169–205, Springer, 2018.
1.4. Doctoral, Master and Bachelor
Theses
1. Luca Nizzardo. Cryptographic Techniques for
the Security of Cloud and Blockchain Systems.
Ph.D. Thesis. Universidad Politécnica
de Madrid (UPM). March 2018. Advisor:
Dario Fiore (IMDEA Software Institute).
2. Nataliia Stulova. Improving Run-time Checking
in Dynamic Programming Languages.
Ph.D. Thesis. Universidad Politécnica de
Madrid (UPM). May 2018. Advisors: José
Francisco Morales and Manuel V. Hermenegildo
(IMDEA Software Institute).
3. Umer Liqat. A Multi-Language and Multi-
Platform Framework for Resource Consumption
Analysis and its Application to Energy-
Efficient Software Development. Ph.D.
Thesis. Universidad Politécnica de Madrid
(UPM). July 2018. Advisor: Pedro López-
García (IMDEA Software Institute).