Systems and Networking Publications

2022

Aravind Machiry, John Kastner, Matt McCutchen, Aaron Eline, Kyle Headley, and Michael Hicks, “C to Checked C by 3C”, In Proceedings of the ACM Conference on Object-Oriented Programming Languages, Systems, and Applications (OOPSLA) (Acceptance rate: 24/76 = 31.5%)

Ashraf Youssef Mahgoub, Edgardo Barsallo Yi; Karthick Shankar (Carnegie Mellon University); Somali Chaterji; Sameh Elnikety (Microsoft Research); Saurabh Bagchi, "ORION: Optimized Execution Latency for Serverless DAGs," Accepted to appear at the 16th USENIX Symposium on Operating Systems Design and Implementation (OSDI), pp. 1--15, July 2022. (Acceptance rate: 49/251 = 19.5%)

Ran Xu, Jayoung Lee, Pengcheng Wang, Saurabh Bagchi; Yin Li (University of Wisconsin – Madison); Somali Chaterji, “LiteReconfig: Cost and Content Aware Reconfiguration of Video Object Detection Systems for Mobile GPUs,” At the 17th European Conference on Computer Systems (EuroSys 2022). (Acceptance rate: 45/161 = 27.9%)

Mustafa Abdallah, Daniel Woods; Parinaz Naghizadeh (Ohio State University); Issa Khalil (Qatar Computing Research Institute (QCRI), HBKU); Timothy Cason, Shreyas Sundaram, Saurabh Bagchi, "TASHAROK: Using Mechanism Design for Enhancing Security Resource Allocation in Interdependent Systems," Accepted to appear at the 43rd IEEE Symposium on Security and Privacy (S&P), pp. 1--18, May 2022. 

Ran Xu; Fangzhou Mu (University of Wisconsin-Madison); Jayoung Lee, Preeti Mukherjee, Somali Chaterji, Saurabh Bagchi; Yin Li (University of Wisconsin-Madison), “SMARTADAPT: Multi-branch Object Detection Framework for Videos on Mobiles,” Accepted to appear at the IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR 2022). (Acceptance rate: 2067/8162 = 25.3%)

Efe Barlas, Xin Du, James Davis, “Exploiting Input Sanitization for Regex Denial of Service”, Accepted to appear at the ACM/IEEE 44th International Conference on Software Engineering (ICSE), pp. 1-13, May 2022. (Acceptance rate: 197/751 = 26.2%).

Daniel Amir, Tegan Wilson, Vishal Shrivastav, Hakim Weatherspoon, Robert Kleinberg, Rachit Agarwal, "Optimal Oblivious Reconfigurable Networks," Accepted to appear at the 54th ACM Symposium on Theory of Computing (STOC), June 2022.

2021

Daniel Bittman, Robert Soulé, Ethan Miller, Vishal Shrivastav, Pankaj Mehra, Matthew Boisvert, Avi Silberschatz, Peter Alvaro, “Don't Let RPCs Constrain Your API,” Proceedings of the ACM Workshop on Hot Topics in Networks (HotNets), November 2021.

Abhinav Goel, Caleb Tung, Xiao Hu, George K. Thiruvathukal (Loyola University Chicago), James Davis, Yung-Hsiang Lu, “Low-Power Multi-Camera Object Re-Identification using Hierarchical Neural Networks,” Proceedings of the ACM/IEEE International Symposium on Low Power Electronics and Design (ISLPED). (Acceptance rate: 954/2772 = 34%).

James Davis, Francisco Servant (Virginia Tech), Dongyoon Lee (Stony Brook University). Using Selective Memoization to Defeat Regular Expression Denial of Service. 42nd IEEE Symposium on Security and Privacy (S&P), pp. 1-17, May 2021. (Acceptance rate: 77/643 = 12.0%).

