#### Filter Results:

- Full text PDF available (7)

#### Publication Year

2002

2017

- This year (2)
- Last 5 years (3)
- Last 10 years (4)

#### Publication Type

#### Co-author

#### Publication Venue

#### Key Phrases

Learn More

In recent years, string solvers have become an essential component in many formal-verification, security-analysis and bug-finding tools. Such solvers typically support a theory of string equations, the length function as well as the regular-expression membership predicate. These enable considerable expressive power, which comes at the cost of slow solving… (More)

- S. Subramanian, P. Gupta, S. Shakkottai
- 2007 IEEE International Symposium on Information…
- 2007

We develop order bounds on the refresh rate of computing functions over large multi-hop sensor networks, with finite degree (finite neighbors for each node). The refresh rate quantifies how often the function can be re-computed with new data at sensor nodes. Giridhar and Kumar (2005) considered deterministic function computation for two important classes of… (More)

- V B Mehta, S Subramanian
- 2006

- S. Subramanian
- 2006

We show that a principal G bundle on a smooth projective curve over a finite field is strongly semistable if and only if it is defined by a representation of the fundamental group scheme of the curve into G.

- Sanu Subramanian, Murphy Berzish, Yunhui Zheng, Omer Tripp, Vijay Ganesh
- 2017 IEEE/ACM 39th International Conference on…
- 2017

We present the Z3strBV solver for a many-sorted first-order quantifier-free theory Tw, bv of string equations, string length represented as bit-vectors, and bit-vector arithmetic aimed at formal verification, automated testing, and security analysis of C/C++ applications. Our key motivation for building such a solver is the observation that existing string… (More)

- Vikram B. Mehta, S. Subramanian
- 2002

1. Let G be a semisimple algebraic group defined over an algebraically closed field k of characteristic p. In this article, we construct the moduli space of semistable principal G bundles on a smooth projective curve X over k, of genus g ≥ 2. When the characteristic is zero, for example the field of complex numbers, these moduli spaces were first… (More)

Let X be an irreducible smooth projective curve over an algebraically closed field k of characteristic p, with p > 5. Let G be a connected reductive algebraic group over k. Let H be a Levi factor of some parabolic subgroup of G and χ a character of H. Given a reduction E H of the structure group of a G-bundle E G to H, let E χ be the line bundle over X… (More)

- Yunhui Zheng, Vijay Ganesh, +4 authors Xiangyu Zhang
- Formal Methods in System Design
- 2017

- ‹
- 1
- ›