Proceedings (19)

221.
Proceedings
Sala, A.; Goel, A.; Gummadi, K. (Eds.): COSN'14: Proceedings of the Second ACM Conference on Online Social Networks. Second ACM Conference on Online Social Networks, Dublin, Ireland, October 01, 2014 - October 02, 2014. ACM, New York, NY (2014), 278 pp.
222.
Proceedings
Franz, M.; Holzer, A.; Majumdar, R.; Parno, B.; Veith, H. (Eds.): 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, November 04, 2013. ACM, New York, NY (2013), 30 pp.
223.
Proceedings
Papagiannaki, K.; Gummadi, K.; Partridge, C. (Eds.): Internet Measurement Conference, IMC'13, Barcelona, Spain, October 23-25, 2013. 2013 Conference on Internet Measurement, Barcelona, Spain, October 23, 2013 - October 25, 2013. ACM, New York, NY (2013), 470 pp.
224.
Proceedings
Weirich, S.; Dreyer, D. (Eds.): TLDI '11: Proceedings of the 7th ACM SIGPLAN Workshop on Types in Language Design and Implementation. 7th ACM SIGPLAN Workshop on Types in Language Design and Implementation , Austin, TX, USA, January 25, 2011. (2011)
225.
Proceedings
Backes, M.; Ning, P. (Eds.): Computer Security – ESORICS 2009 (Lecture notes in computer science, 5789). 14th European Symposium on Research in Computer Security, Saint-Malo, September 21, 2009 - September 23, 2009. Springer, Berlin (2009), XVI, 706 pp.
226.
Proceedings
Frid, A.; Morozov, A.; Rybalchenko, A.; Wagner, K. W. (Eds.): Computer science - theory and applications (Lecture notes in computer science, 5675). 4th International Computer Science Symposium in Russia, Novosibirsk, August 18, 2009 - August 23, 2009. Springer, Berlin (2009), XIII, 367 pp.

Conference Paper (814)

