Computer Science

Search results

  • 2013

    On rigid matrices and U-polynomials

    Alon, N. & Cohen, G., 2013, Proceedings - 2013 IEEE Conference on Computational Complexity, CCC 2013. p. 197-206 10 p. 6597762. (Proceedings of the Annual IEEE Conference on Computational Complexity).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    4 Scopus citations

  • On the convergence of the Hegselmann-Krause system

    Bhattacharyya, A., Braverman, M., Chazelle, B. & Nguyen, H. L., 2013, ITCS 2013 - Proceedings of the 2013 ACM Conference on Innovations in Theoretical Computer Science. p. 61-65 5 p. (ITCS 2013 - Proceedings of the 2013 ACM Conference on Innovations in Theoretical Computer Science).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    57 Scopus citations

  • Ontology-aware classification of tissue and cell-type signals in gene expression profiles across platforms and technologies

    Lee, Y. S., Krishnan, A., Zhu, Q. & Troyanskaya, O. G., Dec 1 2013, In: Bioinformatics. 29, 23, p. 3036-3044 9 p.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    21 Scopus citations

  • Optimizing the "One big switch" abstraction in software-defined networks

    Kang, N., Liu, Z., Rexford, J. L. & Walker, D. P., 2013, CoNEXT 2013 - Proceedings of the 2013 ACM International Conference on Emerging Networking Experiments and Technologies. Association for Computing Machinery, p. 13-24 12 p. (CoNEXT 2013 - Proceedings of the 2013 ACM International Conference on Emerging Networking Experiments and Technologies).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    249 Scopus citations

  • Parallel boosting with momentum

    Mukherjee, I., Canini, K., Frongillo, R. & Singer, Y., 2013, Machine Learning and Knowledge Discovery in Databases - European Conference, ECML PKDD 2013, Proceedings. PART 3 ed. p. 17-32 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8190 LNAI, no. PART 3).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    21 Scopus citations

  • Peeking behind the NAT: An empirical study of home networks

    Grover, S., Park, M. S., Sundaresan, S., Burnett, S., Kim, H. & Feamster, N., 2013, IMC 2013 - Proceedings of the 13th ACM Internet Measurement Conference. p. 377-389 13 p. (Proceedings of the ACM SIGCOMM Internet Measurement Conference, IMC).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    44 Scopus citations

  • Pixelated image abstraction with integrated user constraints

    Gerstner, T., Decarlo, D., Alexa, M., Finkelstein, A., Gingold, Y. & Nealen, A., 2013, In: Computers and Graphics (Pergamon). 37, 5, p. 333-347 15 p.

    Research output: Contribution to journal › Article › peer-review

    25 Scopus citations

  • Practical automatic loop specialization

    Oh, T., Kim, H., Johnson, N. P., Lee, J. W. & August, D. I., Apr 2013, In: ACM SIGPLAN Notices. 48, 4, p. 419-430 12 p.

    Research output: Contribution to journal › Article › peer-review

    6 Scopus citations

  • Probabilistic temporal logic falsification of cyber-physical systems

    Abbas, H., Fainekos, G., Sankaranarayanan, S., Ivancic, F. & Gupta, A., May 2013, In: Transactions on Embedded Computing Systems. 12, 2 SUPPL., 95.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    118 Scopus citations

  • Quantifying the benefits of joint content and network routing

    Valancius, V., Ravi, B., Feamster, N. & Snoeren, A. C., 2013, SIGMETRICS 2013 - Proceedings of the 2013 ACM SIGMETRICS International Conference on Measurement and Modeling of Computer Systems. 1 SPEC. ISS. ed. p. 243-254 12 p. (Performance Evaluation Review; vol. 41, no. 1 SPEC. ISS.).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    17 Scopus citations

  • Quantum-secure message authentication codes

    Boneh, D. & Zhandry, M., 2013, Advances in Cryptology, EUROCRYPT 2013 - 32nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Proceedings. p. 592-608 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7881 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    76 Scopus citations

  • RealBrush: Painting with examples of physical media

    Lu, J., Barnes, C., DiVerdi, S. & Finkelstein, A., Jul 2013, In: ACM Transactions on Graphics. 32, 4, 117.

    Research output: Contribution to journal › Article › peer-review

    79 Scopus citations

  • Real-time diagnosis of TCP performance in clouds

    Ghasemi, M., Benson, T. & Rexford, J. L., 2013, CoNEXT Student Workhop 2013 - Proceedings of the 2013 Workshop. p. 57-58 2 p. (CoNEXT Student Workhop 2013 - Proceedings of the 2013 Workshop).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Reducing GPU offload latency via fine-grained CPU-GPU synchronization

    Lustig, D. & Martonosi, M. R., 2013, 19th IEEE International Symposium on High Performance Computer Architecture, HPCA 2013. p. 354-365 12 p. 6522332. (Proceedings - International Symposium on High-Performance Computer Architecture).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    83 Scopus citations

  • Report of the DIMACS working group on abstractions for network services, architecture, and implementation

    Rexford, J. L. & Zave, P., Jan 2013, In: Computer Communication Review. 43, 1, p. 56-59 4 p.

    Research output: Contribution to journal › Article › peer-review

    5 Scopus citations

  • Revisiting a summer vacation: Digital restoration and typesetter forensics

    Bagley, S. R., Brailsford, D. F. & Kernighan, B. W., 2013, DocEng 2013 - Proceedings of the 2013 ACM Symposium on Document Engineering. Association for Computing Machinery, p. 3-12 10 p. (DocEng 2013 - Proceedings of the 2013 ACM Symposium on Document Engineering).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    1 Scopus citations

  • Scalable, optimal flow routing in datacenters via local link balancing

    Sen, S., Shue, D., Ihm, S. & Freedman, M. J., 2013, CoNEXT 2013 - Proceedings of the 2013 ACM International Conference on Emerging Networking Experiments and Technologies. Association for Computing Machinery, p. 151-162 12 p. (CoNEXT 2013 - Proceedings of the 2013 ACM International Conference on Emerging Networking Experiments and Technologies).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    104 Scopus citations

  • Scalable multi-class traffic management in data center backbone networks

    Ghosh, A., Ha, S., Crabbe, E. & Rexford, J. L., Dec 2013, In: IEEE Journal on Selected Areas in Communications. 31, 12, p. 2673-2684 12 p., 6678113.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    38 Scopus citations

  • Scalable network virtualization in software-defined networks

    Drutskoy, D., Keller, E. & Rexford, J. L., 2013, In: IEEE Internet Computing. 17, 2, p. 20-27 8 p., 6362137.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    269 Scopus citations

  • Scaling IP multicast on datacenter topologies

    Li, X. & Freedman, M. J., 2013, CoNEXT 2013 - Proceedings of the 2013 ACM International Conference on Emerging Networking Experiments and Technologies. Association for Computing Machinery, p. 61-72 12 p. (CoNEXT 2013 - Proceedings of the 2013 ACM International Conference on Emerging Networking Experiments and Technologies).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    66 Scopus citations

  • Search using queries on indistinguishable items

    Braverman, M. & Oshri, G., 2013, 30th International Symposium on Theoretical Aspects of Computer Science, STACS 2013. p. 610-621 12 p. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 20).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Secure signatures and chosen ciphertext security in a quantum computing world

    Boneh, D. & Zhandry, M., 2013, Advances in Cryptology, CRYPTO 2013 - 33rd Annual Cryptology Conference, Proceedings. PART 2 ed. p. 361-379 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8043 LNCS, no. PART 2).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    95 Scopus citations

  • SETSUDO: Perturbation-based testing framework for scalable distributed systems

    Joshi, P., Ganai, M., Balakrishnan, G., Gupta, A. & Papakonstantinou, N., Nov 3 2013, Proceedings of the 1st ACM SIGOPS Conference on Timely Results in Operating Systems, TRIOS 2013. Association for Computing Machinery, Inc, (Proceedings of the 1st ACM SIGOPS Conference on Timely Results in Operating Systems, TRIOS 2013).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    23 Scopus citations

  • SilverLine: Preventing data leaks from compromised web applications

    Mundada, Y., Ramachandran, A. & Feamster, N., 2013, Proceedings - 29th Annual Computer Security Applications Conference, ACSAC 2013. p. 329-338 10 p. (ACM International Conference Proceeding Series).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    6 Scopus citations

  • Simple Topological Features Reflect Dynamics and Modularity in Protein Interaction Networks

    Pritykin, Y. & Singh, M., Oct 2013, In: PLoS computational biology. 9, 10, e1003243.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    20 Scopus citations

  • SoftCell: Scalable and flexible cellular core network architecture

    Jin, X., Li, L. E., Vanbever, L. & Rexford, J. L., 2013, CoNEXT 2013 - Proceedings of the 2013 ACM International Conference on Emerging Networking Experiments and Technologies. Association for Computing Machinery, p. 163-174 12 p. (CoNEXT 2013 - Proceedings of the 2013 ACM International Conference on Emerging Networking Experiments and Technologies).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    311 Scopus citations

  • Soft heaps simplified

    Kaplan, H., Tarjan, R. E. & Zwick, U., 2013, In: SIAM Journal on Computing. 42, 4, p. 1660-1673 14 p.

    Research output: Contribution to journal › Article › peer-review

    4 Scopus citations

  • Stability selection for regression-based models of transcription factor-DNA binding specificity

    Mordelet, F., Horton, J., Hartemink, A. J., Engelhardt Martin, B. & Gordân, R., Jul 1 2013, In: Bioinformatics. 29, 13, p. i117-i125

    Research output: Contribution to journal › Article › peer-review

    Open Access
    41 Scopus citations

  • Starchart: Hardware and software optimization using recursive partitioning regression trees

    Jia, W., Shaw, K. A. & Martonosi, M. R., 2013, PACT 2013 - Proceedings of the 22nd International Conference on Parallel Architectures and Compilation Techniques. p. 257-267 11 p. 6618822. (Parallel Architectures and Compilation Techniques - Conference Proceedings, PACT).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    30 Scopus citations

  • Static analysis for concurrent programs with applications to data race detection

    Kahlon, V., Sankaranarayanan, S. & Gupta, A., Aug 2013, In: International Journal on Software Tools for Technology Transfer. 15, 4, p. 321-336 16 p.

    Research output: Contribution to journal › Article › peer-review

    10 Scopus citations

  • Structure-aware hair capture

    Luo, L., Li, H. & Rusinkiewicz, S., Jul 2013, In: ACM Transactions on Graphics. 32, 4, 76.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    84 Scopus citations

  • The NEBULA future internet architecture

    Anderson, T., Birman, K., Broberg, R., Caesar, M., Comer, D., Cotton, C., Freedman, M. J., Haeberlen, A., Ives, Z. G., Krishnamurthy, A., Lehr, W., Loo, B. T., Mazier̀es, D., Nicolosi, A., Smith, J. M., Stoica, I., Van Renesse, R., Walfish, M., Weatherspoon, H. & Yoo, C. S., 2013, The Future Internet - Future Internet Assembly 2013: Validated Results and New Horizons. Springer Verlag, p. 16-26 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7858 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    43 Scopus citations

  • TLB Improvements for chip multiprocessors: Inter-core cooperative prefetchers and shared last-level tlbs

    Lustig, D., Bhattacharjee, A. & Martonosi, M., Apr 2013, In: Transactions on Architecture and Code Optimization. 10, 1, 2.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    51 Scopus citations

  • Towards a better approximation for SPARSEST CUT?

    Arora, S., Ge, R. & Sinop, A. K., 2013, Proceedings - 2013 IEEE 54th Annual Symposium on Foundations of Computer Science, FOCS 2013. p. 270-279 10 p. 6686163. (Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    3 Scopus citations

  • Towards impactful routing research: Running your own (emulated) as on the (real) internet

    Schlinker, B., Zarifis, K., Cunha, I., Feamster, N., Katz-Bassett, E. & Yu, M., 2013, CoNEXT Student Workhop 2013 - Proceedings of the 2013 Workshop. Association for Computing Machinery, p. 31-33 3 p. (CoNEXT Student Workhop 2013 - Proceedings of the 2013 Workshop).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Understanding the domain registration behavior of spammers

    Hao, S., Thomas, M., Paxson, V., Feamster, N., Kreibich, C., Grier, C. & Hollenbeck, S., 2013, IMC 2013 - Proceedings of the 13th ACM Internet Measurement Conference. p. 63-75 13 p. (Proceedings of the ACM SIGCOMM Internet Measurement Conference, IMC).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    76 Scopus citations

  • Vanishing component analysis

    Livni, R., Lehavi, D., Schein, S., Nachlieli, H., Shalev-Shwartz, S. & Globerson, A., 2013, p. 597-605. 9 p.

    Research output: Contribution to conference › Paper › peer-review

    30 Scopus citations

  • Verifying pointer and string analyses with region type systems

    Beringer, L., Grabowski, R. & Hofmann, M., Jul 2013, In: Computer Languages, Systems and Structures. 39, 2, p. 49-65 17 p.

    Research output: Contribution to journal › Article › peer-review

    6 Scopus citations

  • Web performance bottlenecks in broadband access networks

    Sundaresan, S., Magharei, N., Feamster, N., Teixeira, R. & Crawford, S., 2013, SIGMETRICS 2013 - Proceedings of the 2013 ACM SIGMETRICS International Conference on Measurement and Modeling of Computer Systems. 1 SPEC. ISS. ed. p. 383-384 2 p. (Performance Evaluation Review; vol. 41, no. 1 SPEC. ISS.).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    10 Scopus citations

  • What happened to the crypto dream?, part 1

    Narayanan, A., 2013, In: IEEE Security and Privacy. 11, 2, p. 75-76 2 p., 6493328.

    Research output: Contribution to journal › Article › peer-review

    23 Scopus citations

  • What happened to the crypto dream?, Part 2

    Narayanan, A., 2013, In: IEEE Security and Privacy. 11, 3, p. 68-71 4 p., 6521314.

    Research output: Contribution to journal › Article › peer-review

    5 Scopus citations

  • Wide-baseline hair capture using strand-based refinement

    Luo, L., Zhang, C., Zhang, Z. & Rusinkiewicz, S., 2013, In: Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition. p. 265-272 8 p., 6618885.

    Research output: Contribution to journal › Conference article › peer-review

    Open Access
    21 Scopus citations
  • 2012

    #bias: Measuring the tweeting behavior of propagandists

    Lumezanu, C., Feamster, N. & Klein, H., 2012, ICWSM 2012 - Proceedings of the 6th International AAAI Conference on Weblogs and Social Media. p. 210-217 8 p. (ICWSM 2012 - Proceedings of the 6th International AAAI Conference on Weblogs and Social Media).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    40 Scopus citations

  • Abstractions for network update

    Reitblatt, M., Foster, N., Rexford, J. L., Schlesinger, C. & Walker, D. P., 2012, SIGCOMM'12 - Proceedings of the ACM SIGCOMM 2012 Conference Applications, Technologies, Architectures, and Protocols for Computer Communication. p. 323-334 12 p. (SIGCOMM'12 - Proceedings of the ACM SIGCOMM 2012 Conference Applications, Technologies, Architectures, and Protocols for Computer Communication).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    380 Scopus citations

  • Abstractions for network update

    Reitblatt, M., Foster, N., Rexford, J. L., Schlesinger, C. & Walker, D. P., 2012, Proceedings of the ACM SIGCOMM 2012 and Best Papers of the Co-located Workshops. 4 ed. p. 323-334 12 p. (Computer Communication Review; vol. 42, no. 4).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    172 Scopus citations

  • Accelerating last-mile web performance with popularity-based prefetching

    Sundaresan, S., Magharei, N., Feamster, N. & Teixeira, R., 2012, Proceedings of the ACM SIGCOMM 2012 and Best Papers of the Co-located Workshops. 4 ed. p. 303-304 2 p. (Computer Communication Review; vol. 42, no. 4).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    2 Scopus citations

  • Accelerating last-mile web performance with popularity-based prefetching

    Sundaresan, S., Magharei, N., Feamster, N. & Teixeira, R., 2012, SIGCOMM'12 - Proceedings of the ACM SIGCOMM 2012 Conference Applications, Technologies, Architectures, and Protocols for Computer Communication. p. 303-304 2 p. (SIGCOMM'12 - Proceedings of the ACM SIGCOMM 2012 Conference Applications, Technologies, Architectures, and Protocols for Computer Communication).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    5 Scopus citations

  • Accurate evaluation and analysis of functional genomics data and methods

    Greene, C. S. & Troyanskaya, O. G., Jul 2012, In: Annals of the New York Academy of Sciences. 1260, 1, p. 95-100 6 p.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    14 Scopus citations

  • A compiler and run-time system for network programming languages

    Monsanto, C., Foster, N., Harrison, R. & Walker, D., Jan 2012, In: ACM SIGPLAN Notices. 47, 1, p. 217-230 14 p.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    121 Scopus citations

  • A compiler and run-time system for network programming languages

    Monsanto, C., Foster, N., Harrison, R. & Walker, D., 2012, POPL'12 - Proceedings of the 39th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. p. 217-230 14 p. (Conference Record of the Annual ACM Symposium on Principles of Programming Languages).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    76 Scopus citations