Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Trinh, Minh-Thai
1487  Ergebnisse:
Personensuche X
?
1

Generating Proof Certificates for a Language-Agnostic Deduc..:

Lin, Zhengyao ; Chen, Xiaohong ; Trinh, Minh-Thai..
Proceedings of the ACM on Programming Languages.  7 (2023)  OOPSLA1 - p. 56-84 , 2023
Link: https://doi.org/10.1145/..
 
?
2

Towards a Trustworthy Semantics-Based Language Framework vi..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Chen, Xiaohong ; Lin, Zhengyao ; Trinh, Minh-Thai. - p. 477-499 , 2021
Link: https://doi.org/10.1007/..
 
?
3

Towards a unified proof framework for automated fixpoint re..:

Chen, Xiaohong ; Trinh, Minh-Thai ; Rodrigues, Nishant..
Proceedings of the ACM on Programming Languages.  4 (2020)  OOPSLA - p. 1-29 , 2020
Link: https://dl.acm.org/doi/1..
 
?
4

Inter-theory dependency analysis for SMT string solvers:

Trinh, Minh-Thai ; Chu, Duc-Hiep ; Jaffar, Joxan
Proceedings of the ACM on Programming Languages.  4 (2020)  OOPSLA - p. 1-27 , 2020
Link: https://dl.acm.org/doi/1..
 
?
5

Inter-theory dependency analysis for SMT string solvers:

Trinh, Minh-Thai ; Chu, Duc-Hiep ; Jaffar, Joxan
Proceedings of the ACM on Programming Languages.  4 (2020)  OOPSLA - p. 1-27 , 2020
Link: https://doi.org/10.1145/..
 
?
6

Towards a unified proof framework for automated fixpoint re..:

Chen, Xiaohong ; Trinh, Minh-Thai ; Rodrigues, Nishant..
Proceedings of the ACM on Programming Languages.  4 (2020)  OOPSLA - p. 1-29 , 2020
Link: https://doi.org/10.1145/..
 
?
7

Automatic induction proofs of data-structures in imperative..:

, In: Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation,
Chu, Duc-Hiep ; Jaffar, Joxan ; Trinh, Minh-Thai - p. 457-466 , 2015
Link: https://dl.acm.org/doi/1..
 
?
8

Automatic induction proofs of data-structures in imperative..:

Chu, Duc-Hiep ; Jaffar, Joxan ; Trinh, Minh-Thai
ACM SIGPLAN Notices.  50 (2015)  6 - p. 457-466 , 2015
Link: https://doi.org/10.1145/..
 
?
9

S3 : A Symbolic String Solver for Vulnerability Detectio..:

, In: Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security,
Trinh, Minh-Thai ; Chu, Duc-Hiep ; Jaffar, Joxan - p. 1232-1243 , 2014
Link: https://dl.acm.org/doi/1..
 
?
10

Generating Proof Certificates for a Language-Agnostic Deduc..:

Lin, Zhengyao ; Chen, Xiaohong ; Trinh, Minh-Thai..
doi:10.5281/zenodo.7482286.  , 2022
Link: https://zenodo.org/recor..
 
?
11

Generating Proof Certificates for a Language-Agnostic Deduc..:

Lin, Zhengyao ; Chen, Xiaohong ; Trinh, Minh-Thai..
doi:10.5281/zenodo.7482286.  , 2022
Link: https://zenodo.org/recor..
 
?
12

Generating Proof Certificates for a Language-Agnostic Deduc..:

Lin, Zhengyao ; Chen, Xiaohong ; Trinh, Minh-Thai..
doi:10.5281/zenodo.7482286.  , 2022
Link: https://zenodo.org/recor..
 
?
13

Generating Proof Certificates for a Language-Agnostic Deduc..:

Lin, Zhengyao ; Chen, Xiaohong ; Trinh, Minh-Thai..
https://doi.org/10.5281/zenodo.7482286.  , 2022
Link: https://doi.org/10.5281/..
 
?
14

Generating Proof Certificates for a Language-Agnostic Deduc..:

Lin, Zhengyao ; Chen, Xiaohong ; Trinh, Minh-Thai..
https://doi.org/10.5281/zenodo.7482286.  , 2022
Link: https://doi.org/10.5281/..
 
?
15

Automating Proofs of Data-Structure Properties in Imperativ..:

Chu, Duc-Hiep ; Jaffar, Joxan ; Trinh, Minh-Thai
http://arxiv.org/abs/1407.6124.  , 2014
Link: http://arxiv.org/abs/140..
 
1-15