Proving programs robust

SIGSOFT/FSE 2011 - Proceedings of the 19th ACM SIGSOFT Symposium on Foundations of Software Engineering

Volumn , Issue , 2011, Pages 102-112

  Chaudhuri, Swarat ^a   Gulwani, Sumit ^b   Lublinerman, Roberto ^c   Navidpour, Sara ^c  

^a RICE UNIVERSITY   (United States)

^b MICROSOFT RESEARCH   (United States)

^c PENNSYLVANIA STATE UNIVERSITY   (United States)

Author keywords

Continuity; Lipschitz; Perturbations; Program approximation; Quantitative program analysis; Robustness; Sensitivity; Uncertainty

Indexed keywords

CONTINUITY; LIPSCHITZ; PERTURBATIONS; PROGRAM ANALYSIS; PROGRAM APPROXIMATION; SENSITIVITY; UNCERTAINTY;

EMBEDDED SOFTWARE; QUERY LANGUAGES; ROBUST CONTROL; ROBUSTNESS (CONTROL SYSTEMS); SOFTWARE ENGINEERING; UNCERTAINTY ANALYSIS;

STATIC ANALYSIS;

EID: 80053201999     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2025113.2025131     Document Type: Conference Paper

References (28)

1. L. Ambrosio and P. Tilli. Topics on analysis in metric spaces. Oxford University Press, 2004.
2. L. Blum, M. Shub, and S. Smale. On a theory of computation over the real numbers; np completeness, recursive functions and universal machines (extended abstract). In FOCS, 1988.
3. D. Bostic, W. P. Milam, Y. Wang, and J. A. Cook. Smart vehicle baseline report. http://vehicle.berkeley.edu/mobies, 2001.
4. M. Bucker, G. Corliss, P. Hovland, U. Naumann, and B. Norris. Automatic differentiation: applications, theory and implementations. Birkhauser, 2006.
5. S. Chaudhuri, S. Gulwani, and R. Lublinerman. Continuity analysis of programs. In POPL, pages 57-70, 2010.
6. L. Chen, A. Mine, J. Wang, and P. Cousot. Interval polyhedra: An abstract domain to infer interval linear relationships. In SAS, pages 309-325, 2009.
7. L. Chen, A. Miné, J. Wang, and P. Cousot. An abstract domain to discover interval linear equalities. In VMCAI, pages 112-128, 2010.
8. P. Cousot, R. Cousot, J. Feret, L. Mauborgne, A. Miné, D. Monniaux, and X. Rival. The ASTREÉ analyzer. In ESOP, pages 21-30, 2005.
9. P. Cousot and N. Halbwachs. Automatic discovery of linear restraints among variables of a program. In POPL, pages 84-96, 1978.
10. C. Dwork. Diérential privacy. In ICALP, 2006.
11. E. Goubault. Static analyses of the precision of oating-point operations. In SAS, pages 234-259, 2001. (Pubitemid 33302563)
12. J. Halpern. Reasoning about uncertainty. The MIT Press, 2003.
13. D. Hamlet. Continuity in sofware systems. In ISSTA, 2002.
14. F. Iavernaro, F. Mazzia, and D. Trigiante. Stability and conditioning in numerical analysis. Journal of Num. Analysis, Industrial and Applied Math., 1(1):91-112, 2006.
15. E. Lee. Cyber physical systems: Design challenges. In ISORC, pages 363-369, 2008.
16. R. Majumdar and I. Saha. Symbolic robustness analysis. Real-Time Systems Symposium, IEEE International, 0:355-363, 2009.
17. R. Majumdar, I. Saha, and Zilong Wang. Systematic testing for control applications. In Formal Methods and Models for Codesign (MEMOCODE), 2010 8th IEEE/ACM International Conference on, pages 1 -10, 2010.
18. A. Miné. Relational abstract domains for the detection of oating-point run-time errors. In ESOP, pages 3-17, 2004.
19. S. Misailovic, D. M. Roy, and M. Rinard. Probabilistically accurate program transformations. In SAS, 2011.
20. S. Misailovic, S. Sidiroglou, H. Hoffman, and M. Rinard. Quality of service profiling. In ICSE, 2010.
21. The Parsec benchmark suite. http://parsec.cs.princeton.edu, 2009.
22. S. Pettersson and B. Lennartson. Stability and robustness for hybrid systems. In Decision and Control, pages 1202-1207, Dec 1996.
23. Andreas Podelski and Silke Wagner. Model checking of hybrid systems: From reachability towards stability. In HSCC, pages 507-521, 2006. (Pubitemid 44019608)
24. J. Reed, A. Aviv, D. Wagner, A. Haeberlen, B. Pierce, and J. Smith. Differential privacy for collaborative security. In Eurosec, 2010.
25. J. Reed and B. Pierce. Distance makes the types grow stronger: A calculus for differential privacy. In ICFP, 2010.
26. S. Sidiroglou, S. Misailovic, H. Hoffman, and M. Rinard. Managing performance vs. accuracy trade-offs with loop perforation. In FSE, 2011.
27. G. Winskel. The formal semantics of programming languages. The MIT Press, 1993.
28. G. Zames. Input-output feedback stability and robustness, 1959-85. IEEE Control Systems, 16(3), 1996.