Tianyi Liang
Tianyi Liang
Two Sigma Investments LP
Adresse e-mail validée de uiowa.edu
Titre
Citée par
Citée par
Année
A DPLL (T) theory solver for a theory of strings and regular expressions
T Liang, A Reynolds, C Tinelli, C Barrett, M Deters
International Conference on Computer Aided Verification, 646-662, 2014
1352014
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 (3), 206-234, 2016
472016
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
272017
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
232015
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
32016
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, ...
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–10