Conference Paper (89)
81.
Conference Paper
Learning-Based Synthesis of Safety Controllers. In: 2019 Formal Methods in Computer Aided Design. 2019 Formal Methods in Computer Aided Design, San Jose, CA, USA, USA, October 22, 2019 - October 25, 2019. IEEE, Piscataway, NJ (2019)
82.
Conference Paper
SORCAR: Property-Driven Algorithms for Learning Conjunctive Invariants. In: Static Analysis, pp. 323 - 346 (Ed. Chang, B.-Y. E.). 26th International Static Analysis Symposium, Porto, Portugal, October 08, 2019 - October 11, 2019. Springer, Berlin (2019)
83.
Conference Paper
Checking Linearizability Using Hitting Families. In: PPoPP'19, pp. 366 - 377. 24th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Washington, DC, USA, February 16, 2019 - February 20, 2019. ACM, New York, NY (2019)
84.
Conference Paper
3, OOPSLA, 180, (2019)
Trace Aware Random Testing for Distributed Systems. ACM OOPSLA Conference, Athens, Greece, October 20, 2019 - October 25, 2019. Proceedings of the ACM on Programming Languages 85.
Conference Paper
Robustly Safe Compilation. In: Programming Languages and Systems, pp. 469 - 498 (Ed. Caires, L.). 28th European Symposium on Programming, Prague, Czech Republic, April 06, 2019 - April 11, 2019. Springer, Cham (2019)
86.
Conference Paper
MPERL: Hardware and Software Co-design for Robotic Manipulators. In: IEEE/RSJ International Conference on Intelligent Robots and Systems, pp. 7784 - 7790. IEEE/RSJ International Conference on Intelligent Robots and Systems, Macau, China, November 04, 2019 - November 08, 2019. IEEE, Piscataway, NJ (2019)
87.
Conference Paper
3, POPL, 69, (2019)
Bridging the Gap Between Programming Languages and Hardware Weak Memory Models. 46th ACM SIGPLAN Symposium on Principles of Programming Languages, Cascais, Portugal, January 13, 2019 - January 19, 2019. Proceedings of the ACM on Programming Languages 88.
Conference Paper
3, ICFP, 92, (2019)
Relational Cost Analysis for Functional-Imperative Programs. 24th ACM SIGPLAN International Conference on Functional Programming, Berlin, Germany, August 19, 2019 - August 21, 2019. Proceedings of the ACM on Programming Languages 89.
Conference Paper
3, POPL, 68, (2019)
On Library Correctness Under Weak Memory Consistency: Specifying and Verifying Concurrent Libraries under Declarative Consistency Models. 46th ACM SIGPLAN Symposium on Principles of Programming Languages, Cascais, Portugal, January 13, 2019 - January 19, 2019. Proceedings of the ACM on Programming Languages 90.
Conference Paper
On the Semantics of Snapshot Isolation. In: Verification, Model Checking,and Abstract Interpretation, pp. 1 - 23 (Eds. Enea, C.; Piskac, R.). 20th International Con-ference on Verification, Model Checking, and Abstract Interpretation, Cascais, Portugal, January 13, 2019 - January 15, 2019. Springer, Berlin (2019)
91.
Conference Paper
3, OOPSLA, 135, (2019)
Weak Persistency Semantics from the Ground up: Formalising the Persistency Semantics of ARMv8 and Transactional Models. ACM OOPSLA Conference, Athens, Greece, October 20, 2019 - October 25, 2019. Proceedings of the ACM on Programming Languages 92.
Conference Paper
Learning to Collaborate in Markov Decision Processes. In: Proceedings of the 36th International Conference on Machine Learning, pp. 5261 - 5270 (Eds. Chaudhuri, K.; Salakhutdinov, R.). 36th International Conference on Machine Learning, Long Beach, CA, USA, June 09, 2019 - June 15, 2019. (2019)
93.
Conference Paper
Fighting Fire with Fire: Using Antidote Data to Improve Polarization and Fairness of Recommender Systems. In: WSDM '19, pp. 231 - 239. 12h ACM International Conference on Web Search and Data Mining, Melbourne, Australia, February 11, 2019 - February 15, 2019. ACM, New York, NY (2019)
94.
Conference Paper
(Mis)Information Dissemination in WhatsApp: Gathering, Analyzing and Countermeasures. In: Proceedings of The World Wide Web Conference, pp. 818 - 828 (Ed. McAuley, J.). The Web Conference, San Francisco, CA, USA, May 13, 2019 - May 17, 2019. ACM, New York, NY (2019)
95.
Conference Paper
On Microtargeting Socially Divisive Ads: A Case Study of Russia-Linked Ad Campaigns on Facebook. In: Proceedings of the 2019 Conference on Fairness, Accountability, and Transparency, pp. 140 - 149. Conference on Fairness, Accountability, and Transparency, Atlanta, GA, USA, January 29, 2019 - January 31, 2019. ACM, New York, NY (2019)
96.
Conference Paper
Efficient Learning of Smooth Probability Functions from Bernoulli Tests with Guarantees. In: Proceedings of the 36th International Conference on Machine Learning, pp. 5459 - 5467 (Eds. Chaudhuri, K.; Salakhutdinov, R.). 36th International Conference on Machine Learning, Long Beach, CA, USA, June 09, 2019 - June 15, 2019. (2019)
97.
Conference Paper
NeVAE: A Deep Generative Model for Molecular Graphs. In: Proceedings of the AAAI Conference on Artificial Intelligence, pp. 1110 - 1117. Thirty-Third AAAI Conference on Artificial Intelligence, Honolulu, HI, USA, January 27, 2019 - February 01, 2019. AAAI Press, Palo Alto, CA (2019)
98.
Conference Paper
3, POPL, 38, (2019)
Formal Verification of Higher-order Probabilistic Programs: Reasoning about Approximation, Convergence, Bayesian Inference, and Optimization. 46th ACM SIGPLAN Symposium on Principles of Programming Languages, Cascais, Portugal, January 13, 2019 - January 19, 2019. Proceedings of the ACM on Programming Languages 99.
Conference Paper
How Do Fairness Definitions Fare?: Examining Public Attitudes Towards Algorithmic Definitions of Fairness. In: AIES'19, pp. 99 - 106. AAAI/ACM Conference on AI, Ethics, and Society, Honolulu, HI, USA, January 27, 2019 - January 28, 2019. ACM, New York, NY (2019)
100.
Conference Paper
Coverability Is Undecidable in One-Dimensional Pushdown Vector Addition Systems with Resets. In: Reachability Problems, pp. 193 - 201 (Eds. Filiot, E.; Jungers, R.; Potapov, I.). 13th International Conference on Reachability Problems, Louvain-La-Neuve, Belgium, September 11, 2019 - September 13, 2019. Springer, Berlin (2019)