International Conferences

[1] Elvira Albert, Pablo Gordillo, Benjamin Livshits, Albert Rubio and Ilya Sergey. EthIR: A Framework for High-Level Analysis of Ethereum Bytecode. In Shuvendu Lahiri and Chao Wang, editors, 16th International Symposium on Automated Technology for Verification and Analysis, ATVA 2018. To appear.

[2] Elvira Albert, Samir Genaim, and Pablo Gordillo. May-Happen-in-Parallel Analysis with Returned Futures. In Deepak D'Souza and K.Narayan Kumar, editors, 15th International Symposium on Automated Technology for Verification and Analysis, ATVA 2017. Proceedings, volume 10482 of Lecture Notes in Computer Science, pages 42-58. Springer, 2017. [ bibtex | abstract | DOI | PDF ]

[3] Elvira Albert, Samir Genaim, and Pablo Gordillo. May-Happen-in-Parallel Analysis for Asynchronous Programs with Inter-Procedural Synchronization. In Static Analysis - 22nd International Symposium, SAS 2015. Proceedings, volume 9291 of Lecture Notes in Computer Science, pages 72-89. Springer, 2015. [ bibtex | abstract | DOI | PDF | http ]

Thesis

[1] Pablo Gordillo. Supervised by Elvira Albert and Samir Genaim. May-Happen-in-Parallel Analysis with Returned Futures. Master's Thesis, Facultad de Informática, Universidad Complutense de Madrid, July 2017. [ abstract | PDF | http ]

[1] Pablo Gordillo. Supervised by Elvira Albert and Samir Genaim. Static Analysis for Concurrent Objects: May-Happen-in-Parallel Analysis for Asynchronous Programs with Inter-Procedural Synchronization. Bachelor's Thesis, Facultad de Informática, Universidad Complutense de Madrid, June 2015. [ abstract | PDF | http ]

Quick Links

Recent News