| 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 | 681 | 2011 |
| 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 | 450 | 2011 |
| 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 | 342 | 2013 |
| Quality of service profiling S Misailovic, S Sidiroglou, H Hoffmann, M Rinard Proceedings of the 32nd ACM/IEEE International Conference on Software …, 2010 | 294 | 2010 |
| 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 | 241 | 2014 |
| PSI: Exact Symbolic Inference for Probabilistic Programs T Gehr, S Misailovic, M Vechev Proceedings of CAV, 2016 | 180 | 2016 |
| Using code perforation to improve performance, reduce energy consumption, and respond to failures H Hoffmann, S Misailovic, S Sidiroglou, A Agarwal, M Rinard | 178 | 2009 |
| 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 | 138 | 2012 |
| 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 | 127 | 2015 |
| Randomized accuracy-aware program transformations for efficient approximate computations ZA Zhu, S Misailovic, JA Kelner, M Rinard POPL 2012 47 (1), 441-454, 2012 | 123 | 2012 |
| Probabilistically accurate program transformations S Misailovic, DM Roy, MC Rinard Static Analysis: 18th International Symposium, SAS 2011, Venice, Italy …, 2011 | 122 | 2011 |
| 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 | 112 | 2007 |
| Parallelizing sequential programs with statistical accuracy tests S Misailovic, D Kim, M Rinard ACM Transactions on Embedded Computing Systems (TECS) 12 (2s), 88, 2013 | 110 | 2013 |
| Detecting and escaping infinite loops with Jolt M Carbin, S Misailovic, M Kling, MC Rinard European Conference on Object-Oriented Programming, 609-633, 2011 | 106 | 2011 |
| 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 | 106 | 2007 |
| 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 | 87 | 2017 |
| Sentiment analysis of movie review comments K Yessenov, S Misailovic MIT 6.863 Project, 1-17, 2009 | 81 | 2009 |
| 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 | 74 | 2020 |
| 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 | 71 | 2020 |
| Testing Probabilisitic Programming Systems S Dutta, O Legunsen, Z Huang, S Misailovic International Symposium on Foundations of Software Engineering, 2018 | 66 | 2018 |
martin rinardMITVerified email at lcs.mit.edu