Herbold, Trautsch, Ledel, Aghamohammadi, Ghaleb, Chahal, Bossenmaier, Nagaria, Makedonski, Ahmadabadi, Szabados, Spieker, Madeja, Hoy, Lenarduzzi,Wang, Rodriguez-Perez, Colomo-Palacios, Verdecchia, Singh, Qin, Chakroborti, Davis, Walunj, Wu, Marcilio, Alam, Aldaeej, Amit, Turhan, Eismann, Wickert, Malavolta, Sulr, Fard, Henley, Kourtzanidis, Tuzun, Treude, Shamasbi, Pashchenko, Wyrich, Davis, Serebrenik, Albrecht, Aktas, Struber, Erbel. A Fine-grained Data Set and Analysis of Tangling in Bug Fixing Commits. Empirical Software Engineering (EMSE) 2021.

Z. Li, Aravind Machiry , B. Chen, M. Naik, K. Wang, L. Song, “ARBITRAR: User-Guided API Misuse Detection.”,  42nd IEEE Symposium on Security and Privacy (S&P), May 2021. (Acceptance rate: 77/643 = 12.0%).

N. Redini, A. Continella, D. Das, G.De Pasquale, N. Spahn, Aravind Machiry , A. Bianchi, C. Kruegel, and G. Vigna, “DIANE: Identifying Fuzzing Triggers in Apps to Generate Under-constrained Inputs for IoT Devices.”,  42nd IEEE Symposium on Security and Privacy (S&P), May 2021. (Acceptance rate: 77/643 = 12.0%).

Proactive Energy-Aware Adaptive Video Streaming on Mobile Devices, Jiayi Meng, Qiang Xu, Y. Charlie Hu. Proc. of USENIX Annual Technical Conference (USENIX ATC), July 2021.

SONIC: Application-aware Data Passing for Chained Serverless Applications, Ashraf Mahgoub, Karthick Shankar (CMU), Subrata Mitra (Adobe Research), Ana Klimovic (ETH Zurich), Somali Chaterji, and Saurabh Bagchi. At the Usenix Annual Technical Conference (Usenix ATC), pp. 1-15, July 2021.

How Much Battery Does Dark Mode Save? An Accurate OLED Display Power Profiler for Modern Smartphones, Pranab Dash and Y. Charlie Hu. Proc. of ACM MobiSys, Mars, Milky Way, June 24 - July 2, 2021.

AQuA: Analytical Quality Assessment for Optimizing Video Analytics Systems, Sibendu Paul, Utsav Drolia, Y. Charlie Hu, and Srimat Chakradhar, Proceedings of ACM/IEEE Symposium on Edge Computing, San Jose, CA, December 2021.

2020

μRAI: Return Address Integrity for Embedded Systems, Naif Saleh Almakhdhub, Abraham A Clements, Saurabh Bagchi, Mathias Payer, Network and Distributed System Security Symposium (NDSS), San Diego, CA, February 2020.

Coterie: Exploiting Frame Similarity to Enable High-Quality Multiplayer VR on Commodity Mobile Devices, Jiayi Meng, Sibendu Paul, Y. Charlie Hu, Proceedings of the International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), Lausanne, Switzerland, March 2020.

How to Evaluate Mobile 360° Video Streaming Systems?, Shivang Aggarwal, Sibendu Paul, Pranab Dash, Nuka Saranya Illa, Y. Charlie Hu, Dimitrios Koutsonikolas, Zhisheng Yan, Proceedings of ACM HotMobile 2020, Austin, TX, March 2020.

TRUST. IO: protecting physical interfaces on cyber-physical systems, Chad Spensky, Aravind Machiry, Marcel Busch, Kevin Leach, Rick Housley, Christopher Kruegel, Giovanni Vigna, IEEE Conference on Communications and Network Security (CNS), Virtual, June 2020.

Exploring Abstraction Functions in Fuzzing, Christopher Salls, Aravind Machiry, Adam Doupe, Yan Shoshitaishvili, Christopher Kruegel, Giovanni Vigna, IEEE Conference on Communications and Network Security (CNS), Virtual, June 2020.

