Aziem Chawdhary
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
2007–2018
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | SAS | Closing the Performance Gap Between Doubles and Rationals for Octagons. | Aziem Chawdhary, Andy King |
| 2017 | APLAS | Compact Difference Bound Matrices. | Aziem Chawdhary, Andy King |
| 2014 | APLAS | Simple and Efficient Algorithms for Octagons. | Aziem Chawdhary, Edward Robbins, Andy King |
| 2011 | TASE | Towards an Axiomatic Verification System for JavaScript. | Shengchao Qin, Aziem Chawdhary, Wei Xiong, Malcolm Munro, Zongyan Qiu, Huibiao Zhu |
| 2010 | APLAS | Metric Spaces and Termination Analyses. | Aziem Chawdhary, Hongseok Yang |
| 2008 | ESOP | Ranking Abstractions. | Aziem Chawdhary, Byron Cook, Sumit Gulwani, Mooly Sagiv, Hongseok Yang |
| 2007 | POPL | Variance analyses from invariance analyses. | Josh Berdine, Aziem Chawdhary, Byron Cook, Dino Distefano, Peter W. O'Hearn |