356 citations · 457 across the 23 of their papers we have counts for
27 papers
Modular Responsiveness Verification of Rust Async Runtimes
Yanze Li, Ivan Beschastnikh, Alexander J. Summers
Asynchronous (async) programming is a popular paradigm for managing concurrency. Languages that provide async support typically have a runtime to manage asynchronous executions. Th…
Uber's Failover Architecture: Reconciling Reliability and Efficiency in Hyperscale Microservice Infrastructure
Mayank Bansal, Milind Chabbi, Kenneth Bogh +21
Operating a global, real-time platform at Uber's scale requires infrastructure that is both resilient and cost-efficient. Historically, reliability was ensured through a costly 2x…
HYDRA: Breaking the Global Ordering Barrier in Multi-BFT Consensus
Hanzheng Lyu, Shaokang Xie, Jianyu Niu +5
Multi-Byzantine Fault Tolerant (Multi-BFT) consensus, which runs multiple BFT instances in parallel, has recently emerged as a promising approach to overcome the leader bottleneck…
Cracking CodeWhisperer: Analyzing Developers' Interactions and Patterns During Programming Tasks
Jeena Javahar, Tanya Budhrani, Manaal Basha +3
The use of AI code-generation tools is becoming increasingly common, making it important to understand how software developers are adopting these tools. In this study, we investiga…
Toward Inclusive AI-Driven Development: Exploring Gender Differences in Code Generation Tool Interactions
Manaal Basha, Ivan Beschastnikh, Gema Rodriguez-Perez +1
The increasing reliance on Code Generation Tools (CGTs), such as Claude Code and GitHub Copilot, is revamping programming workflows and raising critical questions about fairness an…
Orthrus: Accelerating Multi-BFT Consensus through Concurrent Partial Ordering of Transactions (Extended Version)
Hanzheng Lyu, Shaokang Xie, Jianyu Niu +4
Multi-Byzantine Fault Tolerant (Multi-BFT) consensus allows multiple consensus instances to run in parallel, resolving the leader bottleneck problem inherent in classic BFT consens…
Ladon: High-Performance Multi-BFT Consensus via Dynamic Global Ordering (Extended Version)
Hanzheng Lyu, Shaokang Xie, Jianyu Niu +3
Multi-BFT consensus runs multiple leader-based consensus instances in parallel, circumventing the leader bottleneck of a single instance. However, it contains an Achilles' heel: th…
Empirical Study on Transformer-based Techniques for Software Engineering
Yan Xiao, Xinyue Zuo, Lei Xue +3
Many Transformer-based pre-trained models for code have been developed and applied to code-related tasks. In this paper, we review the existing literature, examine the suitability…
Scalable Data Point Valuation in Decentralized Learning
Konstantin D. Pandl, Chun-Yin Huang, Ivan Beschastnikh +3
Existing research on data valuation in federated and swarm learning focuses on valuing client contributions and works best when data across clients is independent and identically d…
GlueFL: Reconciling Client Sampling and Model Masking for Bandwidth Efficient Federated Learning
Shiqi He, Qifan Yan, Feijie Wu +3
Federated learning (FL) is an effective technique to directly involve edge devices in machine learning training while preserving client privacy. However, the substantial communicat…
Scaling Blockchain Consensus via a Robust Shared Mempool
Fangyu Gai, Jianyu Niu, Ivan Beschastnikh +2
There is a resurgence of interest in Byzantine fault-tolerant (BFT) systems due to blockchains. However, leader-based BFT consensus protocols used by permissioned blockchains have…
Gridiron: A Technique for Augmenting Cloud Workloads with Network Bandwidth Requirements
Nodir Kodirov, Shane Bergsma, Syed M. Iqbal +3
Cloud applications use more than just server resources, they also require networking resources. We propose a new technique to model network bandwidth demand of networked cloud appl…
One Bad Apple Spoils the Bunch: Transaction DoS in MimbleWimble Blockchains
Seyed Ali Tabatabaee, Charlene Nicer, Ivan Beschastnikh +1
As adoption of blockchain-based systems grows, more attention is being given to privacy of these systems. Early systems like BitCoin provided few privacy features. As a result, sys…
Generalizing Neural Networks by Reflecting Deviating Data in Production
Yan Xiao, Yun Lin, Ivan Beschastnikh +3
Trained with a sufficiently large training and testing dataset, Deep Neural Networks (DNNs) are expected to generalize. However, inputs may deviate from the training dataset distri…
Linear-time Temporal Logic guided Greybox Fuzzing
Ruijie Meng, Zhen Dong, Jialin Li +2
Software model checking is a verification technique which is widely used for checking temporal properties of software systems. Even though it is a property verification technique,…
Self-Checking Deep Neural Networks in Deployment
Yan Xiao, Ivan Beschastnikh, David S. Rosenblum +4
The widespread adoption of Deep Neural Networks (DNNs) in important domains raises questions about the trustworthiness of DNN outputs. Even a highly accurate DNN will make mistakes…
Dissecting the Performance of Chained-BFT
Fangyu Gai, Ali Farahbakhsh, Jianyu Niu +3
Permissioned blockchains employ Byzantine fault-tolerant (BFT) state machine replication (SMR) to reach agreement on an ever-growing, linearly ordered log of transactions. A new pa…
EBFT: Simplifying BFT Consensus Through Egalitarianism
Jianyu Niu, Runchao Han, Shengqi Liu +4
We present Egalitarian BFT (EBFT), a simple and high-performance framework of BFT consensus protocols for decentralized systems like blockchains. The key innovation in EBFT is egal…
Fairness-guided SMT-based Rectification of Decision Trees and Random Forests
Jiang Zhang, Ivan Beschastnikh, Sergey Mechtaev +1
Data-driven decision making is gaining prominence with the popularity of various machine learning models. Unfortunately, real-life data used in machine learning training may captur…
Aggregate-Driven Trace Visualizations for Performance Debugging
Vaastav Anand, Matheus Stolet, Thomas Davidson +3
Performance issues in cloud systems are hard to debug. Distributed tracing is a widely adopted approach that gives engineers visibility into cloud systems. Existing trace analysis…
Parking Packet Payload with P4
Swati Goswami, Nodir Kodirov, Craig Mustard +2
Network Function (NF) deployments suffer from poor link goodput, because popular NFs such as firewalls process only packet headers while receiving and transmitting complete packets…
Precise XSS detection and mitigation with Client-side Templates
Jose Carlos Pazos, Jean-Sebastien Legare, Ivan Beschastnikh +1
We present XSnare, a fully client-side XSS solution, implemented as a Firefox extension. Our approach takes advantage of available previous knowledge of a web application's HTML te…
Bandwidth-Efficient Transaction Relay for Bitcoin
Gleb Naumenko, Gregory Maxwell, Pieter Wuille +2
Bitcoin is a top-ranked cryptocurrency that has experienced huge growth and survived numerous attacks. The protocols making up Bitcoin must therefore accommodate the growth of the…
Iroko: A Framework to Prototype Reinforcement Learning for Data Center Traffic Control
Fabian Ruffy, Michael Przystupa, Ivan Beschastnikh
Recent networking research has identified that data-driven congestion control (CC) can be more efficient than traditional CC in TCP. Deep reinforcement learning (RL), in particular…