Aditya, P.; Zhao, M.; Lin, Y.; Haeberlen, A.; Druschel, P.; Maggs, B.; Wishon, B.: Reliable Client Accounting for P2P-Infrastructure Hybrids. In: Proceedings of NSDI ’12: 9th USENIX Symposium on Networked Systems Design and Implementation, pp. 1 - 14. NSDI'12, San Jose, CA, April 25, 2012 - April 27, 2012. USENIX, Berkeley, CA (2012)

Akkus, I. E.; Chen, R.; Hardt, M.; Francis, P.; Gehrke, J.: Non-tracking web analytics. In: Proceedings of the 2012 ACM Conference on Computer and Communications Security, pp. 687 - 698. CCS'12, Raleigh, North Carolina, USA, October 16, 2012 - October 18, 2012. ACM, New York, NY (2012)

Bhatotia, P.; Rodrigues, R.; Verma, A.: Shredder: GPU-Accelerated Incremental Storage and Computation. In: Proceedings of FAST ’12: 10th USENIX Conference on File and Storage Technologies, pp. 1 - 15. FAST'12, San Jose, CA, February 15, 2012 - February 17, 2012. USENIX, Berkeley, CA (2012)

Brandenburg, B. B.; Bastoni, A.: The Case for Migratory Priority Inheritance in Linux: Bounded Priority Inversions on Multiprocessors. In: Proceedings of the 14th Real-Time Linux Workshop (RTLWS 2012), pp. 67 - 86. 14th Real-Time Linux Workshop, Chapel Hill, North Carolina, October 16, 2012 - October 20, 2012. Real-Time Linux Foundation, s.l. (2012)

Carreira, J.; Rodrigues, R.; Candea, G.; Majumdar, R.: Scalable Testing of File System Checkers. In: EuroSys’12: Proceedings of the EuroSys 2012 Conference, pp. 239 - 252. EuroSys'12, Bern, Switzerland, April 10, 2012 - April 13, 2012. ACM, New York, NY (2012)

Chatterjee, K.; Chmelik, M.; Majumdar, R.: Equivalence of Games with Probabilistic Uncertainty and Partial-Observation Games. In: Automated Technology for Verification and Analysis: 10th International Symposium, ATVA 2012, pp. 385 - 399 (Eds. Chakraborty, S.; Mukund, M.). AVTA 2012, Thiruvananthapuram, India, October 03, 2012 - October 06, 2010. Springer, New York, NY (2012)

Chen, R.; Reznichenko, A.; Francis, P.; Gehrke, J.: Towards Statistical Queries over Distributed Private User Data. In: Proceedings of NSDI ’12: 9th USENIX Symposium on Networked Systems Design and Implementation, pp. 1 - 14. NSDI'12, San Jose, CA, April 25, 2012 - April 27, 2012. USENIX, Berkeley, CA (2012)

Chen, Y.; Dunfield, J.; Acar, U. A.: Type-Directed Automatic Incrementalization. In: PLDI’12: Proceedings of the 2012 ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 299 - 310. PLDI'12, Beijing, China, June 11, 2012 - June 16, 2012. ACM, New York, NY (2012)

Clement, A.; Junqueira, F.; Kate, A.; Rodigues, R.: On the (limited) power of non-equivocation. In: Proceedings of the 2012 ACM Symposium on Principles of Distributed Computing, pp. 301 - 308. PODC 2012, Madeira, Portugal. ACM, New York, NY (2012)

Dunfield, J.: Elaborating Intersection and Union Types. In: ICFP’12: Proceedings of the 2012 ACM SIGPLAN International Conference on Functional Programming, pp. 17 - 28. ICFP'12, Copenhagen, Denmark, September 09, 2012 - September 15, 2012. ACM, New York, NY (2012)

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)