Conference Paper (918)
841.
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)
842.
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)
843.
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)
844.
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)
845.
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)
846.
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)
847.
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)
848.
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)
849.
Conference Paper
Statistically Profiling Memory in OCaml. In: OCaml 2016. The OCaml Users and Developers Workshop, Nara, Japan, September 23, 2016. (2016)
850.
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)
851.
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)
852.
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)
853.
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)
854.
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)
855.
Conference Paper
Light-weight Contexts: An OS Abstraction for Safety and Performance. In: 12th USENIX Symposium on Operating Systems Design and Implementation, pp. 49 - 64. 12th USENIX Symposium on Operating Systems Design and Implementation, Savannah, GA, USA, November 02, 2016 - November 04, 2016. USENIX, s.l. (2016)
856.
Conference Paper
How to Make ASLR Win the Clone Wars: Runtime Re-Randomization. In: Proceedings of the 23rd Annual Symposium on Network and Distributed System Security. 23rd Annual Symposium on Network and Distributed System Security, San Diego, CA, USA, February 21, 2016 - February 24, 2016. Internet Society, Reston, VA (2016)
857.
Conference Paper
What Cannot be Read, Cannot be Leveraged? Revisiting Assumptions of JIT-ROP Defenses. In: Proceedings of the 25th USENIX Security Symposium, pp. 139 - 156. 25th USENIX Security Symposium, Austin, TX, USA, August 10, 2016 - August 12, 2016. USENIX Association, Berkeley, CA (2016)
858.
Conference Paper
Partial Order Reduction for Event-Driven Multi-threaded Programs. In: Tools and Algorithms for the Construction and Analysis of Systems, pp. 680 - 697 (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)
859.
Conference Paper
Robots at the Edge of the Cloud. In: Tools and Algorithms for the Construction and Analysis of Systems, pp. 3 - 13 (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)
860.
Conference Paper
Computing Distances between Reach Flowpipes. In: HSCC'16, pp. 267 - 276. 19th International Conference on Hybrid Systems: Computation and Control, Vienna, Austria, April 12, 2016 - April 14, 2016. ACM, New York, NY (2016)