Aziem Chawdhary

ORCID

Publication Activity (10 Years)

Years Active: 2007-2019
Publications (10 Years): 7

Top Venues

APLAS

SANER

CoRR

Formal Aspects Comput.

Queen Mary University of London, UK (PHD)

Education History

Queen Mary University of London, UK

PHD

Publications

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

Aziem Chawdhary.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Aziem Chawdhary