The Mystery of the Failing Jobs: Insights from Operational Data from Two University-Wide Computing Systems, Rakesh Kumar, Saurabh Jha, Ashraf Mahgoub, Rajesh Kalyanam, Stephen L Harrell, Xiaohui Carol Song, Zbigniew Kalbarczyk, William T Kramer, Ravishankar K. Iyer, Saurabh Bagchi, IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), València, Spain, June 2020.

Exploring the interplay between CDN caching and video streaming performance, Ehab Ghabashneh, Sanjay Rao, IEEE INFOCOM 2020-IEEE Conference on Computer Communications, Virtual, July 2020.

{OPTIMUSCLOUD}: Heterogeneous Configuration Optimization for Distributed Databases in the Cloud, Ashraf Mahgoub, Alexander Michaelson Medoff, Rakesh Kumar, Subrata Mitra, Ana Klimovic, Somali Chaterji, Saurabh Bagchi, {USENIX} Annual Technical Conference ({USENIX}{ATC} 20), Virtual, July 2020.

HALucinator: Firmware Re-hosting Through Abstraction Layer Emulation, Abraham Clements, Eric Gustafson, Tobias Scharnowski, Paul Grosen, David Fritz, Christopher Kruegel, Giovanni Vigna, Saurabh Bagchi, Mathias Payer, 29th USENIX Security Symposium (USENIX Sec), Virtual, August 2020.

Identifying Multi-Binary Vulnerabilities in Embedded Firmware at Scale, Nilo Redini, Aravind Machiry, Ruoyu Wang, Chad Spensky, Andrea Continella, Yan Shoshitaishvili, Christopher Kruegel, Giovanni Vigna, Black Hat Asia, Virtual, September 2020.

ApproxDet: Content and Contention-Aware Approximate Object Detection for Mobiles, Ran Xu, Chen-lin Zhang, Pengcheng Wang, Jayoung Lee, Subrata Mitra, Somali Chaterji, Yin Li, Saurabh Bagchi, 18th ACM Conference on Embedded Networked Sensor Systems (SenSys), Yokohama, Japan, November 2020.

Feature Shift Detection: Localizing Which Features Have Shifted via Conditional Distribution Tests, Sean M. Kulinski, Saurabh Bagchi, David I. Inouye, 34th Conference on Neural Information Processing Systems (NeurIPS), Virtual, December 2020.

2019

PySE: Automatic Worst-Case Test Generation by Reinforcement Learning, Jinkyu Koo, Charitha Saumya, Milind Kulkarni, Saurabh Bagchi, 12th IEEE Conference on Software Testing, Verification and Validation (ICST), Xian, China, April 2019.

Xstressor: Automatic generation of large-scale worst-case test inputs by inferring path conditions, Charitha Saumya, Jinkyu Koo, Milind Kulkarni, Saurabh Bagchi, 12th IEEE Conference on Software Testing, Verification and Validation (ICST), Xian, China, April 2019.

BinTrimmer: Towards Static Binary Debloating Through Abstract Interpretation, Nilo Redini, Ruoyu Wang, Aravind Machiry, Yan Shoshitaishvili, Giovanni Vigna, Christopher Kruegel, International Conference on Detection of Intrusions and Malware, and Vulnerability Assessment, Gothenburg, Sweden, June 2019.

Commit signatures for centralized version control systems, Sangat Vaidya, Santiago Torres-Arias, Reza Curtmola, Justin Cappos, IFIP International Conference on ICT Systems Security and Privacy Protection, Lisbon, Portugal, June 2019.

BenchIoT: A Security Benchmark for the Internet of Things, Naif Almakhdhub, Abraham Clements, Mathias Payer, Saurabh Bagchi, 49th IEEE/IFIP International Symposium on Dependable Systems and Networks (DSN), Portland, OR, June 2019.

AMPT-GA: Automatic Mixed Precision Floating Point Tuning for GPU Applications, Pradeep Kotipalli, Ranvijay Singh, Paul Wood, Ignacio Laguna, Saurabh Bagchi, 33rd ACM International Conference on Supercomputing (ICS), Phoenix, AZ, June 2019.

Gpumixer: Performance-driven floating-point tuning for gpu scientific applications, Ignacio Laguna, Paul C Wood, Ranvijay Singh, Saurabh Bagchi, International Conference on High Performance Computing, Frankfurt, Germany, June 2019.

