Conference Paper (45)

21.
Conference Paper
Farajtabar, M.; Wang, Y.; Gomez Rodriguez, M.; Li, S.; Zha, H.; Song, L.: COEVOLVE: A Joint Point Process Model for Information Diffusion and Network Co-evolution. In: Advances in Neural Information Processing Systems 29, pp. 1945 - 1953 (Eds. Cortes, C.; Lawrence, N. D.; Lee, D. D.; Sugiyama, M.; Garnett, R. et al.). Twenty-ninth Annual Conference on Neural Information Processing Systems, Montréal, Canada, December 07, 2015 - December 12, 2015. Curran, New York, NY (2015)
22.
Conference Paper
Gavran, I.; Niksic, F.; Kanade, A.; Majumdar, R.; Vafeiadis, V.: Rely-Guarantee Reasoning for Asynchronous Programs. In: 26th International Conference on Concurrency Theory, pp. 483 - 496 (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)
23.
Conference Paper
Goga, O.; Loiseau, P.; Summer, R.; Teixeira, R.; Gummadi, K.: On the Reliability of Profile Matching Across Large Online Social Networks. In: KDD'15, pp. 1799 - 1808. 21st ACM SIGKDD Conference on Knowledge Discovery and Data Mining, Sydney, Australia, August 10, 2015 - August 13, 2015. ACM, New York, NY (2015)
24.
Conference Paper
Goga, O.; Venkatadri, G.; Gummadi, K.: The Doppelgänger Bot Attack: Exploring Identity Impersonation in Online Social Networks. In: IMC'15, pp. 141 - 153. Internet Measurement Conference , Tokyo, Japan, October 28, 2015 - October 30, 2015. ACM, New York, NY (2015)
25.
Conference Paper
Gujarati, A.; Brandenburg, B.: When Is CAN the Weakest Link? A Bound on Failures-in-Time in CAN-Based Real-Time Systems. In: IEEE 36th Real-Time Systems Symposium, pp. 249 - 260. IEEE 36th Real-Time Systems Symposium, San Antonio, TX, USA, December 01, 2015 - December 04, 2015. IEEE Computer Society, Los Alamitos, CA (2015)
26.
Conference Paper
Gulwani, S.; Mayer, M.; Niksic, F.; Piskac, R.: StriSynth: Synthesis for Live Programming. In: ICSE 2015, pp. 701 - 704. 37th IEEE International Conference on Software Engineering, Florence, Italy, May 16, 2015 - May 24, 2015. IEEE, Piscataway, NJ (2015)
27.
Conference Paper
Hemed, N.; Rinetzky, N.; Vafeiadis, V.: Modular Verification of Concurrency-Aware Linearizability. In: Distributed Computing, pp. 371 - 387 (Ed. Moses, Y.). 29th International Symposium on Distributed Computing, Tokyo, Japan, October 05, 2015 - October 09, 2015. Springer, Berlin (2015)
28.
Conference Paper
Jia, L.; Sen, S.; Garg, D.; Datta, A.: A Logic of Programs with Interface-Confined Code. In: CSF 2015, pp. 512 - 525. 28th Computer Security Foundations Symposium, Verona, Italy, July 13, 2015 - July 17, 2015. IEEE, Piscataway, NJ (2015)
29.
Conference Paper
Jung, R.; Swasey, D.; Sieczkowski, F.; Svendsen, K.; Turon, A.; Birkedal, L.; Dreyer, D.: Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning. In: POPL'15, pp. 637 - 650. 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Mumbai, India, January 12, 2015 - January 18, 2015. ACM, New York, NY (2015)
30.
Conference Paper
Kang, J.; Hur, C.-K.; Mansky, W.; Garbuzov, D.; Zdancewic, S.; Vafeiadis, V.: A Formal C Memory Model Supporting Integer-Pointer Casts. In: PLDI'15, pp. 326 - 335 (Eds. Grove, D.; Blackburn, S.). 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, Portland, OR, USA, June 13, 2015 - June 17, 2015. ACM, New York, NY (2015)
31.
Conference Paper
Kloos, J.; Majumdar, R.; Vafeiadis, V.: Asynchronous Liquid Separation Types. In: 29th European Conference on Object-Oriented Programming, pp. 396 - 420 (Ed. Boyland, J. T.). 29th European Conference on Object-Oriented Programming, September 01, 2015 - September 04, 2015. Schloss Dagstuhl, Wadern (2015)
32.
Conference Paper
Kulshrestha, J.; Zafar, M. B.; Espin Noboa, L. E.; Gummadi, K.; Gosh, S.: Characterizing Information Diets of Social Media Users. 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 26, 2015 - May 29, 2015. AAAI, Palo Alto, CA (2015)
33.
Conference Paper
Lahav, O.; Vafeiadis, V.: Owicki-Gries Reasoning for Weak Memory Models. In: Automata, Languages, and Programming, pp. 311 - 323 (Eds. Halldorsson, M.; Iwama, K.; Kobayashi, N.; Speckmann, B.). 42nd International Colloquium on Automata, Languages, and Programming, Kyoto, Japan, July 06, 2015 - July 10, 2015. Springer, Berlin (2015)
34.
Conference Paper
Majumdar, R.; Prabhu, V.: Computing the Skorokhod Distance between Polygonal Traces. In: HSCC'15, pp. 199 - 208. 18th International Conference on Hybrid Systems: Computation and Control, Seattle, WA, USA, April 14, 2015 - April 16, 2015. ACM, New York, NY (2015)
35.
Conference Paper
Majumdar, R.; Wang, Z.: BBS: A Phase-bounded Model Checker for Asynchronous Programs. In: Computer Aided Verification, pp. 496 - 503 (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)
36.
Conference Paper
Neis, G.; Hur, C.-K.; Kaiser, J.-O.; McLaughlin, C.; Dreyer, D.; Vafeiadis, V.: Pilsner: A Compositionally Verified Compiler for a Higher-order Imperative Language. In: Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, pp. 166 - 178. 20th ACM SIGPLAN International Conference on Functional Programming, Vancouver, BC, Canada, September 01, 2015 - September 03, 2015. ACM, New York, NY (2015)
37.
Conference Paper
Rajani, V.; Bichhawat, A.; Garg, D.; Hammer, C.: Information Flow Control for Event Handling and the DOM in Web Browsers. In: CSF 2015, pp. 366 - 379. 28th Computer Security Foundations Symposium, Verona, Italy, July 13, 2015 - July 17, 2015. IEEE, Piscataway, NJ (2015)
38.
Conference Paper
Saha, I.; Baruah, S.; Majumdar, R.: Dynamic Scheduling for Networked Control Systems. In: HSCC'15, pp. 98 - 107. 18th International Conference on Hybrid Systems, Seattle, WA, USA, April 14, 2015 - April 16, 2015. ACM, New York, NY (2015)
39.
Conference Paper
Simeonovski, M.; Bendun, F.; Rizwan Ashgar, M.; Backes, M.; Marnau, N.; Druschel, P.: Oblivion: Mitigating Privacy Leaks by Controlling the Discoverability of Online Information. In: Applied Cryptography and Network Security, pp. 431 - 453 (Eds. Malkin, T.; Kolesnikov, V.; Bishop Lewko, A.; Polychronakis, M.). 13th International Conference on Applied Cryptography and Network Security, New York, NY, USA, June 02, 2015 - June 05, 2015. Springer, Berlin (2015)
40.
Conference Paper
Soudjani, S.; Abate, A.; Majumdar, R.: Dynamic Bayesian Networks as Formal Abstractions of Structured Stochastic Processes. In: 26th International Conference on Concurrency Theory, pp. 169 - 183 (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)
Go to Editor View