School of Arts and Sciences, Computer Science

Fingerprint Dive into the research topics where School of Arts and Sciences, Computer Science is active. These topic labels come from the works of this organization's members. Together they form a unique fingerprint.

  • Network Recent external collaboration on country level. Dive into details by clicking on the dots.

    Projects

    Research Output

    • 2 Citations
    • 1 h-Index
    • 10 Conference contribution
    • 6 Article

    Improved Truthful Mechanisms for Combinatorial Auctions with Submodular Bidders

    Assadi, S. & Singla, S., Nov 2019, Proceedings - 2019 IEEE 60th Annual Symposium on Foundations of Computer Science, FOCS 2019. IEEE Computer Society, p. 233-248 16 p. 8948592. (Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS; vol. 2019-November).

    Rutgers, The State University, Princeton University

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Heavy-hitter detection entirely in the data plane

    Sivaraman, V., Narayana, S., Rottenstreich, O., Rexford, J. & Muthukrishnan, S., Apr 3 2017, SOSR 2017 - Proceedings of the 2017 Symposium on SDN Research. Association for Computing Machinery, Inc, p. 164-176 13 p. (SOSR 2017 - Proceedings of the 2017 Symposium on SDN Research).

    Rutgers, The State University, Princeton University

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Alive-FP: Automated verification of floating point based peephole optimizations in LLVM

    Menendez, D., Nagarakatte, S. & Gupta, A., Jan 1 2016, Static Analysis - 23rd International Symposium, SAS 2016, Proceedings. Rival, X. (ed.). Springer Verlag, p. 317-337 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9837 LNCS).

    Rutgers, The State University, Princeton University

    Research output: Chapter in Book/Report/Conference proceedingConference contribution