Scientific Publications

Chakraborty, S.; Henzinger, T. A.; Sezgin, A.; Vafeiadis, V.: Aspect-oriented Linearizability Proofs. Logical Methods in Computer Science 11 (1), 20 (2015)

Gujarati, A.; Cerqueira, F.; Brandenburg, B.: Multiprocessor Real-time Scheduling with Arbitrary Processor Affinities: From Practice to Theory. Real-Time Systems 51 (6), pp. 440 - 483 (2015)

Zafar, M. B.; Bhattacharya, P.; Ganguly, N.; Gummadi, K.; Ghosh, S.: Sampling Content from Online Social Networks: Comparing Random vs. Expert Sampling of the Twitter Stream. ACM Transactions on the Web 9 (3), 12 (2015)

Ziliani, B.; Dreyer, D.; Krishnaswami, N.; Nanevski, A.; Vafeiadis, V.: Mtac: A Monad for Typed Tactic Programming in Coq. Journal of Functional Programming 25, e12 (2015)

Compositional Verification Methods for Next-Generation Concurrency (Dagstuhl Reports, 5). Dagstuhl Seminar 15191 "Compositional Verification Methods for Next-Generation Concurrency", Dagstuhl, Germany, May 03, 2015 - May 08, 2015. Schloss Dagstuhl, Wadern (2015)

Jia, X.; Li, W.; Vafeiadis, V.: Proving Lock-freedom Easily and Automatically. In: CPP'15, pp. 119 - 127. Fourth ACM SIGPLAN Conference on Certified Programs and Proofs, Mumbai, India, January 13, 2015 - January 14, 2015. ACM, New York, NY (2015)

Vafeiadis, V.: Formal Reasoning about the C11 Weak Memory Model. In: CPP'15, pp. 1 - 2. Fourth ACM SIGPLAN Conference on Certified Programs and Proofs, Mumbai, India, January 15, 2015 - January 17, 2015. ACM, New York, NY (2015)

Babaei, M.; Grabowicz, P.; Martinez, I. V.; Gomez-Rodriguez, M.: On the Users' Efficiency in the Twitter Information Network. In: Proceedings of the Ninth International Conference on Web and Social Media, pp. 570 - 573 (Ed. Quercia, D.). 9th International Conference on Web and Social Media, Oxford, UK, May 26, 2015 - May 29, 2015. AAAI Press, Palo Alto, CA (2015)

Bhatotia, P.; Fonseca, P.; Acar, U.; Brandenburg, B.; Rodrigues, R.: iThreads: A Threading Library for Parallel Incremental Computation. In: ASPLOS XX, pp. 645 - 659. Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, Instanbul, Turkey, March 14, 2015 - March 18, 2015. ACM, New York, NY (2015)

Chakraborty, A.; Ghosh, S.; Ganguly, N.; Gummadi, K.: Can Trending News Stories Create Coverage Bias? On the Impact of High Content Churn in Online News Media. In: Computation and Journalism Symposium. Computation and Journalism Symposium, New York, NY, USA, October 02, 2015 - October 03, 2015. (2015)

Chistikov, D.; Dimitrova, R.; Majumdar, R.: Approximate Counting in SMT and Value Estimation for Probabilistic Programs. In: Tools and Algorithms for the Construction and Analysis of Systems, pp. 320 - 332 (Eds. Baier, C.; Tinelli, C.). 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, London, UK, April 11, 2015 - April 18, 2015. Springer, Berlin (2015)

Correa, D.; Silva, L. A.; Mondal, M.; Benevenuto, F.; Gummadi, K.: The Many Shades of Anonymity: Characterizing Anonymous Social Media Content. In: Proceedings of the 9th International AAAI Conference on Web and Social Media. 9th International AAAI Conference on Web and Social Media, Oxford, UK, May 25, 2015 - May 29, 2015. AAAI, Palo Alto, CA (2015)

Datta, A.; Garg, D.; Kaynar, D.; Sharma, D.; Sinha, A.: Program Actions as Actual Causes: A Building Block for Accountability. In: CSF 2015, pp. 261 - 275. 28th Computer Security Foundations Symposium, Verona, Italy, July 13, 2015 - July 17, 2015. IEEE, Piscataway, NJ (2015)

Deshmukh, J.; Majumdar, R.; Prabhu, V.: Quantifying Conformance Using the Skorokhod Metric. In: Computer Aided Verification, pp. 234 - 250 (Eds. Kroening, D.; Păsăreanu, C. S.). 27th International Conference on Computer Aided Verification, San Francisco, CA, USA, July 18, 2015 - July 24, 2015. Springer, Berlin (2015)

Dimitrova, R.; Majumdar, R.: Reachability Analysis of Reversal-bounded Automata on Series-Parallel Graphs. In: Proceedings Sixth International Symposium on Games, Automata, Logics and Formal Verification, pp. 100 - 114 (Eds. Esparza, J.; Tronci, E.). Sixth International Symposium on Games, Automata, Logics and Formal Verification , Genoa, Italy, September 21, 2015 - September 22, 2015. (2015)

Durand-Gasselin, A.; Esparza, J.; Ganty, P.; Majumdar, R.: Model Checking Parameterized Asynchronous Shared-Memory Systems. In: Computer Aided Verification, pp. 67 - 84 (Eds. Kroening, D.; Păsăreanu, C. S.). 27th International Conference on Computer Aided Verification, San Francisco, CA, USA, July 18, 2015 - July 24, 2015. Springer, Berlin (2015)

Emmi, M.; Ganty, P.; Majumdar, R.; Rosa-Velardo, F.: Analysis of Asynchronous Programs with Event-based Synchronization. In: Programming Languages and Systems, pp. 535 - 559. 24th European Symposium on Programming, London, UK, April 11, 2015 - April 18, 2015. Springer, Berlin (2015)

Esparza, J.; Ganty, P.; Leroux, J.; Majumdar, R.: Verification of Population Protocols. In: 26th International Conference on Concurrency Theory, pp. 470 - 482 (Eds. Aceto, L.; de Frutos Escrig, D.). 26th International Conference on Concurrency Theory, Madrid, Spain, September 01, 2015 - September 04, 2015. Schloss Dagstuhl, Wadern (2015)

Farajtabar, M.; Gomez Rodriguez, M.; Wang, Y.; Li, S.; Zha, H.; Song, L.: Co-evolutionary Dynamics of Information Diffusion and Network Structure. In: WWW'15 Companion, pp. 619 - 620. 24th International Conference on World Wide Web , Florence, Italy, May 18, 2015 - May 22, 2015. ACM, New York, NY (2015)

Farajtabar, M.; Gomez-Rodriguez, M.; Du, N.; Zamani, M.; Zha, H.; Song, L.: Back to the Past: Source Identification in Diffusion Networks from Partially Observed Cascades. In: Proceedings of the Eighteenth International Conference on Artificial Intelligence and Statistics, pp. 232 - 240 (Eds. Lebaonon, G.; Vishwanathan, S. V. N.). 18th International Conference on Artificial Intelligence and Statistics, San Diego, CA, USA, May 10, 2015 - May 12, 2015. (2015)