2018-annual-report

34. Konstantin Kuznetsov, Vitalii Avdiienko,
Alessandra Gorla, Andreas Zeller. Analyzing
the User Interface of Android Apps.
5th IEEE/ACM International Conference on
Mobile Software Engineering and Systems,
MOBILESoft, pages 84–87, May 2018.
35. Arianna Blasi, Alessandra Gorla. RepliComment:
Identifying Clones in Code Comments.
2018 IEEE/ACM 26th International
Conference on Program Comprehension
(ICPC), pages 320–323, May 2018.
41. Artem Khyzha, Hagit Attiya, Alexey Gotsman,
Noam Rinetzky. Safe privatization in transactional
memory. PPoPP’18: Symposium on
Principles and Practice of Parallel Programming,
pages 233–245, ACM Press, 2018.
42. Álvaro García-Pérez, Alexey Gotsman, Yuri
Meshman, Ilya Sergey. Paxos consensus,
deconstructed and abstracted. ESOP’18:
European Symposium on Programming,
Thessaloniki, Greece, LNCS, Vol. 10801,
pages 912–939, Springer, 2018.
79
annual report
20
36. Paolo Calciati, Konstantin Kuznetsov, Alessandra
Gorla. What did Really Change with
the new Release of the App?. Proceedings of
the 15th International Conference on Mining
Software Repositories (MSR), pages 142–
152, IEEE Computer Society, May 2018.
43. Mike Dodds, Mark Batty, Alexey Gotsman.
Compositional verification of compiler optimisations
on relaxed memory. ESOP’18:
European Symposium on Programming,
Thessaloniki, Greece, LNCS, Vol. 10801,
pages 1027–1055, Springer, 2018.
37. Chen Chen, Daniele E. Asoni, Adrian Perrig,
David Barrera, George Danezis, Carmela
Troncoso. TARANET: Traffic-Analysis
Resistant Anonymity at the NETwork layer.
2018 IEEE European Symposium on Security
and Privacy, EuroS&P 2017, London,
United Kindgdom, April 24-26, 2018,
pages 137–152, April 2018.
44. Gilles Barthe, Xiong Fan, Joshua Gancher,
Benjamin Grégoire, Charlie Jacomme, Elaine
Shi. Symbolic Proofs for Lattice-Based Cryptography.
Proceedings of the 2018 ACM
SIGSAC Conference on Computer and Communications
Security, CCS 2018, Toronto,
ON, Canada, October 15-19, 2018, pages
538–555, ACM, 2018.
38. Nataliia Stulova, José F. Morales,
Manuel V. Hermenegildo. Exploiting Term
Hiding to Reduce Run-time Checking Overhead.
20th International Symposium on
Practical Aspects of Declarative Languages
(PADL 2018), LNCS, Num. 10702, pages
99–115, Springer-Verlag, January 2018.
39. Álvaro García-Pérez, Alexey Gotsman. Federated
Byzantine quorum systems. OPODIS’18:
International Conference on Principles of Distributed
Systems, LIPICS, Dagstuhl, 2018.
40. Gregory Chockler, Alexey Gotsman. Multi-
Shot Distributed Transaction Commit.
DISC’18: International Symposium on
Distributed Computing, LIPICS, Vol. 121,
pages 1–18, Dagstuhl, 2018.
45. Alejandro Aguirre, Gilles Barthe, Justin
Hsu, Alexandra Silva. Almost Sure Productivity.
45th International Colloquium on
Automata, Languages, and Programming,
ICALP 2018, July 9-13, 2018, Prague,
Czech Republic, LIPIcs, Vol. 107, pages
1–15, Schloss Dagstuhl - Leibniz-Zentrum
fuer Informatik, 2018.
46. Gilles Barthe, Benjamin Grégoire, Vincent
Laporte. Secure Compilation of Side-Channel
Countermeasures: The Case of Cryptographic
“Constant-Time”. 31st IEEE Computer
Security Foundations Symposium,
CSF 2018, Oxford, United Kingdom, July
9-12, 2018, pages 328–343, IEEE Computer
Society, 2018.