Ivan Beschastnikh
Ivan Beschastnikh
Associate Professor of Computer Science, University of British Columbia
Vahvistettu sähköpostiosoite verkkotunnuksessa cs.ubc.ca - Kotisivu
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
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
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
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
Scalable consistency in Scatter
L Glendenning, I Beschastnikh, A Krishnamurthy, T Anderson
Proceedings of the Twenty-Third ACM Symposium on Operating Systems …, 2011
Wikipedian Self-Governance in Action: Motivating the Policy Lens.
I Beschastnikh, T Kriplean, DW McDonald
ICWSM, 2008
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
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
General LTL Specification Mining
C Lemieux, D Park, I Beschastnikh
Automated Software Engineering (ASE), 2015 30th IEEE/ACM International …, 2015
Mitigating sybils in federated learning poisoning
C Fung, CJM Yoon, I Beschastnikh
arXiv preprint arXiv:1808.04866, 2018
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
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
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
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
Debugging distributed systems
I Beschastnikh, P Wang, Y Brun, MD Ernst
Communications of the ACM 59 (8), 32-37, 2016
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
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
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
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
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
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20