Stochastic program optimization

Communications of the ACM

Volumn 59, Issue 2, 2016, Pages 114-122

  Schkufza, Eric ^a   Sharma, Rahul ^a   Aiken, Alex ^a  

^a STANFORD UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); COST FUNCTIONS; MARKOV PROCESSES; STOCHASTIC SYSTEMS;

ASSEMBLY CODE; CODE SEQUENCES; CORRECT CODE; HIGH-PERFORMANCE COMPUTING; MARKOV CHAIN MONTE-CARLO; OPTIMAL CODES; PROGRAM OPTIMIZATION; SHORT SEQUENCES;

OPTIMAL SYSTEMS;

EID: 84957877612     PISSN: 00010782     EISSN: 15577317     Source Type: Journal    
DOI: 10.1145/2863701     Document Type: Article

References (19)

1. Andrieu, C., de Freitas, N., Doucet, A., Jordan, M.I. An introduction to MCMC for machine learning. Machine Learning 50, 1-2 (2003), 5-43.
2. Bansal, S., Aiken, A. Binary translation using peephole superoptimizers. In Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2008.
3. R. Draves and R. van Renesse, eds. (San Diego, CA, USA, December 8-10, 2008). USENIX Association, 177-192.
4. Blackford, L.S., Demmel, J., Dongarra, J., Duff, I., Hammarling, S., Henry, G., Heroux, M., Kaufman, L., Lumsdaine, A., Petitet, A., Pozo, R., Remington, K., Whaley, R.C. An updated set of basic linear algebra subprograms (BLAS). ACM Trans. Math. Softw. 28, 2 (2002), 135-151.
5. Cadar, C., Dunbar, D., Engler, D.R. Klee: Unassisted and automatic generation of high-coverage tests for complex systems programs. In Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2008. R. Draves and R. van Renesse, eds. (San Diego, CA, USA, December 8-10, 2008). USENIX Association, 209-224.
6. Ganesh, V., Dill, D.L. A decision procedure for bit-vectors and arrays. In Proceedings of the 19th International Conference on Computer Aided Verifcation (CAV) 2007. W. Damm and H. Hermanns, eds. Volume of 4590 Lecture Notes in Computer Science (Berlin, Germany, July 3-7, 2007), Springer, 519-531.
7. Gilks, W.R. Markov Chain Monte Carlo in Practice. Chapman and Hall/CRC, 1999.
8. Gulwani, S., Jha, S., Tiwari, A., Venkatesan, R. Synthesis of loop-free programs. In Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) 2011. M. W. Hall and D. A. Padua, eds. (San Jose, CA, USA, June 4-8, 2011). ACM, 62-73.
9. Hastings, W.K. Monte Carlo sampling methods using Markov chains and their applications. Biometrika 57, 1 (1970), 97-109.
10. Joshi, R., Nelson, G., Randall, K.H. Denali: A goal-directed superoptimizer. In Proceedings of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation (Berlin, Germany, 2002). ACM, New York, NY, USA, 304-314.
11. Liang, P., Jordan, M.I., Klein, D. Learning programs: A hierarchical Bayesian approach. In Proceedings of the 27th International Conference on Machine Learning (ICML-10). J. Fürnkranz and T. Joachims, eds. (Haifa, Israel, June 21-24, 2010). Omnipress, 639-646.
12. Luk, C.-K., Cohn, R.S., Muth, R., Patil, H., Klauser, A., Lowney, P.G., Wallace, S., Reddi, V.J., Hazelwood, K.M. Pin: Building customized program analysis tools with dynamic instrumentation. In Proceedings of the 2005 ACM SIGPLAN Conference on Programming Language Design and Implementation (Chicago, IL, USA, 2005). ACM, New York, NY, USA, 190-200.
13. Massalin, H. Superoptimizer-A look at the smallest program. In Proceedings of the Second International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS II). R. H. Katz, ed. (Palo Alto, CA, USA, October 5-8, 1987). ACM Press, 122-126.
14. Schkufza, E., Sharma, R., Aiken, A. Stochastic superoptimization. In Architectural Support for Programming Languages and Operating Systems, ASPLOS'13. V. Sarkar and R. Bodík, eds. (Houston, TX, USA, March 16-20, 2013). ACM, 305-316.
15. Schkufza, E., Sharma, R., Aiken, A. Stochastic optimization of foating-point programs with tunable precision. In ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI'14. M. F. P. O'Boyle and K. Pingali, eds. (Edinburgh, United Kingdom, June 09-11, 2014). ACM.
16. Sharma, R., Schkufza, E., Churchill, B.R., Aiken, A. Data-driven equivalence checking. In Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, OOPSLA 2013, Part of SPLASH 2013. A. L. Hosking, P. Th. Eugster, and C. V. Lopes, eds. (Indianapolis, IN, USA, October 26-31, 2013). ACM, 391-406.
17. Solar-Lezama, A., Tancau, L., Bodík, R., Seshia, S.A., Saraswat, V.A. Combinatorial sketching for fnite programs. In Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2006. J. P. Shen and M. Martonosi, eds. (San Jose, CA, USA, October 21-25, 2006). ACM, 404-415.
18. Tate, R., Stepp, M., Tatlock, Z., Lerner, S. Equality saturation: A new approach to optimization. Logical Methods Comput. Sci. 7, 1 (2011).
19. Warren, H.S. Hacker's Delight. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 2002.