Building an Infrastructure for Urgent Computing. - Peter H. Beckman; Ivan Beschastnikh; Suman Nadella; Nick Trebon (High Performance Computing Workshop, 2006)

SPRUCE: A System for Supporting Urgent High-Performance Computing. - Peter H. Beckman; Suman Nadella; Nick Trebon; Ivan Beschastnikh (Grid-Based Problem Solving Environments, 2006)

Bandwidth challenge - VFER: high-performance transport in user space. - Stanislav Shalunov; Ivan Beschastnikh (SC, 2006)

Community, consensus, coercion, control: cs*w or how policy mediates mass participation. - Travis Kriplean; Ivan Beschastnikh; David W. McDonald; Scott A. Golder (GROUP, 2007)

Articulations of wikiwork: uncovering valued work in wikipedia through barnstars. - Travis Kriplean; Ivan Beschastnikh; David W. McDonald (CSCW, 2008)

Wikipedian Self-Governance in Action: Motivating the Policy Lens. - Ivan Beschastnikh; Travis Kriplean; David W. McDonald (ICWSM, 2008)

Satellitelab: adding heterogeneity to planetary-scale network testbeds. - Marcel Dischinger; Andreas Haeberlen; Ivan Beschastnikh; P. Krishna Gummadi; Stefan Saroiu (SIGCOMM, 2008)

Seattle: a platform for educational cloud computing. - Justin Cappos; Ivan Beschastnikh; Arvind Krishnamurthy; Tom Anderson 003 (SIGCSE, 2009)

Teaching networking and distributed systems with Seattle. - Justin Cappos; Ivan Beschastnikh (J. Comput. Sci. Coll., 2009)

Retaining sandbox containment despite bugs in privileged memory-safe code. - Justin Cappos; Armon Dadgar; Jeff Rasley; Justin Samuel; Ivan Beschastnikh; Cosmin Barsan; Arvind Krishnamurthy; Thomas E. Anderson (CCS, 2010)

Synoptic: Summarizing System Logs with Refinement. - Sigurd Schneider; Ivan Beschastnikh; Slava Chernyak; Michael D. Ernst; Yuriy Brun (SLAML, 2010)

Teaching networking and distributed systems with Seattle: tutorial presentation. - Justin Cappos; Ivan Beschastnikh (J. Comput. Sci. Coll., 2010)

Synoptic: studying logged behavior with inferred models. - Ivan Beschastnikh; Jenny Abrahamson; Yuriy Brun; Michael D. Ernst (SIGSOFT FSE, 2011)

Leveraging existing instrumentation to automatically infer invariant-constrained models. - Ivan Beschastnikh; Yuriy Brun; Sigurd Schneider; Michael Sloan; Michael D. Ernst (SIGSOFT FSE, 2011)

Scalable consistency in Scatter. - Lisa Glendenning; Ivan Beschastnikh; Arvind Krishnamurthy; Thomas E. Anderson (SOSP, 2011)

Mining temporal invariants from partially ordered logs. - Ivan Beschastnikh; Yuriy Brun; Michael D. Ernst; Arvind Krishnamurthy; Thomas E. Anderson (ACM SIGOPS Oper. Syst. Rev., 2011)

Inferring networked system models from behavior traces. - Ivan Beschastnikh (StudentWorkshop@CoNEXT, 2012)

Effects of Centralized and Distributed Version Control on Commit Granularity. - Jochen Wuttke; Ivan Beschastnikh; Yuriy Brun (Adv. Math. Commun., 2012)

Unifying FSM-inference algorithms through declarative specification. - Ivan Beschastnikh; Yuriy Brun; Jenny Abrahamson; Michael D. Ernst; Arvind Krishnamurthy (ICSE, 2013)

Understanding regression failures through test-passing and test-failing code changes. - Roykrong Sukkerd; Ivan Beschastnikh; Jochen Wuttke; Sai Zhang 001; Yuriy Brun (ICSE, 2013)

Presentation patterns: techniques for crafting better presentations by Neal Ford, Matthew McCullough and Nathaniel Schutta. - Ivan Beschastnikh (ACM SIGSOFT Softw. Eng. Notes, 2013)

Modeling Systems from Logs of their Behavior. - Ivan Beschastnikh (2013)

Shedding light on distributed system executions. - Jenny Abrahamson; Ivan Beschastnikh; Yuriy Brun; Michael D. Ernst (ICSE Companion, 2014)

