Conference Paper (918)
941.
Conference Paper
Deductive Control Synthesis for Alternating-time Logics. In: EMSOFT '14, 14, pp. 1 - 10. 14th International Conference on Embedded Software , New Delhi, India, October 12, 2014 - October 17, 2014. ACM, New York, NY (2014)
942.
Conference Paper
Dynamic Package Interfaces. In: Fundamental Approaches to Software Engineering, pp. 261 - 275. 17th International Conference on Fundamental Approaches to Software Engineering, Grenoble, France, April 03, 2014 - April 13, 2014. Springer, Berlin (2014)
943.
Conference Paper
An SMT-based Approach to Coverability Analysis. In: Computer Aided Verification, pp. 603 - 619. 26th International Conference on Computer Aided Verification, Vienna, Austria, July 18, 2014 - July 22, 2014. Springer, Berlin (2014)
944.
Conference Paper
Shaping Social Activity by Incentivizing Users. In: Advances in Neural Information Processing Systems 27, pp. 2474 - 2482. Annual Conference on Neural Information Processing Systems 2014, Montreal, Quebec, Canada, December 08, 2014 - December 13, 2014. (2014)
945.
Conference Paper
Does Content Determine Information Popularity in Social Media?: a Case Study of Youtube Videos' Content and their Popularity. In: CHI Conference on Human Factors in Computing Systems, pp. 979 - 982. 2014 CHI Conference on Human Factors in Computing Systems, Toronto, ON, Canada, April 26, 2014 - May 01, 2014. ACM, New York, NY (2014)
946.
Conference Paper
SKI: Exposing Kernel Concurrency Bugs through Systematic Schedule Exploration. In: Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation. 11th USENIX Symposium on Operating Systems Design and Implementation, Broomfield, CO, USA, October 06, 2014 - October 08, 2014. USENIX Association, Berkeley, CA (2014)
947.
Conference Paper
Abstractions and Sensor Design in Partial-information, Reactive Controller Synthesis. In: American Control Conference, pp. 2297 - 2304. American Control Conference, Portland, OR, USA, June 04, 2014 - June 06, 2014. IEEE, Piscataway, NJ (2014)
948.
Conference Paper
Regression Test Selection for Distributed Software Histories. In: Computer Aided Verification, pp. 293 - 309. 26th International Conference on Computer Aided Verification, Vienna, Austria, July 18, 2014 - July 22, 2014. Springer, Berlin (2014)
949.
Conference Paper
Open Problem: Finding Good Cascade Sampling Processes for the Network Inference Problem. In: Proceedings of The 27th Conference on Learning Theory, pp. 1276 - 1279 (Eds. Balcan, M. F.; Feldman, V.; Szepesvári, C.). 27th Conference on Learning Theory, Barcelona, Spain, June 13, 2014 - June 15, 2014. (2014)
950.
Conference Paper
Estimating Diffusion Network Structures: Recovery Conditions, Sample Complexity Soft-thresholding Algorithm. In: Proceedings of the 31th International Conference on Machine Learning, pp. 793 - 801 (Eds. Xing, E. P.; Jebara, T.). 31th International Conference on Machine Learning, Beijing, China, June 21, 2014 - June 26, 2014. (2014)
951.
Conference Paper
Bounds on Mobility. In: CONCUR 2014 - Concurrency Theory, pp. 357 - 371. 25th International Conference on Concurrency Theory, Rome, Italy, September 02, 2014 - September 05, 2014. Springer, Berlin (2014)
952.
Conference Paper
Backpack: Retrofitting Haskell with Interfaces. In: POPL'14, pp. 19 - 31. 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Diego, CA, USA, January 22, 2014 - January 24, 2014. ACM, New York, NY (2014)
953.
Conference Paper
A Look at Targeted Attacks Through the Lense of an NGO. In: Proceedings of the 23rd USENIX Security Symposium, pp. 543 - 558. 23rd USENIX Security Symposium, San Diego, CA, USA, August 20, 2014 - August 22, 2014. USENIX Association, Berkeley, CA (2014)
954.
Conference Paper
SDDR: Light-weight, Secure Mobile Encounters. In: Proceedings of the 23rd USENIX Security Symposium, pp. 925 - 940. 23rd USENIX Security Symposium, San Diego, CA, USA, August 20, 2014 - August 22, 2014. USENIX Association, Berkely, CA (2014)
955.
Conference Paper
Automating the Choice of Consistency Levels in Replicated Systems. In: Proceedings of USENIX ATC ’14, pp. 281 - 292. 2014 USENIX Annual Technical Conference, Philadelphia, PA, June 19, 2014 - June 20, 2014. USENIX (2014)
956.
Conference Paper
Race Detection for Android Applications. In: PLDI '14, pp. 316 - 325. 35th ACM SIGPLAN Conference on Programming Language Design and Implementation, Edinburgh, UK, June 09, 2014 - June 11, 2014. ACM, New York, NY (2014)
957.
Conference Paper
Kuai: A Model Checker for Software-defined Networks. In: Formal Methods in Computer-Aided Design, FMCAD 2014, Lausanne, Switzerland, October 21-24, 2014, pp. 163 - 170. 2014 Formal Methods in Computer-Aided Desig, Lausanne, Switzerland, October 21, 2014 - October 24, 2014. IEEE, Piscataway, NJ (2014)
958.
Conference Paper
Quantifying Information Overload in Social Media and its Impact on Social Contagions. In: ICSWM '14, pp. 170 - 179. 8th International AAAI Conference on Weblogs and Social Media, Ann Arbor, MI, USA, June 01, 2014 - June 04, 2014. AAAI Press, Palo Alto, CA (2014)
959.
Conference Paper
Beyond Access Control: Managing Online Privacy via Exposure. In: Workshop on Usable Security, pp. 1 - 6. Workshop on Usable Security, San Diego, CA, USA, February 23, 2014. Internet Society, Reston, VA (2014)
960.
Conference Paper
Understanding and Specifying Social Access Control Lists. In: Tenth Symposium on Usable Privacy and Security, pp. 271 - 283. Tenth Symposium on Usable Privacy and Security, Menlo Park, CA, USA, July 09, 2014 - July 11, 2014. USENIX, Berkeley, CA (2014)