Center for Information Technology Policy

Filter
Conference contribution

Search results

  • 2017

    Counter-RAPTOR: Safeguarding Tor Against Active Routing Attacks

    Sun, Y., Edmundson, A., Feamster, N., Chiang, M. & Mittal, P., Jun 23 2017, 2017 IEEE Symposium on Security and Privacy, SP 2017 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 977-992 16 p. 7958620. (Proceedings - IEEE Symposium on Security and Privacy).

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

    26 Scopus citations
  • Dapper: Data plane performance diagnosis of TCP

    Ghasemi, M., Benson, T. & Rexford, J. L., Apr 3 2017, SOSR 2017 - Proceedings of the 2017 Symposium on SDN Research. Association for Computing Machinery, Inc, p. 61-74 14 p. (SOSR 2017 - Proceedings of the 2017 Symposium on SDN Research).

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

    62 Scopus citations
  • De-anonymizing web browsing data with social networks

    Su, J., Shukla, A., Goel, S. & Narayanan, A., 2017, 26th International World Wide Web Conference, WWW 2017. International World Wide Web Conferences Steering Committee, p. 1261-1269 9 p. 3052714. (26th International World Wide Web Conference, WWW 2017).

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

    50 Scopus citations
  • Discourse: MOOC discussion forum analysis at scale

    Kindel, A., Yeomans, M., Reich, J., Stewart, B. M. & Tingley, D., Apr 12 2017, L@S 2017 - Proceedings of the 4th (2017) ACM Conference on Learning at Scale. Association for Computing Machinery, Inc, p. 141-142 2 p. (L@S 2017 - Proceedings of the 4th (2017) ACM Conference on Learning at Scale).

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

    1 Scopus citations
  • Discovering valuations and enforcing truthfulness in a deadline-aware scheduler

    Huang, Z., Weinberg, S. M., Zheng, L., Joe-Wong, C. & Chiang, M., Oct 2 2017, INFOCOM 2017 - IEEE Conference on Computer Communications. Institute of Electrical and Electronics Engineers Inc., 8056975. (Proceedings - IEEE INFOCOM).

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

    6 Scopus citations
  • DoS attacks on your memory in the cloud

    Zhang, T., Zhang, Y. & Lee, R. B., Apr 2 2017, ASIA CCS 2017 - Proceedings of the 2017 ACM Asia Conference on Computer and Communications Security. Association for Computing Machinery, Inc, p. 253-265 13 p. (ASIA CCS 2017 - Proceedings of the 2017 ACM Asia Conference on Computer and Communications Security).

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

    36 Scopus citations
  • Dynamic service chaining with dysco

    Zave, P., Ferreira, R. A., Zou, X. K., Morimoto, M. & Rexford, J. L., Aug 7 2017, SIGCOMM 2017 - Proceedings of the 2017 Conference of the ACM Special Interest Group on Data Communication. Association for Computing Machinery, Inc, p. 57-70 14 p. (SIGCOMM 2017 - Proceedings of the 2017 Conference of the ACM Special Interest Group on Data Communication).

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

    41 Scopus citations
  • Escrow protocols for cryptocurrencies: How to buy physical goods using bitcoin

    Goldfeder, S., Bonneau, J., Gennaro, R. & Narayanan, A., 2017, Financial Cryptography and Data Security - 21st International Conference, FC 2017, Revised Selected Papers. Kiayias, A. (ed.). Springer Verlag, p. 321-339 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10322 LNCS).

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

    36 Scopus citations
  • Heavy-hitter detection entirely in the data plane

    Sivaraman, V., Narayana, S., Rottenstreich, O., Muthukrishnan, S. & Rexford, J. L., Apr 3 2017, SOSR 2017 - Proceedings of the 2017 Symposium on SDN Research. Association for Computing Machinery, Inc, p. 164-176 13 p. (SOSR 2017 - Proceedings of the 2017 Symposium on SDN Research).

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

    224 Scopus citations
  • Host-based DoS attacks and defense in the cloud

    Zhang, T. & Lee, R. B., Jun 25 2017, Hardware and Architectural Support for Security and Privacy, HASP 2017. Association for Computing Machinery, 3092630. (ACM International Conference Proceeding Series; vol. Part F128533).

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

    1 Scopus citations
  • HotCocoa: Hardware congestion control abstractions

    Arashloo, M. T., Ghobadi, M., Rexford, J. L. & Walker, D. P., Nov 30 2017, HotNets 2017 - Proceedings of the 16th ACM Workshop on Hot Topics in Networks. Association for Computing Machinery, Inc, p. 108-114 7 p. (HotNets 2017 - Proceedings of the 16th ACM Workshop on Hot Topics in Networks).

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

    18 Scopus citations
  • How secure is your cache against side-channel attacks?

    He, Z. & Lee, R. B., Oct 14 2017, MICRO 2017 - 50th Annual IEEE/ACM International Symposium on Microarchitecture Proceedings. IEEE Computer Society, p. 341-353 13 p. (Proceedings of the Annual International Symposium on Microarchitecture, MICRO; vol. Part F131207).

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

    44 Scopus citations
  • Implicit Smartphone User Authentication with Sensors and Contextual Machine Learning

    Lee, W. H. & Lee, R. B., Aug 30 2017, Proceedings - 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2017. Institute of Electrical and Electronics Engineers Inc., p. 297-308 12 p. 8023131. (Proceedings - 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2017).

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

    42 Scopus citations
  • Insight into Africa's country-level latencies

    Chavula, J., Phokeer, A., Formoso, A. & Feamster, N., Nov 3 2017, 2017 IEEE AFRICON: Science, Technology and Innovation for Africa, AFRICON 2017. Cornish, D. R. (ed.). Institute of Electrical and Electronics Engineers Inc., p. 938-944 7 p. 8095608. (2017 IEEE AFRICON: Science, Technology and Innovation for Africa, AFRICON 2017).

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

    6 Scopus citations
  • Live video analytics at scale with approximation and delay-tolerance

    Zhang, H., Ananthanarayanan, G., Bodik, P., Philipose, M., Bahl, P. & Freedman, M. J., Jan 1 2017, Proceedings of the 14th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2017. USENIX Association, p. 377-392 16 p. (Proceedings of the 14th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2017).

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

    177 Scopus citations
  • Locomotive: Optimizing mobile web traffic using selective compression

    Melissaris, T., Shaw, K. & Martonosi, M. R., Jul 10 2017, 18th IEEE International Symposium on A World of Wireless, Mobile and Multimedia Networks, WoWMoM 2017 - Conference. Institute of Electrical and Electronics Engineers Inc., 7974350. (18th IEEE International Symposium on A World of Wireless, Mobile and Multimedia Networks, WoWMoM 2017 - Conference).

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

    1 Scopus citations
  • Machine Learning Based DDoS Attack Detection from Source Side in Cloud

    He, Z., Zhang, T. & Lee, R. B., Jul 20 2017, Proceedings - 4th IEEE International Conference on Cyber Security and Cloud Computing, CSCloud 2017 and 3rd IEEE International Conference of Scalable and Smart Cloud, SSC 2017. Qiu, M. (ed.). Institute of Electrical and Electronics Engineers Inc., p. 114-120 7 p. 7987186. (Proceedings - 4th IEEE International Conference on Cyber Security and Cloud Computing, CSCloud 2017 and 3rd IEEE International Conference of Scalable and Smart Cloud, SSC 2017).

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

    93 Scopus citations
  • Optimized surface code communication in superconducting quantum computers

    Javadi-Abhari, A., Gokhale, P., Holmes, A., Franklin, D., Brown, K. R., Martonosi, M. & Chong, F. T., Oct 14 2017, MICRO 2017 - 50th Annual IEEE/ACM International Symposium on Microarchitecture Proceedings. IEEE Computer Society, p. 692-705 14 p. (Proceedings of the Annual International Symposium on Microarchitecture, MICRO; vol. Part F131207).

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

    Open Access
    26 Scopus citations
  • Poster: Inaudible voice commands

    Song, L. & Mittal, P., Oct 30 2017, CCS 2017 - Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery, p. 2583-2585 3 p. (Proceedings of the ACM Conference on Computer and Communications Security).

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

    21 Scopus citations
  • Quantification of de-anonymization risks in social networks

    Lee, W. H., Liu, C., Ji, S., Mittal, P. & Lee, R., 2017, ICISSP 2017 - Proceedings of the 3rd International Conference on Information Systems Security and Privacy. Mori, P., Furnell, S. & Camp, O. (eds.). SciTePress, p. 126-135 10 p. (ICISSP 2017 - Proceedings of the 3rd International Conference on Information Systems Security and Privacy; vol. 2017-January).

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

    Open Access
    3 Scopus citations
  • Robots in group context: Rethinking design, development and deployment

    Jung, M. F., Beane, M., Forlizzi, J., Murphy, R. & Vertesi, J., May 6 2017, CHI 2017 Extended Abstracts - Proceedings of the 2017 ACM SIGCHI Conference on Human Factors in Computing Systems: Explore, Innovate, Inspire. Association for Computing Machinery, p. 1283-1288 6 p. (Conference on Human Factors in Computing Systems - Proceedings; vol. Part F127655).

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

    Open Access
    6 Scopus citations
  • RTLCheck: Verifying the memory consistency of RTL designs

    Manerkar, Y. A., Lustig, D., Martonosi, M. R. & Pellauer, M., Oct 14 2017, MICRO 2017 - 50th Annual IEEE/ACM International Symposium on Microarchitecture Proceedings. IEEE Computer Society, p. 463-476 14 p. (Proceedings of the Annual International Symposium on Microarchitecture, MICRO; vol. Part F131207).

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

    12 Scopus citations
  • SDX-based flexibility or internet correctness? Pick two!

    Birkner, R., Gupta, A., Feamster, N. & Vanbever, L., Apr 3 2017, SOSR 2017 - Proceedings of the 2017 Symposium on SDN Research. Association for Computing Machinery, Inc, p. 1-7 7 p. (SOSR 2017 - Proceedings of the 2017 Symposium on SDN Research).

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

    9 Scopus citations
  • Secure Pick Up: Implicit authentication when you start using the smartphone

    Lee, W. H., Liu, X., Shen, Y., Jin, H. & Lee, R. B-L., Jun 7 2017, SACMAT 2017 - Proceedings of the 22nd ACM Symposium on Access Control Models and Technologies. Association for Computing Machinery, p. 67-78 12 p. (Proceedings of ACM Symposium on Access Control Models and Technologies, SACMAT; vol. Part F128644).

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

    30 Scopus citations
  • Sensor-Based Implicit Authentication of Smartphone Users

    Lee, W. H. & Lee, R. B., Aug 30 2017, Proceedings - 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2017. Institute of Electrical and Electronics Engineers Inc., p. 309-320 12 p. 8023132. (Proceedings - 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2017).

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

    17 Scopus citations
  • Shrink fast correctly!

    Bélanger, O. S. & Appel, A. W., Oct 9 2017, Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, PPDP 2017. Association for Computing Machinery, p. 49-60 12 p. (ACM International Conference Proceeding Series; vol. Part F131196).

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

    6 Scopus citations
  • SLAQ: Quality-driven scheduling for distributed machine learning

    Zhang, H., Stafman, L., Or, A. & Freedman, M. J., Sep 24 2017, SoCC 2017 - Proceedings of the 2017 Symposium on Cloud Computing. Association for Computing Machinery, Inc, p. 390-404 15 p. (SoCC 2017 - Proceedings of the 2017 Symposium on Cloud Computing).

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

    Open Access
    72 Scopus citations
  • The optimal mechanism for selling to a budget-constrained buyer: The general case

    Devanur, N. R. & Weinberg, S. M., Jun 20 2017, EC 2017 - Proceedings of the 2017 ACM Conference on Economics and Computation. Association for Computing Machinery, Inc, p. 39-40 2 p. (EC 2017 - Proceedings of the 2017 ACM Conference on Economics and Computation).

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

    19 Scopus citations
  • TorPolice: Towards enforcing service-defined access policies for anonymous communication in the Tor network

    Liu, Z., Liu, Y., Winter, P., Mittal, P. & Hu, Y. C., Nov 21 2017, 2017 IEEE 25th International Conference on Network Protocols, ICNP 2017. IEEE Computer Society, 8117564. (Proceedings - International Conference on Network Protocols, ICNP; vol. 2017-October).

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

    16 Scopus citations
  • TriCheck: Memory model verification at the trisection of software, hardware, and ISA

    Trippel, C., Manerkar, Y. A., Lustig, D., Pellauer, M. & Martonosi, M. R., Apr 4 2017, ASPLOS 2017 - 22nd International Conference on Architectural Support for Programming Languages and Operating Systems. Association for Computing Machinery, p. 119-133 15 p. (International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS; vol. Part F127193).

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

    Open Access
    18 Scopus citations
  • Using EEG-based BCI devices to subliminally probe for private information

    Frank, M., Hwu, T., Jain, S., Knight, R. T., Martinovic, I., Mittal, P., Perito, D., Sluganovic, I. & Song, D., Oct 30 2017, WPES 2017 - Proceedings of the 2017 Workshop on Privacy in the Electronic Society, co-located with CCS 2017. Association for Computing Machinery, Inc, p. 133-136 4 p. (WPES 2017 - Proceedings of the 2017 Workshop on Privacy in the Electronic Society, co-located with CCS 2017; vol. 2017-January).

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

    13 Scopus citations
  • VCorfu: A cloud-scale object store on a shared log

    Wei, M., Tai, A., Rossbach, C. J., Abraham, I., Munshed, M., Dhawan, M., Stabile, J., Wieder, U., Fritchie, S., Swanson, S., Freedman, M. J. & Malkhi, D., 2017, Proceedings of the 14th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2017. USENIX Association, p. 35-49 15 p. (Proceedings of the 14th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2017).

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

    16 Scopus citations
  • VCorfu: A cloud-scale object store on a shared log

    Wei, M., Tai, A., Rossbach, C. J., Abraham, I., Munshed, M., Dhawan, M., Stabile, J., Wieder, U., Fritchie, S., Swanson, S., Freedman, M. J. & Malkhi, D., Jan 1 2017, Proceedings of the 14th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2017. USENIX Association, p. 35-49 15 p. (Proceedings of the 14th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2017).

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

  • Verified correctness and security of mbed TLS HMAC-DRBG

    Ye, K. Q., Green, M., Sanguansin, N., Beringer, L., Petcher, A. & Appel, A. W., Oct 30 2017, CCS 2017 - Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery, p. 2007-2020 14 p. (Proceedings of the ACM Conference on Computer and Communications Security).

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

    38 Scopus citations
  • Whippersnapper: A P4 language benchmark suite

    Dang, H. T., Wang, H., Jepsen, T., Brebner, G., Kim, C., Rexford, J. L., Soulé, R. & Weatherspoon, H., Apr 3 2017, SOSR 2017 - Proceedings of the 2017 Symposium on SDN Research. Association for Computing Machinery, Inc, p. 95-101 7 p. (SOSR 2017 - Proceedings of the 2017 Symposium on SDN Research).

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

    44 Scopus citations
  • 2016

    A case study of traffic demand response to broadband service-plan upgrades

    Grover, S., Ensafi, R. & Feamster, N., 2016, Passive and Active Measurement - 17th International Conference, PAM 2016, Proceedings. Karagiannis, T. & Dimitropoulos, X. (eds.). Springer Verlag, p. 124-135 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9631).

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

  • A duality based unified approach to Bayesian mechanism design

    Cai, Y., Devanur, N. R. & Weinberg, S. M., Jun 19 2016, STOC 2016 - Proceedings of the 48th Annual ACM SIGACT Symposium on Theory of Computing. Mansour, Y. & Wichs, D. (eds.). Association for Computing Machinery, p. 926-939 14 p. (Proceedings of the Annual ACM Symposium on Theory of Computing; vol. 19-21-June-2016).

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

    68 Scopus citations
  • A first look at mobile internet use in township communities in South Africa

    Phokeer, A., Densmore, M., Johnson, D. & Feamster, N., Nov 18 2016, Proceedings of the 7th Annual Symposium on Computing for Development, ACM DEV-7 2016. Association for Computing Machinery, Inc, a15. (Proceedings of the 7th Annual Symposium on Computing for Development, ACM DEV-7 2016).

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

    18 Scopus citations
  • A first look into transnational routing detours

    Edmundson, A., Ensafi, R., Feamster, N. G. & Rexford, J. L., Aug 22 2016, SIGCOMM 2016 - Proceedings of the 2016 ACM Conference on Special Interest Group on Data Communication. Association for Computing Machinery, Inc, p. 567-568 2 p. 2959081. (SIGCOMM 2016 - Proceedings of the 2016 ACM Conference on Special Interest Group on Data Communication).

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

    5 Scopus citations
  • A hardware-based technique for efficient implicit information flow tracking

    Shin, J., Zhang, H., Lee, J., Heo, I., Chen, Y. Y., Lee, R. & Paek, Y., Nov 7 2016, 2016 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2016. Institute of Electrical and Electronics Engineers Inc., 2966991. (IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD; vol. 07-10-November-2016).

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

    6 Scopus citations
  • An industrial-scale software defined internet exchange point

    Gupta, A., MacDavid, R., Birkner, R., Canini, M., Feamster, N., Rexford, J. & Vanbever, L., Jan 1 2016, Proceedings of the 13th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2016. USENIX Association, p. 1-14 14 p. (Proceedings of the 13th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2016).

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

    62 Scopus citations
  • Authorizing network control at software defined internet exchange points

    Gupta, A., Feamster, N. & Vanbever, L., Mar 14 2016, Symposium on Software Defined Networking (SDN) Research, SOSR 2016. Association for Computing Machinery, Inc, a16. (Symposium on Software Defined Networking (SDN) Research, SOSR 2016).

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

    Open Access
    9 Scopus citations
  • Be fast, cheap and in control with SwitchKV

    Li, X., Sethi, R., Kaminsky, M., Andersen, D. G. & Freedman, M. J., Jan 1 2016, Proceedings of the 13th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2016. USENIX Association, p. 31-44 14 p. (Proceedings of the 13th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2016).

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

    59 Scopus citations
  • Blockstack: A global naming and storage system secured by blockchains

    Ali, M., Nelson, J., Shea, R. & Freedman, M. J., Jan 1 2016, Proceedings of the 2016 USENIX Annual Technical Conference, USENIX ATC 2016. USENIX Association, p. 181-194 14 p. (Proceedings of the 2016 USENIX Annual Technical Conference, USENIX ATC 2016).

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

  • Blockstack: A global naming and storage system secured by blockchains

    Ali, M., Nelson, J., Shea, R. & Freedman, M. J., Jan 1 2016, Proceedings of the 2016 USENIX Annual Technical Conference, USENIX ATC 2016. USENIX Association, p. 181-194 14 p. (Proceedings of the 2016 USENIX Annual Technical Conference, USENIX ATC 2016).

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

    340 Scopus citations
  • CacheFlow: Dependency-aware rule-caching for software-defined networks

    Katta, N., Alipourfard, O., Rexford, J. L. & Walker, D. P., Mar 14 2016, Symposium on Software Defined Networking (SDN) Research, SOSR 2016. Association for Computing Machinery, Inc, a6. (Symposium on Software Defined Networking (SDN) Research, SOSR 2016).

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

    113 Scopus citations
  • CATalyst: Defeating last-level cache side channel attacks in cloud computing

    Liu, F., Ge, Q., Yarom, Y., McKeen, F., Rozas, C., Heiser, G. & Lee, R. B-L., Apr 1 2016, Proceedings of the 2016 IEEE International Symposium on High-Performance Computer Architecture, HPCA 2016. IEEE Computer Society, p. 406-418 13 p. 7446082. (Proceedings - International Symposium on High-Performance Computer Architecture; vol. 2016-April).

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

    246 Scopus citations
  • Cloudradar: A real-time side-channel attack detection system in clouds

    Zhang, T., Zhang, Y. & Lee, R. B., 2016, Research in Attacks, Intrusions, and Defenses - 19th International Symposium, RAID 2016, Proceedings. Dacier, M., Monrose, F., Blanc, G. & Garcia-Alfaro, J. (eds.). Springer Verlag, p. 118-140 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9854 LNCS).

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

    106 Scopus citations
  • COATCheck: Verifying memory ordering at the hardware-OS interface

    Lustig, D., Sethi, G., Martonosi, M. & Bhattacharjee, A., Mar 25 2016, ASPLOS 2016 - 21st International Conference on Architectural Support for Programming Languages and Operating Systems. Association for Computing Machinery, p. 233-247 15 p. (International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS; vol. 02-06-April-2016).

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

    31 Scopus citations
  • Compiling path queries

    Narayana, S., Arashloo, M. T., Rexford, J. & Walker, D., Jan 1 2016, Proceedings of the 13th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2016. USENIX Association, p. 207-222 16 p. (Proceedings of the 13th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2016).

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

    55 Scopus citations