Wissenschaftliche Publikationen
Zeitschriftenartikel (7)
1.
Zeitschriftenartikel
22 (4-5), S. 382 - 438 (2012)
Lazy Tree Splitting. Journal of Functional Programming 2.
Zeitschriftenartikel
56 (3), S. 1066 - 1076 (2012)
Delayed Information Cascades in Flickr: Measurement, Analysis, and Modeling. Computer Networks 3.
Zeitschriftenartikel
42 (4), S. 991 - 998 (2012)
The World of Connections and Information Flow in Twitter. IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans 4.
Zeitschriftenartikel
22 (4&5), S. 477 - 528 (2012)
The Impact of Higher-order State and Control Effects on Local Relational Reasoning. Journal of Functional Programming 5.
Zeitschriftenartikel
20 (4), S. 353 - 391 (2012)
Stateful Authorization Logic - Proof Theory and a Case Study. Journal of Computer Security 6.
Zeitschriftenartikel
55 (2), S. 103 - 111 (2012)
Software Synthesis Procedures. Communications of the ACM 7.
Zeitschriftenartikel
56 (2), S. 642 - 660 (2012)
Adaptive Search Radius – Using hop count to reduce P2P traffic. Computer Networks Konferenzbeitrag (45)
8.
Konferenzbeitrag
A Core Calculus for Provenance. In: Principles of Security and Trust: First International Conference, POST 2012, S. 410 - 429 (Hg. Degano, P.; Guttman, J. D.). POST 2012, Tallinn, Estonia, 24. März 2012 - 01. April 2012. Springer, New York, NY (2012)
9.
Konferenzbeitrag
Reliable Client Accounting for P2P-Infrastructure Hybrids. In: Proceedings of NSDI ’12: 9th USENIX Symposium on Networked Systems Design and Implementation, S. 1 - 14. NSDI'12, San Jose, CA, 25. April 2012 - 27. April 2012. USENIX, Berkeley, CA (2012)
10.
Konferenzbeitrag
Non-tracking web analytics. In: Proceedings of the 2012 ACM Conference on Computer and Communications Security, S. 687 - 698. CCS'12, Raleigh, North Carolina, USA, 16. Oktober 2012 - 18. Oktober 2012. ACM, New York, NY (2012)
11.
Konferenzbeitrag
Shredder: GPU-Accelerated Incremental Storage and Computation. In: Proceedings of FAST ’12: 10th USENIX Conference on File and Storage Technologies, S. 1 - 15. FAST'12, San Jose, CA, 15. Februar 2012 - 17. Februar 2012. USENIX, Berkeley, CA (2012)
12.
Konferenzbeitrag
The Case for Migratory Priority Inheritance in Linux: Bounded Priority Inversions on Multiprocessors. In: Proceedings of the 14th Real-Time Linux Workshop (RTLWS 2012), S. 67 - 86. 14th Real-Time Linux Workshop, Chapel Hill, North Carolina, 16. Oktober 2012 - 20. Oktober 2012. Real-Time Linux Foundation, s.l. (2012)
13.
Konferenzbeitrag
Scalable Testing of File System Checkers. In: EuroSys’12: Proceedings of the EuroSys 2012 Conference, S. 239 - 252. EuroSys'12, Bern, Switzerland, 10. April 2012 - 13. April 2012. ACM, New York, NY (2012)
14.
Konferenzbeitrag
Equivalence of Games with Probabilistic Uncertainty and Partial-Observation Games. In: Automated Technology for Verification and Analysis: 10th International Symposium, ATVA 2012, S. 385 - 399 (Hg. Chakraborty, S.; Mukund, M.). AVTA 2012, Thiruvananthapuram, India, 03. Oktober 2012 - 06. Oktober 2010. Springer, New York, NY (2012)
15.
Konferenzbeitrag
Towards Statistical Queries over Distributed Private User Data. In: Proceedings of NSDI ’12: 9th USENIX Symposium on Networked Systems Design and Implementation, S. 1 - 14. NSDI'12, San Jose, CA, 25. April 2012 - 27. April 2012. USENIX, Berkeley, CA (2012)
16.
Konferenzbeitrag
Type-Directed Automatic Incrementalization. In: PLDI’12: Proceedings of the 2012 ACM SIGPLAN Conference on Programming Language Design and Implementation, S. 299 - 310. PLDI'12, Beijing, China, 11. Juni 2012 - 16. Juni 2012. ACM, New York, NY (2012)
17.
Konferenzbeitrag
On the (limited) power of non-equivocation. In: Proceedings of the 2012 ACM Symposium on Principles of Distributed Computing, S. 301 - 308. PODC 2012, Madeira, Portugal. ACM, New York, NY (2012)
18.
Konferenzbeitrag
Elaborating Intersection and Union Types. In: ICFP’12: Proceedings of the 2012 ACM SIGPLAN International Conference on Functional Programming, S. 17 - 28. ICFP'12, Copenhagen, Denmark, 09. September 2012 - 15. September 2012. ACM, New York, NY (2012)
19.
Konferenzbeitrag
A Perfect Model for Bounded Verification. In: LICS 2012: Proceedings of the 2012 27th Annual ACM/IEEE Symposium, S. 285 - 294. LICS 2012, Dubrovnik, Croatio, 25. Juni 2012 - 28. Juni 2012. IEEE Computer Society, Los Alamitos, CA (2012)
20.
Konferenzbeitrag
Engage: A Deployment Management System. In: PLDI’12: Proceedings of the 2012 ACM SIGPLAN Conference on Programming Language Design and Implementation, S. 263 - 274. PLDI'12, Beijing, China, 11. Juni 2012 - 16. Juni 2012. ACM, New York, NY (2012)