Variance analyses from invariance analyses. - Josh Berdine; Aziem Chawdhary; Byron Cook; Dino Distefano; Peter W. O'Hearn (POPL, 2007)

Ranking Abstractions. - Aziem Chawdhary; Byron Cook; Sumit Gulwani; Mooly Sagiv; Hongseok Yang (ESOP, 2008)

Metric Spaces and Termination Analyses. - Aziem Chawdhary; Hongseok Yang (APLAS, 2010)

Proving termination using abstract interpretation. - Aziem Chawdhary (2010)

Towards an Axiomatic Verification System for JavaScript. - Shengchao Qin; Aziem Chawdhary; Wei Xiong 007; Malcolm Munro; Zongyan Qiu; Huibiao Zhu (TASE, 2011)

Simple and Efficient Algorithms for Octagons. - Aziem Chawdhary; Edward Robbins 001; Andy King (APLAS, 2014)

Revisiting Volgenant-Jonker for Approximating Graph Edit Distance. - William Jones; Aziem Chawdhary; Andy King (GbRPR, 2015)

Compact Difference Bound Matrices. - Aziem Chawdhary; Andy King (APLAS, 2017)

dynStruct: An automatic reverse engineering tool for structure recovery and memory use analysis. - Daniel Mercier; Aziem Chawdhary; Richard Jones (SANER, 2017)

Partial evaluation of string obfuscations for Java malware detection. - Aziem Chawdhary; Ranjeet Singh; Andy King (Formal Aspects Comput., 2017)

Optimising the Volgenant-Jonker algorithm for approximating graph edit distance. - William Jones; Aziem Chawdhary; Andy King (Pattern Recognit. Lett., 2017)

Closing the Performance Gap Between Doubles and Rationals for Octagons. - Aziem Chawdhary; Andy King (SAS, 2018)

Incrementally closing octagons. - Aziem Chawdhary; Edward Robbins 001; Andy King (Formal Methods Syst. Des., 2019)