Neider, D.; Garg, P.; Madhusudan, P.; Saha, S.; Park, D.: Invariant Synthesis for Incomplete Verification Engines. In: Tools and Algorithms for the Construction and Analysis of Systems, pp. 232 - 250 (Eds. Beyer, D.; Huisman, M.). 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Thessaloniki, Greece, April 14, 2018 - April 20, 2018. Springer, Berlin (2018)

Pédrot, P.-M.; Tabareau, N.: Failure is Not an Option. In: Programming Languages and Systems, pp. 245 - 271 (Ed. Ahmed, A.). 27th European Symposium on Programming, Thessaloniki, Greece,, April 14, 2018 - April 20, 2018. Springer, Berlin (2018)

Phothilimthana, P. M.; Liu, M.; Kaufmann, A.; Peter, S.; Bodik, R.; Anderson, T.: Floem: A Programming System for NIC-Accelerated Network Applications. In: Proceedings of the 13th USENIX Symposium on Operating Systems Design and Implementation, pp. 663 - 679. 13th USENIX Symposium on Operating Systems Design and Implementation, Carlsbad, CA, USA, October 08, 2018 - October 10, 2018. USENIX (2018)

Raad, A.; Lahav, O.; Vafeiadis, V.: On Parallel Snapshot Isolation and Release/Acquire Consistency. In: Programming Languages and Systems, pp. 940 - 967 (Ed. Ahmed, A.). 27th European Symposium on Programming, Thessaloniki, Greece,, April 14, 2018 - April 20, 2018. Springer, Berlin (2018)

Radanovic, G.; Singla, A.; Krause, A.; Faltings, B.: Information Gathering With Peers: Submodular Optimization With Peer-Prediction Constraints. In: Thirty-Second AAAI Conference on Artificial Intelligence, 16678, pp. 1603 - 1610. Thirty-Second AAAI Conference on Artificial Intelligence, New Orleans, LA, USA, February 02, 2018 - February 07, 2018. AAAI, Palo Alto, CA (2018)

Radhakrishna, A.; Lewchenko, N. V.; Meier, S.; Mover, S.; Sripada, K. C.; Zufferey, D.; Chang, B.-Y. E.; Ćerný, P.: DroidStar: Callback Typestates for Android Classes. In: 2018 ACM/IEEE 40th International Conference on Software Engineering, pp. 1160 - 1170. 40th International Conference on Software Engineering , Gothenburg, Sweden, May 27, 2018 - June 03, 2018. ACM, New York, NY (2018)

Rajani, V.; Garg, D.: Types for Information Flow Control: Labeling Granularity and Semantic Models. In: IEEE 31th Computer Security Foundations Symposium, pp. 233 - 246. IEEE 31th Computer Security Foundations Symposium , Oxford, UK, July 09, 2018 - July 12, 2018. IEEE, Piscataway, NJ (2018)

Reipschläger, P.; Ozkan, B. K.; Mathur, A. S.; Gumhold, S.; Majumdar, R.; Dachselt, R.: 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 (Eds. Mandryk, R.; Hancock, M.). The 35th Annual CHI Conference on Human Factors in Computing Systems, Montréal, Canada, April 21, 2018 - April 26, 2018. ACM, New York, NY (2018)

Ren, Y.; Liu, G.; Parmer, G.; Brandenburg, B.: Scalable Memory Reclamation for Multi-Core, Real-Time Systems. In: 24th IEEE Real-Time and Embedded Technology and Applications Symposium, pp. 152 - 163. 24th IEEE Real-Time and Embedded Technology and Applications Symposium , Porto, Portugal, April 11, 2018 - April 13, 2018. IEEE, Piscataway, NJ (2018)

Ribeiro, F. N.; Henrique, L.; Benevenuto, F.; Chakraborty, A.; Kulshrestha, J.; Babaei, M.; Gummadi, K. P.: 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, pp. 290 - 299. 12th International AAAI Conference on Web and Social Media, Stanford, CA, USA, June 25, 2018 - June 28, 2018. AAAI, Palo Alto, CA (2018)

Salamati, M.; Soudjani, S.; Majumdar, R.: Approximate Time Bounded Reachability for CTMCs and CTMDPs: A Lyapunov Approach. In: Quantitative Evaluation of Systems, pp. 389 - 406 (Eds. McIver, A.; Horvath, A.). 15th International Conference on Quantitative Evaluation of Systems, Beijing, China, September 04, 2018 - September 07, 2018. Springer, Berlin (2018)

