Smooth interpretation

ACM SIGPLAN Notices

Volumn 45, Issue 6, 2010, Pages 279-291

  Chaudhuri, Swarat ^a   Solar Lezama, Armando ^b  

^a PENNSYLVANIA STATE UNIVERSITY   (United States)

^b MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

Abstract Interpretation; Continuity; Operational Semantics; Parameter Synthesis; Program Smoothing

Indexed keywords

ABSTRACT INTERPRETATIONS; CONTINUITY; OPERATIONAL SEMANTICS; PARAMETER SYNTHESIS; PROGRAM SMOOTHING;

ABSTRACTING; CONTROL SYSTEM ANALYSIS; FUNCTIONS; GAUSSIAN DISTRIBUTION; NORMAL DISTRIBUTION; OPTIMIZATION; PROBLEM SOLVING; RANDOM VARIABLES; SIGNAL PROCESSING; THREE TERM CONTROL SYSTEMS;

PROGRAM INTERPRETERS;

EID: 77957567336     PISSN: 15232867     EISSN: None     Source Type: Journal    
DOI: 10.1145/1809028.1806629     Document Type: Conference Paper

References (21)

1. R. Alur, C. Courcoubetis, N. Halbwachs, T. A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theor. Comput. Sci., 138(1):3-34, 1995.
2. D. Andre and S. Russell. State abstraction for programmable reinforcement learning agents. In AAAI/IAAI, pages 119-125, 2002.
3. C. Bishop. Neural Networks for Pattern Recognition. 1995.
4. S. Chaudhuri, S. Gulwani, and R. Lublinerman. Continuity analysis of programs. In POPL, 2010.
5. P. Cousot and R. Cousot. Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. In POPL, 1977.
6. R. DeMillo and R. Lipton. Defining software by continuous, smooth functions. IEEE Transactions on Software Engineering, 17(4):383-384, 1991.
7. A. Donzé, B. Krogh, and A. Rajhans. Parameter synthesis for hybrid systems with an application to Simulink models. In HSCC, 2009.
8. B. Fischer and J. Schumann. AutoBayes: A system for generating data analysis programs from statistical models. Journal of Functional Programming, 13(03):483-508, 2003.
9. G. Frehse, S. Jha, and B. Krogh. A counterexample-guided approach to parameter synthesis for linear hybrid automata. In HSCC, pages 187-200, 2008.
10. S. Gulwani and G. Necula. Discovering affine equalities using random interpretation. In POPL, 2003.
11. T. Henzinger and H. Wong-Toi. Using HyTech to synthesize control parameters for a steam boiler. In Formal Methods for Industrial Applications, pages 265-282, 1995.
12. D. Kozen. Semantics of probabilistic programs. J. Comput. Syst. Sci., 22(3):328-350, 1981.
13. D. Monniaux. Abstract interpretation of probabilistic semantics. In SAS, pages 322-339, 2000.
14. N. Nisan and M. Szegedy. On the degree of Boolean functions as real polynomials. Computational Complexity, 4(4):301-313, 1994.
15. D. Parnas. Software aspects of strategic defense systems. Communications of the ACM, 28(12):1326-1335, 1985.
16. A. Di Pierro and H. Wiklicky. Probabilistic abstract interpretation and statistical testing. In PAPM-PROBMIV, pages 211-212, 2002.
17. J. Russ. The image processing handbook. CRC Press, 2007.
18. M. Smith. Probabilistic abstract interpretation of imperative programs using truncated normal distributions. Electron. Notes Theor. Comput. Sci., 220(3):43-59, 2008.
19. A. Solar-Lezama, R. M. Rabbah, R. Bodík, and K. Ebcioglu. Programming by sketching for bit-streaming programs. In PLDI, pages 281-294, 2005.
20. A. Solar-Lezama, L. Tancau, R. Bodik, V. Saraswat, and S. Seshia. Combinatorial sketching for finite programs. In ASPLOS '06, 2006.
21. G. N. Vanderplaats. Numerical optimization techniques. Springer- Verlag, 1987.