Concepedia

Ivan Beschastnikh

IB

52

Publications

3.3K

Citations

29

H-Index

2006

Active since

Affiliations

University of British Columbia(Current)

University of Washington

University of Massachusetts Amherst

University of Toronto

Meta (United States)

Ivan Beschastnikh is an author at University of British Columbia specializing in engineering, computer science, and software analysis.

Top concepts

EngineeringComputer ScienceSoftware AnalysisProgram AnalysisSoftware EngineeringFormal VerificationSoftware TestingSystem SoftwareData ScienceFormal Methods

Publications per year

2006–2023

52

Publications

52

Mitigating Sybils in Federated Learning Poisoning

Clement Fung, Chris J. M. Yoon, Ivan Beschastnikh · arXiv (Cornell University) · 2018 · 360 citations · Full text

Engineering, Machine Learning, Information Security +16

Biscotti: A Blockchain System for Private and Secure Federated Learning

Muhammad Shayan, Clement Fung, Chris J. M. Yoon et al. · IEEE Transactions on Parallel and Distributed Systems · 2020 · 313 citations

Engineering, Information Security, Multi-party Ml +18

Leveraging existing instrumentation to automatically infer invariant-constrained models

Ivan Beschastnikh, Yuriy Brun, Sigurd Schneider et al. · 2011 · 219 citations

Software Maintenance, Engineering, Invariant-constrained Models +23

Inferring models of concurrent systems from logs of their behavior with CSight

Ivan Beschastnikh, Yuriy Brun, Michael D. Ernst et al. · 2014 · 182 citations

Software Maintenance, Engineering, Verification +19

Articulations of wikiwork

Travis Kriplean, Ivan Beschastnikh, David W. McDonald · 2008 · 159 citations

Wiki Software, Communication, Semantics +23

Rows per page

1–5 of 52