Computer Science

Search results

  • 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, 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
    176 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
    382 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., 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

  • 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

  • Adaptive usage of cellular and WiFi bandwidth: An optimal scheduling formulation

    Yetim, O. B. & Martonosi, M. R., 2012, CHANTS'12 - 7th ACM International Workshop on Challenged Networks. p. 69-72 4 p. (Proceedings of the Annual International Conference on Mobile Computing and Networking, MOBICOM).

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

    14 Scopus citations

  • A discrepancy lower bound for information complexity

    Braverman, M. & Weinstein, O., 2012, Approximation, Randomization, and Combinatorial Optimization: Algorithms and Techniques - 15th International Workshop, APPROX 2012, and 16th International Workshop, RANDOM 2012, Proceedings. p. 459-470 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
    25 Scopus citations

  • A formally-verified migration protocol for mobile, multi-homed hosts

    Arye, M., Nordström, E., Kiefer, R., Rexford, J. L. & Freedman, M. J., 2012, 2012 20th IEEE International Conference on Network Protocols, ICNP 2012. 6459961. (Proceedings - International Conference on Network Protocols, ICNP).

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

    15 Scopus citations

  • A framework for scalable genome assembly on clusters, clouds, and grids

    Moretti, C., Thrasher, A., Yu, L., Olson, M., Emrich, S. & Thain, D., 2012, In: IEEE Transactions on Parallel and Distributed Systems. 23, 12, p. 2189-2197 9 p., 6165266.

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

    13 Scopus citations

  • A General Approach for Efficiently Accelerating Software-based Dynamic Data Flow Tracking on Commodity Hardware

    Jee, K., Portokalidis, G., Kemerlis, V., Ghosh, S., August, D. & Keromytis, A., 2012.

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

    43 Scopus citations

  • A list-machine benchmark for mechanized metatheory

    Appel, A. W., Dockins, R. & Leroy, X., Oct 2012, In: Journal of Automated Reasoning. 49, 3, p. 453-491 39 p.

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

    Open Access
    7 Scopus citations

  • Analyzing and simulating fracture patterns of Theran wall paintings

    Shin, H., Doumas, C., Funkhouser, T., Rusinkiewicz, S., Steiglitz, K., Vlachopoulos, A. & Weyrich, T., Oct 2012, In: Journal on Computing and Cultural Heritage. 5, 3, 10.

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

    13 Scopus citations

  • An effective statistical evaluation of chipseq dataset similarity

    Chikina, M. D. & Troyanskaya, O. G., Mar 2012, In: Bioinformatics. 28, 5, p. 607-613 7 p., bts009.

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

    Open Access
    50 Scopus citations

  • A new approach to interdomain routing based on secure multi-party computation

    Gupta, D., Segal, A., Panda, A., Segev, G., Schapira, M., Feigenbaum, J., Rexford, J. L. & Shenker, S., 2012, Proceedings of the 11th ACM Workshop on Hot Topics in Networks, HotNets-11. Association for Computing Machinery, p. 37-42 6 p. (Proceedings of the 11th ACM Workshop on Hot Topics in Networks, HotNets-11).

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

    Open Access
    40 Scopus citations

  • A nice way to test OpenFlow applications

    Canini, M., Venzano, D., Perešíni, P., Kostić, D. & Rexford, J., Jan 1 2012, p. 127-140. 14 p.

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

    395 Scopus citations

  • An optimal dynamic data structure for stabbing-semigroup queries

    Agarwal, P. K., Arge, L., Kaplan, H., Molad, E., Tarjan, R. E. & Yi, K., 2012, In: SIAM Journal on Computing. 41, 1, p. 104-127 24 p.

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

    Open Access
    12 Scopus citations

  • A robotics approach to enhance conformational sampling of proteins

    Cortés, J. C. & Al-Bluwi, I., 2012, ASME 2012 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference, IDETC/CIE 2012. PARTS A AND B ed. p. 1177-1186 10 p. (Proceedings of the ASME Design Engineering Technical Conference; vol. 4, no. PARTS A AND B).

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

    6 Scopus citations

  • A simple geometric interpretation of SVM using stochastic adversaries

    Livni, R., Crammer, K. & Globerson, A., 2012, In: Journal of Machine Learning Research. 22, p. 722-730 9 p.

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

    8 Scopus citations

  • ATUM-based SEM for High-Speed Large-Volume Biological Reconstructions

    Schalek, R., Hayworth, K., Kasthuri, N., Morgan, J. L., Berger, D., Wilson, A. M., Anger, P., Aderhold, D., Seung, H. S. & Lichtman, J. W., Jul 2012, In: Microscopy and Microanalysis. 18, p. 572-573 2 p.

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

    24 Scopus citations

  • Automatic speculative DOALL for clusters

    Kim, H., Johnson, N. P., Lee, J. W., Mahlke, S. A. & August, D. I., 2012, Proceedings - International Symposium on Code Generation and Optimization, CGO 2012. p. 94-103 10 p. (Proceedings - International Symposium on Code Generation and Optimization, CGO 2012).

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

    Open Access
    32 Scopus citations

  • A weight-scaling algorithm for min-cost imperfect matchings in bipartite graphs

    Ramshaw, L. & Tarjan, R. E., 2012, In: Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS. p. 581-590 10 p., 6375337.

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

    Open Access
    21 Scopus citations

  • Baselines and bigrams: Simple, good sentiment and topic classification

    Wang, S. & Manning, C. D., 2012, 50th Annual Meeting of the Association for Computational Linguistics, ACL 2012 - Proceedings of the Conference. p. 90-94 5 p. (50th Annual Meeting of the Association for Computational Linguistics, ACL 2012 - Proceedings of the Conference; vol. 2).

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

    1047 Scopus citations

  • CBTree: A practical concurrent self-adjusting search tree

    Afek, Y., Kaplan, H., Korenfeld, B., Morrison, A. & Tarjan, R. E., 2012, Distributed Computing - 26th International Symposium, DISC 2012, Proceedings. p. 1-15 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7611 LNCS).

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

    37 Scopus citations

  • Chapter 2: Data-Driven View of Disease Biology

    Greene, C. S. & Troyanskaya, O. G., Dec 2012, In: PLoS computational biology. 8, 12, e1002816.

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

    Open Access
    13 Scopus citations

  • Characteristics of workloads using the pipeline programming model

    Bienia, C. & Li, K., 2012, Computer Architecture - ISCA 2010 International Workshops, A4MMC, AMAS-BT, EAMA, WEED, WIOSCA, Revised Selected Papers. p. 161-171 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6161 LNCS).

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

    18 Scopus citations

  • Characterizing and improving the use of demand-fetched caches in GPUs

    Jia, W., Shaw, K. A. & Martonosi, M., 2012, ICS'12 - Proceedings of the 2012 ACM International Conference on Supercomputing. p. 15-24 10 p. (Proceedings of the International Conference on Supercomputing).

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

    109 Scopus citations

  • Chopper: Partitioning models into 3D-printable parts

    Luo, L., Baran, I., Rusinkiewicz, S. & Matusik, W., Nov 2012, In: ACM Transactions on Graphics. 31, 6, 129.

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

    263 Scopus citations

  • Coarse-grained elastic networks, normal mode analysis and robotics-inspired methods for modeling protein conformational transitions

    Al-Bluwi, I., Vaisset, M., Simeon, T. & Cortes, J., 2012, Proceedings - 2012 IEEE International Conference on Bioinformatics and Biomedicine Workshops, BIBMW 2012. p. 40-47 8 p. 6470359. (Proceedings - 2012 IEEE International Conference on Bioinformatics and Biomedicine Workshops, BIBMW 2012).

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

    Open Access
    5 Scopus citations

  • Computing a nonnegative matrix factorization - Provably

    Arora, S., Ge, R., Kannan, R. & Moitra, A., 2012, STOC '12 - Proceedings of the 2012 ACM Symposium on Theory of Computing. p. 145-161 17 p. (Proceedings of the Annual ACM Symposium on Theory of Computing).

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

    Open Access
    228 Scopus citations

  • Concurrent test generation using concolic multi-trace analysis

    Razavi, N., Ivančić, F., Kahlon, V. & Gupta, A., 2012, Programming Languages and Systems - 10th Asian Symposium, APLAS 2012, Proceedings. p. 239-255 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7705 LNCS).

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

    15 Scopus citations

  • Contextual bandit learning with predictable rewards

    Agarwal, A., Dudík, M., Kale, S., Langford, J. & Schapire, R. E., 2012, In: Journal of Machine Learning Research. 22, p. 19-26 8 p.

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

    35 Scopus citations

  • CORONET: Fault tolerance for software defined networks

    Kim, H., Schlansker, M., Santos, J. R., Tourrilhes, J., Turner, Y. & Feamster, N., 2012, 2012 20th IEEE International Conference on Network Protocols, ICNP 2012. 6459938. (Proceedings - International Conference on Network Protocols, ICNP).

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

    Open Access
    88 Scopus citations

  • Creating and preserving locality of Java applications at allocation and garbage collection times

    Shuf, Y., Gupta, M., Franke, H., Appel, A. W. & Singh, J. P., Nov 2012, In: ACM SIGPLAN Notices. 37, 11, p. 13-25 13 p.

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

    4 Scopus citations

  • DAFT: Decoupled acyclic fault tolerance

    Zhang, Y., Lee, J. W., Johnson, N. P. & August, D. I., Feb 2012, In: International Journal of Parallel Programming. 40, 1, p. 118-140 23 p.

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

    Open Access
    27 Scopus citations

  • Demand response through a temperature setpoint market in Ontario

    Singla, S. & Keshav, S., 2012, 2012 IEEE 3rd International Conference on Smart Grid Communications, SmartGridComm 2012. p. 103-108 6 p. 6485967. (2012 IEEE 3rd International Conference on Smart Grid Communications, SmartGridComm 2012).

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

    5 Scopus citations

  • Design and fabrication of faceted mirror arrays for light field capture

    Fuchs, M., Kächele, M. & Rusinkiewicz, S., 2012, VMV 2012 - Vision, Modeling and Visualization. p. 1-8 8 p. (VMV 2012 - Vision, Modeling and Visualization).

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

    3 Scopus citations

  • Distributed wide-area traffic management for cloud services

    Narayana, S., Jiang, J. W., Rexford, J. L. & Chiang, M., 2012, SIGMETRICS/Performance 2012 - Proceedings of the 2012 ACM SIGMETRICS/Performance, Joint International Conference on Measurement and Modeling of Computer Systems. 1 SPEC. ISS. ed. p. 409-410 2 p. (Performance Evaluation Review; vol. 40, no. 1 SPEC. ISS.).

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

    6 Scopus citations

  • Dominators, directed bipolar orders, and independent spanning trees

    Georgiadis, L. & Tarjan, R. E., 2012, Automata, Languages, and Programming - 39th International Colloquium, ICALP 2012, Proceedings. PART 1 ed. p. 375-386 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7391 LNCS, no. PART 1).

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

    13 Scopus citations

  • Donut domains: Efficient non-convex domains for abstract interpretation

    Ghorbal, K., Ivančić, F., Balakrishnan, G., Maeda, N. & Gupta, A., 2012, Verification, Model Checking, and Abstract Interpretation - 13th International Conference, VMCAI 2012, Proceedings. p. 235-250 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7148 LNCS).

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

    Open Access
    18 Scopus citations

  • DTAM: Dynamic taint analysis of multi-threaded programs for relevancy

    Ganai, M., Lee, D. & Gupta, A., 2012, Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering, FSE 2012. (Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering, FSE 2012).

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

    29 Scopus citations

  • Dynamically managed data for CPU-GPU architectures

    Jablin, T. B., Jablin, J. A., Prabhu, P., Liu, F. & August, D. I., 2012, Proceedings - International Symposium on Code Generation and Optimization, CGO 2012. p. 165-174 10 p. (Proceedings - International Symposium on Code Generation and Optimization, CGO 2012).

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

    Open Access
    68 Scopus citations

  • Efficient predictive analysis for detecting nondeterminism in multi-threaded programs

    Sinha, A., Malik, S. & Gupta, A., 2012, 2012 Formal Methods in Computer-Aided Design, FMCAD 2012. p. 6-15 10 p. 6462550. (2012 Formal Methods in Computer-Aided Design, FMCAD 2012).

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

    3 Scopus citations

  • Efficient probabilistic model checking of systems with ranged probabilities

    Ghorbal, K., Duggirala, P. S., Kahlon, V., Ivančić, F. & Gupta, A., 2012, Reachability Problems - 6th International Workshop, RP 2012, Proceedings. p. 107-120 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7550 LNCS).

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

    Open Access
    4 Scopus citations

  • EPROF: An energy/performance/reliability optimization framework for streaming applications

    Yetim, Y., Malik, S. & Martonosi, M., 2012, ASP-DAC 2012 - 17th Asia and South Pacific Design Automation Conference. p. 769-774 6 p. 6165058. (Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC).

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

    12 Scopus citations

  • Estimating application hierarchical bandwidth requirements using BSP family models

    Soviani, A. & Singh, J. P., 2012, Proceedings of the 2012 IEEE 26th International Parallel and Distributed Processing Symposium Workshops, IPDPSW 2012. p. 914-923 10 p. 6270736. (Proceedings of the 2012 IEEE 26th International Parallel and Distributed Processing Symposium Workshops, IPDPSW 2012).

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

  • Example-based synthesis of 3D object arrangements

    Fisher, M., Ritchie, D., Savva, M., Funkhouser, T. & Hanrahan, P., Nov 2012, In: ACM Transactions on Graphics. 31, 6, 135.

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

    278 Scopus citations

  • Exploring collections of 3D models using fuzzy correspondences

    Kim, V. G., Li, W., Mitra, N. J., DiVerdi, S. & Funkhouser, T., Jul 2012, In: ACM Transactions on Graphics. 31, 4, 54.

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

    147 Scopus citations