Konferenzband (12)

141.
Konferenzband
Sala, A.; Goel, A.; Gummadi, K. (Hg.): COSN'14: Proceedings of the Second ACM Conference on Online Social Networks. Second ACM Conference on Online Social Networks, Dublin, Ireland, 01. Oktober 2014 - 02. Oktober 2014. ACM, New York, NY (2014), 278 S.
142.
Konferenzband
Papagiannaki, K.; Gummadi, K.; Partridge, C. (Hg.): Internet Measurement Conference, IMC'13, Barcelona, Spain, October 23-25, 2013. 2013 Conference on Internet Measurement, Barcelona, Spain, 23. Oktober 2013 - 25. Oktober 2013. ACM, New York, NY (2013), 470 S.
143.
Konferenzband
Franz, M.; Holzer, A.; Majumdar, R.; Parno, B.; Veith, H. (Hg.): PETShop '13: Proceedings of the First ACM Workshop on Language Support for Privacy-enhancing Technologies. First ACM Workshop on Language Support for Privacy-enhancing Technologies, Berlin, Germany, 04. November 2013. ACM, New York, NY (2013), 30 S.
144.
Konferenzband
Backes, M.; Ning, P. (Hg.): Computer Security – ESORICS 2009 (Lecture notes in computer science, 5789). 14th European Symposium on Research in Computer Security, Saint-Malo, 21. September 2009 - 23. September 2009. Springer, Berlin (2009), XVI, 706 S.
145.
Konferenzband
Frid, A.; Morozov, A.; Rybalchenko, A.; Wagner, K. W. (Hg.): Computer science - theory and applications (Lecture notes in computer science, 5675). 4th International Computer Science Symposium in Russia, Novosibirsk, 18. August 2009 - 23. August 2009. Springer, Berlin (2009), XIII, 367 S.

Konferenzbeitrag (622)