227.
Conference Paper
Banerjee, T.; Majumdar, R.; Mallik, K.; Schmuck, A.-K.; Soudjani, S.: A Direct Symbolic Algorithm for Solving Stochastic Rabin Games. In: Tools and Algorithms for the Construction and Analysis of Systems, pp. 81 - 98 (Eds. Fisman, D.; Rosu, G.). 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Munich, Germany, April 02, 2022 - April 07, 2022. Springer, Berlin (2022)
228.
Conference Paper
Banihashem, K.; Singla, A.; Gan, J.; Radanovic, G.: Admissible Policy Teaching through Reward Design. In: Proceedings of the 36th AAAI Conference on Artificial Intelligence, pp. 6037 - 6045. 36th AAAI Conference on Artificial Intelligence, Virtual Conference, February 22, 2022 - March 01, 2022. AAAI, Palo Alto, CA (2022)
229.
Conference Paper
Barakat, H.; Redmiles, E. M.: Community Under Surveillance: Impacts of Marginalization on an Online Labor Forum. In: Proceedings of the Sixteenth International Conference on Web and Social Media, pp. 12 - 21. 16h International Conference on Web and Social Media, Atlanta, GA, USA, June 06, 2021 - June 09, 2021. AAAI (2022)
230.
Conference Paper
Baumann, P.; Ganardi, M.; Thinniyam Srinivasan, R.; Zetzsche, G.: Existential Definability over the Subword Ordering. In: 39th International Symposium on Theoretical Aspects of Computer Science, 7, pp. 1 - 15 (Eds. Berenbrink, P.; Monmege, B.). 39th International Symposium on Theoretical Aspects of Computer Science, Marseille, France (Virtual Conference), March 15, 2022 - March 18, 2022. Schloss Dagstuhl, Wadern (2022)
231.
Conference Paper
Becker, H.; Rabe, R.; Darulova, E.; Myreen, M. O.; Tatlock, Z.; Kumar, R.; Tan, Y. K.; Fox, A.: Verified Compilation and Optimization of Floating-Point Programs in CakeML. In: 36th European Conference on Object-Oriented Programming, 1, pp. 1 - 28 (Eds. Ali, K.; Vitek, J.). 36th European Conference on Object-Oriented Programming, Berlin, Germany, June 06, 2022 - June 10, 2022. Schloss Dagstuhl, Wadern (2022)
232.
Conference Paper
Bhalerao, R.; Hamilton, V.; McDonald, A.; Redmiles, E. M.; Strohmayer, A.: Ethical Practices for Security Research with At-Risk Populations. In: 7th IEEE European Symposium on Security and Privacy Workshops, pp. 546 - 553. 7th IEEE European Symposium on Security and Privacy Workshops, Genoa, Italy, June 06, 2022 - June 10, 2022. IEEE, Piscataway, NJ (2022)
233.
Conference Paper
Breen, C.; Herley, C.; Redmiles, E. M.: A Large-Scale Measurement of Cybercrime Against Individuals. In: CHI '22, 122, pp. 1 - 41 (Eds. Barbosa, S.; Lampe, C.; Appert, C.; Shamma, D. A.; Drucker, S. et al.). CHI Conference on Human Factors in Computing Systems, New Orleans, LA, USA, April 30, 2022 - May 05, 2022. ACM, New York, NY (2022)
234.
Conference Paper
Chhabra, A.; Singla, A.; Mohapatra, P.: Fair Clustering Using Antidote Data. In: Proceedings of The Algorithmic Fairness through the Lens of Causality and Robustness, pp. 19 - 39 (Eds. Schrouf, J.; Dieng, A.; Rateike, M.; Kwegyir-Aggrey, K.; Farnadi, G.). Algorithmic Fairness through the Lens of Causality and Robustness Workshop, Virtual, December 13, 2021. PMLR (2022)
235.
Conference Paper
Corazza, J.; Gavran, I.; Neider, D.: Reinforcement Learning with Stochastic Reward Machines. In: Proceedings of the 36th AAAI Conference on Artificial Intelligence, pp. 6429 - 6436. 36th AAAI Conference on Artificial Intelligence, Virtual Conference, February 22, 2022 - March 01, 2022. AAAI, Palo Alto, CA (2022)
236.
Conference Paper
Dang, H.-H.; Jung, J.; Choi, J.; Nguyen, D.-T.; Mansky, W.; Kang, J.; Dreyer, D.: Compass: Strong and Compositional Library Specifications in Relaxed Memory Separation Logic. In: PLDI '22, pp. 792 - 808 (Ed. Jhala, R.). 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022 - June 17, 2022. ACM, New York, NY (2022)
237.
Conference Paper
Dash, A.; Chakraborty, A.; Ghosh, S.; Mukherjee, A.; Gummadi, K.: Alexa, in you, I trust! Fairness and Interpretability Issues in E-commerce Search through Smart Speakers. In: WWW '22, pp. 3695 - 3705 (Eds. Laforest, F.; Troncy, R.; Simperl, E.; Agarwal, D.; Gionis, A. et al.). 31st ACM Web Conference , Lyon, France (Virtual Event), April 25, 2022 - April 29, 2022. ACM, New York, NY (2022)
238.
Conference Paper
Dooley, S.; Turjeman, D.; Dickerson, J. P.; Redmiles, E. M.: Field Evidence of the Effects of Privacy, Data Transparency, and Pro-social Appeals on COVID-19 App Attractiveness. In: CHI '22, 622, pp. 1 - 21 (Eds. Barbosa, S.; Lampe, C.; Appert, C.; Shamma, D. A.; Drucker, S. et al.). CHI Conference on Human Factors in Computing Systems, New Orleans, LA, USA, April 30, 2022 - May 05, 2022. ACM, New York, NY (2022)
239.
Conference Paper
Eniser, H. F.; Gros, T. P.; Wüstholz, V.; Hoffmann, J.; Christakis, M.: Metamorphic Relations via Relaxations: An Approach to Obtain Oracles for Action-Policy Testing. In: ISSTA '22, pp. 52 - 63 (Eds. Ryu, S.; Smaragdakis, Y.). 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual, South Korea, July 18, 2022 - July 22, 2022. ACM, New York, NY (2022)
240.
Conference Paper
Finkbeiner, B.; Mallik, K.; Passing, N.; Schledjewski, M.; Schmuck, A.-K.: BOCoSy: Small but Powerful Symbolic Output-Feedback Control. In: HSCC 2022, 24 (Eds. Bartocci, E.; Putot, S.). 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy (Virtual Event), May 04, 2022 - May 06, 2022. ACM, New York, NY (2022)
Go to Editor View