Esparza, J.; Ganty, P.; Majumdar, R.: A Perfect Model for Bounded Verification. In: LICS 2012: Proceedings of the 2012 27th Annual ACM/IEEE Symposium, pp. 285 - 294. LICS 2012, Dubrovnik, Croatio, June 25, 2012 - June 28, 2012. IEEE Computer Society, Los Alamitos, CA (2012)

Fischer, J.; Majumdar, R.; Esmaeilsabzali, S.: Engage: A Deployment Management System. In: PLDI’12: Proceedings of the 2012 ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 263 - 274. PLDI'12, Beijing, China, June 11, 2012 - June 16, 2012. ACM, New York, NY (2012)

Garg, D.; Genovese, V.; Negri, S.: Countermodels from Sequent Calculi in Multi-Modal Logics. In: 27th Annual ACM/IEEE Symposium on Logic in Computer Science, pp. 315 - 324. LICS 2012, Dubrovnik, Croatia, June 25, 2012 - June 28, 2012. IEEE Computer Society, Los Alamitos, California (2012)

Genovese, V.; Garg, D.: New Modalities for Access Control Logics: Permission, Control and Ratification. In: Security and Trust Management: 7th International Workshop, pp. 56 - 71 (Eds. Meadows, C.; Fernandez-Gago, C.). STM'11, Copenhagen, Denmark, June 27, 2011 - June 28, 2011. Springer, New York, NY (2012)

Genovese, V.; Garg, D.; Rispoli, D.: Labeled Sequent Calculi for Access Control Logics: Countermodels, Saturation and Abduction. In: 2012 IEEE 25th Computer Security Foundations Symposium, pp. 139 - 153. CSF'12, Cambridge, Mass., June 25, 2012 - June 27, 2012. IEEE, Piscataway, NJ (2012)

Ghosh, S.; Sharma, N.; Benevenuto, F.; Ganguly, N.; Gummadi, K. P.: Cognos: Crowdsourcing Search for Topic Experts in Microblogs. In: SIGIR’12: the Proceedings of the International ACM SIGIR Conference on Research & Development in Information Retrieval, pp. 575 - 590. SIGIR'12, Portland, Oregon, August 12, 2012 - August 16, 2012. ACM, New York, NY (2012)

Ghosh, S.; Viswanath, B.; Kooti, F.; Sharma, N. K.; Korlam, G.; Benevenuto, F.; Ganguly, N.; Gummadi, K. P.: Understanding and Combating Link Farming in the Twitter Social Network. In: WWW’12: Proceedings of the 21st Annual Conference on World Wide Web, pp. 61 - 70. WWW'12, Lyon, France, April 16, 2012 - April 20, 2012. ACM, New York, NY (2012)

Hur, C.-K.; Dreyer, D.; Neis, G.; Vafeiadis, V.: The marriage of bisimulations and Kripke logical relations. In: Proceedings of the 39th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 59 - 72. POPL'12, Philadelphia, PA, January 22, 2012 - January 28, 2012. ACM, New York, NY (2012)

Kapritsos, M.; Wang, Y.; Quema, V.; Clement, A.; Alvisi, L.; Dahlin, M.: All about Eve: Execute-Verify Replication for Multi-Core Servers. In: Proceedings of the 10th USENIX Symposium on Operating Systems Design and Implementation (OSDI ’12), pp. 237 - 250. OSDI'12, Hollywood, CA, October 08, 2012 - October 10, 2012. USENIX, Berkeley, CA (2012)

Kooti, F.; Mason, W. A.; Gummadi, K. P.; Cha, M.: Predicting emerging social conventions in online social networks. In: CIKM’12: the Proceedings of the 21st ACM International Conference on Information and Knowledge Management, pp. 445 - 454. CIKM'12, Maui, Hawaii, USA, October 29, 2012 - November 02, 2012. ACM, New York, NY (2012)

Kooti, F.; Yang, H.; Cha, M.; Gummadi, K. P.; Mason, W. A.: The Emergence of Conventions in Online Social Networks. In: Proceedings of the Sixth International Conference on Weblogs and Social Media, pp. 194 - 201. ICWSM'12, Dublin, Irleand, June 04, 2012 - June 07, 2012. AAAI, Palo Alto, California (2012)

Krishnaswami, N. R.; Benton, N.: Adding Equations to System F Types. In: Programming Languages and Systems: 21st European Symposium on Programming, ESOP 2012, pp. 417 - 435 (Ed. Seidl, H.). ESOP 2012, Tallinn, Estonia, March 24, 2012 - April 01, 2012. Springer, New York, NY (2012)

Krishnaswami, N. R.; Benton, N.; Hoffmann, J.: Higher-Order Functional Reactive Programming in Bounded Space. In: POPL’12: Proceedings of the 39th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 45 - 58. POPL'12, Philadelphia, PA, USA, January 25, 2012 - January 27, 2012. ACM, New York, NY (2012)

Krishnaswami, N. R.; Turon, A.; Dreyer, D.; Garg, D.: Superficially substructural types. In: Proceedings of the 17th ACM SIGPLAN International Conference on Functional Programming, pp. 41 - 54. ICFP '12, Copenhagen, Denmark, September 10, 2012 - September 12, 2012. ACM, New York, Ny (2012)

Kulshrestha, J.; Kooti, F.; Nikravesh, A.; Gummadi, K. P.: Geographic Dissection of the Twitter Network. In: Proceedings of the Sixth International Conference on Weblogs and Social Media, pp. 202 - 209. ICWSM'12, Dublin, Irleand, June 04, 2012 - June 07, 2012. AAAI, Palo Alto, California (2012)

Lee, J. K.; Palsberg, J.; Majumdar, R.; Hong, H.: Efficient May Happen in Parallel Analysis for Async-Finish Parallelism. In: Static Analysis: 19th International Symposium, SAS 2012, pp. 5 - 23 (Eds. Miné, A.; Schmidt, D.). SAS 2012, Deauville, France, September 11, 2012 - September 13, 2012. Springer, New York, NY (2012)

Ley-Wild, R.; Acar, U. A.: Non-monotonic Self-Adjusting Computation. In: Programming Languages and Systems: 21st European Symposium on Programming, ESOP 2012, pp. 476 - 496 (Ed. Seidl, H.). ESOP 2012, Tallinn, Estonia, March 24, 2012 - April 01, 2012. Springer, New York, NY (2012)

Li, C.; Porto, D.; Clement, A.; Gehrke, J.; Preguiça, N.; Rodrigues, R.: Making Geo-Replicated Systems Fast as Possible, Consistent when Necessary. In: Proceedings of the 10th USENIX Symposium on Operating Systems Design and Implementation (OSDI ’12), pp. 265 - 278. OSDI'12, Hollywood, CA, October 08, 2012 - October 10, 2012. USENIX, Berkeley, CA (2012)

Liu, Y.; Viswanath, B.; Mondal, M.; Gummadi, K.; Mislove, A.: Simplifying Friendlist Management. In: WWW’12: Proceedings of the 21st Annual Conference on World Wide Web, pp. 385 - 388. WWW'12, Lyon, France, April 16, 2012 - April 20, 2012. ACM, New York, NY (2012)

Long, Z.; Calin, G.; Majumdar, R.; Meyer, R.: Language-Theoretic Abstraction Refinement. In: Fundamental Approaches to Software Engineering, pp. 363 - 376 (Eds. de Lara, J.; Zisman, A.). FASE 2012, Tallinn, Estonia, March 24, 2012 - April 01, 2012. Springer, New York, NY (2012)