Aziem Chawdhary

14 papers A* 1A 2B 4Misc 1Journal 4Unranked 1
YearRankTypeTitle / Venue / Authors
2019 J jnl
Incrementally closing octagons.
Formal Methods Syst. Des.
Aziem Chawdhary, Edward Robbins, Andy King
2018 B conf
Closing the Performance Gap Between Doubles and Rationals for Octagons.
SAS
Aziem Chawdhary, Andy King
2017 B conf
Compact Difference Bound Matrices.
APLAS
Aziem Chawdhary, Andy King
2017 J jnl
Optimising the Volgenant-Jonker algorithm for approximating graph edit distance.
Pattern Recognit. Lett.
William Jones, Aziem Chawdhary, Andy King
2017 J jnl
Partial evaluation of string obfuscations for Java malware detection.
Formal Aspects Comput.
Aziem Chawdhary, Ranjeet Singh, Andy King
2017 A conf
dynStruct: An automatic reverse engineering tool for structure recovery and memory use analysis.
SANER
Daniel Mercier, Aziem Chawdhary, Richard Jones
2016 J jnl
Incrementally Closing Octagons.
CoRR
Aziem Chawdhary, Edward Robbins, Andy King
2015 — conf
Revisiting Volgenant-Jonker for Approximating Graph Edit Distance.
GbRPR
William Jones, Aziem Chawdhary, Andy King
2014 B conf
Simple and Efficient Algorithms for Octagons.
APLAS
Aziem Chawdhary, Edward Robbins, Andy King
2011 Misc conf
Towards an Axiomatic Verification System for JavaScript.
TASE
Shengchao Qin, Aziem Chawdhary, Wei Xiong, Malcolm Munro, Zongyan Qiu, Huibiao Zhu
2010 B conf
Metric Spaces and Termination Analyses.
APLAS
Aziem Chawdhary, Hongseok Yang
2010 — —
Proving termination using abstract interpretation.
Aziem Chawdhary
2008 A conf
Ranking Abstractions.
ESOP
Aziem Chawdhary, Byron Cook, Sumit Gulwani, Mooly Sagiv, Hongseok Yang
2007 A* conf
Variance analyses from invariance analyses.
POPL
Josh Berdine, Aziem Chawdhary, Byron Cook, Dino Distefano, Peter W. O'Hearn