Singla, A.; Hassani, S. H.; Krause, A.: Learning to Interact With Learning Agents. In: Thirty-Second AAAI Conference on Artificial Intelligence, 16904, pp. 4083 - 4090. Thirty-Second AAAI Conference on Artificial Intelligence, New Orleans, LA, USA, February 02, 2018 - February 07, 2018. AAAI, Palo Alto, CA (2018)

Speicher, T.; Ali, M.; Venkatadri, G.; Ribeiro, F. N.; Arvanitakis, G.; Benevenuto, F.; Gummadi, K. P.; Loiseau, P.; Mislove, A.: Potential for Discrimination in Online Targeted Advertising. In: Proceedings of the 1st Conference on Fairness, Accountability and Transparency, pp. 5 - 19 (Eds. Friedler, S. A.; Wilson, C.). 1st Conference on Fairness, Accountability and Transparency, New York, NY, USA, February 23, 2018 - February 24, 2018. PMLR (2018)

Speicher, T.; Heidari, H.; Grgić-Hlača, N.; Gummadi, K. P.; Singla, A.; Weller, A.; Zafar, M. B.: A Unified Approach to Quantifying Algorithmic Unfairness: Measuring Individual & Group Unfairness via Inequality Indices. In: KDD'18, pp. 2239 - 2248. 24th ACM SIGKDD International Conference on Knowledge Discovery & Data Mining, London, UK, August 10, 2018 - August 23, 2018. ACM, New York, NY (2018)

Svendsen, K.; Pichon-Pharabod, J.; Doko, M.; Lahav, O.; Vafeiadis, V.: A Separation Logic for a Promising Semantics. In: Programming Languages and Systems, pp. 357 - 384 (Ed. Ahmed, A.). 27th European Symposium on Programming, Thessaloniki, Greece,, April 14, 2018 - April 20, 2018. Springer, Berlin (2018)

Tschiatschek, S.; Singla, A.; Gomez Rodriguez, M.; Merchant, A.; Krause, A.: Fake News Detection in Social Networks via Crowd Signals. In: Companion of the World Wide Web Conference, pp. 517 - 524 (Eds. Champin, P.-A.; Gandon, F.; Médini, L.). The Web Conference, Lyon, France, April 23, 2018 - April 27, 2018. ACM, New York, NY (2018)

Upadhyay, U.; De, A.; Gomez Rodriguez, M.: Deep Reinforcement Learning of Marked Temporal Point Processes. In: Advances in Neural Information Processing Systems 31, pp. 3168 - 3178 (Eds. Bengio, S.; Wallach, H.; Larochelle, H.; Graumann, K.; Cesa-Bianchi, N. et al.). Thirty-second Conference on Neural Information Processing Systems, Montréal, Canada, December 02, 2018 - December 08, 2018. Curran Associates (2018)

Valera, I.; Singla, A.; Gomez Rodriguez, M.: Enhancing the Accuracy and Fairness of Human Decision Making. In: Advances in Neural Information Processing Systems 31, pp. 1769 - 1778 (Eds. Bengio, S.; Wallach, H.; Larochelle, H.; Graumann, K.; Cesa-Bianchi, N. et al.). Thirty-second Conference on Neural Information Processing Systems, Montréal, Canada, December 02, 2018 - December 08, 2018. Curran Associates (2018)

van Heerdt, G.; Hsu, J.; Ouaknine, J.; Silva, A.: Convex Language Semantics for Nondeterministic Probabilistic Automata. In: Theoretical Aspects of Computing - ICTAC 2018, pp. 472 - 492 (Eds. Fischer, B.; Uustalu, T.). 5th International Colloquium on Theoretical Aspects of Computing, Stellenbosch, South Africa, October 16, 2018 - October 19, 2018. Springer, Berlin (2018)

Vanga, M.; Gujarati, A.; Brandenburg, B.: Tableau: A High-throughput and Predictable VM Scheduler for High-density Workloads. In: EuroSys'18, 28, pp. 1 - 16. Thirteenth EuroSys Conference, Porto, Portugal, April 23, 2018 - April 26, 2018. ACM, New York, NY (2018)