Conference Paper (885)
1041.
Conference Paper
Pessoa 2.0: A Controller Synthesis Tool for Cyber-Physical Systems. In: HSCC’11: Proceedings of the 2011 ACM/SIGBED Hybrid Systems: Computation and Control, pp. 315 - 316. HSCC'11, Chicago, IL, USA, April 12, 2011 - April 14, 2011. ACM, New York, NY (2011)
1042.
Conference Paper
Auctions in Do-Not-Track Compliant Internet Advertising. In: CCS’11: Proceedings of the 18th ACM Conference on Computer & Communications Security, pp. 667 - 676. CSS'11, Chicago, IL, USA, October 17, 2011 - October 21, 2011. ACM, New York, NY (2011)
1043.
Conference Paper
On Word-of-Mouth Based Discovery of the Web. In: Proceedings of the 2011 ACM SIGCOMM Internet Measurement Conference, pp. 381 - 396. IMC’11, Berlin, Germany, November 02, 2011 - November 04, 2011. ACM, New York, NY (2011)
1044.
Conference Paper
Relaxed-Memory Concurrency and Verified Compilation. In: POPL’11: Proceedings of the 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 43 - 54. POPL'11, Austin, TX, USA, January 26, 2011 - January 28, 2011. ACM, New York, NY (2011)
1045.
Conference Paper
Iterative Refinement of Specification for Component Based Embedded Systems. In: 2011 International Symposium on Software Testing and Analysis (ISSTA 2011), pp. 276 - 286 (Eds. Dwyer, M. B.; Tip, F.). ISSTA 2011, Toronto, ON, Canada, July 17, 2011 - July 21, 2011. ACM, New York, NY (2011)
1046.
Conference Paper
Fast parallel and adaptive updates for dual-decomposition solvers. In: Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, pp. 1076 - 1082. AAAI 2011, San Francisco, CA, August 07, 2011 - August 11, 2011. AAAI, Palo Alto, CA (2011)
1047.
Conference Paper
What’s in a Name: A Study of Names, Gender Inference, and Gender Behavior in Facebook. In: Database Systems for Adanced Applications: 16th International Conference, DASFAA 2011 InternationalWorkshops: GDB, SIM3, FlashDB, SNSMW, DaMEN, DQIS, pp. 344 - 356 (Eds. Xu, J.; Yu, G.; Zhou, S.; Unland, R.). SNSMW 2011, Hong Kong, China, April 22, 2011 - April 25, 2011. Springer, Berlin (2011)
1048.
Conference Paper
276, pp. 335 - 351 (2011)
Concurrent Separation Logic and Operational Semantics. MFPS 2011, Pittsburgh, PA, USA, May 25, 2011 - May 28, 2011. Electronic Notes in Theoretical Computer Science 1049.
Conference Paper
Verifying Fence Elimination Optimisations. In: Static Analysis: 18th International Symposium, SAS 2011, pp. 146 - 162 (Ed. Yahav, E.). SAS 2011, Venice, Italy, September 14, 2011 - September 16, 2011. Springer, Berlin (2011)
1050.
Conference Paper
Regret Freedom Isn’t Free. In: Principles of Distributed Systems: 15th International Conference, OPODIS 2011, pp. 80 - 95 (Eds. Fernández Anta, A.; Lipari, G.; Roy, M.). OPODIS 2011, Toulouse, France, December 13, 2011 - December 16, 2011. Springer, Berlin (2011)
1051.
Conference Paper
A graph model of data and workflow provenance. In: TAPP'10: Proceedings of the 2nd Conference on Theory and Practice of Provenance, p. 8 - 8. 2nd Conference on Theory and Practice of Provenance (TAPP 2010), San Jose, CA, February 22, 2010. USENIX, Berkeley, CA (2010)
1052.
Conference Paper
Dynamic well-spaced point sets. In: Proceedings of the Twenty-Sixth Annual Symposium on Computational Geometry (SCG'10), pp. 314 - 323. 26th Annual Symposium on Computational Gemoetry (SCG 2010), Snowbird, Utah, June 13, 2010 - June 16, 2010. ACM, New York, NY (2010)
1053.
Conference Paper
Kinetic mesh refinement in 2D. In: Proceedings, 20th Annual Fall Workshop on Computational Geometry, 35, pp. 1 - 4. 20th Annual Fall Workshop on Computational Geometry, Stony Brook, NY, October 29, 2010 - October 30, 2010. Stony Brook State University of New York, Stony Brook, NY (2010)
1054.
Conference Paper
Traceable data types for self-adjusting computation. In: PLDI’10: proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 483 - 496. 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2010), Toronto, Ontario, June 05, 2010 - June 10, 2010. ACM, New York, NY (2010)
1055.
Conference Paper
Automatic verification of control system implementations. In: ESWEEK 2010 compilation proceedings (CASES, CODES+ISSS, & EMSOFT), pp. 9 - 18. International Conference on Embedded Software (EMSOFT 2010), Scottsdale, Arizona, October 24, 2010 - October 29, 2010. ACM, New York, NY (2010)
1056.
Conference Paper
Speaker recognition in encrypted voice streams. In: Computer Security - ESORICS 2010: 15th European Symposium on Research in Computer Security, pp. 508 - 523 (Eds. Gritzalis, D.; Preneel, B.; Theoharidou, M.). 15th European Symposium on Research in Computer Security (ESORICS 2010), Athen, September 20, 2010 - September 22, 2010. Springer, Berlin (2010)
1057.
Conference Paper
Reliable data-center scale computations. In: Proceedings of the 4th ACM/SIGOPS Workshop on Large-Scale Distributed Systems and Middleware (LADIS 2010), pp. 1 - 6. 4th ACM/SIGOPS Workshop on Large-Scale Distributed Systems and Middleware (LADIS 2010), Zürich, July 28, 2010 - July 29, 2010. ACM, New York, NY (2010)
1058.
Conference Paper
Measuring user influence in Twitter: the million follower fallacy. In: Proceedings of the Fourth International AAAI Conference on Weblogs and Social Media (ICWSM 2010), pp. 10 - 17. Fourth International AAAI Conference on Weblogs and Social Media (ICWSM 2010), Washington, DC, May 23, 2010 - May 26, 2010. AAAI Press, Menlo Park, CA (2010)
1059.
Conference Paper
Discounting in games across time scales. In: Proceedings First Symposium on Games, Automata, Logic, and Formal Verification, pp. 22 - 29 (Eds. Montanari, A.; Napoli, M.; Parente, M.). First International Symposium on Games, Automata, Logics and Formal Verification (GandALF), Minori, June 17, 2010 - June 18, 2010. EPTCS, s.l. (2010)
1060.
Conference Paper
Glasnost: Enabling End Users to Detect Traffic Differentiation. In: Proceedings of NSDI ’10: 7th USENIX Symposium on Networked Systems Design and Implementation, pp. 405 - 418. 7th USENIX Symposium on Networked Systems Design and Implementation (NSDI 2010), San Jose, CA, April 28, 2010 - April 30, 2010. USENIX (2010)