Computer Science

Search results

  • 2011

    FSR: Formal analysis and implementation toolkit for safe inter-domain routing

    Ren, Y., Zhou, W., Wang, A., Jia, L., Gurney, A. J. T., Loo, B. T. & Rexfordz, J., 2011, Proceedings of the ACM SIGCOMM 2011 Conference, SIGCOMM'11. p. 440-441 2 p. (Proceedings of the ACM SIGCOMM 2011 Conference, SIGCOMM'11).

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

    Open Access
    7 Scopus citations

  • FSR: Formal analysis and implementation toolkit for safe inter-domain routing

    Ren, Y., Zhou, W., Wang, A., Jia, L., Gurney, A. J. T., Loo, B. T. & Rexford, J., Aug 15 2011, In: Computer Communication Review. 41, 4, p. 440-441 2 p.

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

    3 Scopus citations

  • Genome-scale phylogenetic function annotation of large and diverse protein families

    Engelhardt Martin, B., Jordan, M. I., Srouji, J. R. & Brenner, S. E., Nov 2011, In: Genome Research. 21, 11, p. 1969-1980 12 p.

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

    Open Access
    48 Scopus citations

  • Goal-based caustics

    Papas, M., Jarosz, W., Jakob, W., Rusinkiewicz, S., Matusik, W. & Weyrich, T., 2011, In: Computer Graphics Forum. 30, 2, p. 503-511 9 p.

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

    71 Scopus citations

  • Going viral: Flash crowds in an open CDN

    Wendell, P. & Freedman, M. J., 2011, IMC'11 - Proceedings of the 2011 ACM SIGCOMM Internet Measurement Conference. p. 549-557 9 p. (Proceedings of the ACM SIGCOMM Internet Measurement Conference, IMC).

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

    58 Scopus citations

  • Grow your own representations: Computational constructivism

    Austerweil, J. L., Goldstone, R. L., Griffiths, T. L., Gureckis, T., Canini, K. & Jones, M., 2011, Expanding the Space of Cognitive Science - Proceedings of the 33rd Annual Meeting of the Cognitive Science Society, CogSci 2011. Carlson, L., Hoelscher, C. & Shipley, T. F. (eds.). The Cognitive Science Society, p. 2635-2636 2 p. (Expanding the Space of Cognitive Science - Proceedings of the 33rd Annual Meeting of the Cognitive Science Society, CogSci 2011).

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

  • Helping users shop for ISPs with internet nutrition labels

    Sundaresan, S., Feamster, N., Teixeira, R., Tang, A., Edwards, W. K., Grinter, R. E., Chetty, M. & De Donato, W., 2011, Proceedings of the 2nd ACM SIGCOMM Workshop on Home Networks, HomeNets'11. p. 13-18 6 p. (Proceedings of the 2nd ACM SIGCOMM Workshop on Home Networks, HomeNets'11).

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

    Open Access
    15 Scopus citations

  • Hiding amongst the clouds: A proposal for cloud-based onion routing

    Jones, N., Arye, M., Cesareo, J. & Freedman, M. J., Jan 1 2011.

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

  • Hiding amongst the clouds: A proposal for cloud-based onion routing

    Jones, N., Arye, M., Cesareo, J. & Freedman, M. J., 2011.

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

    11 Scopus citations

  • Hierarchical semantic indexing for large scale image retrieval

    Deng, J., Berg, A. C. & Fei-Fei, L., 2011, 2011 IEEE Conference on Computer Vision and Pattern Recognition, CVPR 2011. IEEE Computer Society, p. 785-792 8 p. 5995516. (Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition).

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

    Open Access
    182 Scopus citations

  • HiPEAC'11 - Proceedings of the 6th International Conference on High Performance and Embedded Architectures and Compilers: Preface

    Katevenis, M. & Martonosi, M. R., 2011, In: HiPEAC'11 - Proceedings of the 6th International Conference on High Performance and Embedded Architectures and Compilers. p. III-IV

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

  • How many tiers? Pricing in the internet transit market

    Valancius, V., Lumezanu, C., Feamster, N., Johari, R. & Vazirani, V. V., 2011, Proceedings of the ACM SIGCOMM 2011 Conference, SIGCOMM'11. p. 194-205 12 p. (Proceedings of the ACM SIGCOMM 2011 Conference, SIGCOMM'11).

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

    Open Access
    99 Scopus citations

  • Identifying important places in people's lives from cellular network data

    Isaacman, S., Becker, R., Cáceres, R., Kobourov, S., Martonosi, M., Rowland, J. & Varshavsky, A., 2011, Pervasive Computing - 9th International Conference, Pervasive 2011, Proceedings. p. 133-151 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6696 LNCS).

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

    Open Access
    301 Scopus citations

  • Identifying performance bottlenecks in CDNs through TCP-level monitoring

    Sun, P., Yu, M., Freedman, M. J. & Rexford, J. L., 2011, Proceedings of the 1st ACM SIGCOMM Workshop on Measurements Up the Stack, W-MUST'11. p. 49-54 6 p. (Proceedings of the 1st ACM SIGCOMM Workshop on Measurements Up the Stack, W-MUST'11).

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

    Open Access
    24 Scopus citations

  • In memoriam: Philippe flajolet, the father of analytic combinatorics

    Salvy, B., Sedgewick, R., Soria, M., Szpankowski, W. & Vallee, B., 2011, In: RAIRO - Theoretical Informatics and Applications. 45, 4, p. 371-373 3 p.

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

    Open Access

  • Instrumenting home networks

    Calvert, K. L., Edwards, W. K., Feamster, N., Grinter, R. E., Deng, Y. & Zhou, X., Jan 2011, In: Computer Communication Review. 41, 1, p. 84-89 6 p.

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

    30 Scopus citations

  • Interprocedural exception analysis for C++

    Prabhu, P., Maeda, N., Balakrishnan, G., Ivančić, F. & Gupta, A., 2011, ECOOP 2011 - Object-Oriented Programming - 25th European Conference, Proceedings. p. 583-608 26 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6813 LNCS).

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

    Open Access
    25 Scopus citations

  • Kakeya sets, new mergers, and old extractors?

    Dvir, Z. & Wigderson, A., 2011, In: SIAM Journal on Computing. 40, 3, p. 778-792 15 p.

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

    12 Scopus citations

  • Learning how to match fresco fragments

    Funkhouser, T., Shin, H., Toler-Franklin, C., Castañeda, A. G., Brown, B., Dobkin, D., Rusinkiewicz, S. & Weyrich, T., Nov 2011, In: Journal on Computing and Cultural Heritage. 4, 2, 7.

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

    Open Access
    48 Scopus citations

  • Linear maps

    Lahiri, S. K., Qadeer, S. & Walker, D., 2011, PLPV'11 - Proceedings of the 5th ACM Workshop on Programming Languages Meets Program Verification. p. 3-14 12 p. (PLPV'11 - Proceedings of the 5th ACM Workshop on Programming Languages Meets Program Verification).

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

    16 Scopus citations

  • Link-state routing with hop-by-hop forwarding can achieve optimal traffic engineering

    Xu, D., Chiang, M. & Rexford, J. L., Dec 2011, In: IEEE/ACM Transactions on Networking. 19, 6, p. 1717-1730 14 p., 5743044.

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

    Open Access
    111 Scopus citations

  • Local actions for a curry-style operational semantics

    Stewart, G. & Appel, A. W., 2011, PLPV'11 - Proceedings of the 5th ACM Workshop on Programming Languages Meets Program Verification. p. 31-42 12 p. (PLPV'11 - Proceedings of the 5th ACM Workshop on Programming Languages Meets Program Verification).

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

    Open Access
    2 Scopus citations

  • Low-infrastructure methods to improve internet access for mobile users in emerging regions

    Isaacman, S. & Martonosi, M. R., 2011, Proceedings of the 20th International Conference Companion on World Wide Web, WWW 2011. p. 473-482 10 p. (Proceedings of the 20th International Conference Companion on World Wide Web, WWW 2011).

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

    11 Scopus citations

  • Management of multilevel, multiclient cache hierarchies with application hints

    Yadgar, G., Factor, M., Li, K. & Schuster, A., May 2011, In: ACM Transactions on Computer Systems. 29, 2, 5.

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

    33 Scopus citations

  • Matching vector codes

    Dvir, Z., Gopalan, P. & Yekhanin, S., 2011, In: SIAM Journal on Computing. 40, 4, p. 1154-1178 25 p.

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

    52 Scopus citations

  • Maximum flows by incremental breadth-First search

    Goldberg, A. V., Hed, S., Kaplan, H., Tarjan, R. E. & Werneck, R. F., 2011, Algorithms, ESA 2011 - 19th Annual European Symposium, Proceedings. p. 457-468 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6942 LNCS).

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

    59 Scopus citations

  • Modular protections against non-control data attacks

    Schlesinger, C., Pattabiraman, K., Swamy, N., Walker, D. & Zorn, B., 2011, Proceedings - 24th IEEE Computer Security Foundations Symposium, CSF 2011. IEEE Computer Society, p. 131-145 15 p. 5992159. (Proceedings - IEEE Computer Security Foundations Symposium).

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

    13 Scopus citations

  • Monitoring the initial DNS behavior of malicious domains

    Hao, S., Feamster, N. & Pandrangi, R., 2011, IMC'11 - Proceedings of the 2011 ACM SIGCOMM Internet Measurement Conference. p. 269-278 10 p. (Proceedings of the ACM SIGCOMM Internet Measurement Conference, IMC).

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

    Open Access
    63 Scopus citations

  • Network architecture for joint failure recovery and traffic engineering

    Suchara, M., Xu, D., Doverspike, R., Johnson, D. & Rexford, J. L., 2011, SIGMETRICS'11 - Proceedings of the 2011 ACM SIGMETRICS International Conference on Measurement and Modeling of Computer Systems. 1 SPEC. ISSUE ed. Association for Computing Machinery, Vol. 39. p. 97-108 12 p.

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

    74 Scopus citations

  • New algorithms for learning in presence of errors

    Arora, S. & Ge, R., 2011, Automata, Languages and Programming - 38th International Colloquium, ICALP 2011, Proceedings. PART 1 ed. p. 403-415 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6755 LNCS, no. PART 1).

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

    145 Scopus citations

  • New tools for graph coloring

    Arora, S. & Ge, R., 2011, Approximation, Randomization, and Combinatorial Optimization: Algorithms and Techniques - 14th International Workshop, APPROX 2011 and 15th International Workshop, RANDOM 2011, Proceedings. p. 1-12 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6845 LNCS).

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

    20 Scopus citations

  • Nucleosome-coupled expression differences in closely-related species

    Guan, Y., Yao, V., Tsui, K., Gebbia, M., Dunham, M. J., Nislow, C. & Troyanskaya, O. G., Sep 26 2011, In: BMC Genomics. 12, 466.

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

    Open Access
    7 Scopus citations

  • Online geometric reconstruction

    Chazelle, B. & Seshadhri, C., Jul 2011, In: Journal of the ACM. 58, 4, 14.

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

    9 Scopus citations

  • Online measurement of large traffic aggregates on commodity switches

    Jose, L., Yu, M. & Rexford, J., 2011.

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

    111 Scopus citations

  • On Matrix Rigidity and Locally Self-correctable Codes

    Dvir, Z., Jun 2011, In: Computational Complexity. 20, 2, p. 367-388 22 p.

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

    11 Scopus citations

  • OpenFlow-based server load balancing gone wild

    Wang, R., Butnariu, D. & Rexford, J., 2011.

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

    306 Scopus citations

  • PACMan: Prefetch-aware cache management for high performance caching

    Wu, C. J., Jaleel, A., Martonosi, M. R., Steely, S. C. & Emer, J., 2011, MICRO 44 - Proceedings of the 44th Annual IEEE/ACM Symposium on Microarchitecture. p. 442-453 12 p. (Proceedings of the Annual International Symposium on Microarchitecture, MICRO).

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

    92 Scopus citations

  • Parallel assertions for debugging parallel programs

    Schwartz-Narbonne, D., Liu, F., Pondicherry, T., August, D. & Malik, S., 2011, 9th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2011. p. 181-190 10 p. 5970525. (9th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2011).

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

    Open Access
    7 Scopus citations

  • Parallelism orchestration using DoPE: The degree of parallelism executive

    Raman, A., Kim, H., Oh, T., Lee, J. W. & August, D. I., 2011, PLDI'11 - Proceedings of the 2011 ACM Conference on Programming Language Design and Implementation. Association for Computing Machinery, p. 26-37 12 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).

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

    51 Scopus citations

  • Parallelization libraries: Characterizing and reducing overheads

    Bhattacharjee, A., Contreras, G. & Martonosi, M., Apr 2011, In: Transactions on Architecture and Code Optimization. 8, 1, 5.

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

    Open Access
    19 Scopus citations

  • Pegasos: Primal estimated sub-gradient solver for SVM

    Shalev-Shwartz, S., Singer, Y., Srebro, N. & Cotter, A., Mar 2011, In: Mathematical Programming. 127, 1, p. 3-30 28 p.

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

    Open Access
    821 Scopus citations

  • Perceptual models of viewpoint preference

    Secord, A., Lu, J., Finkelstein, A., Singh, M. & Nealen, A., Oct 2011, In: ACM Transactions on Graphics. 30, 5, 109.

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

    Open Access
    131 Scopus citations

  • PILGRM: An interactive data-driven discovery platform for expert biologists

    Greene, C. S. & Troyanskaya, O. G., Jul 1 2011, In: Nucleic acids research. 39, SUPPL. 2, p. W368-W374

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

    Open Access
    18 Scopus citations

  • Predictive analysis for detecting serializability violations through Trace Segmentation

    Sinha, A., Malik, S., Wang, C. & Gupta, A., 2011, 9th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2011. p. 99-108 10 p. 5970516. (9th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2011).

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

    28 Scopus citations

  • Preface

    Atserias, A., Beigel, R., Gavinsky, D., Kaufman, T., Koebler, J., Pitassi, T., Raghavendra, P., Rao, A., Ran, R., Reingold, O. & Saxena, N., 2011, In: Proceedings of the Annual IEEE Conference on Computational Complexity. p. 8 1 p., 5959829.

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

  • Profiling network performance for multi-tier data center applications

    Yu, M., Greenberg, A., Maltz, D., Rexford, J., Yuan, L., Kandula, S. & Kim, C., Jan 1 2011, p. 57-70. 14 p.

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

    93 Scopus citations

  • Random oracles in a quantum world

    Boneh, D., Dagdelen, Ö., Fischlin, M., Lehmann, A., Schaffner, C. & Zhandry, M., 2011, Advances in Cryptology, ASIACRYPT 2011 - 17th International Conference on the Theory and Application of Cryptology and Information Security, Proceedings. p. 41-69 29 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7073 LNCS).

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

    Open Access
    256 Scopus citations

  • Ranges of human mobility in Los Angeles and New York

    Isaacman, S., Becker, R., Caceres, R., Kobourov, S., Martonosi, M. R., Rowland, J. & Varshavsky, A., 2011, 2011 IEEE International Conference on Pervasive Computing and Communications Workshops, PERCOM Workshops 2011. p. 88-93 6 p. 5766977. (2011 IEEE International Conference on Pervasive Computing and Communications Workshops, PERCOM Workshops 2011).

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

    Open Access
    52 Scopus citations

  • Rank bounds for design matrices with applications toc ombinatorial geometry and locally correctable codes

    Barak, B., Dvir, Z., Yehudayoff, A. & Wigderson, A., 2011, STOC'11 - Proceedings of the 43rd ACM Symposium on Theory of Computing. Association for Computing Machinery, p. 519-528 10 p. (Proceedings of the Annual ACM Symposium on Theory of Computing).

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

    Open Access
    46 Scopus citations

  • Rank-pairing heaps

    Haeupler, B., Sen, S. & Tarjan, R. E., 2011, In: SIAM Journal on Computing. 40, 6, p. 1463-1485 23 p.

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

    17 Scopus citations