Konferenzbeitrag (938)
741.
Konferenzbeitrag
Invariant Synthesis for Incomplete Verification Engines. In: Tools and Algorithms for the Construction and Analysis of Systems, S. 232 - 250 (Hg. Beyer, D.; Huisman, M.). 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Thessaloniki, Greece, 14. April 2018 - 20. April 2018. Springer, Berlin (2018)
742.
Konferenzbeitrag
Failure is Not an Option. In: Programming Languages and Systems, S. 245 - 271 (Hg. Ahmed, A.). 27th European Symposium on Programming, Thessaloniki, Greece,, 14. April 2018 - 20. April 2018. Springer, Berlin (2018)
743.
Konferenzbeitrag
Floem: A Programming System for NIC-Accelerated Network Applications. In: Proceedings of the 13th USENIX Symposium on Operating Systems Design and Implementation, S. 663 - 679. 13th USENIX Symposium on Operating Systems Design
and Implementation, Carlsbad, CA, USA, 08. Oktober 2018 - 10. Oktober 2018. USENIX (2018)
744.
Konferenzbeitrag
On Parallel Snapshot Isolation and Release/Acquire Consistency. In: Programming Languages and Systems, S. 940 - 967 (Hg. Ahmed, A.). 27th European Symposium on Programming, Thessaloniki, Greece,, 14. April 2018 - 20. April 2018. Springer, Berlin (2018)
745.
Konferenzbeitrag
Information Gathering With Peers: Submodular Optimization With Peer-Prediction Constraints. In: Thirty-Second AAAI Conference on Artificial Intelligence, 16678, S. 1603 - 1610. Thirty-Second AAAI Conference on Artificial Intelligence, New Orleans, LA, USA, 02. Februar 2018 - 07. Februar 2018. AAAI, Palo Alto, CA (2018)
746.
Konferenzbeitrag
DroidStar: Callback Typestates for Android Classes. In: 2018 ACM/IEEE 40th International Conference on Software Engineering, S. 1160 - 1170. 40th International Conference on Software Engineering , Gothenburg, Sweden, 27. Mai 2018 - 03. Juni 2018. ACM, New York, NY (2018)
747.
Konferenzbeitrag
Types for Information Flow Control: Labeling Granularity and Semantic Models. In: IEEE 31th Computer Security Foundations Symposium, S. 233 - 246. IEEE 31th Computer Security Foundations Symposium , Oxford, UK, 09. Juli 2018 - 12. Juli 2018. IEEE, Piscataway, NJ (2018)
748.
Konferenzbeitrag
DebugAR: Mixed Dimensional Displays for Immersive Debugging of Distributed Systems. In: Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems, LBW117 (Hg. Mandryk, R.; Hancock, M.). The 35th Annual CHI Conference on Human Factors in Computing Systems, Montréal, Canada, 21. April 2018 - 26. April 2018. ACM, New York, NY (2018)
749.
Konferenzbeitrag
Scalable Memory Reclamation for Multi-Core, Real-Time Systems. In: 24th IEEE Real-Time and Embedded Technology and Applications Symposium, S. 152 - 163. 24th IEEE Real-Time and Embedded Technology and Applications Symposium , Porto, Portugal, 11. April 2018 - 13. April 2018. IEEE, Piscataway, NJ (2018)
750.
Konferenzbeitrag
Media Bias Monitor: Quantifying Biases of Social Media News Outlets at Large-Scale. In: Proceedings of the Twelfth International AAAI Conference on Web and Social Media, S. 290 - 299. 12th International AAAI Conference on Web and Social Media, Stanford, CA, USA, 25. Juni 2018 - 28. Juni 2018. AAAI, Palo Alto, CA (2018)
751.
Konferenzbeitrag
Approximate Time Bounded Reachability for CTMCs and CTMDPs: A Lyapunov Approach. In: Quantitative Evaluation of Systems, S. 389 - 406 (Hg. McIver, A.; Horvath, A.). 15th International Conference on Quantitative Evaluation of Systems, Beijing, China, 04. September 2018 - 07. September 2018. Springer, Berlin (2018)
752.
Konferenzbeitrag
Learning to Interact With Learning Agents. In: Thirty-Second AAAI Conference on Artificial Intelligence, 16904, S. 4083 - 4090. Thirty-Second AAAI Conference on Artificial Intelligence, New Orleans, LA, USA, 02. Februar 2018 - 07. Februar 2018. AAAI, Palo Alto, CA (2018)
753.
Konferenzbeitrag
Potential for Discrimination in Online Targeted Advertising. In: Proceedings of the 1st Conference on Fairness, Accountability and Transparency, S. 5 - 19 (Hg. Friedler, S. A.; Wilson, C.). 1st Conference on Fairness, Accountability and Transparency, New York, NY, USA, 23. Februar 2018 - 24. Februar 2018. PMLR (2018)
754.
Konferenzbeitrag
A Unified Approach to Quantifying Algorithmic Unfairness: Measuring Individual & Group Unfairness via Inequality Indices. In: KDD'18, S. 2239 - 2248. 24th ACM SIGKDD International Conference on Knowledge Discovery & Data Mining, London, UK, 10. August 2018 - 23. August 2018. ACM, New York, NY (2018)
755.
Konferenzbeitrag
A Separation Logic for a Promising Semantics. In: Programming Languages and Systems, S. 357 - 384 (Hg. Ahmed, A.). 27th European Symposium on Programming, Thessaloniki, Greece,, 14. April 2018 - 20. April 2018. Springer, Berlin (2018)
756.
Konferenzbeitrag
Fake News Detection in Social Networks via Crowd Signals. In: Companion of the World Wide Web Conference, S. 517 - 524 (Hg. Champin, P.-A.; Gandon, F.; Médini, L.). The Web Conference, Lyon, France, 23. April 2018 - 27. April 2018. ACM, New York, NY (2018)
757.
Konferenzbeitrag
Deep Reinforcement Learning of Marked Temporal Point Processes. In: Advances in Neural Information Processing Systems 31, S. 3168 - 3178 (Hg. Bengio, S.; Wallach, H.; Larochelle, H.; Graumann, K.; Cesa-Bianchi, N. et al.). Thirty-second Conference on Neural Information Processing Systems, Montréal, Canada, 02. Dezember 2018 - 08. Dezember 2018. Curran Associates (2018)
758.
Konferenzbeitrag
Enhancing the Accuracy and Fairness of Human Decision Making. In: Advances in Neural Information Processing Systems 31, S. 1769 - 1778 (Hg. Bengio, S.; Wallach, H.; Larochelle, H.; Graumann, K.; Cesa-Bianchi, N. et al.). Thirty-second Conference on Neural Information Processing Systems, Montréal, Canada, 02. Dezember 2018 - 08. Dezember 2018. Curran Associates (2018)
759.
Konferenzbeitrag
Convex Language Semantics for Nondeterministic Probabilistic Automata. In: Theoretical Aspects of Computing - ICTAC 2018, S. 472 - 492 (Hg. Fischer, B.; Uustalu, T.). 5th International Colloquium on Theoretical Aspects of Computing, Stellenbosch, South Africa, 16. Oktober 2018 - 19. Oktober 2018. Springer, Berlin (2018)
760.
Konferenzbeitrag
Tableau: A High-throughput and Predictable VM Scheduler for High-density Workloads. In: EuroSys'18, 28, S. 1 - 16. Thirteenth EuroSys Conference, Porto, Portugal, 23. April 2018 - 26. April 2018. ACM, New York, NY (2018)