Conference Paper (77)

81.
Conference Paper
Mota, N.; Mohammadi, N.; Dey, P.; Gummadi, K.; Chakraborty, A.: Fair Partitioning of Public Resources: Redrawing District Boundary to Minimize Spatial Inequality in School Funding. In: The Web Conference 2021, pp. 646 - 657 (Eds. Leskovec, J.; Grobelnik, M.; Najork, M.; Tang, J.; Zia, L.). 30th The Web Conference, Ljubljana, Slovenia, April 19, 2021 - April 23, 2021. ACM, New York, NY (2021)
82.
Conference Paper
Nayak, S. P.; Neider, D.; Zimmermann., M.: Adaptive Strategies for rLTL Games. In: HSCC2021, 32, pp. 1 - 2. 24th International Conference on Hybrid Systems: Computation and Control, Neshville, TN, USA, May 19, 2021 - May 21, 2021. ACM, New York, NY (2021)
83.
Conference Paper
Neider, D.; Gaglione, J.-R.; Gavran, I.; Topcu, U.; Wu, B.; Xu, Z.: Advice-Guided Reinforcement Learning in a non-Markovian Environment. In: AAAI Technical Track on Machine Learning III, pp. 9073 - 9080. Thirty-Fifth AAAI Conference on Artificial Intelligence, Virtual Conference, February 02, 2021 - February 09, 2021. AAAI, Palo Alto, CA (2021)
84.
Conference Paper
Neumann, E.; Ouaknine, J.; Worrell, J.: Decision Problems for Second-Order Holonomic Recurrences. In: 48th International Colloquium on Automata, Languages, and Programming, 99, pp. 1 - 20 (Eds. Bansal, N.; Merelli, E.; Worrell, J.). 48th International Colloquium on Automata, Languages, and Programming, Glasgow, UK (Virtual Conference), July 12, 2021 - July 16, 2020. Schloss Dagstuhl, Wadern (2021)
85.
Conference Paper
Oberhauser, J.; Lima de Chehab, R. L.; Behrens, D.; Fu, M.; Paolillo, A.; Oberhauser, L.; Bhat, K.; Wen, Y.; Chen, H.; Kim, J. et al.; Vafeiadis, V.: VSync: Push-Button Verification and Optimization for Synchronization Primitives on Weak Memory Models. In: Twenty-Sixth International Conference on Architectural Support for Programming Languages and Operating Systems, pp. 530 - 545. Twenty-Sixth International Conference on Architectural Support for Programming Languages and Operating Systems , Online, April 19, 2021 - April 23, 2021. ACM, New York, NY (2021)
86.
Conference Paper
Oberhauser, J.; Oberhauser, L.; Paolillo, A.; Behrens, D.; Fu, M.; Vafeiadis, V.: Verifying and Optimizing the HMCS Lock for Arm Servers. In: Networked Systems, pp. 240 - 260 (Eds. Echihabi, K.; Meyer, R.). 9th International Conference on Networked Systems, Virutal Event, May 19, 2021 - May 21, 2021. Springer, Berlin (2021)
87.
Conference Paper
Sammler, M.; Lepigre, R.; Krebbers, R.; Memarian, K.; Dreyer, D.; Garg, D.: RefinedC: Automating the Foundational Verification of C Code with Refined Ownership Types. In: PLDI '21, pp. 158 - 174 (Eds. Freund, S. N.; Yahav, E.). 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Virtual, Canada, June 20, 2021 - June 25, 2021. ACM, New York, NY (2021)
88.
Conference Paper
Sherman, I. N.; Stokes, J. W.; Redmiles, E. M.: Designing Media Provenance Indicators to Combat Fake Media. In: Proceedings of 24th International Symposium on Research in Attacks, Intrusions and Defenses, pp. 324 - 339. 24th International Symposium on Research in Attacks, Intrusions and Defenses, Donostia, Spain, October 06, 2021 - October 08, 2021. ACM, New York, NY (2021)
89.
Conference Paper
Shetty, A. K.; Krishna, S. N.; Zetzsche, G.: Scope-Bounded Reachability in Valence Systems. In: 32nd International Conference on Concurrency Theory, 29, pp. 1 - 19 (Eds. Haddad, S.; Varacca, D.). 32nd International Conference on Concurrency Theory, Virtual Conference, August 24, 2021 - August 27, 2021. Schloss Dagstuhl, Wadern (2021)
90.
Conference Paper
Spies, S.; Gäher, L.; Gratzer, D.; Tassarotti, J.; Krebbers, R.; Dreyer, D.; Birkedal, L.: Transfinite Iris: Resolving an Existential Dilemma of Step-indexed Separation Logic. In: PLDI '21, pp. 80 - 95 (Eds. Freund, S. N.; Yahav, E.). 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Virtual, Canada, June 20, 2021 - June 25, 2021. ACM, New York, NY (2021)
91.
Conference Paper
Triantafyllou, S.; Singla, A.; Radanovic, G.: On Blame Attribution for Accountable Multi-Agent Sequential Decision Making. In: Advances in Neural Information Processing Systems 34, pp. 15774 - 15786 (Eds. Ranzato, M.; Beygelzimer, A.; Liang, P. S.; Vaughan, J. W.; Dauphin, Y.). 35th Conference on Neural Information Processing Systems, Virtual, December 07, 2021. Curran Associates, Inc. (2021)
92.
Conference Paper
Vafeiadis, V.: The Challenges of Weak Persistency. In: 9th Conference on Algebra and Coalgebra in Computer Science, 4, pp. 1 - 3 (Eds. Gadducci, F.; Silva, A.). 9th Conference on Algebra and Coalgebra in Computer Science, Salzburg, Austria, August 31, 2021 - September 03, 2021. Schloss Dagstuhl, Wadern (2021)
93.
Conference Paper
von der Brüggen, G.; Piatkowski, N.; Chen, K.-H.; Chen, J.-J.; Morik, K.; Brandenburg, B.: Efficiently Approximating the Worst-Case Deadline Failure Probability under EDF. In: IEEE 42nd Real-Time Systems Symposium, pp. 214 - 226. IEEE 42nd Real-Time Systems Symposium , Dortmund, Germany (Virtual Conference), December 07, 2021 - December 10, 2021. IEEE, Piscataway, NJ (2021)
94.
Conference Paper
Wang, C.; Singla, A.; Chen, Y.: Teaching an Active Learner with Contrastive Examples. In: Advances in Neural Information Processing Systems 34, pp. 17968 - 17980 (Eds. Ranzato, M.; Beygelzimer, A.; Liang, P. S.; Vaughan, J. W.; Dauphin, Y.). 35th Conference on Neural Information Processing Systems, Virtual, December 07, 2021. Curran Associates, Inc. (2021)
95.
Conference Paper
Wesley, S.; Christakis, M.; Navas, J. A.; Trefler, R. J.; Wüstholz, V.; Gurfinkel, A.: Compositional Verification of Smart Contracts Through Communication Abstraction. In: Static Analysis, pp. 429 - 452 (Eds. Drăgoi, C.; Mukherjee, S.; Namjoshi, K.). 28th International Static Analysis Symposium, Chicago, IL, USA, October 17, 2021 - October 19, 2021. Springer, Berlin (2021)
96.
Conference Paper
Xu, Z.; Wu, B.; Ojha, A.; Neider, D.; Topcu, U.: Active Finite Reward Automaton Inference and Reinforcement Learning Using Queries and Counterexamples. In: Machine Learning and Knowledge Extraction, pp. 115 - 135 (Eds. Holzinger, A.; Kieseberg, P.; Tjoa, A. M.). 5th IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain Conference for Machine Learning & Knowledge Extraction, Virtual Event, August 17, 2021 - August 20, 2021. Springer, Berlin (2021)
97.
Conference Paper
Yengera, G.; Devidze, R.; Kamalaruban, P.; Singla, A.: Curriculum Design for Teaching via Demonstrations. In: Advances in Neural Information Processing Systems 34, pp. 10496 - 10509 (Eds. Ranzato, M.; Beygelzimer, A.; Liang, P. S.; Vaughan, J. W.; Dauphin, Y.). 35th Conference on Neural Information Processing Systems, Virtual, December 07, 2021. Curran Associates, Inc. (2021)
98.
Conference Paper
Yong Wong, M.; Landen, M.; Antonakakis, M.; Blough, D. M.; Redmiles, E. M.; Ahamad, M.: An Inside Look into the Practice of Malware Analysis. In: CCS '21, pp. 3053 - 3069 (Eds. Kim, Y.; Kim, J.; Vigna, G.; Shi, E.; Kim, H. et al.). ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15, 2021 - November 19, 2021. ACM, New York, NY (2021)
99.
Conference Paper
Zetzsche, G.: Recent Advances on Reachability Problems for Valence Systems (Invited Talk). In: Reachability Problems, pp. 52 - 65 (Eds. Bell, P. C.; Totzke, P.; Potapov, I.). 5th International Conference on Reachability Problems, Liverpool, UK, October 25, 2021 - October 27, 2021. Springer, Berlin (2021)
100.
Conference Paper
Zhang, X.; Bharti, S.; Ma, Y.; Singla, A.; Zhu, X.: The Sample Complexity of Teaching by Reinforcement on Q-Learning. In: AAAI Technical Track on Machine Learning V, pp. 10939 - 10947. Thirty-Fifth AAAI Conference on Artificial Intelligence, Virtual, February 02, 2021 - February 09, 2021. AAAI, Palo Alto, CA (2021)
Go to Editor View