Ivan Beschastnikh
Title
Cited by
Cited by
Year
Leveraging existing instrumentation to automatically infer invariant-constrained models
I Beschastnikh, Y Brun, S Schneider, M Sloan, MD Ernst
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European …, 2011
2302011
Seattle: a platform for educational cloud computing
J Cappos, I Beschastnikh, A Krishnamurthy, T Anderson
Proceedings of the 40th ACM technical symposium on Computer science …, 2009
2102009
Articulations of wikiwork: uncovering valued work in wikipedia through barnstars
T Kriplean, I Beschastnikh, DW McDonald
Proceedings of the 2008 ACM conference on Computer supported cooperative …, 2008
1932008
Community, consensus, coercion, control: cs* w or how policy mediates mass participation
T Kriplean, I Beschastnikh, DW McDonald, SA Golder
Proceedings of the 2007 international ACM conference on Supporting group …, 2007
1802007
Scalable consistency in Scatter
L Glendenning, I Beschastnikh, A Krishnamurthy, T Anderson
Proceedings of the Twenty-Third ACM Symposium on Operating Systems …, 2011
1742011
Inferring models of concurrent systems from logs of their behavior with CSight
I Beschastnikh, Y Brun, MD Ernst, A Krishnamurthy
Proceedings of the 36th International Conference on Software Engineering …, 2014
1582014
Wikipedian Self-Governance in Action: Motivating the Policy Lens.
I Beschastnikh, T Kriplean, DW McDonald
ICWSM, 2008
1552008
Mitigating sybils in federated learning poisoning
C Fung, CJM Yoon, I Beschastnikh
arXiv preprint arXiv:1808.04866, 2018
1072018
General LTL Specification Mining
C Lemieux, D Park, I Beschastnikh
Automated Software Engineering (ASE), 2015 30th IEEE/ACM International …, 2015
1002015
SPRUCE: A system for supporting urgent high-performance computing
P Beckman, S Nadella, N Trebon, I Beschastnikh
Grid-based problem solving environments, 295-311, 2007
952007
Platform for continuous mobile-cloud services
F Yang, Z Qian, X Chen, I Beschastnikh, L Zhuang, L Zhou, G Shen
US Patent 8,745,434, 2014
782014
Behavioral resource-aware model inference
T Ohmann, M Herzberg, S Fiss, A Halbert, M Palyart, I Beschastnikh, ...
Proceedings of the 29th ACM/IEEE international conference on Automated …, 2014
682014
Debugging distributed systems
I Beschastnikh, P Wang, Y Brun, MD Ernst
Communications of the ACM 59 (8), 32-37, 2016
652016
Unifying FSM-inference algorithms through declarative specification
I Beschastnikh, Y Brun, J Abrahamson, MD Ernst, A Krishnamurthy
2013 35th International Conference on Software Engineering (ICSE), 252-261, 2013
642013
Retaining sandbox containment despite bugs in privileged memory-safe code
J Cappos, A Dadgar, J Rasley, J Samuel, I Beschastnikh, C Barsan, ...
Proceedings of the 17th ACM conference on Computer and communications …, 2010
602010
Mining temporal invariants from partially ordered logs
I Beschastnikh, Y Brun, MD Ernst, A Krishnamurthy, TE Anderson
Managing Large-scale Systems via the Analysis of System Logs and the …, 2011
522011
Synergizing Specification Miners through Model Fissions and Fusions
TDB Le, XBD Le, D Lo, I Beschastnikh
Automated Software Engineering (ASE), 2015 30th IEEE/ACM International …, 2015
502015
Using declarative specification to improve the understanding, extensibility, and comparison of model-inference algorithms
I Beschastnikh, Y Brun, J Abrahamson, MD Ernst, A Krishnamurthy
IEEE Transactions on Software Engineering 41 (4), 408-428, 2014
502014
Don't call us, we'll call you: Characterizing callbacks in JavaScript
K Gallaba, A Mesbah, I Beschastnikh
2015 ACM/IEEE International Symposium on Empirical Software Engineering and …, 2015
472015
Satellitelab: adding heterogeneity to planetary-scale network testbeds
M Dischinger, A Haeberlen, I Beschastnikh, KP Gummadi, S Saroiu
ACM SIGCOMM Computer Communication Review 38 (4), 315-326, 2008
462008
The system can't perform the operation now. Try again later.
Articles 1–20