Smooth interpretation

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)

Volumn , Issue , 2010, Pages 279-291

  Chaudhuri, Swarat ^a   Solar Lezama, Armando ^b  

^a Pensylvania State University   (United States)

^b MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

continuity; parameter synthesis; program smoothing

Indexed keywords

BEHAVIORAL SPECIFICATION; CONDITIONAL BRANCH; CONTINUOUS TRANSITIONS; EMBEDDED CONTROL APPLICATIONS; ERROR FUNCTION; GAUSSIAN FUNCTIONS; GAUSSIAN SMOOTHING; GAUSSIANS; GEAR-SHIFTS; GRADIENT DESCENT; IMPERATIVE PROGRAMS; INPUT SPACE; MATHEMATICAL FUNCTIONS; NUMERICAL CONTROL; NUMERICAL OPTIMIZATION TECHNIQUES; NUMERICAL OPTIMIZATIONS; NUMERICAL SEARCH; PARAMETER SPACES; PARAMETER SYNTHESIS; PARAMETER VALUES; PID CONTROLLERS; PROBABILISTIC SEMANTICS; PROGRAM ANALYSIS; SYMBOLIC EXECUTION;

C (PROGRAMMING LANGUAGE); CONTROL SYSTEM ANALYSIS; FUNCTIONS; FUZZY CONTROL; GAUSSIAN DISTRIBUTION; LINGUISTICS; NORMAL DISTRIBUTION; OPTIMIZATION; PROBLEM ORIENTED LANGUAGES; PROBLEM SOLVING; RANDOM VARIABLES; SIGNAL PROCESSING; THREE TERM CONTROL SYSTEMS;

PROGRAM INTERPRETERS;

EID: 77954734845     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1806596.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. (Pubitemid 36601124)
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.