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)

Lopes, J. A.: Hybrid Type Systems. In: 10th International Winter School on Modeling and Verifying Parallel Processes (MOVEP 2012), pp. 124 - 129 (Ed. Renyier, P.-A.). MOVEP 2012, Marseille, France, December 03, 2012 - December 07, 2012. (2012)

Majumdar, R.; Saha, I.; Zamani, M.: Synthesis of Minimal-Error Control Software. In: EMSOFT’12: Proceedings of the Tenth ACM International Conference on Embedded Software 2012, pp. 123 - 132. EMSOFT'12, Tampere, Finland, October 07, 2012 - October 12, 2012. ACM, New York, NY (2012)

Majumdar, R.; Sahal, I.; Shashidhar, K. C.; Wang, Z.: CLSE: Closed-Loop Symbolic Execution. In: NASA Formal Methods: 4th International Symposium, NFM 2012, pp. 356 - 370 (Eds. Goodloe; E., A.; Person; Suzette). NFM 2012, Norfolk, VA, USA, April 03, 2012 - April 05, 2012. Springer, New York, NY (2012)

Majumdar, R.; Zamani, M.: Approximately Bisimilar Symbolic Models for Digital Control Systems. In: Computer Aided Verification: 24th International Conference, CAV 2012, pp. 362 - 377 (Eds. Madhusudan, P.; Seshia, S. A.). CAV 2012, Berkeley, CA, USA, July 07, 2012 - July 13, 2012. Springer, New York, NY (2012)

Mondal, M.; Viswanath, B.; Clement, A.; Druschel, P.: Defending against large-scale crawls in online social networks. In: CoNEXT’12: proceedings of the 2012 ACM Conference on Emerging Networking Experiments and Technologies, pp. 325 - 336. CoNEXT'12, Nice, France, December 10, 2012 - December 13, 2012. ACM, New York, NY (2012)

Saha, I.; Majumdar, R.: Trigger Memoization in Self-Triggered Control. In: EMSOFT’12: Proceedings of the Tenth ACM International Conference on Embedded Software 2012, pp. 103 - 112. EMSOFT'12, Tampere, Finland, October 07, 2012 - October 12, 2012. ACM, New York, NY (2012)

Santos, N.; Rodrigues, R.; Ford, B.: Enhancing the OS against Security Threats in System Administration. In: Middleware 2012: ACM/IFIP/USENIX 13th International Middleware Conference, pp. 415 - 435 (Eds. Narasimhan, P.; Triantafillou, P.). Middleware 2012, Monteal, QC, Canada, December 03, 2012 - December 07, 2012. Springer, New York, NY (2012)

Santos, N.; Rodrigues, R.; Gummadi, K. P.; Saroiu, S.: Policy-Sealed Data: A New Abstraction for Building Trusted Cloud Services. In: Proceedings of the 21st USENIX Security Symposium, pp. 175 - 188. 21st USENIX Security Symposium, Bellvue, WA, August 08, 2012 - August 10, 2012. USENIX Association, Berkeley, CA (2012)

Sharma, N. K.; Ghosh, S.; Benevenuto, F.; Ganguly, N.; Gummadi, K. P.: Inferring Who-is-Who in the Twitter Social Network. In: WOSN’12: Proceedings of the ACM Workshop on Online Social Networks, pp. 55 - 60. WOSN'12, Helsinki, Finland, August 17, 2012. ACM, New York, NY (2012)

Tabuada, P.; Balkan, A.; Caliskan, S. Y.; Shoukry, Y.; Majumdar, R.: Input-Output Robustness for Discrete Systems. In: EMSOFT’12: Proceedings of the Tenth ACM International Conference on Embedded Software 2012, pp. 217 - 226. EMSOFT'12, Tampere, Finland, October 07, 2012 - October 12, 2012. ACM, New York, NY (2012)