Your coflow has many flows: sampling them for fun and speed, Akshay Jajoo, Y. Charlie Hu, Xiaojun Lin, 2019 USENIX Annual Technical Conference, Renton, WA, July 2019.

SOPHIA: Online reconfiguration of Clustered NoSQL Databases for Time-Varying Workloads, Ashraf Mahgoub, Paul Wood, Alexander Medoff, Subrata Mitra, Folker Meyer, Somali Chaterji, Saurabh Bagchi, 2019 USENIX Annual Technical Conference, Renton, WA, July 2019.

Your Coflow has Many Flows: Sampling them for Fun and Speed, Akshay Jajoo, Y. Charlie Hu, Xiaojun Lin, Proceedings of USENIX USENIX Annual Technical Conference (ATC), Renton, WA, July 2019.

in-toto: Providing farm-to-table guarantees for bits and bytes, Santiago Torres-Arias, Hammad Afzali, Trishank Karthik Kuppusamy, Reza Curtmola, Justin Cappos, 28th {USENIX} Security Symposium ({USENIX} Security 19), Santa Clara, CA, August 2019.

Toward the analysis of embedded firmware through automated re-hosting, Eric Gustafson, Marius Muench, Chad Spensky, Nilo Redini, Aravind Machiry, Yanick Fratantonio, Davide Balzarotti, Aurélien Francillon, Yung Ryn Choe, Christophe Kruegel, Giovanni Vigna, 22nd International Symposium on Research in Attacks, Intrusions and Defenses ({RAID} 2019), Beijing, China, September 2019.

SIMVECS: Similarity-based Vectors for Utterance Representation in Conversational AI Systems, Ashraf Mahgoub, Youssef Shahin, Riham Mansour, Saurabh Bagchi, SIGNLL Conference on Computational Natural Language Learning (CoNLL), Hong Kong, November 2019.

2018

Minerva: A reinforcement learning-based technique for optimal scheduling and bottleneck detection in distributed factory operations, Tara Thomas, Jinkyu Koo, Saurabh Bagchi, 10th IEEE Conference on Communication Systems & Networks (COMSNETS), Bengaluru, India, January 2018.

Broken Fingers: On the Usage of the Fingerprint API in Android., Antonio Bianchi, Yanick Fratantonio, Aravind Machiry, Christopher Kruegel, Giovanni Vigna, Simon Pak Ho Chung, Wenke Lee, NDSS Symposium, San Diego, CA, February 2018.

How Reliable is my Wearable: A Fuzz Testing-based Study, Edgardo Barsallo Yi, Amiya K. Maji, Saurabh Bagchi, 48th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Luxembourg City, Luxembourg, June 2018.

ACCORD: Automated Change Coordination across Independently Administered Cloud Services, Tariq Mahmood, Bharath Balasubramanian, Mithuna Thottethodi, Sanjay Rao, Kaustubh Joshi, IEEE 11th International Conference on Cloud Computing (CLOUD), San Francisco, CA, July 2018.

VideoChef: Efficient Approximation for Streaming Video Processing Pipelines, Ran Xu, Jinkyu Koo, Rakesh Kumar, Peter Bai, Subrata Mitra, Sasa Misailovic, Saurabh Bagchi, USENIX Annual Technical Conference (USENIX ATC '18), Boston, MA, July 2018.

ACES: Automatic Compartments for Embedded Systems, Abraham A. Clements, Naif S. Almakhdhub, Saurabh Bagchi, Mathias Payer, 27th USENIX Security Symposium (USENIX Sec ’18), Baltimore, MD, August 2018.

A Hypergame Analysis for ErsatzPasswords, Christopher N Gutierrez, Mohammed H Almeshekah, Saurabh Bagchi, Eugene H Spafford, IFIP International Conference on ICT Systems Security and Privacy Protection, Poznan, Poland, September 2018.

Mobility support in cellular networks: A measurement study on its configurations and implications, Haotian Deng, Chunyi Peng, Ans Fida, Jiayi Meng, Y. Charlie Hu, Proceedings of the Internet Measurement Conference 2018, Boston, MA, October 2018.

Differential Energy Profiling: Energy Optimization via Diffing Similar Apps, Abhilash Jindal and Y. Charlie Hu, Proceedings of USENIX 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI), Carlsbad, CA, October 2018.

