Ivan Beschastnikh
Ivan Beschastnikh
Associate Professor of Computer Science, University of British Columbia
Verified email at cs.ubc.ca - Homepage
Title
Cited by
Cited by
Year
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
2042009
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
2002011
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
1872008
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
1722007
Scalable consistency in Scatter
L Glendenning, I Beschastnikh, A Krishnamurthy, T Anderson
Proceedings of the Twenty-Third ACM Symposium on Operating Systems …, 2011
1682011
Wikipedian Self-Governance in Action: Motivating the Policy Lens.
I Beschastnikh, T Kriplean, DW McDonald
ICWSM, 2008
1442008
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
1332014
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
902007
General LTL Specification Mining
C Lemieux, D Park, I Beschastnikh
Automated Software Engineering (ASE), 2015 30th IEEE/ACM International …, 2015
792015
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
712014
Debugging distributed systems
I Beschastnikh, P Wang, Y Brun, MD Ernst
Queue 14 (2), 91-110, 2016
662016
Mitigating sybils in federated learning poisoning
C Fung, CJM Yoon, I Beschastnikh
arXiv preprint arXiv:1808.04866, 2018
622018
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
562010
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
542014
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
512013
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
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
442011
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
432015
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
362015
Sonora: A platform for continuous mobile-cloud computing
F Yang, Z Qian, X Chen, I Beschastnikh, L Zhuang, L Zhou, J Shen
Technical Report MSR-TR-2012-34, Microsoft Research Asia, 2012
362012
The system can't perform the operation now. Try again later.
Articles 1–20