Joxan Jaffar
Identifiers
- name variant Joxan Jaffar 0.60 · backfill
Papers (6)
- Shape Neutral Analysis of Graph-based Data-structures cs.PL · 2018 · author #2
- Incremental Quantitative Analysis on Dynamic Costs cs.PL · 2016 · author #2
- Automatic Reasoning on Recursive Data-Structures with Sharing cs.PL · 2015 · author #2
- A Framework to Synergize Partial Order Reduction with State Interpolation cs.LO · 2014 · author #2
- Automating Proofs of Data-Structure Properties in Imperative Programs cs.PL · 2014 · author #2
- Symbolic Execution for Verification cs.PL · 2011 · author #1
Mentions
Frequent Coauthors
- Duc-Hiep Chu 4 shared papers
- Andrew E. Santosa 1 shared papers
- Gregory J. Duck 1 shared papers
- Jorge A. Navas 1 shared papers
- Minh-Thai Trinh 1 shared papers
- Roland H. C. Yap 1 shared papers
- Vijayaraghavan Murali 1 shared papers