Conference Paper (938)
601.
Conference Paper
Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation. In: CSF 2019, pp. 256 - 271. 32nd Computer Security Foundations Symposium, Hoboken, NJ, USA, June 25, 2019 - June 28, 2019. IEEE, Piscataway, NJ (2019)
602.
Conference Paper
Loss-Aversively Fair Classification. In: AIES'19, pp. 211 - 218. AAAI/ACM Conference on AI, Ethics, and Society, Honolulu, HI, USA, January 27, 2019 - January 28, 2019. ACM, New York, NY (2019)
603.
Conference Paper
The Semialgebraic Orbit Problem. In: 36th Symposium on Theoretical Aspects of Computer Science, 6, pp. 1 - 15 (Eds. Niedermeier, R.; Paul, C.). 36th Symposium on Theoretical Aspects of Computer Science, Berlin, Germany, March 13, 2019 - March 16, 2019. Schloss Dagstuhl, Wadern (2019)
604.
Conference Paper
Evrostos: the rLTL verifier. In: HSCC '19, pp. 218 - 223. 22nd ACM International Conference on Hybrid Systems, Montreal Quebec Canada, 2019-04. ACM, New York, NY (2019)
605.
Conference Paper
Analyzing Biases in Perception of Truth in News Stories and Their Implications for Fact Checking. In: Proceedings of the 2019 Conference on Fairness, Accountability, and Transparency, p. 139 - 139. Conference on Fairness, Accountability, and Transparency, Atlanta, GA, USA, January 29, 2019 - January 31, 2019. ACM, New York, NY (2019)
606.
Conference Paper
PGCD: Robot Programming and Verification with Geometry, Concurrency, and Dynamics. In: ICCPS'19, pp. 57 - 66. ACM/IEEE International Conference on Cyber-Physical Systems, Montreal, Canada, April 16, 2019 - April 18, 2019. ACM, New York, NY (2019)
607.
Conference Paper
Formally Verified Roundoff Errors Using SMT-based Certificates and Subdivisions. In: Formal Methods - The Next 30 Years, pp. 38 - 44 (Eds. ter Beek, M. H.; McIver, A.; Oliveira, J. N.). 23rd Symposium on Formal Method, Porto, Portugal, October 07, 2019 - October 11, 2019. Springer, Cham (2019)
608.
Conference Paper
Icing: Supporting Fast-Math Style Optimizations in a Verified Compiler. In: Computer Aided Verification, pp. 155 - 173 (Eds. Dillig, I.; Tasiran, S.). 31st International Conference on Computer Aided Verification, New York City, NY, USA, July 15, 2019 - July 18, 2019. Springer, Berlin (2019)
609.
Conference Paper
ConfLLVM: A Compiler for Enforcing Data Confidentiality in Low-Level Code. In: Proceedings of the Fourteenth EuroSys Conference 2019, 4. Fourteenth EuroSys Conference, Dresden, Germany, March 25, 2019 - March 28, 2019. ACM, New York, NY (2019)
610.
Conference Paper
The Case for an Opinionated, Theory-Oriented Real-Time Operating System. In: 1st International Workshop on Next-Generation Operating Systems for Cyber-Physical Systems. 1st International Workshop on Next-Generation Operating Systems for Cyber-Physical Systems, Montreal, Canada, April 15, 2019. (2019)
611.
Conference Paper
Response-Time Analysis of ROS 2 Processing Chains Under Reservation-Based Scheduling. In: 31st Euromicro Conference on Real-Time Systems, 6, pp. 1 - 23 (Ed. Quinton, S.). 31st Euromicro Conference on Real-Time Systems, Stuttgart, Germany, July 09, 2019 - July 12, 2019. Schloss Dagstuhl, Wadern (2019)
612.
Conference Paper
3, POPL, 70, (2019)
Grounding Thin-Air Reads with Event Structures. 46th ACM SIGPLAN Symposium on Principles of Programming Languages, Cascais, Portugal, January 13, 2019 - January 19, 2019. Proceedings of the ACM on Programming Languages 613.
Conference Paper
On the Impact of Choice Architectures on Inequality in Online Donation Platforms. In: Proceedings of The World Wide Web Conference, pp. 2623 - 2629 (Ed. McAuley, J.). The Web Conference, San Francisco, CA, USA, May 13, 2019 - May 17, 2019. ACM, New York, NY (2019)
614.
Conference Paper
Equality of Voice: Towards Fair Representation in Crowdsourced Top-K Recommendations. In: Proceedings of the 2019 Conference on Fairness, Accountability, and Transparency, pp. 129 - 138. Conference on Fairness, Accountability, and Transparency, Atlanta, GA, USA, January 29, 2019 - January 31, 2019. ACM, New York, NY (2019)
615.
Conference Paper
Semantic Fault Localization and Suspiciousness Ranking. In: Tools and Algorithms for the Construction and Analysis of Systems, pp. 226 - 243 (Eds. Vojnar, T.; Zhang, L.). 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Prague, Czech Republic, April 06, 2019 - April 11, 2019. Springer, New York, NY (2019)
616.
Conference Paper
Bidirectional Type Checking for Relational Properties. In: PLDI'19, pp. 533 - 547 (Eds. McKinlez, K. S.; Fisher, K.). 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, Phoenix, AZ, USA , June 22, 2019 - June 26, 2019. ACM, New York, NY (2019)
617.
Conference Paper
On Reachability Problems for Low-Dimensional Matrix Semigroups. In: 46th International Colloquium on Automata, Languages, and Programming, 44 (Eds. Baier, C.; Chaztigiannakis, I.; Flocchini, P.; Leonardi, S.). 46th International Colloquium on Automata, Languages, and Programming, Patras, Greece, July 09, 2019 - July 12, 2019. Schloss Dagstuhl, Wadern (2019)
618.
Conference Paper
Sound Approximation of Programs with Elementary Functions. In: Computer Aided Verification, pp. 174 - 183 (Eds. Dillig, I.; Tasiran, S.). 31st International Conference on Computer-Aided Verification, York City, NY, USA, July 15, 2019 - July 18, 2019. Springer, Berlin (2019)
619.
Conference Paper
3, CSCW, 172, (2019)
Summarizing User-generated Textual Content: Motivation and Methods for Fairness in Algorithmic Summaries. 22nd ACM Conference on Computer-Supported Cooperative Work and Social Computing, Austin, TX, USA, November 09, 2019 - November 13, 2019. Proceedings of the ACM Human-Computer Interaction 620.
Conference Paper
Bayesian Fairness. In: Proceedings of the AAAI Conference on Artificial Intelligence, pp. 509 - 516. Thirty-Third AAAI Conference on Artificial Intelligence, Honolulu, HI, USA, January 27, 2019 - February 01, 2019. AAAI Press, Palo Alto, CA (2019)