Aziem Chawdhary

According to our database, Aziem Chawdhary authored at least 13 papers between 2007 and 2019.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2019

Incrementally closing octagons.

Aziem Chawdhary, Edward Robbins, Andy King

Formal Methods Syst. Des., 2019

2018

Closing the Performance Gap Between Doubles and Rationals for Octagons.

Aziem Chawdhary, Andy King

Proceedings of the Static Analysis - 25th International Symposium, 2018

2017

Optimising the Volgenant-Jonker algorithm for approximating graph edit distance.

William Jones, Aziem Chawdhary, Andy King

Pattern Recognit. Lett., 2017

Partial evaluation of string obfuscations for Java malware detection.

Aziem Chawdhary, Ranjeet Singh, Andy King

Formal Aspects Comput., 2017

dynStruct: An automatic reverse engineering tool for structure recovery and memory use analysis.

Daniel Mercier, Aziem Chawdhary, Richard Jones

Proceedings of the IEEE 24th International Conference on Software Analysis, 2017

Compact Difference Bound Matrices.

Aziem Chawdhary, Andy King

Proceedings of the Programming Languages and Systems - 15th Asian Symposium, 2017

2015

Revisiting Volgenant-Jonker for Approximating Graph Edit Distance.

William Jones, Aziem Chawdhary, Andy King

Proceedings of the Graph-Based Representations in Pattern Recognition, 2015

2014

Simple and Efficient Algorithms for Octagons.

Aziem Chawdhary, Edward Robbins, Andy King

Proceedings of the Programming Languages and Systems - 12th Asian Symposium, 2014

2011

Towards an Axiomatic Verification System for JavaScript.

Shengchao Qin, Aziem Chawdhary, Wei Xiong, Malcolm Munro, Zongyan Qiu, Huibiao Zhu

Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011

2010

Proving termination using abstract interpretation.

Aziem Chawdhary

PhD thesis, 2010

Metric Spaces and Termination Analyses.

Aziem Chawdhary, Hongseok Yang

Proceedings of the Programming Languages and Systems - 8th Asian Symposium, 2010

2008

Ranking Abstractions.

Aziem Chawdhary, Byron Cook, Sumit Gulwani, Mooly Sagiv, Hongseok Yang

Proceedings of the Programming Languages and Systems, 2008

2007

Variance analyses from invariance analyses.

Josh Berdine, Aziem Chawdhary, Byron Cook, Dino Distefano, Peter W. O'Hearn

Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2007