Inferring models of concurrent systems from logs of their behavior with CSight. - Ivan Beschastnikh; Yuriy Brun; Michael D. Ernst; Arvind Krishnamurthy (ICSE, 2014)

Mining precise performance-aware behavioral models from existing instrumentation. - Tony Ohmann; Kevin Thai; Ivan Beschastnikh; Yuriy Brun (ICSE Companion, 2014)

Sensibility testbed: An internet-wide cloud platform for programmable exploration of mobile devices. - Yanyan Zhuang; Leonard Law; Albert Rafetseder; Lai Wang; Ivan Beschastnikh; Justin Cappos (INFOCOM Workshops, 2014)

Behavioral resource-aware model inference. - Tony Ohmann; Michael Herzberg; Sebastian Fiss; Armand Halbert; Marc Palyart; Ivan Beschastnikh; Yuriy Brun (ASE, 2014)

NetCheck: Network Diagnoses from Blackbox Traces. - Yanyan Zhuang; Eleni Gessiou; Steven Portzer; Fraida Fund; Monzur Muhammad; Ivan Beschastnikh; Justin Cappos (NSDI, 2014)

Templated Visualization of Object State with Vebugger. - Daniel Rozenberg; Ivan Beschastnikh (VISSOFT, 2014)

Don't Call Us, We'll Call You: Characterizing Callbacks in Javascript. - Keheliya Gallaba; Ali Mesbah 001; Ivan Beschastnikh (ESEM, 2015)

Synergizing Specification Miners through Model Fissions and Fusions (T). - Tien-Duy B. Le; Xuan-Bach Dinh Le 001; David Lo 001; Ivan Beschastnikh (ASE, 2015)

Investigating Program Behavior Using the Texada LTL Specifications Miner. - Caroline Lemieux; Ivan Beschastnikh (ASE, 2015)

General LTL Specification Mining (T). - Caroline Lemieux; Dennis Park; Ivan Beschastnikh (ASE, 2015)

Using Declarative Specification to Improve the Understanding, Extensibility, and Comparison of Model-Inference Algorithms. - Ivan Beschastnikh; Yuriy Brun; Jenny Abrahamson; Michael D. Ernst; Arvind Krishnamurthy (IEEE Trans. Software Eng., 2015)

Visually reasoning about system and resource behavior. - Tony Ohmann; Ryan Stanley; Ivan Beschastnikh; Yuriy Brun (ICSE (Companion Volume), 2016)

Comparing repositories visually with repograms. - Daniel Rozenberg; Ivan Beschastnikh; Fabian Kosmale; Valerie Poser; Heiko Becker; Marc Palyart; Gail C. Murphy (MSR, 2016)

Debugging Distributed Systems. - Ivan Beschastnikh; Patty Wang; Yuriy Brun; Michael D. Ernst (ACM Queue, 2016)

Characterizing Social Insider Attacks on Facebook. - Wali Ahmed Usmani; Diogo Marques 001; Ivan Beschastnikh; Konstantin Beznosov; Tiago João Vieira Guerreiro; Luís Carriço (CHI, 2017)

Tolerating Faults in Disaggregated Datacenters. - Amanda Carbonari; Ivan Beschastnikh (HotNets, 2017)

Accelerating Software Engineering Research Adoption with Analysis Bots. - Ivan Beschastnikh; Mircea Filip Lungu; Yanyan Zhuang (ICSE-NIER, 2017)

Studying multi-threaded behavior with TSViz. - Matheus Nunes; Harjeet Lalh; Ashaya Sharma; Augustine Wong; Svetozar Miucin; Alexandra Fedorova; Ivan Beschastnikh (ICSE (Companion Volume), 2017)

Refactoring Asynchrony in JavaScript. - Keheliya Gallaba; Quinn Hanam; Ali Mesbah 001; Ivan Beschastnikh (ICSME, 2017)

Supporting Microservice Evolution. - Adalberto R. Sampaio; Harshavardhan Kadiyala; Bo Hu; John Steinbacher; Tony Erwin; Nelson S. Rosa; Ivan Beschastnikh; Julia Rubin (ICSME, 2017)

Scalable Constraint-based Virtual Data Center Allocation. - Sam Bayless; Nodir Kodirov; Ivan Beschastnikh; Holger H. Hoos; Alan J. Hu (IJCAI, 2017)

Scalable and Fault Tolerant Platform for Distributed Learning on Private Medical Data. - Alborz Amir-Khalili; Soheil Kianzad; Rafeef Abugharbieh; Ivan Beschastnikh (MLMI@MICCAI, 2017)

