Continuity and robustness of programs

Communications of the ACM

Volumn 55, Issue 8, 2012, Pages 107-115

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

^a Rice University   (United States)

^b MICROSOFT RESEARCH   (United States)

^c The Pennsylvania State University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENTISTS; CONTINUOUS DYNAMICS; LIPSCHITZ; LIPSCHITZ CONTINUOUS; MATHEMATICAL ANALYSIS; PHYSICAL SYSTEMS;

COMPUTER APPLICATIONS;

COMPUTER SCIENCE;

EID: 84864647209     PISSN: 00010782     EISSN: 15577317     Source Type: Journal    
DOI: 10.1145/2240236.2240262     Document Type: Article

References (20)

1. Bucker, M., Corliss, G., Hovland, P., Naumann, U., Norris, B. Automatic Differentiation: Applications, Theory and Implementations, Birkhauser, 2006.
2. Chaudhuri, S., Gulwani, S., Lublinerman, R. Continuity analysis of programs. In POPL (2010), 57-70.
3. Chaudhuri, S., Gulwani, S., Lublinerman, R., Navidpour, S. Proving programs robust. In FSE (2011), 102-112.
4. Chaudhuri, S., Solar-Lezama, A. Smooth interpretation. In PLDI (2010), 279-291.
5. Chaudhuri, S., Solar-Lezama, A. Smoothing a program soundly and robustly. In CAV (2011), 277-292.
6. Chen, L., Miné, A., Wang, J., Cousot, P. Interval polyhedra: An abstract domain to infer interval linear relationships. In SAS (2009), 309-325.
7. Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Miné, A., Monniaux, D., Rival, X. The ASTREÉ analyzer. In ESOP (2005), 21-30.
8. de Moura, L. M. Bjørner, N. Z3: An effcient smt solver. In TACAS (2008), 337-340.
9. Girard, A., Pappas, G. Approximate bisimulation: A bridge between computer science and control theory. Eur. J. Contr. 17, 5(2011), 568.
10. Goubault, E. Static analyses of the precision of floating-point operations. In SAS (2001).
11. Gulwani, S., Zuleger, F. The reachability-bound problem. In PLDI (2010), 292-304.
12. Hamlet, D. Continuity in software systems. In ISSTA (2002).
13. Jha, M., Raskhodnikova, S. Testing and reconstruction of lipschitz functions with applications to data privacy. In FOCS (2011), 433-442.
14. Majumdar, R., Saha, I. Symbolic robustness analysis. In RTSS (2009), 355-363.
15. Parnas, D. Software aspects of strategic defense systems. Commun. ACM 28, 12(1985), 1326-1335. (Pubitemid 16460766)
16. Pettersson, S., Lennartson, B. Stability and robustness for hybrid systems. In Decision and Control (Dec. 1996), 1202-1207.
17. Podelski, A., Wagner, S. Model checking of hybrid systems: From reachability towards stability. In HSCC (2006), 507-521. (Pubitemid 44019608)
18. Reed, J., Pierce, B. Distance makes the types grow stronger: A calculus for differential privacy. In ICFP (2010).
19. Strichman, O. Regression verification: Proving the equivalence of similar programs. In CAV (2009).
20. Zhu, Z., Misailovic, S., Kelner, J., Rinard, M. Randomized accuracyaware program transformations for efficient approximate computations. In POPL (2012).