Computer Science

Search results

  • 2012

    HAILS: Protecting data privacy in untrusted web applications

    Giffin, D. B., Levy, A., Stefan, D., Terei, D., Mazières, D., Mitchell, J. C. & Russo, A., Jan 1 2012, Proceedings of the 10th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2012. USENIX Association, p. 47-60 14 p. (Proceedings of the 10th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2012).

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

  • HAILS: Protecting data privacy in untrusted web applications

    Giffin, D. B., Levy, A., Stefan, D., Terei, D., Mazières, D., Mitchell, J. C. & Russo, A., 2012, Proceedings of the 10th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2012. USENIX Association, p. 47-60 14 p. (Proceedings of the 10th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2012).

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

    95 Scopus citations

  • Hedging your bets: Optimizing accuracy-specificity trade-offs in large scale visual recognition

    Deng, J., Krause, J., Berg, A. C. & Fei-Fei, L., 2012, 2012 IEEE Conference on Computer Vision and Pattern Recognition, CVPR 2012. p. 3450-3457 8 p. 6248086. (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
    143 Scopus citations

  • HelpingHand: Example-based stroke stylization

    Lu, J., Yu, F., Finkelstein, A. & DiVerdi, S., Jul 2012, In: ACM Transactions on Graphics. 31, 4, 46.

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

    55 Scopus citations

  • Hierarchical connectivity and connection-specific dynamics in the corticospinal-corticostriatal microcircuit in mouse motor cortex

    Kiritani, T., Wickersham, I. R., Seung, H. S. & Shepherd, G. M. G., Apr 4 2012, In: Journal of Neuroscience. 32, 14, p. 4992-5001 10 p.

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

    Open Access
    137 Scopus citations

  • High-confidence near-duplicate image detection

    Dong, W., Wang, Z., Charikar, M. & Li, K., 2012, Proceedings of the 2nd ACM International Conference on Multimedia Retrieval, ICMR 2012. Association for Computing Machinery, (Proceedings of the 2nd ACM International Conference on Multimedia Retrieval, ICMR 2012).

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

    40 Scopus citations

  • HotSDN '12 - Chairs welcome

    Feamster, N. & Rexford, J., 2012, In: HotSDN'12 - Proceedings of the 1st ACM International Workshop on Hot Topics in Software Defined Networks. p. iii

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

  • How to construct quantum random functions

    Zhandry, M., 2012, In: Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS. p. 679-687 9 p., 6375347.

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

    Open Access
    155 Scopus citations

  • Human mobility modeling at metropolitan scales

    Isaacman, S., Becker, R., Cáceres, R., Martonosi, M. R., Rowland, J., Varshavsky, A. & Willinger, W., 2012, MobiSys'12 - Proceedings of the 10th International Conference on Mobile Systems, Applications, and Services. p. 239-251 13 p. (MobiSys'12 - Proceedings of the 10th International Conference on Mobile Systems, Applications, and Services).

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

    208 Scopus citations

  • IMP: A multi-species functional genomics portal for integration, visualization and prediction of protein functions and networks

    Wong, A. K., Park, C. Y., Greene, C. S., Bongo, L. A., Guan, Y. & Troyanskaya, O. G., Jul 2012, In: Nucleic acids research. 40, W1, p. W484-W490

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

    Open Access
    72 Scopus citations

  • Incremental cycle detection, topological ordering, and strong component maintenance

    Haeupler, B., Kavitha, T., Mathew, R., Sen, S. & Tarjan, R. E., Jan 2012, In: ACM Transactions on Algorithms. 8, 1, 3.

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

    Open Access
    61 Scopus citations

  • Integrated molecular profiles of invasive breast tumors and ductal carcinoma in situ (DCIS) reveal differential vascular and interleukin signaling

    Kristensen, V. N., Vaske, C. J., Ursini-Siegel, J., Van Loo, P., Nordgard, S. H., Sachidanandamh, R., Sørlie, T., Wärnberg, F., Haakensen, V. D., Helland, Å., Naume, B., Perou, C. M., Haussler, D., Troyanskaya, O. G. & Børresen-Dale, A. L., Feb 21 2012, In: Proceedings of the National Academy of Sciences of the United States of America. 109, 8, p. 2802-2807 6 p.

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

    Open Access
    131 Scopus citations

  • Interactive information complexity

    Braverman, M., 2012, STOC '12 - Proceedings of the 2012 ACM Symposium on Theory of Computing. p. 505-524 20 p. (Proceedings of the Annual ACM Symposium on Theory of Computing).

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

    75 Scopus citations

  • Introduction to special section on verification challenges in the concurrent world

    Ray, S., Bhadra, J., Abadir, M. S., Wang, L. C. & Gupta, A., Jun 2012, In: ACM Transactions on Design Automation of Electronic Systems. 17, 3, 19.

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

  • Involvement of histone demethylase LSD1 in short-time-scale gene expression changes during cell cycle progression in embryonic stem cells

    Nair, V. D., Ge, Y., Balasubramaniyan, N., Kim, J., Okawa, Y., Chikina, M., Troyanskaya, O. & Sealfon, S. C., Dec 2012, In: Molecular and cellular biology. 32, 23, p. 4861-4876 16 p.

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

    Open Access
    29 Scopus citations

  • Laminarly orthogonal excitation of fast-spiking and low-threshold-spiking interneurons in mouse motor cortex

    Apicella, A. J., Wickersham, I. R., Seung, H. S. & Shepherd, G. M. G., May 16 2012, In: Journal of Neuroscience. 32, 20, p. 7021-7033 13 p.

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

    Open Access
    65 Scopus citations

  • LatLong: Diagnosing wide-area latency changes for CDNs

    Zhu, Y., Helsley, B., Rexford, J. L., Siganporia, A. & Srinivasan, S., 2012, In: IEEE Transactions on Network and Service Management. 9, 3, p. 333-345 13 p., 6233056.

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

    24 Scopus citations

  • Learning topic models - Going beyond SVD

    Arora, S., Ge, R. & Moitra, A., 2012, In: Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS. p. 1-10 10 p., 6375276.

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

    Open Access
    268 Scopus citations

  • LearnPADS ++: Incremental inference of ad hoc data formats

    Zhu, K. Q., Fisher, K. & Walker, D., 2012, Practical Aspects of Declarative Languages - 14th International Symposium, PADL 2012, Proceedings. p. 168-182 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7149 LNCS).

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

    6 Scopus citations

  • Leveraging smartphone cameras for collaborative road advisories

    Koukoumidis, E., Martonosi, M. R. & Peh, L. S., May 2012, In: IEEE Transactions on Mobile Computing. 11, 5, p. 707-723 17 p., 6112759.

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

    76 Scopus citations

  • LIFEGUARD: Practical repair of persistent route failures

    Katz-Bassett, E., Scott, C., Choffnes, D. R., Cunha, Í., Valancius, V., Feamster, N., Madhyastha, H. V., Anderson, T. & Krishnamurthy, A., 2012, SIGCOMM'12 - Proceedings of the ACM SIGCOMM 2012 Conference Applications, Technologies, Architectures, and Protocols for Computer Communication. p. 395-406 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
    65 Scopus citations

  • LIFEGUARD: Practical repair of persistent route failures

    Katz-Bassett, E., Scott, C., Choffnes, D. R., Cunha, I., Valancius, V., Feamster, N., Madhyastha, H. V., Anderson, T. & Krishnamurthy, A., 2012, Proceedings of the ACM SIGCOMM 2012 and Best Papers of the Co-located Workshops. 4 ed. p. 395-406 12 p. (Computer Communication Review; vol. 42, no. 4).

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

    19 Scopus citations

  • Live migration of an entire network (and its hosts)

    Keller, E., Ghorbani, S., Caesar, M. & Rexford, J. L., 2012, Proceedings of the 11th ACM Workshop on Hot Topics in Networks, HotNets-11. p. 109-114 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
    83 Scopus citations

  • Local versus global properties of metric spaces

    Arora, S., Lovász, L., Newman, I., Rabani, Y., Rabinovich, Y. & Vempala, S., 2012, In: SIAM Journal on Computing. 41, 1, p. 250-271 22 p.

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

    Open Access
    14 Scopus citations

  • Measuring home broadband performance

    Sundaresan, S., De Donato, W., Feamster, N., Teixeira, R., Crawford, S. & Pescapè, A., Nov 2012, In: Communications of the ACM. 55, 11, p. 100-109 10 p.

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

    Open Access
    33 Scopus citations

  • Message-passing algorithms and improved LP decoding

    Arora, S., Daskalakis, C. & Steurer, D., 2012, In: IEEE Transactions on Information Theory. 58, 12, p. 7260-7271 12 p., 6239592.

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

    Open Access
    18 Scopus citations

  • Modeling and analyzing the interaction of C and C++ strings

    Balakrishnan, G., Maeda, N., Sankaranarayanan, S., Ivančić, F., Gupta, A. & Pothengil, R., 2012, Formal Verification of Object-Oriented Software - International Conference, FoVeOOS 2011, Revised Selected Papers. p. 67-85 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7421 LNCS).

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

    1 Scopus citations

  • Modeling the past: Digital technologies and excavations in Polis, Cyprus

    Smith, J. S. & Rusinkiewicz, S. M., 2012, Progress in Cultural Heritage Preservation - 4th International Conference, EuroMed 2012, Proceedings. p. 414-422 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7616 LNCS).

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

    1 Scopus citations

  • Motion planning algorithms for molecular simulations: A survey

    Al-Bluwi, I., Siméon, T. & Cortés, J., Jul 2012, In: Computer Science Review. 6, 4, p. 125-143 19 p.

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

    Open Access
    77 Scopus citations

  • Multi-view hair capture using orientation fields

    Luo, L., Li, H., Paris, S., Weise, T., Pauly, M. & Rusinkiewicz, S., 2012, 2012 IEEE Conference on Computer Vision and Pattern Recognition, CVPR 2012. p. 1490-1497 8 p. 6247838. (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
    45 Scopus citations

  • Network cooperation for client-AP association optimization

    Baid, A., Schapira, M., Seskar, I., Rexford, J. L. & Raychaudhuri, D., 2012, 2012 10th International Symposium on Modeling and Optimization in Mobile, Ad Hoc and Wireless Networks, WiOpt 2012. p. 431-436 6 p. 6260496. (2012 10th International Symposium on Modeling and Optimization in Mobile, Ad Hoc and Wireless Networks, WiOpt 2012).

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

    18 Scopus citations

  • Nifty assignments

    Parlante, N., Zelenski, J., Zingaro, D., Wayne, K., O'Hallaron, D., Guerin, J. T., Davies, S., Kurmas, Z. & Debby, K., 2012, SIGCSE'12 - Proceedings of the 43rd ACM Technical Symposium on Computer Science Education. p. 475-476 2 p. (SIGCSE'12 - Proceedings of the 43rd ACM Technical Symposium on Computer Science Education).

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

    5 Scopus citations

  • Non-malleable extractors with short seeds and applications to privacy amplification

    Cohen, G., Raz, R. & Segev, G., 2012, Proceedings - 2012 IEEE 27th Conference on Computational Complexity, CCC 2012. p. 298-308 11 p. 6243406. (Proceedings of the Annual IEEE Conference on Computational Complexity).

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

    18 Scopus citations

  • Object model construction for inheritance in C++ and its applications to program analysis

    Yang, J., Balakrishnan, G., Maeda, N., Ivančić, F., Gupta, A., Sinha, N., Sankaranarayanan, S. & Sharma, N., 2012, Compiler Construction - 21st International Conference, CC 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Proceedings. p. 144-164 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7210 LNCS).

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

    Open Access
    7 Scopus citations

  • Observing common spam in Twitter and email

    Lumezanu, C. & Feamster, N., 2012, IMC 2012 - Proceedings of the ACM Internet Measurement Conference. p. 461-466 6 p. (Proceedings of the ACM SIGCOMM Internet Measurement Conference, IMC).

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

    Open Access
    16 Scopus citations

  • On the degree of univariate polynomials over the integers

    Cohen, G., Shpilka, A. & Tal, A., 2012, ITCS 2012 - Innovations in Theoretical Computer Science Conference. p. 409-427 19 p. (ITCS 2012 - Innovations in Theoretical Computer Science Conference).

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

    2 Scopus citations

  • On the feasibility of internet-scale author identification

    Narayanan, A., Paskov, H., Gong, N. Z., Bethencourt, J., Stefanov, E., Shin, E. C. R. & Song, D., 2012, Proceedings - 2012 IEEE Symposium on Security and Privacy, S and P 2012. Institute of Electrical and Electronics Engineers Inc., p. 300-314 15 p. 6234420. (Proceedings - IEEE Symposium on Security and Privacy).

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

    Open Access
    198 Scopus citations

  • Optimizing the use of request distribution and stored energy for cost reduction in multi-site internet services

    Etinski, M., Martonosi, M., Le, K., Bianchini, R. & Nguyen, T. D., 2012, 2012 Sustainable Internet and ICT for Sustainability, SustainIT 2012. 6388008. (2012 Sustainable Internet and ICT for Sustainability, SustainIT 2012).

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

    5 Scopus citations

  • Parallelizing sequential code

    August, D. I., 2012, In: IEEE Micro. 32, 4, p. 6-7 2 p., 6290322.

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

    1 Scopus citations

  • Parcae: A system for flexible parallel execution

    Raman, A., Zaks, A., Lee, J. W. & August, D. I., 2012, PLDI'12 - Proceedings of the 2012 ACM SIGPLAN Conference on Programming Language Design and Implementation. p. 133-144 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

    28 Scopus citations

  • Parcae: A system for flexible parallel execution

    Raman, A., Zaks, A., Lee, J. W. & August, D. I., Aug 2012, In: ACM SIGPLAN Notices. 47, 6, p. 133-144 12 p.

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

    18 Scopus citations

  • PASSERT: A tool for debugging parallel programs

    Schwartz-Narbonne, D., Liu, F., August, D. I. & Malik, S., 2012, Computer Aided Verification - 24th International Conference, CAV 2012, Proceedings. p. 751-757 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7358 LNCS).

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

    Open Access
    1 Scopus citations

  • Performance isolation and fairness for multi-tenant cloud storage

    Shue, D., Freedman, M. J. & Shaikh, A., Jan 1 2012, Proceedings of the 10th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2012. USENIX Association, p. 349-362 14 p. (Proceedings of the 10th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2012).

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

    218 Scopus citations

  • Pervasive Synaptic Branch Removal in the Mammalian Neuromuscular System at Birth

    Tapia, J. C., Wylie, J. D., Kasthuri, N., Hayworth, K. J., Schalek, R., Berger, D. R., Guatimosim, C., Seung, H. S. & Lichtman, J. W., Jun 7 2012, In: Neuron. 74, 5, p. 816-829 14 p.

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

    Open Access
    94 Scopus citations

  • Policy transformation in software defined networks

    Kang, N., Reich, J., Rexford, J. L. & Walker, D. P., 2012, SIGCOMM'12 - Proceedings of the ACM SIGCOMM 2012 Conference Applications, Technologies, Architectures, and Protocols for Computer Communication. p. 309-310 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
    9 Scopus citations

  • Policy transformation in software defined networks

    Kang, N., Reich, J., Rexford, J. L. & Walker, D. P., 2012, Proceedings of the ACM SIGCOMM 2012 and Best Papers of the Co-located Workshops. 4 ed. p. 309-310 2 p. (Computer Communication Review; vol. 42, no. 4).

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

    Open Access
    7 Scopus citations

  • Practical network-wide compression of IP routing tables

    Karpilovsky, E., Caesar, M., Rexford, J. L., Shaikh, A. & Van Der Merwe, J., 2012, In: IEEE Transactions on Network and Service Management. 9, 4, p. 446-458 13 p., 6265424.

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

    Open Access
    16 Scopus citations

  • Predicting serializability violations: SMT-based search vs. DPOR-based search

    Sinha, A., Malik, S., Wang, C. & Gupta, A., 2012, Hardware and Software: Verification and Testing - 7th International Haifa Verification Conference, HVC 2011, Revised Selected Papers. p. 95-114 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7261 LNCS).

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

    5 Scopus citations

  • Procera: A language for high-level reactive network control

    Voellmy, A., Kim, H. & Feamster, N., 2012, HotSDN'12 - Proceedings of the 1st ACM International Workshop on Hot Topics in Software Defined Networks. p. 43-48 6 p. (HotSDN'12 - Proceedings of the 1st ACM International Workshop on Hot Topics in Software Defined Networks).

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

    Open Access
    192 Scopus citations

  • Provable ICA with unknown Gaussian noise, with implications for Gaussian mixtures and autoencoders

    Arora, S., Ge, R., Moitra, A. & Sachdeva, S., 2012, Advances in Neural Information Processing Systems 25: 26th Annual Conference on Neural Information Processing Systems 2012, NIPS 2012. p. 2375-2383 9 p. (Advances in Neural Information Processing Systems; vol. 3).

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

    38 Scopus citations