VNF chain allocation and management at data center scale. - Nodir Kodirov; Sam Bayless; Fabian Ruffy; Ivan Beschastnikh; Holger H. Hoos; Alan J. Hu (ANCS, 2018)

VNF chain abstraction for cloud service providers. - Nodir Kodirov; Sam Bayless; Fabian Ruffy; Ivan Beschastnikh; Holger H. Hoos; Alan J. Hu (ANCS, 2018)

Inferring and asserting distributed system invariants. - Stewart Grant; Hendrik Cech; Ivan Beschastnikh (ICSE, 2018)

Performance comprehension at WiredTiger. - Alexandra Fedorova; Craig Mustard; Ivan Beschastnikh; Julia Rubin; Augustine Wong; Svetozar Miucin; Louis Ye (ESEC/SIGSOFT FSE, 2018)

Mitigating Sybils in Federated Learning Poisoning. - Clement Fung; Chris J. M. Yoon; Ivan Beschastnikh (CoRR, 2018)

Dancing in the Dark: Private Multi-Party Machine Learning in an Untrusted Setting. - Clement Fung; Jamie Koerner; Stewart Grant; Ivan Beschastnikh (CoRR, 2018)

Biscotti: A Ledger for Private and Secure Peer-to-Peer Machine Learning. - Muhammad Shayan; Clement Fung; Chris J. M. Yoon; Ivan Beschastnikh (CoRR, 2018)

Iroko: A Framework to Prototype Reinforcement Learning for Data Center Traffic Control. - Fabian Ruffy; Michael Przystupa; Ivan Beschastnikh (CoRR, 2018)

Tsumiki: A Meta-Platform for Building Your Own Testbed. - Justin Cappos; Yanyan Zhuang; Albert Rafetseder; Ivan Beschastnikh (IEEE Trans. Parallel Distributed Syst., 2018)

Brokered Agreements in Multi-Party Machine Learning. - Clement Fung; Ivan Beschastnikh (APSys, 2019)

Erlay: Efficient Transaction Relay for Bitcoin. - Gleb Naumenko; Gregory Maxwell; Pieter Wuille; Alexandra Fedorova; Ivan Beschastnikh (CCS, 2019)

Vulnerability & Blame: Making Sense of Unauthorized Access to Smartphones. - Diogo Marques 001; Tiago João Guerreiro 001; Luís Carriço; Ivan Beschastnikh; Konstantin Beznosov (CHI, 2019)

Jumpgate: In-Network Processing as a Service for Data Analytics. - Craig Mustard; Fabian Ruffy; Anny Gakhokidze; Ivan Beschastnikh; Alexandra Fedorova (HotCloud, 2019)

Learning to listen for design. - Elisa L. A. Baniassad; Ivan Beschastnikh; Reid Holmes; Gregor Kiczales; Meghan Allen (Onward!, 2019)

Mining Specifications from Documentation using a Crowd. - Peng Sun; Chris Brown 001; Ivan Beschastnikh; Kathryn T. Stolee (SANER, 2019)

Bandwidth-Efficient Transaction Relay for Bitcoin. - Gleb Naumenko; Gregory Maxwell; Pieter Wuille; Alexandra Fedorova; Ivan Beschastnikh (CoRR, 2019)

Improving microservice-based applications with runtime placement adaptation. - Adalberto R. Sampaio; Julia Rubin; Ivan Beschastnikh; Nelson S. Rosa (J. Internet Serv. Appl., 2019)

Parking packet payload with P4. - Swati Goswami; Nodir Kodirov; Craig Mustard; Ivan Beschastnikh; Margo I. Seltzer (CoNEXT, 2020)

The Limitations of Federated Learning in Sybil Settings. - Clement Fung; Chris J. M. Yoon; Ivan Beschastnikh (RAID, 2020)

Scalable constraint-based virtual data center allocation. - Sam Bayless; Nodir Kodirov; Syed M. Iqbal; Ivan Beschastnikh; Holger H. Hoos; Alan J. Hu (Artif. Intell., 2020)

Precise XSS detection and mitigation with Client-side Templates. - José Carlos Pazos; Jean-Sébastien Légaré; Ivan Beschastnikh; William Aiello (CoRR, 2020)

Aggregate-Driven Trace Visualizations for Performance Debugging. - Vaastav Anand; Matheus Stolet; Thomas James Davidson; Ivan Beschastnikh; Tamara Munzner; Jonathan Mace (CoRR, 2020)

Fairness-guided SMT-based Rectification of Decision Trees and Random Forests. - Jiang Zhang; Ivan Beschastnikh; Sergey Mechtaev; Abhik Roychoudhury (CoRR, 2020)