Pythia: Improving Datacenter Utilization via Precise Contention Prediction for Multiple Co-located Workloads, Ran Xu, Subrata Mitra, Jason Rahman, Peter Bai, Bowen Zhou, Greg Bronevetsky, Saurabh Bagchi, ACM/IFIP International Middleware Conference, Rennes, France, December 2018.

2017

Exploring functional slicing in the design of distributed SDN controllers, Yiyang Chang, Ashkan Rezaei, Balajee Vamanan, Jahangir Hasan, Sanjay Rao, TN Vijaykumar, 9th International Conference on Communication Systems and Networks (COMSNETS), Bengaluru, India, January 2017.

Hydra: Leveraging functional slicing for efficient distributed SDN controllers, Yiyang Chang, Ashkan Rezaei, Balajee Vamanan, Jahangir Hasan, Sanjay Rao, TN Vijaykumar, 9th International Conference on Communication Systems and Networks (COMSNETS), Bengaluru, India, January 2017.

Profiting from attacks on real-time price communications in smart grids, Paul Wood, Saurabh Bagchi, Alefiya Hussain, 9th International Conference on Communication Systems and Networks (COMSNETS), Bengaluru, India, January 2017.

BOOMERANG: Exploiting the Semantic Gap in Trusted Execution Environments., Aravind Machiry, Eric Gustafson, Chad Spensky, Christopher Salls, Nick Stephens, Ruoyu Wang, Antonio Bianchi, Yung Ryn Choe, Christopher Kruegel, Giovanni Vigna, NDSS Symposium, San Diego, CA, February 2017.

Ramblr: Making Reassembly Great Again, Ruoyu Wang, Yan Shoshitaishvili, Antonio Bianchi, Aravind Machiry, John Grosen, Paul Grosen, Christopher Kruegel, Giovanni Vigna, NDSS Symposium, San Diego, CA, February 2017.

Phase-aware optimization in approximate computing, Subrata Mitra, Manish K Gupta, Sasa Misailovic, Saurabh Bagchi, IEEE/ACM International Symposium on Code Generation and Optimization (CGO), Austin, TX, February 2017.

Robust validation of network designs under uncertain demands and failures, Yiyang Chang, Sanjay Rao, Mohit Tawarmalani, 14th {USENIX} Symposium on Networked Systems Design and Implementation ({NSDI} 17), Boston, MA, March 2017.

Protecting bare-metal embedded systems with privilege overlays, Abraham A Clements, Naif Saleh Almakhdhub, Khaled S Saab, Prashast Srivastava, Jinkyu Koo, Saurabh Bagchi, Mathias Payer, IEEE Symposium on Security and Privacy (SP), San Jose, CA, May 2017.

Rl-blh: Learning-based battery control for cost savings and privacy preservation for smart meters, Jinkyu Koo, Xiaojun Lin, Saurabh Bagchi, 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Denver, CO, June 2017.

{DR}.{CHECKER}: A soundy analysis for linux kernel drivers, Aravind Machiry, Chad Spensky, Jake Corina, Nick Stephens, Christopher Kruegel, Giovanni Vigna, 26th {USENIX} Security Symposium ({USENIX} Security 17), Vancouver, CA, August 2017.

Bootstomp: on the security of bootloaders in mobile devices, Nilo Redini, Aravind Machiry, Dipanjan Das, Yanick Fratantonio, Antonio Bianchi, Eric Gustafson, Yan Shoshitaishvili, Christopher Kruegel, Giovanni Vigna, 26th {USENIX} Security Symposium ({USENIX} Security 17), Vancouver, CA, August 2017.

