Conference Paper (937)
1081.
Conference Paper
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)
1082.
Conference Paper
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)
1083.
Conference Paper
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)
1084.
Conference Paper
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)
1085.
Conference Paper
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)
1086.
Conference Paper
Keeping Information Safe from Social Networking Apps. In: WOSN’12: Proceedings of the ACM Workshop on Online Social Networks, pp. 49 - 54. WOSN'12, Helsinki, Finland, August 17, 2012. ACM, New York, NY (2012)
1087.
Conference Paper
Exploring the design space of social network-based Sybil defenses. In: Fourth International Conference on Communication Systems and Networks (COMSNETS), pp. 1 - 8. COMSNETS 2012, January 03, 2012 - January 07, 2012. IEEE, Piscataway, NJ (2012)
1088.
Conference Paper
Canal: Scaling Social Network-Based Sybil Tolerance Schemes. In: EuroSys’12: Proceedings of the EuroSys 2012 Conference, pp. 309 - 322. EuroSys'12, Bern, Switzerland, April 10, 2012 - April 13, 2012. ACM, New York, NY (2012)
1089.
Conference Paper
Orchestrating the Deployment of Computations in the Cloud with Conductor. In: Proceedings of NSDI ’12: 9th USENIX Symposium on Networked Systems Design and Implementation, pp. 1 - 15. NSDI'12, San Jose, CA, April 25, 2012 - April 27, 2012. USENIX, Berkeley, CA (2012)
1090.
Conference Paper
Oracle scheduling: controlling granularity in implicitly parallel languages. OOPSLA '11, Portland, OR, October 22, 2011 - October 27, 2011. Proceedings of the 2011 ACM International Conference on Object Oriented Programming Systems Languages and Applications, pp. 499 - 518 (2011)
1091.
Conference Paper
Parallelism in dynamic well-spaced point sets. In: SPAA’11: proceedings of the Twenty-Third Annual Symposium on Parallelism in Algorithms and Architectures, pp. 33 - 42. SPAA '11, San Jose, CA, June 04, 2011 - June 06, 2011. ACM, New York, NY (2011)
1092.
Conference Paper
Kinetic mesh refinement in 2D. In: Proceedings of the Twenty-Seventh Annual Symposium on Computational Geometry (SCG’11), pp. 341 - 350. SCG '11, Paris, France, June 13, 2011 - June 14, 2011. ACM, New York, NY (2011)
1093.
Conference Paper
Media Landscape in Twitter: A World of New Conventions and Political Diversity. In: Proceedings of the Fifth International Conference on Weblogs and Social Media, pp. 18 - 25. ICWSM 2011, Barcelona, Spain, July 17, 2011 - July 21, 2011. AAAI, Menlo Park, CA (2011)
1094.
Conference Paper
Large-scale incremental data processing with change propagation. In: 3rd USENIX Workshop on Hot Topics in Cloud Computing (HotCloud '11), pp. 1 - 5. HotCloud '11, Portland, OR, June 14, 2011 - June 15, 2011. USENIX, Berkeley, CA (2011)
1095.
Conference Paper
Incoop: MapReduce for incremental computations. In: Proceedings of the Second ACM Symposium on Cloud Computing: SOCC 2011, 7, pp. 7:1 - 7:14. SOCC 2011, Cascais, Portugal, October 26, 2011 - October 28, 2011. ACM, New York, NY (2011)
1096.
Conference Paper
Characteristic formulae for the verification of imperative programs. In: ICFP’11: Proceedings of the 2011 ACM SIGPLAN International Conference on Functional Programming, pp. 418 - 430. ICFP'11, Tokyo, Japan, September 19, 2011 - September 21, 2011. ACM, New York, NY (2011)
1097.
Conference Paper
Minimum Attention Controller Synthesis for Omega-Regular Objectives. In: Formal Modeling and Analysis of Timed Systems: 9th International Conference, FORMATS 2011, pp. 145 - 159 (Eds. Fahrenberg, U.; Tripakis, S.). FORMATS 2011, Aalborg, Denmark, September 21, 2011 - September 23, 2011. Springer, Berlin (2011)
1098.
Conference Paper
Bring Order to Online Social Networks. In: 2011 Proceedings IEEE INFOCOM, pp. 541 - 545. INFOCOM 2011, Shanghai, China, April 10, 2011 - April 15, 2011. IEEE, Piscataway, NJ (2011)
1099.
Conference Paper
Finding complex concurrency bugs in large multi-threaded applications. In: EuroSys '11: proceedings of the EuroSys 2011 Conference, pp. 215 - 228. EuroSys '11, Salzburg, Austria, April 10, 2011 - April 13, 2011. ACM, New York, NY (2011)
1100.
Conference Paper
Efficient middleware for Byzantine fault tolerant database replication. In: EuroSys '11: proceedings of the EuroSys 2011 Conference, pp. 107 - 122. EuroSys '11, Salzburg, Austria, April 10, 2011 - April 13, 2011. ACM, New York, NY (2011)