متابعة
Sasa Misailovic
عنوان
عدد مرات الاقتباسات
عدد مرات الاقتباسات
السنة
Managing performance vs. accuracy trade-offs with loop perforation‏
S Sidiroglou-Douskos, S Misailovic, H Hoffmann, M Rinard‏
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European …, 2011‏
6932011
Dynamic knobs for responsive power-aware computing‏
H Hoffmann, S Sidiroglou, M Carbin, S Misailovic, A Agarwal, M Rinard‏
Proceedings of the sixteenth international conference on Architectural …, 2011‏
4552011
Verifying quantitative reliability for programs that execute on unreliable hardware‏
M Carbin, S Misailovic, MC Rinard‏
Proceedings of the 2013 ACM SIGPLAN international conference on Object …, 2013‏
3462013
Quality of service profiling‏
S Misailovic, S Sidiroglou, H Hoffmann, M Rinard‏
Proceedings of the 32nd ACM/IEEE International Conference on Software …, 2010‏
2972010
Chisel: reliability-and accuracy-aware optimization of approximate computational kernels‏
S Misailovic, M Carbin, S Achour, Z Qi, MC Rinard‏
Proceedings of the 2014 ACM International Conference on Object Oriented …, 2014‏
2432014
PSI: Exact Symbolic Inference for Probabilistic Programs‏
T Gehr, S Misailovic, M Vechev‏
Proceedings of CAV, 2016‏
1962016
Using code perforation to improve performance, reduce energy consumption, and respond to failures‏
H Hoffmann, S Misailovic, S Sidiroglou, A Agarwal, M Rinard‏
1812009
Proving acceptability properties of relaxed nondeterministic approximate programs‏
M Carbin, D Kim, S Misailovic, MC Rinard‏
Proceedings of the 33rd ACM SIGPLAN conference on Programming Language …, 2012‏
1392012
Software Engineering Meets Control Theory‏
A Filieri, M Maggio, K Angelopoulos, N D’Ippolito, I Gerostathopoulos, ...‏
Proceedings of the 10th International Symposium on Software Engineering for …, 2015‏
1312015
Randomized accuracy-aware program transformations for efficient approximate computations‏
ZA Zhu, S Misailovic, JA Kelner, M Rinard‏
POPL 2012 47 (1), 441-454, 2012‏
1232012
Probabilistically accurate program transformations‏
S Misailovic, DM Roy, MC Rinard‏
Static Analysis: 18th International Symposium, SAS 2011, Venice, Italy …, 2011‏
1222011
Korat: A tool for generating structurally complex test inputs‏
A Milicevic, S Misailovic, D Marinov, S Khurshid‏
Proceedings of the 29th international conference on Software Engineering …, 2007‏
1132007
Parallelizing sequential programs with statistical accuracy tests‏
S Misailovic, D Kim, M Rinard‏
ACM Transactions on Embedded Computing Systems (TECS) 12 (2s), 88, 2013‏
1112013
Parallel test generation and execution with Korat‏
S Misailovic, A Milicevic, N Petrovic, S Khurshid, D Marinov‏
Proceedings of the the 6th Joint Meeting of the European Software …, 2007‏
1092007
Detecting and escaping infinite loops with Jolt‏
M Carbin, S Misailovic, M Kling, MC Rinard‏
European Conference on Object-Oriented Programming, 609-633, 2011‏
1082011
Control Strategies for Self-Adaptive Software Systems‏
A Filieri, M Maggio, K Angelopoulos, N D’ippolito, I Gerostathopoulos, ...‏
ACM Transactions on Autonomous and Adaptive Systems (TAAS) 11 (4), 24, 2017‏
932017
Exploiting Errors for Efficiency: A Survey from Circuits to Applications‏
P Stanley-Marbell, A Alaghi, M Carbin, E Darulova, L Dolecek, ...‏
ACM Computing Surveys (CSUR) 53 (3), 1-39, 2020‏
892020
Sentiment analysis of movie review comments‏
K Yessenov, S Misailovic‏
MIT 6.863 Project, 1-17, 2009‏
832009
Detecting flaky tests in probabilistic and machine learning applications‏
S Dutta, A Shi, R Choudhary, Z Zhang, A Jain, S Misailovic‏
Proceedings of the 29th ACM SIGSOFT International Symposium on Software …, 2020‏
772020
Testing Probabilisitic Programming Systems‏
S Dutta, O Legunsen, Z Huang, S Misailovic‏
International Symposium on Foundations of Software Engineering, 2018‏
672018
يتعذر على النظام إجراء العملية في الوقت الحالي. عاود المحاولة لاحقًا.
مقالات 1–20