Michael Carbin
- Achour, S., Rinard, M. Approximate checkers for approximate computations in topaz. In OOPSLA (2015).Google Scholar
- Ansel, J., Wong, Y., Chan, C., Olszewski, M., Edelman, A., Amarasinghe, S. Language and compiler support for auto-tuning variable-accuracy algorithms. In CGO (2011). Google ScholarDigital Library
- Baek, W., Chilimbi, T.M. Green: A framework for supporting energy-conscious programming using controlled approximation. In PLDI (2010). Google ScholarDigital Library
- Blum, M., Kanna, S. Designing programs that check their work. In STOC (1989). Google ScholarDigital Library
- Carbin, M., Kim, D., Misailovic, S., Rinard, M. Proving acceptability properties of relaxed nondeterministic approximate programs. In PLDI (2012). Google ScholarDigital Library
- Carbin, M., Kim, D., Misailovic, S., Rinard, M. Verified integrity properties for safe approximate program transformations. In PEPM (2013). Google ScholarDigital Library
- Carbin, M., Rinard, M. Automatically identifying critical input regions and code in applications. In ISSTA (2010). Google ScholarDigital Library
- Chaudhuri, S., Gulwani, S., Lublinerman, R., Navidpour, S. Proving programs robust. In FSE (2011). Google ScholarDigital Library
- de Kruijf, M., Nomura, S., Sankaralingam, K. Relax: An architectural framework for software recovery of hardware faults. In ISCA (2010). Google ScholarDigital Library
- Ernst, D., Kim, N.S., Das, S., Pant, S., Rao, R., Pham, T., Ziesler, C., Blaauw, D., Austin, T., Flautner, K., Mudge, T. Razor: A low-power pipeline based on circuit-level timing speculation. In MICRO (2003). Google ScholarDigital Library
- Esmaeilzadeh, H., Sampson, A., Ceze, L., Burger, D. Architecture support for disciplined approximate programming. In ASPLOS (2012). Google ScholarDigital Library
- Hoffman, H., Sidiroglou, S., Carbin, M., Misailovic, S., Agarwal, A., Rinard, M. Dynamic knobs for responsive power-aware computing. In ASPLOS (2011). Google ScholarDigital Library
- Leem, L., Cho, H., Bau, J., Jacobson, Q., Mitra, S. Ersa: Error resilient system architecture for probabilistic applications. In DATE (2010). Google ScholarDigital Library
- Leveson, N., Cha, S., Knight, J.C., Shimeall, T. The use of self checks and voting in software error detection: An empirical study. In IEEE TSE (1990). Google ScholarDigital Library
- Liu, S., Pattabiraman, K., Moscibroda, T., Zorn, B. Flikker: Saving dram refresh-power through critical data partitioning. In ASPLOS (2011). Google ScholarDigital Library
- Meng, J., Chakradhar, S., Raghunathan, A. Best-effort parallel execution framework for recognition and mining applications. In IPDPS (2009). Google ScholarDigital Library
- Misailovic, S., Carbin, M., Achour, S., Qi, Z., Rinard, M. Chisel: Reliability- and accuracy-aware optimization of approximate computational kernels. In OOPSLA (2014). Google ScholarDigital Library
- Misailovic, S., Kim, D., Rinard, M. Parallelizing sequential programs with statistical accuracy tests. ACM TECS Special Iss. Prob. Embedded Comput. (2013). Google ScholarDigital Library
- Misailovic, S., Roy, D., Rinard, M. Probabilistically accurate program transformations. In SAS (2011). Google ScholarDigital Library
- Misailovic, S., Sidiroglou, S., Hoffmann, H., Rinard, M. Quality of service profiling. In ICSE (2010). Google ScholarDigital Library
- Narayanan, S., Sartori, J., Kumar, R., Jones, D. Scalable stochastic processors. In DATE (2010). Google ScholarDigital Library
- Palem, K. Energy aware computing through probabilistic switching: A study of limits. IEEE Trans. Comput. (2005). Google ScholarDigital Library
- Perry, F., Mackey, L., Reis, G., Ligatti, J., August, D., Walker, D. Fault-tolerant typed assembly language. In PLDI (2007). Google ScholarDigital Library
- Reis, G., Chang, J., Vachharajani, N., Rangan, R., August, D. Swift: Software implemented fault tolerance. In CGO (2005). Google ScholarDigital Library
- Rinard, M. Probabilistic accuracy bounds for fault-tolerant computations that discard tasks. In ICS (2006). Google ScholarDigital Library
- Rinard, M., Cadar, C., Dumitran, D., Roy, D., Leu, T., Beebee, W. Jr. Enhancing server availability and security through failure-oblivious computing. In OSDI (2004). Google ScholarDigital Library
- Sampson, A., Dietl, W., Fortuna, E., Gnanapragasam, D., Ceze, L., Grossman, D. Ener J: Approximate data types for safe and general low-power computation. In PLDI (2011). Google ScholarDigital Library
- Sankaranarayanan, S., Chakarov, A., Gulwani, S. Static analysis for probabilistic programs: Inferring whole program properties from finitely many paths. In PLDI (2013). Google ScholarDigital Library
- Sidiroglou, S., Misailovic, S., Hoffmann, H., Rinard, M. Managing performance vs. accuracy trade-offs with loop perforation. In FSE (2011).Google Scholar
- Zhu, Z., Misailovic, S., Kelner, J., Rinard, M. Randomized accuracy-aware program transformations for efficient approximate computations. In POPL (2012). Google ScholarDigital Library
Index Terms
- Verifying quantitative reliability for programs that execute on unreliable hardware
Recommendations
Verifying quantitative reliability for programs that execute on unreliable hardware
OOPSLA '13Emerging high-performance architectures are anticipated to contain unreliable components that may exhibit soft errors, which silently corrupt the results of computations. Full detection and masking of soft errors is challenging, expensive, and, for some ...
Verifying quantitative reliability for programs that execute on unreliable hardware
OOPSLA '13: Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applicationsEmerging high-performance architectures are anticipated to contain unreliable components that may exhibit soft errors, which silently corrupt the results of computations. Full detection and masking of soft errors is challenging, expensive, and, for some ...
Embedded software reliability for unreliable hardware
EMSOFT '14: Proceedings of the 14th International Conference on Embedded SoftwareWhile advancements in chip manufacturing technology has accelerated the growth of embedded systems, it has revealed serious reliability and robustness challenges at various abstraction levels that threaten the applicability of scaled technologies [2, 3]...
Comments