Conference Paper (938)
861.
Conference Paper
Learning and Forecasting Opinion Dynamics in Social Networks. In: Advances in Neural Information Processing Systems 29. Thirtieth Annual Conference on Neural Information Processing Systems, Barcelona, Spain, December 05, 2016 - December 10, 2016. (2016)
862.
Conference Paper
Symbolic Model Checking for Factored Probabilistic Models. In: Automated Technology for Verification and Analysis, pp. 444 - 460 (Eds. Artho, C.; Legay, A.; Peled, D.). 14th International Symposium on Automated Technology for Verification and Analysis, Chiba, Japan, October 17, 2016 - October 22, 2016. Springer, Berlin (2016)
863.
Conference Paper
Probabilistic CTL*: The Deductive Way. In: Tools and Algorithms for the Construction and Analysis of Systems, pp. 280 - 296 (Eds. Chechik, M.; Raskin, J.-F.). 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Eindhoven, The Netherlands, April 02, 2016 - April 08, 2016. Springer, Berlin (2016)
864.
Conference Paper
A Program Logic for C11 Memory Fences. In: Verification, Model Checking, and Abstract Interpretation, pp. 413 - 430 (Eds. Jobstmann, B.; Leino, K. R. M.). 17th International Conference on Verification, Model Checking, and Abstract Interpretation, St. Petersburg, FL, USA, January 17, 2016 - January 19, 2016. Springer, Berlin (2016)
865.
Conference Paper
Recurrent Marked Temporal Point Processes: Embedding Event History to Vector. In: KDD'16, pp. 1555 - 1564. 22nd ACM SIGKDD Conference on Knowledge Discovery and Data Mining, San Francisco, CA, USA, August 13, 2016 - August 17, 2016. ACM, New York, NY (2016)
866.
Conference Paper
Thoth: Comprehensive Policy Compliance in Data Retrieval Systems. In: Proceedings of the 25th USENIX Security Symposium, pp. 637 - 654. 25th USENIX Security Symposium, Austin, TX, USA, August 10, 2016 - August 12, 2016. USENIX Association, Berkeley, CA (2016)
867.
Conference Paper
Safety Verification of Continuous-Space Pure Jump Markov Processes. In: Tools and Algorithms for the Construction and Analysis of Systems, pp. 147 - 163 (Eds. Chechik, M.; Raskin, J.-F.). 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Eindhoven, The Netherlands, April 02, 2016 - April 08, 2016. Springer, Berlin (2016)
868.
Conference Paper
Model Checking Population Protocols. In: 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 27, pp. 1 - 14 (Eds. Lal, A.; Akshay, S.; Saurabh, S.; Sen, S.). 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Chennai, India, December 13, 2016 - December 15, 2016. Schloss Dagstuhl, Wadern (2016)
869.
Conference Paper
LLSPLAT: Improving Concolic Testing by Bounded Model Checking. In: IEEE 16th International Working Conference on Source Code Analysis and Manipulation, pp. 127 - 136. IEEE 16th International Working Conference on Source Code Analysis and Manipulation , Raleigh, NC, USA, October 02, 2016 - October 03, 2016. IEEE, Piscataway, NJ (2016)
870.
Conference Paper
RamCrypt: Kernel-based Address Space Encryption for User-mode Processes. In: ASIA CCS'16, pp. 919 - 924. 11th ACM Asia Conference on Computer and Communications Security, Xi’an, China, May 30, 2016 - June 03, 2016. ACM, New York, NY (2016)
871.
Conference Paper
The Road to Popularity: The Dilution of Growing Audience on Twitter. In: Proceedings of the Tenth International AAAI Conference on Web and Social Media, pp. 567 - 570. 10th International AAAI Conference on Web and Social Media, Oxford, UK, May 25, 2015 - May 29, 2015. AAAI, Palo Alto, CA (2016)
872.
Conference Paper
Distinguishing between Topical and Non-Topical Information Diffusion Mechanisms in Social Media. In: Proceedings of the Tenth International AAAI Conference on Web and Social Media, pp. 151 - 160. 10th International AAAI Conference on Web and Social Media, Oxford, UK, May 25, 2015 - May 29, 2015. AAAI, Palo Alto, CA (2016)
873.
Conference Paper
The Case for Process Fairness in Learning: Feature Selection for Fair Decision Making. In: Symposium on Machine Learning and the Law at the 29th Conference on Neural Information Processing Systems. Symposium on Machine Learning and the Law, Barcelona, Spain, December 08, 2016. (2016)
874.
Conference Paper
Privacy Capsules: Preventing Information Leaks by Mobile Apps. In: MobiSys'16, pp. 399 - 411. 4th Annual International Conference on Mobile Systems, Applications, and Services, Singapore, June 25, 2016 - June 30, 2016. ACM, New York, NY (2016)
875.
Conference Paper
Statistically Profiling Memory in OCaml. In: OCaml 2016. The OCaml Users and Developers Workshop, Nara, Japan, September 23, 2016. (2016)
876.
Conference Paper
Higher-order Ghost State. In: ICFP'16, pp. 256 - 269 (Eds. Garrigue, J.; Keller, G.; Sumii, E.). 21st ACM SIGPLAN International Conference on Functional Programming, Nara, Japan, September 18, 2016 - September 24, 2016. ACM, New York, NY (2016)
877.
Conference Paper
Lightweight Verification of Separate Compilation. In: POPL'16, pp. 178 - 190 (Eds. Bodik, R.; Majumdar, R.). 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, St. Petersburg, FL, USA, January 20, 2015 - January 22, 2015. ACM, New York, NY (2016)
878.
Conference Paper
Smart Broadcasting: Do You Want to be Seen? In: KDD'16, pp. 1635 - 1644. 22nd ACM SIGKDD Conference on Knowledge Discovery and Data Mining, San Francisco, CA, USA, August 13, 2016 - August 17, 2016. ACM, New York, NY (2016)
879.
Conference Paper
Identifying the Scan and Attack Infrastructures Behind Amplification DDoS Attacks. In: CCS'16, pp. 1426 - 1437. 23rd ACM Conference on Computer and Communications Security, Vienna, Austria, October 24, 2016 - October 28, 2016. ACM, New York, NY (2016)
880.
Conference Paper
Taming Release-acquire Consistency. In: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 649 - 662. 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, St. Petersburg, FL, USA, January 20, 2016 - January 22, 2016. ACM, New York, NY (2016)