Conference Paper (913)

781.
Conference Paper
Patel, P.; Vanga, M.; Brandenburg, B.: TimerShield: Protecting High-Priority Tasks from Low-Priority Timer Interference (Outstanding Paper). In: IEEE 23rd Real-Time and Embedded Technology and Applications Symposium, pp. 3 - 12. 23rd Real-Time and Embedded Technology and Applications Symposium , Pittsburgh, PA, USA, April 18, 2017 - April 20, 2017. IEEE, Piscataway, NJ (2017)
782.
Conference Paper
Patrignani, M.; Garg, D.: Secure Compilation and Hyperproperty Preservation. In: IEEE 30th Computer Security Foundations Symposium, pp. 392 - 404. 30th Computer Security Foundations Symposium, Santa Barbara, CA, USA, August 21, 2017 - August 25, 2017. IEEE, Piscataway, NJ (2017)
783.
Conference Paper
Podkopaev, A.; Lahav, O.; Vafeiadis, V.: Promising Compilation to ARMv8 POP. In: 29th European Conference on Object-Oriented Programming, 22, pp. 1 - 28 (Ed. Müller, P.). 31st European Conference on Object-Oriented Programming, Barcelona, Spain, June 18, 2017 - June 23, 2017. Schloss Dagstuhl, Wadern (2017)
784.
Conference Paper
Proskurnia, J.; Grabowicz, P.; Kobayashi, R.; Castillo, C.; Cudré-Mauroux, P.; Aberer, K.: Predicting the Success of Online Petitions Leveraging Multidimensional Time-Series. In: WWW'17, pp. 755 - 764. 26th International Conference on World Wide Web , Perth, Australia, April 03, 2017 - April 07, 2017. ACM, New York, NY (2017)
785.
Conference Paper
Singh, S.; Nanda, V.; Sen, R.; Sengupta, S.; Kumaraguru, P.; Gummadi, K.: Leveraging Facebook's Free Basics Engine for Web Service Deployment in Developing Regions. In: ICTD'17, 7. Ninth International Conference on Information and Communication Technologies and Development , Lahore, Pakistan, November 16, 2017 - November 19, 2017. ACM, New York, NY (2017)
786.
Conference Paper
Singh, S.; Nanda, V.; Sen, R.; Ahmad, S.; Sengupta, S.; Phokeer, A.; Farooq, Z. A.; Khan, T. A.; Kumaragaguru, P.; Qazi, I. A. et al.; Choffnes, D.; Gummadi, K.: An Empirical Analysis of Facebook's Free Basics. In: SIGMETRICS'17, pp. 37 - 38. ACM SIGMETRICS / International Conference on Measurement and Modeling of Computer Systems, Urbana-Champaign, IL, USA, June 05, 2017 - June 09, 2017. ACM, New York, NY (2017)
787.
Conference Paper
Soudjani, S.; Majumdar, R.: Controller Synthesis for Reward Collecting Markov Processes in Continuous Space. In: HSCC'17, pp. 45 - 54. 20th International Conference on Hybrid Systems: Computation and Control , Pittsburgh, PA, USA, April 18, 2017 - April 20, 2017. ACM, New York, NY (2017)
788.
Conference Paper
Soudjani, S.; Majumdar, R.; Nagapetyan, T.: Multilevel Monte Carlo Method for Statistical Model Checking of Hybrid Systems. In: Quantitative Evaluation of Systems, pp. 351 - 367 (Eds. Bertrand, N.; Bortolussi, L.). 14th International Conference on Quantitative Evaluation of Systems, Berlin, Germany, September 05, 2017 - September 07, 2017. Springer, Berlin (2017)
789.
Conference Paper
Tassarotti, J.; Jung, R.; Harper, R.: A Higher-Order Logic for Concurrent Termination-Preserving Refinement. In: Programming Languages and Systems, pp. 909 - 936 (Ed. Yang, H.). 26th European Symposium on Programming, Uppsala, Sweden, April 22, 2017 - April 29, 2017. Springer, Berlin (2017)
790.
Conference Paper
Upadhyay, U.; Valera, I.; Gomez Rodriguez, M.: Uncovering the Dynamics of Crowdlearning and the Value of Knowledge. In: WSDM'17, pp. 61 - 70. 10th ACM International Conference on Web Search and Data Mining, Cambridge, UK, February 06, 2017 - February 10, 2017. ACM, New York, NY (2017)
791.
Conference Paper
Vafeiadis, V.: Program Verification Under Weak Memory Consistency Using Separation Logic. In: Computer Aided Verification, pp. 30 - 46 (Ed. Majumdar, R.). 29th International Conference on Computer-Aided Verification, Heidelberg, Germany, July 24, 2017 - July 28, 2017. Springer, Berlin (2017)
792.
Conference Paper
Vanga, M.; Bastoni, A.; Theiling, H.; Brandenburg, B.: Supporting Low-Latency, Low-Criticality Tasks in a Certified Mixed-Criticality OS. In: Proceedings of the 25th International Conference on Real-Time Networks and Systems, pp. 227 - 236. 25th International Conference on Real-Time Networks and Systems, Grenoble, France, October 04, 2017 - October 06, 2017. ACM, New York, NY (2017)
793.
Conference Paper
Zafar, M. B.; Valera, I.; Gomez Rodriguez, M.; Gummadi, K.; Weller, A.: From Parity to Preference-based Notions of Fairness in Classification. In: Fairness, Accountability, and Transparency in Machine Learning. 4th Workshop on Fairness, Accountability, and Transparency in Machine Learning , Halifax, Canada, August 14, 2017. (2017)
794.
Conference Paper
Zafar, M. B.; Valera, I.; Gomez Rodriguez, M.; Gummadi, K.; Weller,, A.: From Parity to Preference-based Notions of Fairness in Classification. In: Advances in Neural Information Processing Systems 30, pp. 229 - 239 (Eds. Guyon, I.; Luxburg, U. V.; Bengio, S.; Wallach, H.; Fergus, R. et al.). 31st Annual Conference on Neural Information Processing Systems, Long Beach, CA, USA, December 04, 2017 - December 09, 2017. Curran Associates (2017)
795.
Conference Paper
Zafar, M. B.; Valera, I.; Gomez Rodriguez, M.; Gummadi, K. P.: Fairness Constraints: Mechanisms for Fair Classification. In: Proceedings of the 20th International Conference on Artificial Intelligence and Statistics, pp. 962 - 970 (Eds. Singh, A.; Zhu, J.). 20th International Conference on Artificial Intelligence and Statistics, Fort Lauderdale, FL, USA, April 20, 2017 - April 22, 2017. (2017)
796.
Conference Paper
Zafar, M. B.; Valera, I.; Gomez Rodriguez, M.; Gummadi, K.: Fairness Beyond Disparate Treatment & Disparate Impact: Learning Classification without Disparate Mistreatment. In: WWW'17, pp. 1171 - 1180. 26th International Conference on World Wide Web , Perth, Australia, April 03, 2017 - April 07, 2017. ACM, New York, NY (2017)
797.
Conference Paper
Zarezade, A.; De, A.; Rabiee, H.; Gomez Rodriguez, M.: Cheshire: An Online Algorithm for Activity Maximization in Social Networks. In: 55th Annual Allerton Conference on Communications, Control, and Computing, Paper ThC2.3. 55th Annual Allerton Conference on Communications, Control, and Computing, Monticello, IL, USA, October 03, 2017 - October 06, 2017. (2017)
798.
Conference Paper
Zarezade, A.; Upadhyay, U.; Rabiee, H. R.; Gomez Rodriguez, M.: RedQueen: An Online Algorithm for Smart Broadcasting in Social Networks. In: WSDM'17, pp. 51 - 60. 10th ACM International Conference on Web Search and Data Mining, Cambridge, UK, February 06, 2017 - February 10, 2017. ACM, New York, NY (2017)
799.
Conference Paper
Ҫiҫek, E.; Barthe, G.; Gaboardi, M.; Garg, D.; Hoffmann, J.: Relational Cost Analysis. In: POPL'17, pp. 316 - 329 (Eds. Castagna, G.; Gordon, A. D.). 44th ACM SIGPLAN Symposium on Principles of Programming Languages, Paris, France, January 15, 2017 - January 21, 2017. ACM, New York, NY (2017)
800.
Conference Paper
Lahav, O.; Vafeiadis, V.: Explaining Relaxed Memory Models with Program Transformations. In: FM 2016: Formal Methods, pp. 479 - 495 (Eds. Fitzgerald, J.; Heitmeyer, C.; Gnesi, S.; Philippou, A.). 21st International Symposium on Formal Methods, Limassol, Cyprus, November 02, 2016 - November 11, 2016. Springer, Berlin (2016)
Go to Editor View