Conference Paper (68)
41.
Conference Paper
How Fast Can You Escape a Compact Polytope? In: 37th International Symposium on Theoretical Aspects of Computer Science, 49, pp. 1 - 11 (Eds. Paul, C.; Bläser, M.). 37th International Symposium on Theoretical Aspects of Computer Science, Montpellier, France, March 10, 2020 - March 13, 2020. Schloss Dagstuhl, Wadern (2020)
42.
Conference Paper
Regression under Human Assistance. In: AAAI Technical Track: Humans and AI, pp. 2611 - 2620. Thirty-Fourth AAAI Conference on Artificial Intelligence, New York, NY, USA, February 07, 2020 - February 12, 2020. AAAI, Palo Alto, CA (2020)
43.
Conference Paper
Can A User Guess What Her Followers Want? In: WSDM '20, pp. 142 - 150 (Eds. Caverlee, J.; Hu, X. B.). 13th International Conference on Web Search and Data Mining, Houston, TX, USA, February 03, 2020 - February 07, 2020. ACM, New York, NY (2020)
44.
Conference Paper
Understanding the Power and Limitations of Teaching with Imperfect Knowledge. In: Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, pp. 2647 - 2654 (Ed. Bessiere, C.). Twenty-Ninth International Joint Conference on Artificial Intelligence, Yokohama, Japan (Virtual), January 07, 2021 - January 15, 2021. IJCAI (2020)
45.
Conference Paper
Zero-shot Learning of Hint Policy via Reinforcement Learning and Program Synthesis. In: Proceedings of the 13th International Conferenceon Educational Data Mining, pp. 388 - 394 (Eds. Rafferty, A. N.; Whitehill, J.; Romero, C.; Cavalli-Sforza, V.). Thirteenth International Conference on Educational Data Mining, Virtual Conference, July 10, 2020 - July 13, 2020. educationaldatamining.org (2020)
46.
Conference Paper
Learning Properties in LTL ∩ ACTL from Positive Examples Only. In: Proceedings of the 20th Conference on Formal Methods in Computer Aided Design, pp. 104 - 112 (Eds. Ivrii, A.; Strichman, O.). 20th Conference on Formal Methods in Computer Aided Design, Haifa, Israel, October 22, 2019 - October 25, 2019. IEEE, Piscataway, NJ (2020)
47.
Conference Paper
On Fair Selection in the Presence of Implicit Variance. In: EC '20, pp. 649 - 675 (Eds. Biró, P.; Hartline, J.). 21st ACM Conference on Economics and Computation, Virtual Event, Hungary, July 13, 2020 - July 17, 2020. ACM, New York, NY (2020)
48.
Conference Paper
The Complexity of Knapsack Problems in Wreath Products. In: 47th International Colloquium on Automata, Languages, and Programming, 126, pp. 1 - 18 (Eds. Czumaj, A.; Dawar, A.; Merelli, E.). 47th International Colloquium on Automata, Languages, and Programming, Saarbrücken, Germany (Virtual Conference), July 08, 2020 - July 11, 2020. Schloss Dagstuhl, Wadern (2020)
49.
Conference Paper
Towards Deployment of Robust Cooperative AI Agents: An Algorithmic Framework for Learning Adaptive Policies. In: AAMAS'20, pp. 447 - 455 (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)
50.
Conference Paper
Real-Time Replica Consistency over Ethernet with Reliability Bounds. In: IEEE Real-Time and Embedded Technology and Applications Symposium, pp. 376 - 389. IEEE Symposium on Real-Time and Embedded Technology and Applications, Sydney, Australia , April 21, 2020 - April 24, 2020. IEEE, Piscataway, NJ (2020)
51.
Conference Paper
Serving DNNs like Clockwork: Performance Predictability from the Bottom Up. In: 14th USENIX Symposium on Operating Systems Design and Implementation, pp. 443 - 462. 14th USENIX Symposium on Operating Systems Design and Implementation, Online, November 04, 2020 - November 06, 2020. USENIX Association (2020)
52.
Conference Paper
Reconfigurable, Adaptive, Lightweight Grasping Mechanisms for Aerial Robotic Platforms. In: IEEE International Symposium on Safety,Security, and Rescue Robotics, pp. 169 - 175 (Eds. Marques, L.; Khonji, M.; Dias, J.). IEEE International Symposium on Safety,Security, and Rescue Robotics , Abu Dhabi, United Arab Emirates , November 04, 2020 - November 06, 2020. IEEE, Piscataway, NJ (2020)
53.
Conference Paper
Counterexample- and Simulation-Guided Floating-Point Loop Invariant Synthesis. In: Static Analysis, pp. 156 - 177 (Eds. Pichardie, D.; Sighireanu, M.). 27th International Static Analysis Symposium, Virtual Event, November 18, 2020 - November 20, 2020. Springer, Berlin (2020)
54.
Conference Paper
On LTL Model Checking for Low-Dimensional Discrete Linear Dynamical Systems. In: 45th International Symposium on Mathematical Foundations of Computer Science, 54, pp. 1 - 14 (Eds. Esparza, J.; Kràl', D.). 45th International Symposium on Mathematical Foundations of Computer Science, Prague, Czech Republic (Virtual Event), August 25, 2020 - August 26, 2020. Schloss Dagstuhl, Wadern (2020)
55.
Conference Paper
On the Skolem Problem and Prime Powers. In: ISSAC '20, pp. 289 - 296 (Eds. Emiris, I. Z.; Zhi, L.; Leykin, A.; Mantzaflaris, A.). 45th International Symposium on Symbolic and Algebraic Computation, Kalamata, Greece (Virtual), July 20, 2020 - July 23, 2020. ACM, New York, NY (2020)
56.
Conference Paper
Fair Decisions Despite Imperfect Predictions. In: Proceedings of the Twenty Third International Conference on Artificial Intelligence and Statistics, pp. 277 - 287 (Eds. Chiappa, S.; Calandra, R.). 23rd International Conference on Artificial Intelligence and Statistics, Virtual Conference, August 26, 2020 - August 28, 2020. PMLR (2020)
57.
Conference Paper
HMC: Model Checking for Hardware Memory Models. In: ASPLOS XXV, pp. 1157 - 1171. Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems, Lausanne, Switzerland (Virtual Conference), March 16, 2020 - March 20, 2020. ACM, New York, NY (2020)
58.
Conference Paper
Swift: Delay is Simple and Effective for Congestion Control in the Datacenter. In: SIGCOMM '20, pp. 514 - 528. 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)
59.
Conference Paper
Promising 2.0: Global Optimizations in Relaxed Memory Concurrency. In: PLDI '20, pp. 362 - 376 (Eds. Donaldson, A. F.; Torlak, E.). 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, London, UK (Virtual Event), June 15, 2020 - June 20, 2020. ACM, New York, NY (2020)
60.
Conference Paper
Knapsack and the Power Word Problem in Solvable Baumslag-Solitar Groups. In: 45th International Symposium on Mathematical Foundations of Computer Science, 67, pp. 1 - 15 (Eds. Esparza, J.; Kràl', D.). 45th International Symposium on Mathematical Foundations of Computer Science, Prague, Czech Republic (Virtual Event), August 25, 2020 - August 26, 2020. Schloss Dagstuhl, Wadern (2020)