Joxan Jaffar

Identifiers

• name variant Joxan Jaffar 0.60 · backfill

Papers (6)

1. Shape Neutral Analysis of Graph-based Data-structures cs.PL · 2018 · author #2
2. Incremental Quantitative Analysis on Dynamic Costs cs.PL · 2016 · author #2
3. Automatic Reasoning on Recursive Data-Structures with Sharing cs.PL · 2015 · author #2
4. A Framework to Synergize Partial Order Reduction with State Interpolation cs.LO · 2014 · author #2
5. Automating Proofs of Data-Structure Properties in Imperative Programs cs.PL · 2014 · author #2
6. Symbolic Execution for Verification cs.PL · 2011 · author #1

Mentions

• 1408.0957 #2 · backfill · confidence 0.70 Joxan Jaffar
• 1407.6124 #2 · backfill · confidence 0.70 Joxan Jaffar
• 1103.2027 #1 · backfill · confidence 0.70 Joxan Jaffar

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