Ivan Beschastnikh

Best Publications

• Mitigating Sybils in Federated Learning Poisoning.

  Unknown

  416
  Citations

• Biscotti: A Blockchain System for Private and Secure Federated Learning

  Unknown

  301
  Citations

• Leveraging existing instrumentation to automatically infer invariant-constrained models

  Ivan Beschastnikh;Yuriy Brun;Sigurd Schneider;Michael Sloan

  285
  Citations

• Seattle: a platform for educational cloud computing

  Justin Cappos;Ivan Beschastnikh;Arvind Krishnamurthy;Tom Anderson

  232
  Citations

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

  Ivan Beschastnikh;Yuriy Brun;Michael D. Ernst;Arvind Krishnamurthy

  222
  Citations

• Articulations of wikiwork: uncovering valued work in wikipedia through barnstars

  Travis Kriplean;Ivan Beschastnikh;David W. McDonald

  218
  Citations

• Community, consensus, coercion, control: cs*w or how policy mediates mass participation

  Travis Kriplean;Ivan Beschastnikh;David W. McDonald;Scott A. Golder

  200
  Citations

• Scalable consistency in Scatter

  Lisa Glendenning;Ivan Beschastnikh;Arvind Krishnamurthy;Thomas Anderson

  197
  Citations

• General LTL Specification Mining (T)

  Unknown

  160
  Citations

• SPRUCE: A System for Supporting Urgent High-Performance Computing

  Peter H. Beckman;Suman Nadella;Nick Trebon;Ivan Beschastnikh

  108
  Citations

• Debugging distributed systems

  Ivan Beschastnikh;Patty Wang;Yuriy Brun;Michael D. Ernst

  95
  Citations

• Mining temporal invariants from partially ordered logs

  Ivan Beschastnikh;Yuriy Brun;Michael D. Ernst;Arvind Krishnamurthy

  86
  Citations

• Behavioral resource-aware model inference

  Tony Ohmann;Michael Herzberg;Sebastian Fiss;Armand Halbert

  85
  Citations

• The Limitations of Federated Learning in Sybil Settings

  Unknown

  80
  Citations

• Erlay: Efficient Transaction Relay for Bitcoin

  Gleb Naumenko;Gregory Maxwell;Pieter Wuille;Alexandra Fedorova

  71
  Citations

• Improving microservice-based applications with runtime placement adaptation

  Unknown

  68
  Citations

• Using Declarative Specification to Improve the Understanding, Extensibility, and Comparison of Model-Inference Algorithms

  Ivan Beschastnikh;Yuriy Brun;Jenny Abrahamson;Michael D. Ernst

  67
  Citations

• Retaining sandbox containment despite bugs in privileged memory-safe code

  Justin Cappos;Armon Dadgar;Jeff Rasley;Justin Samuel

  67
  Citations

• Mining temporal invariants from partially ordered logs

  Ivan Beschastnikh;Yuriy Brun;Michael D. Ernst;Arvind Krishnamurthy

  63
  Citations

• Synergizing Specification Miners through Model Fissions and Fusions (T)

  Tien-Duy B. Le;Xuan-Bach D. Le;David Lo;Ivan Beschastnikh

  63
  Citations