Minh-Thai Trinh

According to our database1, Minh-Thai Trinh authored at least 9 papers between 2011 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Inter-theory dependency analysis for SMT string solvers.
Proc. ACM Program. Lang., 2020

Towards a unified proof framework for automated fixpoint reasoning using matching logic.
Proc. ACM Program. Lang., 2020

2017
Model Counting for Recursively-Defined Strings.
Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016
Progressive Reasoning over Recursively-Defined Strings.
Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2015
Automatic induction proofs of data-structures in imperative programs.
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

2014
Automating Proofs of Data-Structure Properties in Imperative Programs.
CoRR, 2014

S3: A Symbolic String Solver for Vulnerability Detection in Web Applications.
Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security, 2014

2013
Bi-Abduction with Pure Properties for Specification Inference.
Proceedings of the Programming Languages and Systems - 11th Asian Symposium, 2013

2011
FixBag: A Fixpoint Calculator for Quantified Bag Constraints.
Proceedings of the Computer Aided Verification - 23rd International Conference, 2011


  Loading...