TopHat : Topology-Based Host-Level Attribution for Multi-stage Attacks in Enterprise Systems Using Software Defined Networks, Subramaniyam Kannan, Paul Wood, Larry Deatrick, Patricia Beane, Somali Chaterji, Saurabh Bagchi, International Conference on Security and Privacy in Communication Systems, Niagara Falls, Canada, October 2017.

Wireless network instabilities in the wild: Prevalence, App (non) resilience, and OS remedy, Zeqi Lai, Yong Cui, Yimin Jiang, Xiaomeng Chen, Y. Charlie Hu, Kun Tan, Minglong Dai, Kai Zheng, IEEE 25th International Conference on Network Protocols (ICNP), Toronto, Canada, October 2017.

Minerva: A reinforcement learning-based technique for optimal scheduling and bottleneck detection in distributed factory operations, Tara Thomas, Jinkyu Koo, Saurabh Bagchi, 10th IEEE Conference on Communication Systems & Networks (COMSNETS), Las Vegas, NV, November 2017.

Saath: Speeding up CoFlows by Exploiting the Spatial Dimension, Akshay Jajoo, Rohan Gandhi, Y. Charlie Hu, Cheng-Kok Koh, Proceedings of the 13th International Conference on emerging Networking EXperiments and Technologies, Seoul/Incheon, South Korea, December 2017.

2016

Fast training on large genomics data using distributed support vector machines, Nawanol Theera-Ampornpunt, Seong Gon Kim, Asish Ghoshal, Saurabh Bagchi, Ananth Grama, Somali Chaterji, 8th International Conference on Communication Systems and Networks (COMSNETS), Bangalore, India, January 2016.

Defending against strategic adversaries in dynamic pricing markets for smart grids, Paul Wood, Saurabh Bagchi, Alefiya Hussain, 8th International Conference on Communication Systems and Networks (COMSNETS), Bangalore, India, January 2016.

Diplomat: Using delegations to protect community repositories, Trishank Karthik Kuppusamy, Santiago Torres-Arias, Vladimir Diaz, Justin Cappos, 13th {USENIX} Symposium on Networked Systems Design and Implementation ({NSDI} 16), Santa Clara, CA, March 2016.

Yoda: A highly available layer-7 load balancer, Rohan Gandhi, Y. Charlie Hu, Ming Zhang, Proceedings of the Eleventh European Conference on Computer Systems, London, United Kingdom, April 2016.

Unsafe Time Handling in Smartphones, Abhilash Jindal, Y. Charlie Hu, Samuel P Midkiff, Prahlad Joshi, USENIX Annual Technical Conference, Denver, CO, June 2016.

On omitting commits and committing omissions: Preventing git metadata tampering that (re) introduces software vulnerabilities, Santiago Torres-Arias, Anil Kumar Ammula, Reza Curtmola, Justin Cappos, 25th {USENIX} Security Symposium ({USENIX} Security 16), Austin, TX, August 2016.

TANGO: Toward a more reliable mobile streaming through cooperation between cellular network and mobile devices, Nawanol Theera-Ampornpunt, Tarun Mangla, Saurabh Bagchi, Rajesh Panta, Kaustubh Joshi, Mostafa Ammar, Ellen Zegura, IEEE 35th Symposium on Reliable Distributed Systems (SRDS), Budapest, Hungary, September 2016.

Sirius: Neural network based probabilistic assertions for detecting silent data corruption in parallel programs, Tara E Thomas, Anmol J Bhattad, Subrata Mitra, Saurabh Bagchi, IEEE 35th Symposium on Reliable Distributed Systems (SRDS), Budapest, Hungary, September 2016.

A study of failures in community clusters: The case of conte, Subrata Mitra, Suhas Javagal, Amiya K Maji, Todd Gamblin, Adam Moody, Stephen Harrell, Saurabh Bagchi, 2016 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), Ottawa, Canada, October 2016.

Optimal and game-theoretic deployment of security investments in interdependent assets, Ashish R Hota, Abraham A Clements, Shreyas Sundaram, Saurabh Bagchi, International Conference on Decision and Game Theory for Security, New York, NY, November 2016.