Follow
Tianyi Liang
Tianyi Liang
Two Sigma Investments LP
Verified email at uiowa.edu
Title
Cited by
Cited by
Year
A DPLL(T) Theory Solver for a Theory of Strings and Regular Expressions
T Liang, A Reynolds, C Tinelli, C Barrett, M Deters
Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014
1622014
An efficient SMT solver for string constraints
T Liang, A Reynolds, N Tsiskaridze, C Tinelli, C Barrett, M Deters
Formal Methods in System Design 48, 206-234, 2016
692016
Scaling up DPLL (T) string solvers using context-dependent simplification
A Reynolds, M Woo, C Barrett, D Brumley, T Liang, C Tinelli
International Conference on Computer Aided Verification, 453-474, 2017
482017
A decision procedure for regular membership and length constraints over unbounded strings
T Liang, N Tsiskaridze, A Reynolds, C Tinelli, C Barrett
International Symposium on Frontiers of Combining Systems, 135-150, 2015
442015
Efficient solving of string constraints for security analysis
C Barrett, C Tinelli, M Deters, T Liang, A Reynolds, N Tsiskaridze
Proceedings of the Symposium and Bootcamp on the science of security, 4-6, 2016
62016
Automated reasoning over string constraints
T Liang
The University of Iowa, 2014
22014
An efficient DPLL (T) solver for a theory of strings and regular expressions
T Liang, A Reynolds, N Tsiskaridze, C Tinelli, C Barrett, M Deters
Formal Methods in System Design, to appear, 2015
2015
Exploiting parallelism in the ME calculus.
T Liang, C Tinelli
PAAR@ IJCAR, 96-108, 2012
2012
SMT-COMP 2014 entry: CVC4 v1. 4
KB NYU, CB NYU, FB CEA, C Conway, MD NYU, LH NYU, DJ SRI, ...
SMT-COMP 2015 entry: CVC4 v1. 5-prerelease
KB NYU, CB NYU, FB CEA, M Brain, C Conway, MD NYU, L Hadarean, ...
The system can't perform the operation now. Try again later.
Articles 1–10