Computer Science

Search results

  • 2011

    The PADS project: An overview

    Fisher, K. & Walker, D., 2011, Database Theory - ICDT 2011: 14th International Conference on Database Theory, Proceedings. Association for Computing Machinery, p. 11-17 7 p. (ACM International Conference Proceeding Series).

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

    31 Scopus citations

  • The patchmatch randomized matching algorithm for image manipulation

    Barnes, C., Goldman, D. B., Shechtman, E. & Finkelstein, A., Nov 2011, In: Communications of the ACM. 54, 11, p. 103-110 8 p.

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

    Open Access
    48 Scopus citations

  • There's something about MRAI: Timing diversity can exponentially worsen BGP convergence

    Fabrikant, A., Syed, U. & Rexford, J. L., 2011, 2011 Proceedings IEEE INFOCOM. p. 2975-2983 9 p. 5935139. (Proceedings - IEEE INFOCOM).

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

    37 Scopus citations

  • The SPARCHS project: Hardware support for software security

    Sethumadhavan, S., Stolfo, S. J., Keromytis, A., Yang, J. & August, D. I., 2011, Proceedings - 1st SysSec Workshop, SysSec 2011. p. 119-122 4 p. 6092781. (Proceedings - 1st SysSec Workshop, SysSec 2011).

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

    Open Access
    4 Scopus citations

  • Tight lower bounds for 2-query LCCs over finite fields

    Bhattacharyya, A., Dvir, Z., Shpilka, A. & Saraf, S., 2011, Proceedings - 2011 IEEE 52nd Annual Symposium on Foundations of Computer Science, FOCS 2011. p. 638-647 10 p. 6108225. (Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS).

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

    14 Scopus citations

  • Towards dimension expanders over finite fields

    Dvir, Z. & Shpilka, A., May 2011, In: Combinatorica. 31, 3, p. 305-320 16 p.

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

    8 Scopus citations

  • Towards Strong Nonapproximability Results in the Lovász-Schrijver Hierarchy

    Alekhnovich, M., Arora, S. & Tourlakis, I., Dec 2011, In: Computational Complexity. 20, 4, p. 615-648 34 p.

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

    8 Scopus citations

  • Using context to improve protein domain identification

    Ochoa, A., Llinás, M. & Singh, M., 2011, In: BMC bioinformatics. 12, 90.

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

    Open Access
    23 Scopus citations

  • Verified software toolchain (Invited talk)

    Appel, A. W., 2011, Programming Languages and Systems - 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Proceedings. p. 1-17 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6602 LNCS).

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

    Open Access
    111 Scopus citations

  • VeriSmall: Verified smallfoot shape analysis

    Appel, A. W., 2011, Certified Programs and Proofs - First International Conference, CPP 2011, Proceedings. p. 231-246 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7086 LNCS).

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

    Open Access
    8 Scopus citations

  • Wide-area routing dynamics of malicious networks

    Konte, M. & Feamster, N., 2011, Proceedings of the ACM SIGCOMM 2011 Conference, SIGCOMM'11. p. 432-433 2 p. (Proceedings of the ACM SIGCOMM 2011 Conference, SIGCOMM'11).

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

    Open Access
    1 Scopus citations

  • "You might also like:" Privacy risks of collaborative filtering

    Calandrino, J. A., Kilzer, A., Narayanan, A., Felten, E. W. & Shmatikov, V., 2011, Proceedings - 2011 IEEE Symposium on Security and Privacy, SP 2011. Institute of Electrical and Electronics Engineers Inc., p. 231-246 16 p. 5958032. (Proceedings - IEEE Symposium on Security and Privacy).

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

    Open Access
    255 Scopus citations
  • 2010

    A context-free markup language for semi-structured text

    Xi, Q. & Walker, D., 2010, PLDI'10 - Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation. p. 221-232 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

    Open Access
    3 Scopus citations

  • A context-free markup language for semi-structured text

    Xi, Q. & Walker, D., Jun 2010, In: ACM SIGPLAN Notices. 45, 6, p. 221-232 12 p.

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

    7 Scopus citations

  • Adaptive spatiotemporal node selection in dynamic networks

    Hari, P., McCabe, J. B. P., Banafato, J., Henry, M., Ko, K., Koukoumidis, E., Kremer, U., Martonosi, M. & Peh, L. S., 2010, PACT'10 - Proceedings of the 19th International Conference on Parallel Architectures and Compilation Techniques. Institute of Electrical and Electronics Engineers Inc., p. 227-236 10 p. (Parallel Architectures and Compilation Techniques - Conference Proceedings, PACT).

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

    Open Access
    1 Scopus citations

  • Adaptive subgradient methods for online learning and stochastic optimization

    Duchi, J., Hazan, E. & Singer, Y., 2010, COLT 2010 - The 23rd Conference on Learning Theory. p. 257-269 13 p. (COLT 2010 - The 23rd Conference on Learning Theory).

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

    357 Scopus citations

  • Adnostic: Privacy Preserving Targeted Advertising∗

    Toubiana, V., Narayanan, A., Boneh, D., Nissenbaum, H. & Barocas, S., 2010.

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

    190 Scopus citations

  • A logical mix of approximation and separation

    Hobor, A., Dockins, R. & Appel, A. W., 2010, Programming Languages and Systems - 8th Asian Symposium, APLAS 2010, Proceedings. p. 439-454 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6461 LNCS).

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

    Open Access

  • Analysis of population structure: A unifying framework and novel methods based on sparse factor analysis

    Engelhardt Martin, B. & Stephens, M., Sep 2010, In: PLoS genetics. 6, 9, e1001117.

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

    Open Access
    103 Scopus citations

  • Analyzing fracture patterns in theran wall paintings

    Shin, H., Doumas, C., Funkhouser, T., Rusinkiewicz, S., Steiglitz, K., Vlachopoulos, A. & Weyrich, T., 2010, VAST 2010 - 11th International Symposium on Virtual Reality, Archaeology and Intelligent Cultural Heritage. Artusi, A., Artusi, A., Joly, M., Lucet, G., Pitzalis, D. & Ribes, A. (eds.). Eurographics Association, p. 71-78 8 p. (VAST 2010 - 11th International Symposium on Virtual Reality, Archaeology and Intelligent Cultural Heritage).

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

    12 Scopus citations

  • A survey of BGP security issues and solutions

    Butler, K., Farley, T. R., McDaniel, P. & Rexford, J. L., Jan 2010, In: Proceedings of the IEEE. 98, 1, p. 100-122 23 p., 5357585.

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

    Open Access
    236 Scopus citations

  • A theory of indirection via approximation

    Hobor, A., Dockinsy, R. & Appel, A. W., Jan 2010, In: ACM SIGPLAN Notices. 45, 1, p. 171-184 14 p.

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

    9 Scopus citations

  • A theory of indirection via approximation

    Hobor, A., Dockins, R. & Appel, A. W., 2010, POPL'10 - Proceedings of the 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. p. 171-184 14 p. (Conference Record of the Annual ACM Symposium on Principles of Programming Languages).

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

    15 Scopus citations

  • Autonomous traffic engineering with self-configuring topologies

    Sundaresan, S., Lumezanu, C., Feamster, N. & Francois, P., 2010, In: Computer Communication Review. 40, 4, p. 417-418 2 p.

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

    1 Scopus citations

  • Autonomous traffic engineering with self-configuring topologies

    Sundaresan, S., Lumezanu, C., Feamster, N. & Francois, P., 2010, SIGCOMM'10 - Proceedings of the SIGCOMM 2010 Conference. p. 417-418 2 p. (SIGCOMM'10 - Proceedings of the SIGCOMM 2010 Conference).

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

    Open Access
    6 Scopus citations

  • Biharmonic distance

    Lipman, Y., Rustamov, R. M. & Funkhouser, T. A., 2010, In: ACM Transactions on Graphics. 29, 3, 27.

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

    164 Scopus citations

  • Building a fast, virtualized data plane with programmable hardware

    Anwer, M. B. & Feamster, N., Jan 7 2010, In: Computer Communication Review. 40, 1, p. 75-82 8 p.

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

    16 Scopus citations

  • Capping the brown energy consumption of internet services at low cost

    Le, K., Bianchini, R., Nguyen, T. D., Bilgir, O. & Martonosi, M., 2010, 2010 International Conference on Green Computing, Green Comp 2010. p. 3-14 12 p. 5598305. (2010 International Conference on Green Computing, Green Comp 2010).

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

    Open Access
    99 Scopus citations

  • CA-TSL: Energy adaptation for targeted system lifetime in sparse mobile Ad Hoc networks

    Zhang, P. & Martonosi, M., Dec 2010, In: IEEE Transactions on Mobile Computing. 9, 12, p. 1794-1808 15 p., 5530317.

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

    3 Scopus citations

  • Circumventing censorship with collage

    Burnett, S., Feamster, N. & Vempala, S., 2010, SIGCOMM'10 - Proceedings of the SIGCOMM 2010 Conference. p. 471-472 2 p. (SIGCOMM'10 - Proceedings of the SIGCOMM 2010 Conference).

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

    Open Access
    1 Scopus citations

  • Circumventing censorship with collage

    Burnett, S., Feamster, N. & Vempala, S., 2010, In: Computer Communication Review. 40, 4, p. 471-472 2 p.

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

  • Collaborative, privacy-preserving data aggregation at scale

    Applebaum, B., Ringberg, H., Freedman, M. J., Caesar, M. & Rexford, J. L., 2010, Privacy Enhancing Technologies - 10th International Symposium, PETS 2010, Proceedings. p. 56-74 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6205 LNCS).

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

    31 Scopus citations

  • Composite objective mirror descent

    Duchi, J. C., Shalev-Shwartz, S., Singer, Y. & Tewari, A., 2010, COLT 2010 - The 23rd Conference on Learning Theory. p. 14-26 13 p. (COLT 2010 - The 23rd Conference on Learning Theory).

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

    193 Scopus citations

  • Computational highlight holography

    Regg, C., Rusinkiewicz, S., Matusik, W. & Gross, M., 2010, Proceedings of ACM SIGGRAPH Asia 2010, SIGGRAPH Asia 2010. 6 ed. Vol. 29. 1866192

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

    9 Scopus citations

  • Computational Highlight Holography

    Regg, C., Gross, M., Rusinkiewicz, S., Matusik, W. & Gross, M., 2010, In: ACM Transactions on Graphics. 29, 6, p. 1-12 12 p.

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

    3 Scopus citations

  • Concurrent separation logic for pipelined parallelization

    Bell, C. J., Appel, A. W. & Walker, D., 2010, Static Analysis - 17th International Symposium, SAS 2010, Proceedings. p. 151-166 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6337 LNCS).

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

    Open Access
    15 Scopus citations

  • Convolutional networks can learn to generate affinity graphs for image segmentation

    Turaga, S. C., Murray, J. F., Jain, V., Roth, F., Helmstaedter, M., Briggman, K., Denk, W. & Seung, H. S., Feb 2010, In: Neural computation. 22, 2, p. 511-538 28 p.

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

    Open Access
    309 Scopus citations

  • DAFT: Decoupled acyclic fault tolerance

    Zhang, Y., Lee, J. W., Johnson, N. P. & August, D. I., 2010, PACT'10 - Proceedings of the 19th International Conference on Parallel Architectures and Compilation Techniques. Institute of Electrical and Electronics Engineers Inc., p. 87-97 11 p. (Parallel Architectures and Compilation Techniques - Conference Proceedings, PACT).

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

    42 Scopus citations

  • Decoupled software pipelining creates parallelization opportunities

    Huang, J., Raman, A., Jablin, T. B., Zhang, Y., Hung, T. H. & August, D. I., 2010, Proceedings of the 2010 CGO - The 8th International Symposium on Code Generation and Optimization. p. 121-130 10 p. (Proceedings of the 2010 CGO - The 8th International Symposium on Code Generation and Optimization).

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

    Open Access
    48 Scopus citations

  • Decoupling policy from configuration in campus and enterprise networks

    Feamster, N., Nayak, A., Kim, H., Clark, R., Mundada, Y., Ramachandran, A. & Bin Tariq, M., 2010, LANMAN 2010 - The 17th IEEE International Workshop on Local and Metropolitan Area Networks. 5507162. (LANMAN 2010 - The 17th IEEE International Workshop on Local and Metropolitan Area Networks).

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

    Open Access
    6 Scopus citations

  • Deletion without rebalancing in balanced binary trees

    Sen, S. & Tarjan, R. E., 2010, Proceedings of the 21st Annual ACM-SIAM Symposium on Discrete Algorithms. Association for Computing Machinery, p. 1490-1499 10 p. (Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms).

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

    12 Scopus citations

  • Density-based outlier rejection in Monte Carlo rendering

    Decoro, C., Weyrich, T. & Rusinkiewicz, S., Sep 2010, In: Computer Graphics Forum. 29, 7, p. 2119-2125 7 p.

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

    Open Access
    24 Scopus citations

  • DFS: A file system for virtualized flash storage

    Josephson, W. K., Bongo, L. A., Li, K. & Flynn, D., 2010, Proceedings of FAST 2010: 8th USENIX Conference on File and Storage Technologies. USENIX Association, p. 85-99 15 p. (Proceedings of FAST 2010: 8th USENIX Conference on File and Storage Technologies).

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

    86 Scopus citations

  • DFS: A file system for virtualized flash storage

    Josephson, W. K., Bongo, L. A., Li, K. & Flynn, D., Sep 2010, In: ACM Transactions on Storage. 6, 3, 14.

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

    86 Scopus citations

  • DONAR: Decentralized server selection for cloud services

    Wendell, P., Jiang, J. W., Freedman, M. J. & Rexford, J. L., 2010, In: Computer Communication Review. 40, 4, p. 231-242 12 p.

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

    65 Scopus citations

  • DONAR: Decentralized server selection for cloud services

    Wendell, P., Jiang, J. W., Freedman, M. J. & Rexford, J. L., 2010, SIGCOMM'10 - Proceedings of the SIGCOMM 2010 Conference. p. 231-242 12 p. (SIGCOMM'10 - Proceedings of the SIGCOMM 2010 Conference).

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

    Open Access
    101 Scopus citations

  • Dynamic route computation considered harmful

    Caesar, M., Rexford, J. L., Casado, M., Koponen, T. & Shenker, S., Apr 2010, In: Computer Communication Review. 40, 2, p. 66-71 6 p.

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

    34 Scopus citations

  • Editorial

    Singh, M. & Bader, J. S., Jun 1 2010, In: Bioinformatics. 26, 12, p. i1 btq238.

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

    Open Access

  • Experiences with tracing causality in networked services

    Fonseca, R., Freedman, M. J. & Porter, G., 2010.

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

    29 Scopus citations

  • Fidelity and scaling of the PARSEC benchmark inputs

    Bienia, C. & Li, K., 2010, IEEE International Symposium on Workload Characterization, IISWC'10. 5649519. (IEEE International Symposium on Workload Characterization, IISWC'10).

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

    36 Scopus citations