Center for Information Technology Policy (CITP)

Filter
Conference contribution

Search results

  • 2011

    Don't settle for eventual: Scalable causal consistency for wide-area storage with COPS

    Lloyd, W., Freedman, M. J., Kaminsky, M. & Andersen, D. G., 2011, SOSP'11 - Proceedings of the 23rd ACM Symposium on Operating Systems Principles. p. 401-416 16 p. (SOSP'11 - Proceedings of the 23rd ACM Symposium on Operating Systems Principles).

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

    429 Scopus citations

  • Eliminating the hypervisor attack surface for a more secure cloud

    Szefer, J., Keller, E., Lee, R.B.-L. & Rexford, J. L., 2011, CCS'11 - Proceedings of the 18th ACM Conference on Computer and Communications Security. p. 401-412 12 p. (Proceedings of the ACM Conference on Computer and Communications Security).

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

    Open Access
    234 Scopus citations

  • Frenetic: A network programming language

    Foster, N., Harrison, R., Freedman, M. J., Monsanto, C., Rexford, J. L., Story, A. & Walker, D. P., 2011, ICFP'11 - Proceedings of the 2011 ACM SIGPLAN International Conference on Functional Programming. p. 279-291 13 p. (Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP).

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

    209 Scopus citations

  • FSR: Formal analysis and implementation toolkit for safe inter-domain routing

    Ren, Y., Zhou, W., Wang, A., Jia, L., Gurney, A. J. T., Loo, B. T. & Rexfordz, J., 2011, Proceedings of the ACM SIGCOMM 2011 Conference, SIGCOMM'11. p. 440-441 2 p. (Proceedings of the ACM SIGCOMM 2011 Conference, SIGCOMM'11).

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

    Open Access
    7 Scopus citations

  • Going viral: Flash crowds in an open CDN

    Wendell, P. & Freedman, M. J., 2011, IMC'11 - Proceedings of the 2011 ACM SIGCOMM Internet Measurement Conference. p. 549-557 9 p. (Proceedings of the ACM SIGCOMM Internet Measurement Conference, IMC).

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

    59 Scopus citations

  • Helping users shop for ISPs with internet nutrition labels

    Sundaresan, S., Feamster, N., Teixeira, R., Tang, A., Edwards, W. K., Grinter, R. E., Chetty, M. & De Donato, W., 2011, Proceedings of the 2nd ACM SIGCOMM Workshop on Home Networks, HomeNets'11. p. 13-18 6 p. (Proceedings of the 2nd ACM SIGCOMM Workshop on Home Networks, HomeNets'11).

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

    Open Access
    15 Scopus citations

  • How many tiers? Pricing in the internet transit market

    Valancius, V., Lumezanu, C., Feamster, N., Johari, R. & Vazirani, V. V., 2011, Proceedings of the ACM SIGCOMM 2011 Conference, SIGCOMM'11. p. 194-205 12 p. (Proceedings of the ACM SIGCOMM 2011 Conference, SIGCOMM'11).

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

    Open Access
    99 Scopus citations

  • Identifying important places in people's lives from cellular network data

    Isaacman, S., Becker, R., Cáceres, R., Kobourov, S., Martonosi, M., Rowland, J. & Varshavsky, A., 2011, Pervasive Computing - 9th International Conference, Pervasive 2011, Proceedings. p. 133-151 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6696 LNCS).

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

    Open Access
    301 Scopus citations

  • Identifying performance bottlenecks in CDNs through TCP-level monitoring

    Sun, P., Yu, M., Freedman, M. J. & Rexford, J. L., 2011, Proceedings of the 1st ACM SIGCOMM Workshop on Measurements Up the Stack, W-MUST'11. p. 49-54 6 p. (Proceedings of the 1st ACM SIGCOMM Workshop on Measurements Up the Stack, W-MUST'11).

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

    Open Access
    25 Scopus citations

  • Local actions for a curry-style operational semantics

    Stewart, G. & Appel, A. W., 2011, PLPV'11 - Proceedings of the 5th ACM Workshop on Programming Languages Meets Program Verification. p. 31-42 12 p. (PLPV'11 - Proceedings of the 5th ACM Workshop on Programming Languages Meets Program Verification).

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

    Open Access
    2 Scopus citations

  • Low-infrastructure methods to improve internet access for mobile users in emerging regions

    Isaacman, S. & Martonosi, M. R., 2011, Proceedings of the 20th International Conference Companion on World Wide Web, WWW 2011. p. 473-482 10 p. (Proceedings of the 20th International Conference Companion on World Wide Web, WWW 2011).

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

    11 Scopus citations

  • Monitoring the initial DNS behavior of malicious domains

    Hao, S., Feamster, N. & Pandrangi, R., 2011, IMC'11 - Proceedings of the 2011 ACM SIGCOMM Internet Measurement Conference. p. 269-278 10 p. (Proceedings of the ACM SIGCOMM Internet Measurement Conference, IMC).

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

    Open Access
    63 Scopus citations

  • Network architecture for joint failure recovery and traffic engineering

    Suchara, M., Xu, D., Doverspike, R., Johnson, D. & Rexford, J. L., 2011, SIGMETRICS'11 - Proceedings of the 2011 ACM SIGMETRICS International Conference on Measurement and Modeling of Computer Systems. 1 SPEC. ISSUE ed. Association for Computing Machinery, Vol. 39. p. 97-108 12 p.

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

    75 Scopus citations

  • PACMan: Prefetch-aware cache management for high performance caching

    Wu, C. J., Jaleel, A., Martonosi, M. R., Steely, S. C. & Emer, J., 2011, MICRO 44 - Proceedings of the 44th Annual IEEE/ACM Symposium on Microarchitecture. p. 442-453 12 p. (Proceedings of the Annual International Symposium on Microarchitecture, MICRO).

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

    94 Scopus citations

  • Ranges of human mobility in Los Angeles and New York

    Isaacman, S., Becker, R., Caceres, R., Kobourov, S., Martonosi, M. R., Rowland, J. & Varshavsky, A., 2011, 2011 IEEE International Conference on Pervasive Computing and Communications Workshops, PERCOM Workshops 2011. p. 88-93 6 p. 5766977. (2011 IEEE International Conference on Pervasive Computing and Communications Workshops, PERCOM Workshops 2011).

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

    Open Access
    53 Scopus citations

  • Rapid single-chip secure processor prototyping on the Open SPARC FPGA platform

    Szefer, J. M., Zhang, W., Chen, Y. Y., Champagne, D., Chan, K., Li, W. X. Y., Cheung, R. C. C. & Lee, R. B., 2011, Proceedings of the 2011 22nd IEEE International Symposium on Rapid System Prototyping: Shortening the Path from Specification to Prototype, RSP-2011. p. 38-44 7 p. 5929973. (Proceedings of the International Workshop on Rapid System Prototyping).

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

    11 Scopus citations

  • RegReS: Adaptively maintaining a target density of regional services in opportunistic vehicular networks

    Koukoumidis, E., Peh, L. S. & Martonosi, M. R., 2011, 2011 IEEE International Conference on Pervasive Computing and Communications, PerCom 2011. p. 120-127 8 p. 5767576. (2011 IEEE International Conference on Pervasive Computing and Communications, PerCom 2011).

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

    Open Access
    14 Scopus citations

  • Shared last-level TLBs for chip multiprocessors

    Bhattacharjee, A., Lustig, D. & Martonosi, M., 2011, Proceedings - 17th International Symposium on High-Performance Computer Architecture, HPCA 2011. p. 62-73 12 p. 5749717. (Proceedings - International Symposium on High-Performance Computer Architecture).

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

    103 Scopus citations

  • SHiP: Signature-based hit predictor for high performance caching

    Wu, C. J., Jaleel, A., Hasenplaugh, W., Martonosi, M. R., Steely, S. C. & Emer, J., 2011, MICRO 44 - Proceedings of the 44th Annual IEEE/ACM Symposium on Microarchitecture. p. 430-441 12 p. (Proceedings of the Annual International Symposium on Microarchitecture, MICRO).

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

    215 Scopus citations

  • SignalGuru: Leveraging mobile phones for collaborative traffic signal schedule advisory

    Koukoumidis, E., Peh, L. S. & Martonosi, M. R., 2011, MobiSys'11 - Compilation Proceedings of the 9th International Conference on Mobile Systems, Applications, and Services and Co-located Workshops. p. 127-140 14 p. (MobiSys'11 - Compilation Proceedings of the 9th International Conference on Mobile Systems, Applications and Services and Co-located Workshops).

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

    Open Access
    297 Scopus citations

  • Spam or ham? Characterizing and detecting fraudulent "not spam" reports in Web mail systems

    Ramachandran, A., Dasgupta, A., Feamster, N. & Weinberger, K., 2011, Proceedings of the 8th Annual Collaboration, Electronic Messaging, Anti-Abuse and Spam Conference, CEAS 2011. p. 210-219 10 p. (ACM International Conference Proceeding Series).

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

    6 Scopus citations

  • The evolution of network configuration: A tale of two campuses

    Kim, H., Benson, T., Akella, A. & Feamster, N., 2011, IMC'11 - Proceedings of the 2011 ACM SIGCOMM Internet Measurement Conference. p. 499-514 16 p. (Proceedings of the ACM SIGCOMM Internet Measurement Conference, IMC).

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

    60 Scopus citations

  • The value of data: Considering the context of production in data economies

    Vertesi, J. & Dourish, P., 2011, Proceedings of the ACM 2011 Conference on Computer Supported Cooperative Work, CSCW 2011. Association for Computing Machinery, p. 533-542 10 p. (Proceedings of the ACM Conference on Computer Supported Cooperative Work, CSCW).

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

    89 Scopus citations

  • Transnational HCI: Humans, computers and interactions in global contexts

    Vertesi, J., Lindtner, S. & Shklovski, I., 2011, CHI EA 2011 - 29th Annual CHI Conference on Human Factors in Computing Systems, Conference Proceedings and Extended Abstracts. Association for Computing Machinery, p. 61-64 4 p. (Conference on Human Factors in Computing Systems - Proceedings).

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

    16 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
    118 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
    9 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
    266 Scopus citations
  • 2010

    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

  • A framework for testing hardware-software security architectures

    Dwoskin, J. S., Gomathisankaran, M., Chen, Y. Y. & Lee, R. B., 2010, Proceedings - 26th Annual Computer Security Applications Conference, ACSAC 2010. IEEE Computer Society, p. 387-397 11 p. (Proceedings - Annual Computer Security Applications Conference, ACSAC).

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

    4 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

  • Argos: Princeton University's entry in the 2009 intelligent ground vehicle competition

    Abiola, S. O., Baldassano, C. A., Franken, G. H., Harris, R. J., Hendrick, B. A., Mayer, J. R., Partridge, B. A., Starr, E. W., Tait, A. N., Yu, D. D. & Zhu, T. H., 2010, Proceedings of SPIE-IS and T Electronic Imaging - Intelligent Robots and Computer Vision XXVII: Algorithms and Techniques. 75390N. (Proceedings of SPIE - The International Society for Optical Engineering; vol. 7539).

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

    1 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, 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

  • BotGrep: Finding P2P bots with structured graph analysis

    Nagaraja, S., Mittal, P., Hong, C. Y., Caesar, M. & Borisov, N., Jan 1 2010, Proceedings of the 19th USENIX Security Symposium. USENIX Association, p. 95-110 16 p. (Proceedings of the 19th USENIX Security Symposium).

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

  • Butterfly and inverse butterfly nets integration on Altera NIOS-II embedded processor

    Cardarilli, G. C., Di Nunzio, L., Fazzolari, R., Re, M. & Lee, R. B., 2010, Conference Record of the 44th Asilomar Conference on Signals, Systems and Computers, Asilomar 2010. p. 1279-1283 5 p. 5757737. (Conference Record - Asilomar Conference on Signals, Systems and Computers).

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

    13 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

    100 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

  • 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

  • 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

  • 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

  • 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
    102 Scopus citations

  • Frenetic: A high-level language for OpenFlow networks

    Foster, N., Harrison, R., Meola, M. L., Freedman, M. J., Rexford, J. L. & Walker, D. P., 2010, Proceedings of the Programmable Routers for Extensible Services of Tomorrow, PRESTO 2010, Workshop Held in Conjunction with CoNEXT 2010. (Proceedings of the Programmable Routers for Extensible Services of Tomorrow, PRESTO 2010, Workshop Held in Conjunction with CoNEXT 2010).

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

    52 Scopus citations

  • General-purpose FPGA platform for efficient encryption and hashing

    Szefer, J., Chen, Y. Y. & Lee, R. B., 2010, ASAP 10 - 21st IEEE International Conference on Application-Specific Systems, Architectures and Processors, Conference Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 309-312 4 p. 5540976. (Proceedings of the International Conference on Application-Specific Systems, Architectures and Processors).

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

    4 Scopus citations

  • Greening backbone networks: Reducing energy consumption by shutting off cables in bundled links

    Fisher, W., Suchara, M. & Rexford, J. L., 2010, Proceedings of the 1st ACM SIGCOMM Workshop on Green Networking, Green Networking '10, Co-located with SIGCOMM 2010. p. 29-34 6 p. (Proceedings of the 1st ACM SIGCOMM Workshop on Green Networking, Green Networking '10, Co-located with SIGCOMM 2010).

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

    227 Scopus citations

  • How secure are secure interdomain routing protocols

    Goldberg, S., Schapira, M., Hummon, P. & Rexford, J. L., 2010, SIGCOMM'10 - Proceedings of the SIGCOMM 2010 Conference. p. 87-98 12 p. (SIGCOMM'10 - Proceedings of the SIGCOMM 2010 Conference).

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

    Open Access
    69 Scopus citations

  • Instrumenting home networks

    Calvert, K. L., Edwards, W. K., Feamster, N., Grinter, R. E., Deng, Y. & Zhou, X., 2010, Proceedings of the 2010 ACM SIGCOMM Workshop on Home Networks, HomeNets '10, Co-located with SIGCOMM 2010. p. 55-60 6 p. (Proceedings of the 2010 ACM SIGCOMM Workshop on Home Networks, HomeNets '10, Co-located with SIGCOMM 2010).

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

    17 Scopus citations

  • Inter-core cooperative TLB prefetchers for chip multiprocessors

    Bhattacharjee, A. & Martonosi, M. R., 2010, ASPLOS XV - 15th International Conference on Architectural Support for Programming Languages and Operating Systems. p. 359-370 12 p. (International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS).

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

    72 Scopus citations

  • Joint analysis of network incidents and intradomain routing changes

    Medem, A., Teixeira, R., Feamster, N. & Meulle, M., 2010, Proceedings of the 2010 International Conference on Network and Service Management, CNSM 2010. p. 198-205 8 p. 5691306. (Proceedings of the 2010 International Conference on Network and Service Management, CNSM 2010).

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

    13 Scopus citations

  • Managing the cost, energy consumption, and carbon footprint of Internet services

    Le, K., Bilgir, O., Bianchini, R., Martonosi, M. R. & Nguyen, T. D., 2010, SIGMETRICS'10 - Proceedings of the 2010 ACM SIGMETRICS International Conference on Measurement and Modeling of Computer Systems. 1 SPEC. ISSUE ed. p. 357-358 2 p. (Performance Evaluation Review; vol. 38, no. 1 SPEC. ISSUE).

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

    50 Scopus citations