Visualizing Distributed System Executions. - Ivan Beschastnikh; Perry Liu; Albert Xing; Patty Wang; Yuriy Brun; Michael D. Ernst (ACM Trans. Softw. Eng. Methodol., 2020)

Dissecting the Performance of Chained-BFT. - Fangyu Gai; Ali Farahbakhsh; Jianyu Niu; Chen Feng 001; Ivan Beschastnikh; Hao Duan (ICDCS, 2021)

Self-Checking Deep Neural Networks in Deployment. - Yan Xiao 002; Ivan Beschastnikh; David S. Rosenblum; Changsheng Sun; Sebastian G. Elbaum; Yun Lin 001; Jin Song Dong 001 (ICSE, 2021)

Jumpgate: automating integration of network connected accelerators. - Craig Mustard; Swati Goswami; Niloofar Gharavi; Joel Nider; Ivan Beschastnikh; Alexandra Fedorova (SYSTOR, 2021)

Finding Counterexamples of Temporal Logic properties in Software Implementations via Greybox Fuzzing. - Ruijie Meng; Zhen Dong; Jialin Li 001; Ivan Beschastnikh; Abhik Roychoudhury (CoRR, 2021)

Generalizing Neural Networks by Reflecting Deviating Data in Production. - Yan Xiao 002; Yun Lin 001; Ivan Beschastnikh; Changsheng Sun; David S. Rosenblum; Jin Song Dong 001 (CoRR, 2021)

"@alex, this fixes #9": Analysis of Referencing Patterns in Pull Request Discussions. - Ashish Chopra; Morgan Mo; Samuel Dodson; Ivan Beschastnikh; Sidney S. Fels; Dongwook Yoon (Proc. ACM Hum. Comput. Interact., 2021)

Biscotti: A Blockchain System for Private and Secure Federated Learning. - Muhammad Shayan; Clement Fung; Chris J. M. Yoon; Ivan Beschastnikh (IEEE Trans. Parallel Distributed Syst., 2021)

CoSpot: a cooperative VM allocation framework for increased revenue from spot instances. - Syed M. Iqbal; Haley Li; Shane Bergsma; Ivan Beschastnikh; Alan J. Hu (SoCC, 2022)

Fair Decision Making via Automated Repair of Decision Trees. - Jiang Zhang; Ivan Beschastnikh; Sergey Mechtaev; Abhik Roychoudhury (FairWare@ICSE, 2022)

One Bad Apple Spoils the Bunch: Transaction DoS in MimbleWimble Blockchains. - Seyed Ali Tabatabaee; Charlene Nicer; Ivan Beschastnikh; Chen Feng 001 (ICBC, 2022)

Linear-time Temporal Logic guided Greybox Fuzzing. - Ruijie Meng; Zhen Dong; Jialin Li 001; Ivan Beschastnikh; Abhik Roychoudhury (ICSE, 2022)

Repairing Failure-inducing Inputs with Input Reflection. - Yan Xiao 002; Yun Lin 001; Ivan Beschastnikh; Changsheng Sun; David S. Rosenblum; Jin Song Dong 001 (ASE, 2022)

Gridiron: A Technique for Augmenting Cloud Workloads with Network Bandwidth Requirements. - Nodir Kodirov; Shane Bergsma; Syed M. Iqbal; Alan J. Hu; Ivan Beschastnikh; Margo I. Seltzer (CoRR, 2022)

Devouring the Leader Bottleneck in BFT Consensus. - Fangyu Gai; Jianyu Niu; Ivan Beschastnikh; Chen Feng 001; Sheng Wang 011 (CoRR, 2022)

Compiling Distributed System Models with PGo. - A. Finn Hackett; Shayan Hosseini; Renato Costa; Matthew Do; Ivan Beschastnikh (ASPLOS (2), 2023)

Scaling Blockchain Consensus via a Robust Shared Mempool. - Fangyu Gai; Jianyu Niu; Ivan Beschastnikh; Chen Feng 001; Sheng Wang 011 (ICDE, 2023)

Auto-tuning elastic applications in production. - Adalberto R. Sampaio; Ivan Beschastnikh; Daryl Maier; Don Bourne; Vijay Sundaresan (ICSE-SEIP, 2023)

Mercury: Fast Transaction Broadcast in High Performance Blockchain Systems. - Mingxun Zhou; Liyi Zeng; Yilin Han; Peilun Li; Fan Long; Dong Zhou 006; Ivan Beschastnikh; Ming Wu 007 (INFOCOM, 2023)

