Seguir
Sasa Misailovic
Título
Citado por
Citado por
Año
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
6722011
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
4472011
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
3332013
Quality of service profiling
S Misailovic, S Sidiroglou, H Hoffmann, M Rinard
Proceedings of the 32nd ACM/IEEE International Conference on Software …, 2010
2932010
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
2382014
Using code perforation to improve performance, reduce energy consumption, and respond to failures
H Hoffmann, S Misailovic, S Sidiroglou, A Agarwal, M Rinard
1762009
PSI: Exact Symbolic Inference for Probabilistic Programs
T Gehr, S Misailovic, M Vechev
Proceedings of CAV, 2016
1652016
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
1382012
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
1262015
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
Parallelizing sequential programs with statistical accuracy tests
S Misailovic, D Kim, M Rinard
ACM Transactions on Embedded Computing Systems (TECS) 12 (2s), 88, 2013
1102013
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
1092007
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
1052007
Detecting and escaping infinite loops with Jolt
M Carbin, S Misailovic, M Kling, MC Rinard
European Conference on Object-Oriented Programming, 609-633, 2011
1032011
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
862017
Sentiment analysis of movie review comments
K Yessenov, S Misailovic
MIT 6.863 Project, 1-17, 2009
802009
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
692020
Testing Probabilisitic Programming Systems
S Dutta, O Legunsen, Z Huang, S Misailovic
International Symposium on Foundations of Software Engineering, 2018
612018
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
602020
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20