Dimitrova, R.; Majumdar, R.: Deductive Control Synthesis for Alternating-time Logics. In: EMSOFT '14, 14, pp. 1 - 10. 14th International Conference on Embedded Software , New Delhi, India, October 12, 2014 - October 17, 2014. ACM, New York, NY (2014)

Esmaeilsabzali, S.; Majumdar, R.; Wies, T.; Zufferey, D.: Dynamic Package Interfaces. In: Fundamental Approaches to Software Engineering, pp. 261 - 275. 17th International Conference on Fundamental Approaches to Software Engineering, Grenoble, France, April 03, 2014 - April 13, 2014. Springer, Berlin (2014)

Esparza, J.; Ledesma-Garza, R.; Majumdar, R.; Meyer, P.; Niksic, F.: An SMT-based Approach to Coverability Analysis. In: Computer Aided Verification, pp. 603 - 619. 26th International Conference on Computer Aided Verification, Vienna, Austria, July 18, 2014 - July 22, 2014. Springer, Berlin (2014)

Farajtabar, M.; Du, N.; Gomez Rodriguez, M.; Valera, I.; Zha, H.; Song, L.: Shaping Social Activity by Incentivizing Users. In: Advances in Neural Information Processing Systems 27, pp. 2474 - 2482. Annual Conference on Neural Information Processing Systems 2014, Montreal, Quebec, Canada, December 08, 2014 - December 13, 2014. (2014)

Figueiredo, F.; Almeida, J. M.; Benevenuto, F.; Gummadi, K.: Does Content Determine Information Popularity in Social Media?: a Case Study of Youtube Videos' Content and their Popularity. In: CHI Conference on Human Factors in Computing Systems, pp. 979 - 982. 2014 CHI Conference on Human Factors in Computing Systems, Toronto, ON, Canada, April 26, 2014 - May 01, 2014. ACM, New York, NY (2014)

Fonseca, P.; Rodrigues, R.; Brandenburg, B.: SKI: Exposing Kernel Concurrency Bugs through Systematic Schedule Exploration. In: Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation. 11th USENIX Symposium on Operating Systems Design and Implementation, Broomfield, CO, USA, October 06, 2014 - October 08, 2014. USENIX Association, Berkeley, CA (2014)

Fu, J.; Dimitrova, R.; Topcu, U.: Abstractions and Sensor Design in Partial-information, Reactive Controller Synthesis. In: American Control Conference, pp. 2297 - 2304. American Control Conference, Portland, OR, USA, June 04, 2014 - June 06, 2014. IEEE, Piscataway, NJ (2014)

Gligoric, M.; Majumdar, R.; Sharma, R.; Eloussi, L.; Marinov, D.: Regression Test Selection for Distributed Software Histories. In: Computer Aided Verification, pp. 293 - 309. 26th International Conference on Computer Aided Verification, Vienna, Austria, July 18, 2014 - July 22, 2014. Springer, Berlin (2014)

Gomez-Rodriguez, M.; Song, L.; Schölkopf, B.: Open Problem: Finding Good Cascade Sampling Processes for the Network Inference Problem. In: Proceedings of The 27th Conference on Learning Theory, pp. 1276 - 1279 (Eds. Balcan, M. F.; Feldman, V.; Szepesvári, C.). 27th Conference on Learning Theory, Barcelona, Spain, June 13, 2014 - June 15, 2014. (2014)

Hadi, D.; Gomez-Rodriguez, M.; Song, L.; Schoelkopf, B.: Estimating Diffusion Network Structures: Recovery Conditions, Sample Complexity Soft-thresholding Algorithm. In: Proceedings of the 31th International Conference on Machine Learning, pp. 793 - 801 (Eds. Xing, E. P.; Jebara, T.). 31th International Conference on Machine Learning, Beijing, China, June 21, 2014 - June 26, 2014. (2014)

Hüchting, R.; Majumdar, R.; Meyer, R.: Bounds on Mobility. In: CONCUR 2014 - Concurrency Theory, pp. 357 - 371. 25th International Conference on Concurrency Theory, Rome, Italy, September 02, 2014 - September 05, 2014. Springer, Berlin (2014)

Kilpatrick, S.; Dreyer, D.; Peyton Jones, S.; Marlow, S.: Backpack: Retrofitting Haskell with Interfaces. In: POPL'14, pp. 19 - 31. 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Diego, CA, USA, January 22, 2014 - January 24, 2014. ACM, New York, NY (2014)

Le Blond, S.; Uritesc, A.; Gilbert, C.; Chua, Z. L.; Saxena, P.; Kirda, E.: A Look at Targeted Attacks Through the Lense of an NGO. In: Proceedings of the 23rd USENIX Security Symposium, pp. 543 - 558. 23rd USENIX Security Symposium, San Diego, CA, USA, August 20, 2014 - August 22, 2014. USENIX Association, Berkeley, CA (2014)

Lentz, M.; Erdélyi, V.; Aditya, P.; Shi, E.; Druschel, P.; Bhattacharjee, B.: SDDR: Light-weight, Secure Mobile Encounters. In: Proceedings of the 23rd USENIX Security Symposium, pp. 925 - 940. 23rd USENIX Security Symposium, San Diego, CA, USA, August 20, 2014 - August 22, 2014. USENIX Association, Berkely, CA (2014)

Li, C.; Leitão, J.; Clement, A.; Preguiça, N.; Rodrigues, R.; Vafeiadis, V.: Automating the Choice of Consistency Levels in Replicated Systems. In: Proceedings of USENIX ATC ’14, pp. 281 - 292. 2014 USENIX Annual Technical Conference, Philadelphia, PA, June 19, 2014 - June 20, 2014. USENIX (2014)

Maiya, P.; Kanade, A.; Majumdar, R.: Race Detection for Android Applications. In: PLDI '14, pp. 316 - 325. 35th ACM SIGPLAN Conference on Programming Language Design and Implementation, Edinburgh, UK, June 09, 2014 - June 11, 2014. ACM, New York, NY (2014)

Majumdar, R.; Tetali, S. D.; Wang, Z.: Kuai: A Model Checker for Software-defined Networks. In: Formal Methods in Computer-Aided Design, FMCAD 2014, Lausanne, Switzerland, October 21-24, 2014, pp. 163 - 170. 2014 Formal Methods in Computer-Aided Desig, Lausanne, Switzerland, October 21, 2014 - October 24, 2014. IEEE, Piscataway, NJ (2014)

Manuel, G.; Gummadi, K.; Schoelkopf, B.: Quantifying Information Overload in Social Media and its Impact on Social Contagions. In: ICSWM '14, pp. 170 - 179. 8th International AAAI Conference on Weblogs and Social Media, Ann Arbor, MI, USA, June 01, 2014 - June 04, 2014. AAAI Press, Palo Alto, CA (2014)

Mondal, M.; Druschel, P.; Gummadi, K.; Mislove, A.: Beyond Access Control: Managing Online Privacy via Exposure. In: Workshop on Usable Security, pp. 1 - 6. Workshop on Usable Security, San Diego, CA, USA, February 23, 2014. Internet Society, Reston, VA (2014)

Mondal, M.; Liu, Y.; Viswanath, B.; Gummadi, K.; Mislove, A.: Understanding and Specifying Social Access Control Lists. In: Tenth Symposium on Usable Privacy and Security, pp. 271 - 283. Tenth Symposium on Usable Privacy and Security, Menlo Park, CA, USA, July 09, 2014 - July 11, 2014. USENIX, Berkeley, CA (2014)