|
|
|
Book chapters or sections
- R. E. Bryant, S. K. Lahiri, and S. A. Seshia, "Modeling and verifying systems using a logic of counter arithmetic with lambda expressions and uninterpreted functions," in Computer Aided Verification, E. Brinksma and K. G. Larsen, Eds., Vol. 2404, Berlin: Springer-Verlag, 2002, pp. 78-92.
Articles in journals or magazines
- A. Solar Lezama, G. Arnold, L. Tancau, R. Bodik, V. Saraswat, and S. A. Seshia, "Sketching stencils," ACM SIGPLAN Notices, vol. 42, no. 6, pp. 167-178, June 2007.
- A. Solar Lezama, L. Tancau, R. Bodik, V. Saraswat, and S. A. Seshia, "Combinatorial sketching for finite programs," ACM SIGPLAN Notices, vol. 41, no. 11, pp. 404-415, Nov. 2006.
- S. A. Seshia and R. E. Bryant, "Deciding quantifier-free Presburger formulas using parameterized solution bounds," Logical Methods in Computer Science, vol. 1, no. 2, Dec. 2005.
Articles in conference proceedings
- S. K. Jha, B. Brady, and S. A. Seshia, "Symbolic Reachability Analysis of Lazy Linear Hybrid Automata," in Formal Modeling and Analysis of Timed Systems (FORMATS), Vol. 4763, Springer, 2007.
- S. A. Seshia, "Autonomic Reactive Systems via Online Learning," in Proc. International Conference on Autonomic Computing, 2007.
- A. Solar Lezama, G. Arnold, L. Tancau, R. Bodik, V. Saraswat, and S. A. Seshia, "Sketching stencils," in Proc. 2007 ACM SIGPLAN Conf. on Programming Language Design and Implementation (PLDI '07), New York, NY: The Association for Computing Machinery, Inc., 2007, pp. 167-178.
- S. A. Seshia, W. Li, and S. Mitra, "Verification-Guided Soft Error Resilience," in Proc. Design Automation and Test in Europe (DATE), 2007, pp. 1442-1447.
- R. E. Bryant, D. Kroening, J. Ouaknine, S. A. Seshia, O. Strichman, and B. Brady, "Deciding Bit-Vector Arithmetic with Abstraction," in 13th Intl. Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2007, pp. 358--372.
- A. Solar Lezama, L. Tancau, R. Bodik, V. Saraswat, and S. A. Seshia, "Combinatorial Sketching for Finite Programs," in 12th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), ACM Press, 2006, pp. 404-415.
- V. Ganapathy, S. A. Seshia, S. Jha, T. W. Reps, and R. E. Bryant, "Automatic discovery of API-level exploits," in Proc. 27th Intl. Conf. on Software Engineering, New York, NY: ACM Press, 2005, pp. 312-321.
- S. A. Seshia and R. E. Bryant, "Modeling and verifying circuits using generalized relative timing," in Proc. 11th IEEE Intl. Symp. on Asynchronous Circuits and Systems, Los Alamitos, CA: IEEE Computer Society, 2005, pp. 98-108.
- S. A. Seshia, S. K. Lahiri, and R. E. Bryant, "A hybrid SAT-based decision procedure for separation logic with uninterpreted functions," in Proc. 40th Design Automation Conference, New York, NY: ACM Press, 2004, pp. 425-430.
Technical Reports
- O. Kupferman, W. Li, and S. A. Seshia, "On the Duality between Vacuity and Coverage," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2008-26, March 2008.
- S. K. Jha, B. Brady, and S. A. Seshia, "Symbolic Reachability Analysis of Lazy Linear Hybrid Automata," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2007-32, Feb. 2007.
- S. A. Seshia, W. Li, and S. Mitra, "Verification-Guided Soft Error Resilience," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2006-118, Sep. 2006.
- T. H. Feng, L. T. Wang, W. Zheng, S. Kanajan, and S. A. Seshia, "Automatic Model Generation for Black Box Real-Time Systems," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2006-117, Sep. 2006.
- S. A. Seshia, "Integrated Verification for Robust Computing," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2006-103, July 2006.
|
|
|
