Folgen
Sasa Misailovic
Titel
Zitiert von
Zitiert von
Jahr
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
6032011
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
4292011
Verifying quantitative reliability for programs that execute on unreliable hardware
M Carbin, S Misailovic, MC Rinard
Communications of the ACM 59 (8), 83-91, 2016
3182016
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
3182013
Quality of service profiling
S Misailovic, S Sidiroglou, H Hoffmann, M Rinard
Proceedings of the 32nd ACM/IEEE International Conference on Software …, 2010
2712010
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
2182014
Using code perforation to improve performance, reduce energy consumption, and respond to failures
H Hoffmann, S Misailovic, S Sidiroglou, A Agarwal, M Rinard
1642009
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
1282012
PSI: Exact Symbolic Inference for Probabilistic Programs
T Gehr, S Misailovic, M Vechev
Proceedings of CAV, 2016
1152016
Randomized accuracy-aware program transformations for efficient approximate computations
ZA Zhu, S Misailovic, JA Kelner, M Rinard
POPL 2012 47 (1), 441-454, 2012
1152012
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
1132015
Probabilistically accurate program transformations
S Misailovic, DM Roy, MC Rinard
International Static Analysis Symposium, 316-333, 2011
1102011
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
1022007
Parallelizing sequential programs with statistical accuracy tests
S Misailovic, D Kim, M Rinard
ACM Transactions on Embedded Computing Systems (TECS) 12 (2s), 88, 2013
982013
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
982007
Detecting and escaping infinite loops with Jolt
M Carbin, S Misailovic, M Kling, MC Rinard
European Conference on Object-Oriented Programming, 609-633, 2011
912011
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
672017
Sentiment analysis of movie review comments
K Yessenov, S Misailovic
MIT 6.863 Project, 1-17, 2009
612009
Patterns and statistical analysis for understanding reduced resource computing
M Rinard, H Hoffmann, S Misailovic, S Sidiroglou
ACM SIGPLAN Notices 45 (10), 806-821, 2010
512010
Bolt: on-demand infinite loop escape in unmodified binaries
M Kling, S Misailovic, M Carbin, M Rinard
Proceedings of the ACM international conference on Object oriented …, 2012
442012
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20