Publications

Eliminating The Impossible, Whatever Remains Must Be True
Nina Narodytska, Jinqiang Yu, Alexey Ignatiev, Peter J. Stuckey, Jo{\~{a}}o Marques{-}Silva
AAAI '23 | 2023

On computing probabilistic abductive explanations
Nina Narodytska, Yacine Izza, Xuanxiang Huang, Alexey Ignatiev, Martin C. Cooper, Jo{\~{a}}o Marques{-}Silva
Int. J. Approx. Reason. | 2023

SplinterDB and Maplets: Improving the Trade-Offs in LSM Compaction Policy
Alex Conway, Martin Farach-Colton, Rob Johnson
SIGMOD | 2023

IcebergHT: High Performance PMEM Hash Tables Through Stability and Low Associativity
Michael A. Bender, Alex Conway, Joseph Durie, Martin Farach-Colton, Rob Johnson, Prashant Pandey
SIGMOD | 2023

Scalable verification of GNN-based job schedulers
Mahmood Sharif, Nina Narodytska, Gagandeep Singh, Haoze Wu, Clark W. Barrett
Proc. {ACM} Program. Lang. (OOPSLA) | December, 2022

Full-Stack SDN
Ben Pfaff, Debnil Sur, Leonid Ryzhyk, Mihai Budiu, Debnil Sur
ACM Workshop on Hot Topics in Networks (HotNets) | November, 2022

Online List Labeling: Breaking the log^2 n Barrier
Alex Conway, Martin Farach-Colton, William Kuszmaul, Hanna Komlos, Michael A Bender, Nicole Wein
FOCS | November, 2022

Intermediate Certificate Suppression in Post-Quantum TLS: An Approximate Membership Querying Approach
Dimitrios Sikeridis, Sean Huntley, David Ott, Michael Devetsikiotis
CoNEXT '22: Proceedings of the 18th International Conference on emerging Networking EXperiments and Technologies | November, 2022

Analysis of Core-Guided MaxSat Using Cores and Correction Sets
Nina Narodytska, Nikolaj S. Bj{\o}rner
25th International Conference on Theory and Applications of Satisfiability Testing, {SAT} 2022, August 2-5, 2022, Haifa, Israel | August, 2022

The Sky is not the limit: untapped opportunities for Green Computing
Colleen Josephson, Nicola Peill-Moelter, Zhelong Pan, Ben Pfaff, Victor Firoiu
HotCarbon 2022: 1st Workshop on Sustainable Computer Systems Design and Implementation | July, 2022

Automatic Reliability Testing For Cluster Management Controllers
Xudong Sun, Aishwarya Ganesan, Lalith Suresh, Wenqing Luo, Jiawei Tyler Gu, Ramnatthan Alagappan, Michael Gasch, Tianyin Xu
16th USENIX Symposium on Operating Systems Design and Implementation (OSDI 22) | July, 2022

{Overlook}: Differentially Private Exploratory Visualization for Big Data
Mihai Budiu, Pratiksha Thaker, Parikshit Gopalan, Udi Wieder, Matei Zaharia
Journal of Privacy and Confidentiality | July, 2022

Quartz: Superoptimization of Quantum Circuits
Mingkuan Xu, Zikun Li, Oded Padon, Sina Lin, Jessica Pointing, Auguste Hirth, Henry Ma, Jens Palsberg, Alex Aiken, Umut A. Acar, Zhihao Jia
PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13 - 17, 2022 | June, 2022

Cache-Coherent Accelerators for Persistent Memory Crash Consistency
Ankit Bhardwaj, Todd Thornley, Vinita Pawar, Reto Achermann, Gerd Zellweger, Ryan Stutsman
HotStorage | June, 2022

P4 in Open vSwitch with OfP4
Ben Pfaff, Debnil Sur, Leonid Ryzhyk, Mihai Budiu
P4 Workshop | May, 2022

Nerpa: Network Programming with Relational and Procedural Abstractions
Debnil Sur, Ben Pfaff, Leonid Ryzhyk, Mihai Budiu
P4 Workshop | May, 2022

UTT: Decentralized Ecash with Accountable Privacy
Alin Tomescu, Adithya Bhat, Benny Applebaum, Ittai Abraham, Guy Golan Gueta, Benny Pinkas, Avishay Yanai
Eprint | April, 2022

BetrFS: A Compleat File System for Commodity SSDs
Yizheng Jiao, Simon Bertron, Sagar Patel, Luke Zeller, Rory Bennett, Nirjhar Mukherjee, Michael A. Bender, Michael Condit, Alex Conway, Martin Farach-Colton, Xiongzi Ge, William Jannen, Rob Johnson, Donald E. Porter, Jun Yuan
Eurosys | April, 2022

How to diagnose nanosecond network latencies in rich end-host stacks
Roni Haecki, Radhika Niranjan Mysore, Lalith Suresh, Gerd Zellweger, Bo Gan, Tim Merrifield, Sujata Banerjee, Timothy Roscoe
USENIX Symposium on Networked Systems Design and Implementation | April, 2022

Linear Types for Large-Scale Systems Verification
Jialin Li, Jialin Li, Andrea Lattuada, Andrea Lattuada**, Yi Zhou, Jonathan Cameron, Jon Howell, Bryan Parno, Chris Hawblitzel
OOPSLA | April, 2022