Conference Paper (938)
581.
Conference Paper
FairRec: Two-Sided Fairness for Personalized Recommendations in Two-Sided Platforms. In: Proceedings of The World Wide Web Conference, pp. 1194 - 1204 (Eds. Huang, Y.; King, I.; Liu, T.-Y.; van Steen, M.). The World Wide Web Conference, Taipei, Taiwan, April 20, 2020 - April 24, 2020. ACM, New York, NY (2020)
582.
Conference Paper
Incremental Fairness in Two-Sided Market Platforms: On Smoothly Updating Recommendations. In: AAAI Technical Track: AI and the Web, pp. 181 - 188. Thirty-Fourth AAAI Conference on Artificial Intelligence, New York, NY, USA, February 07, 2020 - February 12, 2020. AAAI, Palo Alto, CA (2020)
583.
Conference Paper
Local Reasoning About the Presence of Bugs: Incorrectness Separation Logic. In: Computer Aided Verification, pp. 225 - 252 (Eds. Lahiri, S. K.; Wang, C.). 32nd International Conference on Computer-Aided Verification, Los Angeles, CA, USA (Online), July 21, 2020 - July 24, 2020. Springer, Berlin (2020)
584.
Conference Paper
Policy Teaching via Environment Poisoning: Training-time Adversarial Attacks against Reinforcement Learning. In: Proceedings of the 37th International Conference on Machine Learning, pp. 7974 - 7984 (Eds. Daumé, H.; Singh, A.). 37th International Conference on Machine Learning, Virtual Conference, July 13, 2020 - July 18, 2020. MLResearchPress (2020)
585.
Conference Paper
Fair Inputs and Fair Outputs: The Incompatibility of Fairness in Privacy and Accuracy. In: UMAP '20 Adjunct, pp. 260 - 267 (Eds. Kuflik, T.; Torre, I.; Burke, R.; Gena, C.). 28th ACM Conference on User Modeling, Adaptation and Personalization, Genoa, Italy, July 14, 2020 - July 17, 2020. ACM, New York, NY (2020)
586.
Conference Paper
A Comprehensive Quality Evaluation of Security and Privacy Advice on the Web. In: Proceedings of the 29th USENIX Security Symposium, pp. 89 - 100. 29th USENIX Security Symposium, Virtual Event, August 12, 2020 - August 14, 2020. USENIX (2020)
587.
Conference Paper
Nested, but Separate: Isolating Unrelated Critical Sections in Real-Time Nested Locking. In: 32nd Euromicro Conference on Real-Time Systems, 6, pp. 1 - 23 (Ed. Völp, M.). 32nd Euromicro Conference on Real-Time Systems, Virtual Conference, July 07, 2020 - July 10, 2020. Schloss Dagstuhl, Wadern (2020)
588.
Conference Paper
Learning Interpretable Models in the Property Specification Language. In: Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, pp. 2213 - 2219 (Ed. Bessiere, C.). Twenty-Ninth International Joint Conference on Artificial Intelligence, Yokohama, Japan (Virtual), January 07, 2021 - January 15, 2021. IJCAI (2020)
589.
Conference Paper
Annulus: A Dual Congestion Control Loop for Datacenter and WAN Traffic Aggregates. In: SIGCOMM '20, pp. 735 - 749. Annual Conference of the ACM Special Interest Group on Data Communication on the Applications, Technologies, Architectures, and Protocols for Computer Communication, Virtual Event, NY, USA, August 10, 2020 - August 14, 2020. ACM, New York, NY (2020)
590.
Conference Paper
Resilient Abstraction-Based Controller Design. In: 59th IEEE Conference on Decision and Control, pp. 2123 - 2129. 59th IEEE Conference on Decision and Control, Virtual Event, December 14, 2020 - December 18, 2020. IEEE, Piscataway, NJ (2020)
591.
Conference Paper
Resilient Abstraction-based Controller Design. In: HSCC2020, 33, pp. 1 - 2. 23rd International Conference on Hybrid Systems: Computation and Control , Sydney, Australia & Virtual, April 21, 2020 - April 24, 2020. ACM, New York, NY (2020)
592.
Conference Paper
Minimizing Margin of Victory for Fair Political and Educational Districting. In: AAMAS'20, pp. 1305 - 1313 (Eds. El Fallah Seghruchni, A.; Sukthankr, G.; An, B.; Yorke-Smith, N.). 19th International Conference on Autonomous Agents and MultiAgent Systems, Auckland, New Zealand (Virtual), May 09, 2020 - May 13, 2020. ACM, New York, NY (2020)
593.
Conference Paper
On the Design of Consequential Ranking Algorithms. In: Proceedings of the 36th Conference on Uncertainty in Artificial Intelligence, 26, pp. 171 - 180 (Eds. Peter, J.; Sontag, D.). 36th Conference on Uncertainty in Artificial Intelligence, Virtual Event, August 03, 2020 - August 06, 2020. MLR Press (2020)
594.
Conference Paper
Decisions, Counterfactual Explanations and Strategic Behavior. In: Advances in Neural Information Processing Systems 33, pp. 16749 - 16760 (Eds. Larochelle, H.; Ranzato, M.; Hadsell, R.; Balcan, M. F.; Lin, H.). 34th Conference on Neural Information Processing Systems, Virtual Event, December 06, 2020 - December 12, 2020. Curran Associates, Inc. (2020)
595.
Conference Paper
Harvey: A Greybox Fuzzer for Smart Contracts. In: ESEC/FSE '20, pp. 1398 - 1409 (Eds. Devanbu, P.; Cohen, M.; Zimmermann, T.). 28th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Virtual Event, USA, November 08, 2020 - November 13, 2020. ACM, New York, NY (2020)
596.
Conference Paper
Targeted Greybox Fuzzing with Static Lookahead Analysis. In: ICSE 2020, pp. 789 - 800. ACM/IEEE 42nd International Conference on Software Engineering, Seoul, South Korea, June 27, 2020 - July 19, 2020. ACM, New York, NY (2020)
597.
Conference Paper
Data Consistency in Transactional Storage Systems: A Centralised Semantics. In: 34th European Conference onObject-Oriented Programming, 21, pp. 1 - 31 (Eds. Hirschfeld, R.; Pape, T.). 34th European Conference on Object-Oriented Programming, Berlin, Germany (Virtual Event), November 15, 2020 - November 17, 2020. Schloss Dagstuhl, Wadern (2020)
598.
Conference Paper
DeepSearch: A Simple and Effective Blackbox Attack for Deep Neural Networks. In: ESEC/FSE '20, pp. 800 - 812 (Eds. Devanbu, P.; Cohen, M.; Zimmermann, T.). 28th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Virtual Event, USA, November 08, 2020 - November 13, 2020. ACM, New York, NY (2020)
599.
Conference Paper
Task-agnostic Exploration in Reinforcement Learning. In: Advances in Neural Information Processing Systems 33, pp. 11734 - 11743 (Eds. Larochelle, H.; Ranzato, M.; Hadsell, R.; Balcan, M. F.; Lin, H.). 34th Conference on Neural Information Processing Systems, Virtual Event, December 06, 2020 - December 12, 2020. Curran Associates, Inc. (2020)
600.
Conference Paper
Adaptive Reward-Poisoning Attacks against Reinforcement Learning. In: Proceedings of the 37th International Conference on Machine Learning, pp. 11225 - 11234 (Eds. Daumé, H.; Singh, A.). 37th International Conference on Machine Learning, Virtual Conference, July 13, 2020 - July 18, 2020. MLResearchPress (2020)