Konferenzbeitrag (938)
561.
Konferenzbeitrag
Fair Decisions Despite Imperfect Predictions. In: Proceedings of the Twenty Third International Conference on Artificial Intelligence and Statistics, S. 277 - 287 (Hg. Chiappa, S.; Calandra, R.). 23rd International Conference on Artificial Intelligence and Statistics, Virtual Conference, 26. August 2020 - 28. August 2020. PMLR (2020)
562.
Konferenzbeitrag
HMC: Model Checking for Hardware Memory Models. In: ASPLOS XXV, S. 1157 - 1171. Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems, Lausanne, Switzerland (Virtual Conference), 16. März 2020 - 20. März 2020. ACM, New York, NY (2020)
563.
Konferenzbeitrag
Swift: Delay is Simple and Effective for Congestion Control in the Datacenter. In: SIGCOMM '20, S. 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, 10. August 2020 - 14. August 2020. ACM, New York, NY (2020)
564.
Konferenzbeitrag
Promising 2.0: Global Optimizations in Relaxed Memory Concurrency. In: PLDI '20, S. 362 - 376 (Hg. Donaldson, A. F.; Torlak, E.). 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, London, UK (Virtual Event), 15. Juni 2020 - 20. Juni 2020. ACM, New York, NY (2020)
565.
Konferenzbeitrag
Knapsack and the Power Word Problem in Solvable Baumslag-Solitar Groups. In: 45th International Symposium on Mathematical Foundations of Computer Science, 67, S. 1 - 15 (Hg. Esparza, J.; Kràl', D.). 45th International Symposium on Mathematical Foundations of Computer Science, Prague, Czech Republic (Virtual Event), 25. August 2020 - 26. August 2020. Schloss Dagstuhl, Wadern (2020)
566.
Konferenzbeitrag
Symbolic Controller Synthesis for Büchi Specifications on Stochastic Systems. In: HSCC2020, 14, S. 1 - 11. 23rd International Conference on Hybrid Systems: Computation and Control , Sydney, Australia & Virtual, 21. April 2020 - 24. April 2020. ACM, New York, NY (2020)
567.
Konferenzbeitrag
Algebraic Invariants for Linear Hybrid Automata. In: 31st International Conference on Concurrency Theory, 32, S. 1 - 17 (Hg. Konnov, I.; Kovács, L.). 31st International Conference on Concurrency Theory, Vienna, Austria (Virtual Conference), 01. September 2020 - 04. September 2020. Schloss Dagstuhl, Wadern (2020)
568.
Konferenzbeitrag
On Abstraction-Based Controller Design With Output Feedback. In: HSCC2020, 15, S. 1 - 11. 23rd International Conference on Hybrid Systems: Computation and Control , Sydney, Australia & Virtual, 21. April 2020 - 24. April 2020. ACM, New York, NY (2020)
569.
Konferenzbeitrag
On Decidability of Time-Bounded Reachability in CTMDPs. In: 47th International Colloquium on Automata, Languages, and Programming, 133, S. 1 - 19 (Hg. Czumaj, A.; Dawar, A.; Merelli, E.). 47th International Colloquium on Automata, Languages, and Programming, Saarbrücken, Germany (Virtual Conference), 08. Juli 2020 - 11. Juli 2020. Schloss Dagstuhl, Wadern (2020)
570.
Konferenzbeitrag
Detecting Critical Bugs in SMT Solvers Using Blackbox Mutational Fuzzing. In: ESEC/FSE '20, S. 701 - 712 (Hg. 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, 08. November 2020 - 13. November 2020. ACM, New York, NY (2020)
571.
Konferenzbeitrag
Parameterized Synthesis with Safety Properties. In: Programming Languages and Systems, S. 273 - 292 (Hg. Oliveira, B. C. d. S.). 18th Asian Symposium on Programming Languages and Systems , Fukuoka, Japan (Online Event), 30. November 2020 - 02. Dezember 2020. Springer, Berlin (2020)
572.
Konferenzbeitrag
From LTL to rLTL Monitoring: Improved Monitorability through Robust Semantics. In: HSCC2020, 7, S. 1 - 12. 23rd International Conference on Hybrid Systems: Computation and Control , Sydney, Australia & Virtual, 21. April 2020 - 24. April 2020. ACM, New York, NY (2020)
573.
Konferenzbeitrag
Get Paid to Program: Evaluating an Employment-Aware After-School Program for High School Women of Color. In: ITiCSE '20, S. 212 - 218 (Hg. Giannakos, M.; Sindre, G.; Luxton-Reilly, A.; Divitini,, M.). ACM Conference on Innovation and Technology in Computer Science Educationn, Trondheim, Norway, 15. Juni 2020 - 19. Juni 2020. ACM, New York, NY (2020)
574.
Konferenzbeitrag
Reconciling Event Structures with Modern Multiprocessors. In: 34th European Conference onObject-Oriented Programming, 5, S. 1 - 26 (Hg. Hirschfeld, R.; Pape, T.). 34th European Conference on Object-Oriented Programming, Berlin, Germany (Virtual Event), 15. November 2020 - 17. November 2020. Schloss Dagstuhl, Wadern (2020)
575.
Konferenzbeitrag
Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations. In: PLDI '20, S. 31 - 44 (Hg. Donaldson, A. F.; Torlak, E.). 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, London, UK (Virtual Event), 15. Juni 2020 - 20. Juni 2020. ACM, New York, NY (2020)
576.
Konferenzbeitrag
From Code to Weakly Hard Constraints: A Pragmatic End-to-End Toolchain for Timed C. In: IEEE 40th Real-Time Systems Symposium, S. 167 - 180. IEEE 40th Real-Time Systems Symposium, Hong Kong, China, 03. Dezember 2019 - 06. Dezember 2019. IEEE, Piscataway, NJ (2020)
577.
Konferenzbeitrag
Optimally Resilient Strategies in Pushdown Safety Games. In: 45th International Symposium on Mathematical Foundations of Computer Science, 74, S. 1 - 15 (Hg. Esparza, J.; Kràl', D.). 45th International Symposium on Mathematical Foundations of Computer Science, Prague, Czech Republic (Virtual Event), 25. August 2020 - 26. August 2020. Schloss Dagstuhl, Wadern (2020)
578.
Konferenzbeitrag
On Ranking Function Synthesis and Termination for Polynomial Programs. In: 31st International Conference on Concurrency Theory, 15, S. 1 - 15 (Hg. Konnov, I.; Kovács, L.). 31st International Conference on Concurrency Theory, Vienna, Austria (Virtual Conference), 01. September 2020 - 04. September 2020. Schloss Dagstuhl, Wadern (2020)
579.
Konferenzbeitrag
Response-Time Analysis for Non-Preemptive Global Scheduling with FIFO Spin Locks. In: IEEE 41st Real-Time Systems Symposium, S. 115 - 127. IEEE 41st Real-Time Systems Symposium , Houston, TX, USA (Virtual Conference), 01. Dezember 2020 - 04. Dezember 2020. IEEE, Piscataway, NJ (2020)
580.
Konferenzbeitrag
Holonomic Techniques, Periods, and Decision Problems (Invited Talk). In: 40th IARCS Annual Conferenceon Foundations of SoftwareTechnology and TheoreticalComputer Science, 4, S. 1 - 3 (Hg. Saxena, N.; Simon, S.). 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Goa, India (Virtual Conference), 14. Dezember 2020 - 18. Dezember 2020. Schloss Dagstuhl, Wadern (2020)