Conference Paper (938)
521.
Conference Paper
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)
522.
Conference Paper
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)
523.
Conference Paper
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)
524.
Conference Paper
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)
525.
Conference Paper
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)
526.
Conference Paper
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)
527.
Conference Paper
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)
528.
Conference Paper
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)
529.
Conference Paper
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)
530.
Conference Paper
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)
531.
Conference Paper
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)
532.
Conference Paper
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)
533.
Conference Paper
Trace-Relating Compiler Correctness and Secure Compilation. In: Programming Languages and Systems, pp. 1 - 28 (Ed. Müller, P.). 29th European Symposium on Programming, Dublin, Ireland (Online Event), April 25, 2020 - April 30, 2020. Springer, Berlin (2020)
534.
Conference Paper
Synthesizing Tasks for Block-based Programming. In: Advances in Neural Information Processing Systems 33, pp. 22349 - 22360 (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)
535.
Conference Paper
Invariants for Continuous Linear Dynamical Systems. In: 47th International Colloquium on Automata, Languages, and Programming, 107, pp. 1 - 15 (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)
536.
Conference Paper
Finding Safety in Numbers with Secure Allegation Escrows. In: Network and Distributed System Security Symposium. The Network and Distributed System Security Symposium , San Diego, CA, USA, February 23, 2020 - February 26, 2020. Internet Society, Reston, VA (2020)
537.
Conference Paper
Reachability in Dynamical Systems with Rounding. In: 40th IARCS Annual Conferenceon Foundations of SoftwareTechnology and TheoreticalComputer Science, 36, pp. 1 - 17 (Eds. Saxena, N.; Simon, S.). 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Goa, India (Virtual Conference), December 14, 2020 - December 18, 2020. Schloss Dagstuhl, Wadern (2020)
538.
Conference Paper
Fair Enough: Improving Fairness in Budget-Constrained Decision Making Using Confidence Thresholds. In: Proceedings of the Workshop on Artificial Intelligence Safety co-located with 34th AAAI Conference on Artificial Intelligence, pp. 41 - 53 (Eds. Espinoza, H.; Hernández-Orallo, J.; Chen, X. C.; ÓhÉigeartaigh, S. S.; Huang, X. et al.). Artificial Intelligence Safety, New York, NY, USA, February 07, 2020. CEUR-WS.org (2020)
539.
Conference Paper
The Complexity of Bounded Context Switching with Dynamic Thread Creation. In: 47th International Colloquium on Automata, Languages, and Programming, 111, pp. 1 - 16 (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)
540.
Conference Paper
DeepEquaL: Deep Learning Based Mathematical Equation to Latex Generation. In: Neural Information Processing, pp. 324 - 332 (Eds. Yang, H.; Pasupa, K.; Leung, A. C.-S.; Kwok, J. T.; Chan, J. H. et al.). 27th International Conference on Neural Information Processing, Bangkok, Thailand (Virtual), November 18, 2020 - November 22, 2020. Springer, Berlin (2020)