146.
Konferenzbeitrag
Abate, C.; Blanco, R.; Garg, D.; Hritcu, C.; Patrignani, M.; Thibault., J.: Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation. In: CSF 2019, S. 256 - 271. 32nd Computer Security Foundations Symposium, Hoboken, NJ, USA, 25. Juni 2019 - 28. Juni 2019. IEEE, Piscataway, NJ (2019)
147.
Konferenzbeitrag
Ali, J.; Zafar, M. B.; Singla, A.; Gummadi, K.: Loss-Aversively Fair Classification. In: AIES'19, S. 211 - 218. AAAI/ACM Conference on AI, Ethics, and Society, Honolulu, HI, USA, 27. Januar 2019 - 28. Januar 2019. ACM, New York, NY (2019)
148.
Konferenzbeitrag
Almagor, S.; Ouaknine, J.; Worrell, J.: The Semialgebraic Orbit Problem. In: 36th Symposium on Theoretical Aspects of Computer Science, 6, S. 1 - 15 (Hg. Niedermeier, R.; Paul, C.). 36th Symposium on Theoretical Aspects of Computer Science, Berlin, Germany, 13. März 2019 - 16. März 2019. Schloss Dagstuhl, Wadern (2019)
149.
Konferenzbeitrag
Anevlavis, T.; Neider, D.; Phillipe, M.; Tabuada, P.: Evrostos: the rLTL verifier. In: HSCC '19, S. 218 - 223. 22nd ACM International Conference on Hybrid Systems, Montreal Quebec Canada, 2019-04. ACM, New York, NY (2019)
150.
Konferenzbeitrag
Babaei, M.; Chakraborty, A.; Kulshrestha, J.; Redmiles, E. M.; Cha, M.; Gummadi, K.: Analyzing Biases in Perception of Truth in News Stories and Their Implications for Fact Checking. In: Proceedings of the 2019 Conference on Fairness, Accountability, and Transparency, S. 139 - 139. Conference on Fairness, Accountability, and Transparency, Atlanta, GA, USA, 29. Januar 2019 - 31. Januar 2019. ACM, New York, NY (2019)
151.
Konferenzbeitrag
Banusić, G. B.; Majumdar, R.; Pirron, M.; Schmuck, A.-K.; Zufferey, D.: PGCD: Robot Programming and Verification with Geometry, Concurrency, and Dynamics. In: ICCPS'19, S. 57 - 66. ACM/IEEE International Conference on Cyber-Physical Systems, Montreal, Canada, 16. April 2019 - 18. April 2019. ACM, New York, NY (2019)
152.
Konferenzbeitrag
Bard, J.; Becker, H.; Darulova, E.: Formally Verified Roundoff Errors Using SMT-based Certificates and Subdivisions. In: Formal Methods - The Next 30 Years, S. 38 - 44 (Hg. ter Beek, M. H.; McIver, A.; Oliveira, J. N.). 23rd Symposium on Formal Method, Porto, Portugal, 07. Oktober 2019 - 11. Oktober 2019. Springer, Cham (2019)
153.
Konferenzbeitrag
Becker, H.; Darulova, E.; Myreen, M. O.; Tatlock, Z.: Icing: Supporting Fast-Math Style Optimizations in a Verified Compiler. In: Computer Aided Verification, S. 155 - 173 (Hg. Dillig, I.; Tasiran, S.). 31st International Conference on Computer Aided Verification, New York City, NY, USA, 15. Juli 2019 - 18. Juli 2019. Springer, Cham (2019)
154.
Konferenzbeitrag
Brahmakshatriya, A.; Kedia, P.; McKee, D. P.; Garg, D.; Lal, A.; Rastogi, A.; Nemati, H.; Panda, A.; Bhatu, P.: ConfLLVM: A Compiler for Enforcing Data Confidentiality in Low-Level Code. In: Proceedings of the Fourteenth EuroSys Conference 2019, 4. Fourteenth EuroSys Conference, Dresden, Germany, 25. März 2019 - 28. März 2019. ACM, New York, NY (2019)
155.
Konferenzbeitrag
Casini, D.; Blaß, T.; Lütkebohle, I.; Brandenburg, B.: Response-Time Analysis of ROS 2 Processing Chains Under Reservation-Based Scheduling. In: 31st Euromicro Conference on Real-Time Systems, 6, S. 1 - 23 (Hg. Quinton, S.). 31st Euromicro Conference on Real-Time Systems, Stuttgart, Germany, 09. Juli 2019 - 12. Juli 2019. Schloss Dagstuhl, Wadern (2019)
156.
Konferenzbeitrag
Chakraborty, S.; Vafeiadis, V.: Grounding Thin-Air Reads with Event Structures. 46th ACM SIGPLAN Symposium on Principles of Programming Languages, Cascais, Portugal, 13. Januar 2019 - 19. Januar 2019. Proceedings of the ACM on Programming Languages 3, POPL, 70, (2019)
157.
Konferenzbeitrag
Chakraborty, A.; Patro, G. K.; Ganguly, N.; Gummadi, K.; Loiseau, P.: Equality of Voice: Towards Fair Representation in Crowdsourced Top-K Recommendations. In: Proceedings of the 2019 Conference on Fairness, Accountability, and Transparency, S. 129 - 138. Conference on Fairness, Accountability, and Transparency, Atlanta, GA, USA, 29. Januar 2019 - 31. Januar 2019. ACM, New York, NY (2019)
158.
Konferenzbeitrag
Chakraborty, A.; Mota, N.; Biega, A. J.; Gummadi, K.; Heidari, H.: On the Impact of Choice Architectures on Inequality in Online Donation Platforms. In: Proceedings of The World Wide Web Conference, S. 2623 - 2629. The Web Conference, San Francisco, CA, USA, 13. Mai 2019 - 17. Mai 2019. ACM, New York, NY (2019)
159.
Konferenzbeitrag
Christakis, M.; Heizmann, M.; Mansur, M. N.; Schilling, C.; Wüstholz, V.: Semantic Fault Localization and Suspiciousness Ranking. In: Tools and Algorithms for the Construction and Analysis of Systems, S. 226 - 243 (Hg. Vojnar, T.; Zhang, L.). 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Prague, Czech Republic, 06. April 2019 - 11. April 2019. Springer, New York, NY (2019)
160.
Konferenzbeitrag
Çiçek, E.; Qu, W.; Barthe, G.; Gaboardi, M.; Garg, D.: Bidirectional Type Checking for Relational Properties. In: PLDI'19, S. 533 - 547 (Hg. McKinlez, K. S.; Fisher, K.). 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, Phoenix, AZ, USA , 22. Juni 2019 - 26. Juni 2019. ACM, New York, NY (2019)
Zur Redakteursansicht