Duc-Hiep Chu

Proc. ACM Program. Lang., 2020

2017

S3: syntax- and semantic-guided repair synthesis via programming by examples.

[BibT_eX]

[DOI]

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

JFIX: semantics-based repair of Java programs via symbolic PathFinder.

[BibT_eX]

[DOI]

Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10, 2017

Model Counting for Recursively-Defined Strings.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016

Making Smart Contracts Smarter.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2016

Incremental Quantitative Analysis on Dynamic Costs.

[BibT_eX]

[DOI]

Vijayaraghavan Murali

CoRR, 2016

Precise Cache Timing Analysis via Symbolic Execution.

[BibT_eX]

[DOI]

Rasool Maghareh

Proceedings of the 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2016

Symbolic execution for memory consumption analysis.

[BibT_eX]

[DOI]

Rasool Maghareh

Proceedings of the 17th ACM SIGPLAN/SIGBED Conference on Languages, 2016

Progressive Reasoning over Recursively-Defined Strings.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2015

Local Reasoning with First-Class Heaps, and a New Frame Rule.

[BibT_eX]

[DOI]

CoRR, 2015

Automatic induction proofs of data-structures in imperative programs.

[BibT_eX]

[DOI]

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

2014

Automating Proofs of Data-Structure Properties in Imperative Programs.

[BibT_eX]

[DOI]

CoRR, 2014

Lazy Symbolic Execution for Enhanced Learning.

[BibT_eX]

[DOI]

Vijayaraghavan Murali

Proceedings of the Runtime Verification - 5th International Conference, 2014

A Framework to Synergize Partial Order Reduction with State Interpolation.

[BibT_eX]

[DOI]

Proceedings of the Hardware and Software: Verification and Testing, 2014

S3: A Symbolic String Solver for Vulnerability Detection in Web Applications.

[BibT_eX]

[DOI]

Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security, 2014

2013

Path-sensitive resource analysis compliant with assertions.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Embedded Software, 2013

2012

A Complete Method for Symmetry Reduction in Safety Verification.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

2011

Symbolic simulation on complicated loops for WCET path analysis.

[BibT_eX]

[DOI]