| The lottery ticket hypothesis: Finding sparse, trainable neural networks J Frankle, M Carbin arXiv preprint arXiv:1803.03635, 2018 | 723* | 2018 |
| Automatically patching errors in deployed software JH Perkins, S Kim, S Larsen, S Amarasinghe, J Bachrach, M Carbin, ... Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles …, 2009 | 425 | 2009 |
| Dynamic knobs for responsive power-aware computing H Hoffmann, S Sidiroglou, M Carbin, S Misailovic, A Agarwal, M Rinard ACM SIGARCH computer architecture news 39 (1), 199-212, 2011 | 379 | 2011 |
| Verifying quantitative reliability for programs that execute on unreliable hardware M Carbin, S Misailovic, MC Rinard ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages …, 2013 | 279 | 2013 |
| Using datalog with binary decision diagrams for program analysis J Whaley, D Avots, M Carbin, MS Lam Asian Symposium on Programming Languages and Systems, 97-118, 2005 | 213 | 2005 |
| Context-sensitive program analysis as database queries MS Lam, J Whaley, VB Livshits, MC Martin, D Avots, M Carbin, C Unkel Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on …, 2005 | 212 | 2005 |
| Chisel: Reliability-and accuracy-aware optimization of approximate computational kernels S Misailovic, M Carbin, S Achour, Z Qi, MC Rinard ACM Sigplan Notices 49 (10), 309-328, 2014 | 188 | 2014 |
| Proving acceptability properties of relaxed nondeterministic approximate programs M Carbin, D Kim, S Misailovic, MC Rinard PLDI: Programming Languages Design and Implementation 47 (6), 169-180, 2012 | 111 | 2012 |
| Detecting and escaping infinite loops with jolt M Carbin, S Misailovic, M Kling, MC Rinard European Conference on Object-Oriented Programming, 609-633, 2011 | 81 | 2011 |
| Stabilizing the lottery ticket hypothesis J Frankle, GK Dziugaite, DM Roy, M Carbin arXiv preprint arXiv:1903.01611, 2019 | 74* | 2019 |
| Automatically identifying critical input regions and code in applications M Carbin, MC Rinard Proceedings of the 19th international symposium on Software testing and …, 2010 | 67 | 2010 |
| Automatic input rectification F Long, V Ganesh, M Carbin, S Sidiroglou, M Rinard 2012 34th International Conference on Software Engineering (ICSE), 80-90, 2012 | 64 | 2012 |
| Configuration of isolated extensions and device drivers GC Hunt, JR Larus, MA Fähndrich, O Hodson, DR Tarditi, M Spear, ... US Patent 8,074,231, 2011 | 55 | 2011 |
| Transactional collection classes BD Carlstrom, A McDonald, M Carbin, C Kozyrakis, K Olukotun Proceedings of the 12th ACM SIGPLAN symposium on Principles and practice of …, 2007 | 55 | 2007 |
| Reflective program generation with patterns M Fähndrich, M Carbin, JR Larus Proceedings of the 5th international conference on Generative programming …, 2006 | 53 | 2006 |
| Bypass virtualization IITJ Purtell, W Chun, M Carbin US Patent 8,065,687, 2011 | 51 | 2011 |
| Bolt: on-demand infinite loop escape in unmodified binaries M Kling, S Misailovic, M Carbin, M Rinard ACM SIGPLAN Notices 47 (10), 431-450, 2012 | 39 | 2012 |
| Ithemal: Accurate, portable and fast basic block throughput estimation using deep neural networks C Mendis, A Renda, S Amarasinghe, M Carbin International Conference on Machine Learning, 4505-4515, 2019 | 30 | 2019 |
| Comparing rewinding and fine-tuning in neural network pruning A Renda, J Frankle, M Carbin arXiv preprint arXiv:2003.02389, 2020 | 27 | 2020 |
| Verified integrity properties for safe approximate program transformations M Carbin, D Kim, S Misailovic, MC Rinard Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and …, 2013 | 27 | 2013 |
Sasa MisailovicUniversity of Illinois at Urbana–ChampaignBestätigte E-Mail-Adresse bei illinois.edu
