Computer Science

Search results

  • 2012

    Quantitative measurement of allele-specific protein expression in a diploid yeast hybrid by LC-MS

    Khan, Z., Bloom, J. S., Amini, S., Singh, M., Perlman, D. H., Caudy, A. A. & Kruglyak, L., 2012, In: Molecular Systems Biology. 8, 602.

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

    Open Access
    26 Scopus citations

  • Reconstructing cancer genomes from paired-end sequencing data.

    Oesper, L., Ritz, A., Aerni, S. J., Drebin, R. & Raphael, B. J., 2012, In: BMC bioinformatics. 13 Suppl 6, p. S10 S10.

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

    Open Access
    35 Scopus citations

  • Reconstructing genome mixtures from partial adjacencies.

    Mahmoody, A., Kahn, C. L. & Raphael, B. J., 2012, In: Unknown Journal. 13 Suppl 19, p. S9 S9.

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

    Open Access
    4 Scopus citations

  • Refactoring network infrastructure to improve manageability: A case study of home networking

    Chetty, M., Feamster, N. & Tech, G., Jul 2012, In: Computer Communication Review. 42, 3, p. 54-61 8 p.

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

    10 Scopus citations

  • Rehoming edge links for better traffic engineering

    Keller, E., Schapira, M. & Rexford, J. L., Apr 2012, In: Computer Communication Review. 42, 2, p. 66-71 6 p.

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

    7 Scopus citations

  • Restriction access

    Dvir, Z., Rao, A., Wigderson, A. & Yehudayoff, A., 2012, ITCS 2012 - Innovations in Theoretical Computer Science Conference. p. 19-33 15 p. (ITCS 2012 - Innovations in Theoretical Computer Science Conference).

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

    21 Scopus citations

  • Re-wiring activity of malicious networks

    Konte, M. & Feamster, N., 2012, Passive and Active Measurement - 13th International Conference, PAM 2012, Proceedings. p. 116-125 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7192 LNCS).

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

    3 Scopus citations

  • Robust and Scientifically Reliable Rock Art Documentation from Digital Photographs

    Mudge, M., Schroer, C., Noble, T., Matthews, N., Rusinkiewicz, S. & Toler-Franklin, C., Jul 23 2012, A Companion to Rock Art. John Wiley and Sons, p. 644-659 16 p.

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

    34 Scopus citations

  • Runtime asynchronous fault tolerance via speculation

    Zhang, Y., Ghosh, S., Huang, J., Lee, J. W., Mahlke, S. A. & August, D. I., 2012, Proceedings - International Symposium on Code Generation and Optimization, CGO 2012. p. 145-154 10 p. (Proceedings - International Symposium on Code Generation and Optimization, CGO 2012).

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

    Open Access
    25 Scopus citations

  • Scalable inference of overlapping communities

    Gopalan, P., Mimno, D., Gerrish, S. M., Freedman, M. J. & Blei, D. M., 2012, Advances in Neural Information Processing Systems 25: 26th Annual Conference on Neural Information Processing Systems 2012, NIPS 2012. p. 2249-2257 9 p. (Advances in Neural Information Processing Systems; vol. 3).

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

    63 Scopus citations

  • Schelling points on 3D surface meshes

    Chen, X., Saparov, A., Pang, B. & Funkhouser, T., Jul 2012, In: ACM Transactions on Graphics. 31, 4, 29.

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

    Open Access
    110 Scopus citations

  • Secure identity-based encryption in the quantum random oracle model

    Zhandry, M., 2012, Advances in Cryptology, CRYPTO 2012 - 32nd Annual Cryptology Conference, Proceedings. p. 758-775 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7417 LNCS).

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

    Open Access
    98 Scopus citations

  • Separating multilinear branching programs and formulas

    Dvir, Z., Malod, G., Perifel, S. & Yehudayoff, A., 2012, STOC '12 - Proceedings of the 2012 ACM Symposium on Theory of Computing. p. 615-623 9 p. (Proceedings of the Annual ACM Symposium on Theory of Computing).

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

    Open Access
    31 Scopus citations

  • Serial two-photon tomography for automated ex vivo mouse brain imaging

    Ragan, T., Kadiri, L. R., Venkataraju, K. U., Bahlmann, K., Sutin, J., Taranda, J., Arganda-Carreras, I., Kim, Y., Seung, H. S. & Osten, P., Mar 2012, In: Nature Methods. 9, 3, p. 255-258 4 p.

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

    Open Access
    486 Scopus citations

  • Serval: An end-host stack for service-centric networking

    Nordströ, E., Shue, D., Gopalan, P., Kiefer, R., Arye, M., Ko, S. Y., Rexford, J. & Freedman, M. J., Jan 1 2012, p. 85-98. 14 p.

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

  • Serval: An end-host stack for service-centric networking

    Nordströ, E., Shue, D., Gopalan, P., Kiefer, R., Arye, M., Ko, S. Y., Rexford, J. & Freedman, M. J., 2012, p. 85-98. 14 p.

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

    101 Scopus citations

  • Simple formulas for quasiconformal plane deformations

    Lipman, Y., Kim, V. G. & Funkhouser, T. A., Aug 2012, In: ACM Transactions on Graphics. 31, 5, 124.

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

    19 Scopus citations

  • Social networking with frientegrity: Privacy and integrity with an untrusted provider

    Feldman, A. J., Blankstein, A., Freedman, M. J. & Felten, E. W., Jan 1 2012, p. 647-662. 16 p.

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

    32 Scopus citations

  • Speculative separation for privatization and reductions

    Johnson, N. P., Kim, H., Prabhu, P., Zaks, A. & August, D. I., 2012, PLDI'12 - Proceedings of the 2012 ACM SIGPLAN Conference on Programming Language Design and Implementation. p. 359-369 11 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).

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

    18 Scopus citations

  • Stargazer: Automated regression-based GPU design space exploration

    Jia, W., Shaw, K. A. & Martonosi, M., 2012, ISPASS 2012 - IEEE International Symposium on Performance Analysis of Systems and Software. p. 2-13 12 p. 6189201. (ISPASS 2012 - IEEE International Symposium on Performance Analysis of Systems and Software).

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

    73 Scopus citations

  • Strict Fibonacci heaps

    Brodal, G. S., Lagogiannis, G. & Tarjan, R. E., 2012, STOC '12 - Proceedings of the 2012 ACM Symposium on Theory of Computing. p. 1177-1184 8 p. (Proceedings of the Annual ACM Symposium on Theory of Computing).

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

    31 Scopus citations

  • Subspace evasive sets

    Dvir, Z. & Lovett, S., 2012, STOC '12 - Proceedings of the 2012 ACM Symposium on Theory of Computing. p. 351-358 8 p. (Proceedings of the Annual ACM Symposium on Theory of Computing).

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

    52 Scopus citations

  • Symmetry-guided texture synthesis and manipulation

    Kim, V. G., Lipman, Y. & Funkhouser, T., May 2012, In: ACM Transactions on Graphics. 31, 3, 22.

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

    23 Scopus citations

  • Temporally coherent completion of dynamic shapes

    Li, H., Luo, L., Vlasic, D., Peers, P., Popović, J., Pauly, M. & Rusinkiewicz, S., Jan 2012, In: ACM Transactions on Graphics. 31, 1, 2.

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

    Open Access
    85 Scopus citations

  • Testing permanent oracles - Revisited

    Arora, S., Bhattacharyya, A., Manokaran, R. & Sachdeva, S., 2012, Approximation, Randomization, and Combinatorial Optimization: Algorithms and Techniques - 15th International Workshop, APPROX 2012, and 16th International Workshop, RANDOM 2012, Proceedings. p. 362-373 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7408 LNCS).

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

    Open Access
    1 Scopus citations

  • The dynamics of influence systems

    Chazelle, B., 2012, In: Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS. p. 311-320 10 p., 6375309.

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

    Open Access
    12 Scopus citations

  • The geomorphic view of networking: A network model and its uses

    Zave, P. & Rexford, J. L., 2012, Proceedings of the 7th Workshop on Middleware for Next Generation Internet Computing, MW4NG 2012 - Co-located with the 13th ACM/IFIP/USENIX International Middleware Conference, Middleware 2012. (Proceedings of the 7th Workshop on Middleware for Next Generation Internet Computing, MW4NG 2012 - Co-located with the 13th ACM/IFIP/USENIX International Middleware Conference, Middleware 2012).

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

    2 Scopus citations

  • The impact of electricity pricing schemes on storage adoption in Ontario

    Carpenter, T., Singla, S., Azimzadeh, P. & Keshav, S., 2012, Proceedings of the 3rd International Conference on Future Energy Systems: "Where Energy, Computing and Communication Meet", e-Energy 2012. 18. (Proceedings of the 3rd International Conference on Future Energy Systems: "Where Energy, Computing and Communication Meet", e-Energy 2012).

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

    28 Scopus citations

  • Thurston equivalence to a rational map is decidable

    Sylvain, B., Braverman, M. & Yampolsky, M. Y., 2012, In: Moscow Mathematical Journal. 12, 4, p. 747-763 17 p.

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

    Open Access
    8 Scopus citations

  • Tissue-Specific Functional Networks for Prioritizing Phenotype and Disease Genes

    Guan, Y., Gorenshteyn, D., Burmeister, M., Wong, A. K., Schimenti, J. C., Handel, M. A., Bult, C. J., Hibbs, M. A. & Troyanskaya, O. G., Sep 2012, In: PLoS computational biology. 8, 9, e1002694.

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

    Open Access
    94 Scopus citations

  • Towards a cost model for network traffic

    Motiwala, M., Dhamdhere, A., Feamster, N. & Lakhina, A., Jan 2012, In: Computer Communication Review. 42, 1, p. 55-60 6 p.

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

    17 Scopus citations

  • Towards deterministic tree code constructions

    Braverman, M., 2012, ITCS 2012 - Innovations in Theoretical Computer Science Conference. p. 161-167 7 p. (ITCS 2012 - Innovations in Theoretical Computer Science Conference).

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

    53 Scopus citations

  • Toward software-defined cellular networks

    Li, L. E., Mao, Z. M. & Rexford, J. L., 2012, Proceedings - European Workshop on Software Defined Networks, EWSDN 2012. p. 7-12 6 p. 6385040. (Proceedings - European Workshop on Software Defined Networks, EWSDN 2012).

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

    Open Access
    321 Scopus citations

  • Unsupervised conversion of 3D models for interactive metaverses

    Terrace, J., Cheslack-Postava, E., Levis, P. & Freedman, M. J., 2012, In: Proceedings - IEEE International Conference on Multimedia and Expo. p. 902-907 6 p., 6298517.

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

    Open Access
    7 Scopus citations

  • User-driven dynamic traffic prioritization for home networks

    Martin, J. & Feamster, N., 2012, W-MUST'12 - ACM Proceedings of the Workshop on Measurements Up and Down the Stack. p. 19-23 5 p. (W-MUST'12 - ACM Proceedings of the Workshop on Measurements Up and Down the Stack).

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

    18 Scopus citations

  • Verified heap theorem prover by paramodulation

    Stewart, G., Beringer, L. & Appel, A. W., 2012, ICFP'12 - Proceedings of the 2012 ACM SIGPLAN International Conference on Functional Programming. p. 3-14 12 p. (Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP).

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

    5 Scopus citations

  • Verified heap theorem prover by paramodulation

    Stewart, G., Beringer, L. & Appel, A. W., Sep 2012, In: ACM SIGPLAN Notices. 47, 9, p. 3-14 12 p.

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

    4 Scopus citations

  • Virtual switching without a hypervisor for a more secure cloud

    Jin, X., Keller, E. & Rexford, J., 2012.

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

    12 Scopus citations

  • Where do people draw lines?

    Cole, F., Golovinskiy, A., Limpaecher, A., Barros, H. S., Finkelstein, A., Funkhouser, T. & Rusinkiewicz, S., Jan 2012, In: Communications of the ACM. 55, 1, p. 107-115 9 p.

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

    19 Scopus citations
  • 2011

    Accurate proteome-wide protein quantification from high-resolution 15N mass spectra

    Khan, Z., Amini, S., Bloom, J. S., Ruse, C., Caudy, A. A., Kruglyak, L., Singh, M., Perlman, D. H. & Tavazoie, S., Dec 19 2011, In: Genome biology. 12, 12, R122.

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

    Open Access
    14 Scopus citations

  • Accurate quantification of functional analogy among close homologs

    Chikina, M. D. & Troyanskaya, O. G., Feb 2011, In: PLoS computational biology. 7, 2, e1001074.

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

    Open Access
    25 Scopus citations

  • Adaptive subgradient methods for online learning and stochastic optimization

    Duchi, J., Hazan, E. & Singer, Y., Jul 2011, In: Journal of Machine Learning Research. 12, p. 2121-2159 39 p.

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

    6805 Scopus citations

  • Adaptive timekeeping replacement: Fine-grained capacity management for shared CMP caches

    Wu, C. J. & Martonosi, M. R., Apr 2011, In: Transactions on Architecture and Code Optimization. 8, 1, 3.

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

    Open Access
    14 Scopus citations

  • Algorithms to automatically quantify the geometric similarity of anatomical surfaces

    Boyer, D. M., Lipman, Y., St Clair, E., Puente, J., Patel, B. A., Funkhouser, T., Jernvall, J. & Daubechies, I., Nov 8 2011, In: Proceedings of the National Academy of Sciences of the United States of America. 108, 45, p. 18221-18226 6 p.

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

    Open Access
    120 Scopus citations

  • An expanded binding model for Cys2His2 zinc finger protein-DNA interfaces

    Persikov, A. V. & Singh, M., Jun 2011, In: Physical Biology. 8, 3, 035010.

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

    Open Access
    26 Scopus citations

  • An ontology-based approach to linking model organisms and resources to human diseases

    Mungall, C. J., Anderson, D., Bandrowski, A., Canada, B., Chatyr-Aryamontri, A., Cheng, K., Conn, P. M., Dolinski, K., Ellisman, M., Eppig, J., Grethe, J. S., Kemnitz, J., Iadonato, S., Larson, S. D., Magness, C., Martone, M. E., Tyers, M., Torniai, C., Troyanskaya, O. G. & Turner, J. & 2 others, Westerfield, M. & Haendel, M. A., 2011, In: CEUR Workshop Proceedings. 833, p. 263-265 3 p.

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

  • Architecting for innovation

    Koponen, T., Shenker, S., Balakrishnan, H., Feamster, N. G., Ganichev, I., Ghodsi, A., Godfrey, P. B., McKeown, N., Parulkar, G., Raghavan, B., Rexford, J. L., Arianfar, S. & Kuptsov, D., Jul 2011, In: Computer Communication Review. 41, 3, p. 24-36 13 p.

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

    Open Access
    76 Scopus citations

  • As simple as possible - But not more so

    Bellovin, S. M., Bradner, S. O., Diffie, W., Landau, S. & Rexford, J. L., Aug 2011, In: Communications of the ACM. 54, 8, p. 30-33 4 p., 1978553.

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

    4 Scopus citations

  • A survey of the practice of computational science

    Prabhu, P., Kim, H., Oh, T., Jablin, T. B., Johnson, N. P., Zoufaly, M., Raman, A., Liu, F., Walker, D. P., Zhang, Y., Ghosh, S., August, D. I., Huang, J. & Beard, S., 2011, State of the Practice Reports, SC'11. 19. (State of the Practice Reports, SC'11).

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

    Open Access
    39 Scopus citations

  • A survey of virtual LAN usage in campus networks

    Yu, M., Rexford, J. L., Sun, X., Rao, S. & Feamster, N. G., Jul 2011, In: IEEE Communications Magazine. 49, 7, p. 98-103 6 p., 5936161.

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

    Open Access
    35 Scopus citations