Computer Science

Search results

  • 2012

    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
    111 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
    100 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
    487 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., 2012, p. 85-98. 14 p.

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

    101 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

  • 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

    74 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

    54 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
    88 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
    95 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
    324 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
    8 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., Sep 2012, In: ACM SIGPLAN Notices. 47, 9, p. 3-14 12 p.

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

    4 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

  • 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

  • A cost-aggregating integer linear program for motif finding

    Kingsford, C., Zaslavsky, E. & Singh, M., Dec 2011, In: Journal of Discrete Algorithms. 9, 4, p. 326-334 9 p.

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

    Open Access
    2 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

    6982 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
    121 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

  • Automatic CPU-GPU communication management and optimization

    Jablin, T. B., Prabhu, P., Jablin, J. A., Johnson, N. P., Beard, S. R. & August, D. I., 2011, PLDI'11 - Proceedings of the 2011 ACM Conference on Programming Language Design and Implementation. Association for Computing Machinery, p. 142-151 10 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).

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

    128 Scopus citations

  • BEST: A symbolic testing tool for predicting multi-threaded program failures

    Ganai, M. K., Arora, N., Wang, C., Gupta, A. & Balakrishnan, G., 2011, 2011 26th IEEE/ACM International Conference on Automated Software Engineering, ASE 2011, Proceedings. p. 596-599 4 p. 6100134. (2011 26th IEEE/ACM International Conference on Automated Software Engineering, ASE 2011, Proceedings).

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

    Open Access
    12 Scopus citations

  • BGP safety with spurious updates

    Suchara, M., Fabrikant, A. & Rexford, J., 2011, 2011 Proceedings IEEE INFOCOM. p. 2966-2974 9 p. 5935137. (Proceedings - IEEE INFOCOM).

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

    Open Access
    12 Scopus citations

  • Bilateral and multilateral exchanges for peer-assisted content distribution

    Aperjis, C., Johari, R. & Freedman, M. J., Oct 2011, In: IEEE/ACM Transactions on Networking. 19, 5, p. 1290-1303 14 p., 5729356.

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

    15 Scopus citations

  • Blended intrinsic maps

    Kim, V. G., Lipman, Y. & Funkhouser, T., Jul 2011, Proceedings of ACM SIGGRAPH 2011, SIGGRAPH 2011. 4 ed. Vol. 30. 79

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

    328 Scopus citations

  • Blended Intrinsic Maps

    Kim, V. G., Lipman, Y. & Funkhouser, T., Jul 1 2011, In: ACM Transactions on Graphics. 30, 4, p. 1-12 12 p.

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

    84 Scopus citations