Sanu Subramanian

According to our database, Sanu Subramanian authored at least 4 papers between 2015 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Z3str2: an efficient solver for strings, regular expressions, and length constraints.

Yunhui Zheng, Vijay Ganesh, Sanu Subramanian, Omer Tripp, Murphy Berzish, Julian Dolby, Xiangyu Zhang

Formal Methods Syst. Des., 2017

A solver for a theory of string and bit-vectors.

Sanu Subramanian, Murphy Berzish, Vijay Ganesh, Omer Tripp

Proceedings of the 39th International Conference on Software Engineering, 2017

2016

A Solver for a Theory of Strings and Bit-vectors.

Sanu Subramanian, Murphy Berzish, Yunhui Zheng, Omer Tripp, Vijay Ganesh

CoRR, 2016

2015

Effective Search-Space Pruning for Solvers of String Equations, Regular Expressions and Length Constraints.

Yunhui Zheng, Vijay Ganesh, Sanu Subramanian, Omer Tripp, Julian Dolby, Xiangyu Zhang

Proceedings of the Computer Aided Verification - 27th International Conference, 2015