Center for Information Technology Policy

Filter
Conference contribution

Search results

  • 2014

    Verified compilation for shared-memory C

    Beringer, L., Stewart, G., Dockins, R. & Appel, A. W., 2014, Programming Languages and Systems - 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Proceedings. Springer Verlag, p. 107-127 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8410 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    26 Scopus citations
  • 2013

    Architecture for an open source network tester

    Shahbaz, M., Antichi, G., Geng, Y., Zilberman, N., Covington, A., Bruyere, M., Feamster, N., McKeown, N., Felderman, B., Blott, M., Moore, A. W. & Owezarski, P., 2013, ANCS 2013 - Proceedings of the 9th ACM/IEEE Symposium on Architectures for Networking and Communications Systems. IEEE Computer Society, p. 123-124 2 p. 6665194. (ANCS 2013 - Proceedings of the 9th ACM/IEEE Symposium on Architectures for Networking and Communications Systems).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    3 Scopus citations
  • A scanner darkly: Protecting user privacy from perceptual applications

    Jana, S., Narayanan, A. & Shmatikov, V., 2013, Proceedings - 2013 IEEE Symposium on Security and Privacy, SP 2013. p. 349-363 15 p. 6547120. (Proceedings - IEEE Symposium on Security and Privacy).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    110 Scopus citations
  • A slick control plane for network middleboxes

    Anwer, B., Benson, T., Feamster, N. G., Levin, D. & Rexford, J. L., 2013, HotSDN 2013 - Proceedings of the 2013 ACM SIGCOMM Workshop on Hot Topics in Software Defined Networking. p. 147-148 2 p. (HotSDN 2013 - Proceedings of the 2013 ACM SIGCOMM Workshop on Hot Topics in Software Defined Networking).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    69 Scopus citations
  • Characterizing correlated latency anomalies in broadband access networks

    Roy, S. & Feamster, N., 2013, Proceedings of the SIGCOMM 2013 and Best Papers of the Co-Located Workshops. 4 ed. p. 525-526 2 p. (Computer Communication Review; vol. 43, no. 4).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    3 Scopus citations
  • Characterizing correlated latency anomalies in broadband access networks

    Roy, S. & Feamster, N., 2013, SIGCOMM 2013 - Proceedings of the ACM SIGCOMM 2013 Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication. p. 525-526 2 p. (SIGCOMM 2013 - Proceedings of the ACM SIGCOMM 2013 Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    5 Scopus citations
  • Characterizing hypervisor vulnerabilities in cloud computing servers

    Perez-Botero, D., Szefer, J. & Lee, R. B., 2013, Cloud Computing 2013 - Proceedings of the 2013 International Workshop on Security in Cloud Computing. p. 3-10 8 p. (Cloud Computing 2013 - Proceedings of the 2013 International Workshop on Security in Cloud Computing).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    154 Scopus citations
  • DP-WHERE: Differentially private modeling of human mobility

    Mir, D. J., Isaacman, S., Caceres, R., Martonosi, M. & Wright, R. N., 2013, Proceedings - 2013 IEEE International Conference on Big Data, Big Data 2013. IEEE Computer Society, p. 580-588 9 p. 6691626. (Proceedings - 2013 IEEE International Conference on Big Data, Big Data 2013).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    91 Scopus citations
  • Extracting useful computation from error-prone processors for streaming applications

    Yetim, Y., Martonosi, M. & Malik, S., 2013, Proceedings - Design, Automation and Test in Europe, DATE 2013. Institute of Electrical and Electronics Engineers Inc., p. 202-207 6 p. 6513501. (Proceedings -Design, Automation and Test in Europe, DATE).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    21 Scopus citations
  • Incremental consistent updates

    Katta, N. P., Rexford, J. L. & Walker, D. P., 2013, HotSDN 2013 - Proceedings of the 2013 ACM SIGCOMM Workshop on Hot Topics in Software Defined Networking. p. 49-54 6 p. (HotSDN 2013 - Proceedings of the 2013 ACM SIGCOMM Workshop on Hot Topics in Software Defined Networking).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    167 Scopus citations
  • Joint server selection and routing for geo-replicated services

    Narayana, S., Jiang, W., Rexford, J. L. & Chiang, M., 2013, Proceedings - 2013 IEEE/ACM 6th International Conference on Utility and Cloud Computing, UCC 2013. IEEE Computer Society, p. 423-428 6 p. 6809443. (Proceedings - 2013 IEEE/ACM 6th International Conference on Utility and Cloud Computing, UCC 2013).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    18 Scopus citations
  • Learning to extract international relations from political context

    O'Connor, B., Stewart, B. M. & Smith, N. A., 2013, Long Papers. Association for Computational Linguistics (ACL), p. 1094-1104 11 p. (ACL 2013 - 51st Annual Meeting of the Association for Computational Linguistics, Proceedings of the Conference; vol. 1).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    50 Scopus citations
  • Measuring and mitigating web performance bottlenecks in broadband access networks

    Sundaresan, S., Feamster, N., Teixeira, R. & Magharei, N., 2013, IMC 2013 - Proceedings of the 13th ACM Internet Measurement Conference. p. 213-225 13 p. (Proceedings of the ACM SIGCOMM Internet Measurement Conference, IMC).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    61 Scopus citations
  • Measuring broadband performance in South Africa

    Chetty, M., Sundaresan, S., Muckaden, S., Feamster, N. & Calandro, E., 2013, Proceedings of the 4th Annual Symposium on Computing for Development, ACM DEV 2013. Association for Computing Machinery, 1. (Proceedings of the 4th Annual Symposium on Computing for Development, ACM DEV 2013).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    50 Scopus citations
  • Mostly sound type system improves a foundational program verifier

    Dodds, J. & Appel, A. W., 2013, Certified Programs and Proofs - Third International Conference, CPP 2013, Proceedings. p. 17-32 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8307 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    2 Scopus citations
  • Optimizing the "One big switch" abstraction in software-defined networks

    Kang, N., Liu, Z., Rexford, J. L. & Walker, D. P., 2013, CoNEXT 2013 - Proceedings of the 2013 ACM International Conference on Emerging Networking Experiments and Technologies. Association for Computing Machinery, p. 13-24 12 p. (CoNEXT 2013 - Proceedings of the 2013 ACM International Conference on Emerging Networking Experiments and Technologies).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    246 Scopus citations
  • Peeking behind the NAT: An empirical study of home networks

    Grover, S., Park, M. S., Sundaresan, S., Burnett, S., Kim, H. & Feamster, N., 2013, IMC 2013 - Proceedings of the 13th ACM Internet Measurement Conference. p. 377-389 13 p. (Proceedings of the ACM SIGCOMM Internet Measurement Conference, IMC).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    44 Scopus citations
  • Quantifying the benefits of joint content and network routing

    Valancius, V., Ravi, B., Feamster, N. & Snoeren, A. C., 2013, SIGMETRICS 2013 - Proceedings of the 2013 ACM SIGMETRICS International Conference on Measurement and Modeling of Computer Systems. 1 SPEC. ISS. ed. p. 243-254 12 p. (Performance Evaluation Review; vol. 41, no. 1 SPEC. ISS.).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    17 Scopus citations
  • Real-time diagnosis of TCP performance in clouds

    Ghasemi, M., Benson, T. & Rexford, J. L., 2013, CoNEXT Student Workhop 2013 - Proceedings of the 2013 Workshop. p. 57-58 2 p. (CoNEXT Student Workhop 2013 - Proceedings of the 2013 Workshop).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Reducing GPU offload latency via fine-grained CPU-GPU synchronization

    Lustig, D. & Martonosi, M. R., 2013, 19th IEEE International Symposium on High Performance Computer Architecture, HPCA 2013. p. 354-365 12 p. 6522332. (Proceedings - International Symposium on High-Performance Computer Architecture).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    83 Scopus citations
  • Revisiting a summer vacation: Digital restoration and typesetter forensics

    Bagley, S. R., Brailsford, D. F. & Kernighan, B. W., 2013, DocEng 2013 - Proceedings of the 2013 ACM Symposium on Document Engineering. Association for Computing Machinery, p. 3-12 10 p. (DocEng 2013 - Proceedings of the 2013 ACM Symposium on Document Engineering).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    1 Scopus citations
  • Scalable, optimal flow routing in datacenters via local link balancing

    Sen, S., Shue, D., Ihm, S. & Freedman, M. J., 2013, CoNEXT 2013 - Proceedings of the 2013 ACM International Conference on Emerging Networking Experiments and Technologies. Association for Computing Machinery, p. 151-162 12 p. (CoNEXT 2013 - Proceedings of the 2013 ACM International Conference on Emerging Networking Experiments and Technologies).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    102 Scopus citations
  • Scaling IP multicast on datacenter topologies

    Li, X. & Freedman, M. J., 2013, CoNEXT 2013 - Proceedings of the 2013 ACM International Conference on Emerging Networking Experiments and Technologies. Association for Computing Machinery, p. 61-72 12 p. (CoNEXT 2013 - Proceedings of the 2013 ACM International Conference on Emerging Networking Experiments and Technologies).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    65 Scopus citations
  • Security testing of a secure cache design

    Liu, F. & Lee, R. B., 2013, Proceedings of the 2nd International Workshop on Hardware and Architectural Support for Security and Privacy, HASP 2013. Association for Computing Machinery, 3. (ACM International Conference Proceeding Series).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    6 Scopus citations
  • Side channel vulnerability metrics: The promise and the pitfalls

    Zhang, T., Chen, S., Liu, F. & Lee, R. B., 2013, Proceedings of the 2nd International Workshop on Hardware and Architectural Support for Security and Privacy, HASP 2013. 2. (ACM International Conference Proceeding Series).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • SilverLine: Preventing data leaks from compromised web applications

    Mundada, Y., Ramachandran, A. & Feamster, N., 2013, Proceedings - 29th Annual Computer Security Applications Conference, ACSAC 2013. p. 329-338 10 p. (ACM International Conference Proceeding Series).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    6 Scopus citations
  • SoftCell: Scalable and flexible cellular core network architecture

    Jin, X., Li, L. E., Vanbever, L. & Rexford, J. L., 2013, CoNEXT 2013 - Proceedings of the 2013 ACM International Conference on Emerging Networking Experiments and Technologies. Association for Computing Machinery, p. 163-174 12 p. (CoNEXT 2013 - Proceedings of the 2013 ACM International Conference on Emerging Networking Experiments and Technologies).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    310 Scopus citations
  • Starchart: Hardware and software optimization using recursive partitioning regression trees

    Jia, W., Shaw, K. A. & Martonosi, M. R., 2013, PACT 2013 - Proceedings of the 22nd International Conference on Parallel Architectures and Compilation Techniques. p. 257-267 11 p. 6618822. (Parallel Architectures and Compilation Techniques - Conference Proceedings, PACT).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    29 Scopus citations
  • The NEBULA future internet architecture

    Anderson, T., Birman, K., Broberg, R., Caesar, M., Comer, D., Cotton, C., Freedman, M. J., Haeberlen, A., Ives, Z. G., Krishnamurthy, A., Lehr, W., Loo, B. T., Mazier̀es, D., Nicolosi, A., Smith, J. M., Stoica, I., Van Renesse, R., Walfish, M., Weatherspoon, H. & Yoo, C. S., 2013, The Future Internet - Future Internet Assembly 2013: Validated Results and New Horizons. Springer Verlag, p. 16-26 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7858 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    42 Scopus citations
  • Towards impactful routing research: Running your own (emulated) as on the (real) internet

    Schlinker, B., Zarifis, K., Cunha, I., Feamster, N., Katz-Bassett, E. & Yu, M., 2013, CoNEXT Student Workhop 2013 - Proceedings of the 2013 Workshop. Association for Computing Machinery, p. 31-33 3 p. (CoNEXT Student Workhop 2013 - Proceedings of the 2013 Workshop).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Understanding the domain registration behavior of spammers

    Hao, S., Thomas, M., Paxson, V., Feamster, N., Kreibich, C., Grier, C. & Hollenbeck, S., 2013, IMC 2013 - Proceedings of the 13th ACM Internet Measurement Conference. p. 63-75 13 p. (Proceedings of the ACM SIGCOMM Internet Measurement Conference, IMC).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    75 Scopus citations
  • Web performance bottlenecks in broadband access networks

    Sundaresan, S., Magharei, N., Feamster, N., Teixeira, R. & Crawford, S., 2013, SIGMETRICS 2013 - Proceedings of the 2013 ACM SIGMETRICS International Conference on Measurement and Modeling of Computer Systems. 1 SPEC. ISS. ed. p. 383-384 2 p. (Performance Evaluation Review; vol. 41, no. 1 SPEC. ISS.).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    9 Scopus citations
  • “Un-Googling” Publications: The Ethics and Problems of Anonymization

    Shklovski, I. & Vertesi, J., Apr 27 2013, CHI EA 2013 - Extended Abstracts on Human Factors in Computing Systems: Changing Perspectives. Beaudouin-Lafon, M., Baudisch, P. & Mackay, W. E. (eds.). Association for Computing Machinery, p. 2169-2178 10 p. (Conference on Human Factors in Computing Systems - Proceedings; vol. 2013-April).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    12 Scopus citations
  • 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 proceedingConference 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 proceedingConference contribution

    Open Access
    170 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 proceedingConference contribution

    Open Access
    376 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 proceedingConference contribution

    Open Access
    5 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 proceedingConference contribution

    2 Scopus citations
  • A certificate infrastructure for machine-checked proofs of conditional information flow

    Amtoft, T., Dodds, J., Zhang, Z., Appel, A., Beringer, L., Hatcliff, J., Ou, X. & Cousino, A., 2012, Principles of Security and Trust - First International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Proceedings. p. 369-389 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7215 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    18 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 proceedingConference contribution

    14 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 proceedingConference contribution

    15 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 proceedingConference contribution

    Open Access
    40 Scopus citations
  • Architectural support for hypervisor-secure virtualization

    Szefer, J. & Lee, R. B., 2012, ASPLOS XVII - 17th International Conference on Architectural Support for Programming Languages and Operating Systems. p. 437-449 13 p. (International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    118 Scopus citations
  • A software-hardware architecture for self-protecting data

    Chen, Y. Y., Jamkhedkar, P. A. & Lee, R. B., 2012, CCS'12 - Proceedings of the 2012 ACM Conference on Computer and Communications Security. p. 14-27 14 p. (Proceedings of the ACM Conference on Computer and Communications Security).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    52 Scopus citations
  • Building technologies that help cyber-defense: Hardware-enabled trust

    Vishik, C., Lee, R. B. & Chong, F., 2012, ISSE 2012 Securing Electronic Business Processes: Highlights of the Information Security Solutions Europe 2012 Conference. p. 316-325 10 p. (ISSE 2012 Securing Electronic Business Processes: Highlights of the Information Security Solutions Europe 2012 Conference).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    1 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 proceedingConference contribution

    108 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 proceedingConference contribution

    Open Access
    85 Scopus citations
  • Design for X? Distribution choices and ethical design

    Goodman, E. & Vertesi, J., 2012, Extended Abstracts - The 30th ACM Conference on Human Factors in Computing Systems, CHI 2012. p. 81-90 10 p. (Conference on Human Factors in Computing Systems - Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    8 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 proceedingConference contribution

    6 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 proceedingConference contribution

    12 Scopus citations