GlueFL: Reconciling Client Sampling and Model Masking for Bandwidth Efficient Federated Learning. - Shiqi He; Qifan Yan; Feijie Wu; Lanjun Wang; Mathias Lécuyer; Ivan Beschastnikh (MLSys, 2023)

Scalable Data Point Valuation in Decentralized Learning. - Konstantin D. Pandl; Chun-Yin Huang; Ivan Beschastnikh; Xiaoxiao Li; Scott Thiebes; Ali Sunyaev (CoRR, 2023)

Empirical Study on Transformer-based Techniques for Software Engineering. - Yan Xiao 002; Xinyue Zuo; Lei Xue; Kailong Wang 001; Jin Song Dong; Ivan Beschastnikh (CoRR, 2023)

Affective Robots Need Therapy. - Paul Bucci; David Marino; Ivan Beschastnikh (ACM Trans. Hum. Robot Interact., 2023)

XSnare: application-specific client-side cross-site scripting protection. - José Carlos Pazos; Jean-Sébastien Légaré; Ivan Beschastnikh (Empir. Softw. Eng., 2023)

Fairness in Classifying and Grouping Health Equity Information. - Ruinan Jin; Xiaoxiao Li; Lorraine J. Block; Ivan Beschastnikh; Leanne M. Currie; Charlene Esteban Ronquillo (Nursing Informatics, 2024)

Teleoscope: Exploring Themes in Large Document Sets By Example. - Paul Bucci; Leo Foord-Kelcey; Patrick Yung Kang Lee; Alamjeet Singh; Ivan Beschastnikh (CoRR, 2024)

Ladon: High-Performance Multi-BFT Consensus via Dynamic Global Ordering (Extended Version). - Hanzheng Lyu; Shaokang Xie; Jianyu Niu; Chen Feng 001; Yinqian Zhang; Ivan Beschastnikh (CoRR, 2024)

Making Sense of Multi-threaded Application Performance at Scale with NonSequitur. - Augustine Wong; Paul Bucci; Ivan Beschastnikh; Alexandra Fedorova (Proc. ACM Program. Lang., 2024)

Revealing Software Development Work Patterns with PR-Issue Graph Topologies. - Cleidson R. B. de Souza; Emilie Ma; Jesse Wong; Dongwook Yoon; Ivan Beschastnikh (Proc. ACM Softw. Eng., 2024)

The Fine Balance Between Helping With Your Job and Taking It: AI Code Assistants Come to the Fore. - Cleidson Ronald Botelho de Souza; Gema Rodríguez-Pérez; Manaal Basha; Dongwook Yoon; Ivan Beschastnikh (IEEE Softw., 2024)

Ladon: High-Performance Multi-BFT Consensus via Dynamic Global Ordering. - Hanzheng Lyu; Shaokang Xie; Jianyu Niu; Chen Feng 001; Yinqian Zhang; Ivan Beschastnikh (EuroSys, 2025)

Orthrus: Accelerating Multi-BFT Consensus Through Concurrent Partial Ordering of Transactions. - Hanzheng Lyu; Shaokang Xie; Jianyu Niu; Ivan Beschastnikh; Yinqian Zhang; Mohammad Sadeghi; Chen Feng 001 (ICDE, 2025)

Listening to the Firehose: Sonifying Z3's Behavior. - A. Finn Hackett; Ivan Beschastnikh (NIER@ICSE, 2025)

FedFetch: Faster Federated Learning with Adaptive Downstream Prefetching. - Qifan Yan; Andrew Liu; Shiqi He; Mathias Lécuyer; Ivan Beschastnikh (INFOCOM, 2025)

Promises and perils of using Transformer-based models for SE research. - Yan Xiao 002; Xinyue Zuo; Xiaoyue Lu; Jin Song Dong; Xiaochun Cao; Ivan Beschastnikh (Neural Networks, 2025)

Orthrus: Accelerating Multi-BFT Consensus through Concurrent Partial Ordering of Transactions. - Hanzheng Lyu; Shaokang Xie; Jianyu Niu; Ivan Beschastnikh; Yinqian Zhang; Mohammad Sadoghi; Chen Feng 001 (CoRR, 2025)

Toward Inclusive AI-Driven Development: Exploring Gender Differences in Code Generation Tool Interactions. - Manaal Basha; Ivan Beschastnikh; Gema Rodríguez-Pérez; Cleidson R. B. de Souza (CoRR, 2025)