Adnan Aziz
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
59
Venues
19
Active years
1994–2026
Best venue rank
A*
Where they publish
Papers
59 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ASPLOS | Triton-Sanitizer: A Fast and Device-Agnostic Memory Sanitizer for Triton with Rich Diagnostic Context. | Hao Wu, Qidong Zhao, Songqing Chen, Yang Chen, Yueming Hao, Tony C. W. Liu, Sijia Chen, Adnan Aziz, Keren Zhou |
| 2025 | OSDI | KPerfIR: Towards a Open and Compiler-centric Ecosystem for GPU Kernel Performance Tooling on Modern AI Workloads. | Yue Guan, Yuanwei Fang, Keren Zhou, Corbin Robeck, Manman Ren, Zhongkai Yu, Yufei Ding, Adnan Aziz |
| 2025 | SOSP | Mercury: Unlocking Multi-GPU Operator Optimization for LLMs via Remote Memory Scheduling. | Yue Guan, Xinwei Qiang, Zaifeng Pan, Daniels Johnson, Yuanwei Fang, Keren Zhou, Yuke Wang, Wanlu Li, Yufei Ding, Adnan Aziz |
| 2018 | ICANN | Classification of SIP Attack Variants with a Hybrid Self-enforcing Network. | Waldemar Hartwig, Christina Klver, Adnan Aziz, Dirk Hoffstadt |
| 2018 | TrustCom | Application of Visual Analysis to Detect and Analyze Patterns in VoIP Attack Traffic. | Ekaterina Volodina, Adnan Aziz, Erwin P. Rathgeb, Tobias Hofeld |
| 2015 | Networking | Global VoIP security threats - large scale validation based on independent honeynets. | Markus Gruber, Dirk Hoffstadt, Adnan Aziz, Florian Fankhauser, Christian Schanes, Erwin P. Rathgeb, Thomas Grechenig |
| 2014 | Networking | A distributed infrastructure to analyse SIP attacks in the Internet. | Adnan Aziz, Dirk Hoffstadt, Erwin P. Rathgeb, Thomas Dreibholz |
| 2013 | TrustCom | Development and Analysis of Generic VoIP Attack Sequences Based on Analysis of Real Attack Traffic. | Adnan Aziz, Dirk Hoffstadt, Sebastian Ganz, Erwin P. Rathgeb |
| 2008 | DAC | TuneFPGA: post-silicon tuning of dual-Vdd FPGAs. | Stephen Bijansky, Adnan Aziz |
| 2008 | FMCAD | Optimal Constraint-Preserving Netlist Simplification. | Jason Baumgartner, Hari Mony, Adnan Aziz |
| 2008 | ICCD | Adaptive SRAM memory for low power and high yield. | Baker Mohammad, Stephen Bijansky, Adnan Aziz, Jacob A. Abraham |
| 2007 | FMCAD | Global Optimization of Compositional Systems. | Fadi A. Zaraket, John Pape, Adnan Aziz, Margarida F. Jacome, Sarfraz Khurshid |
| 2007 | ICCD | Contention-free switch-based implementation of 1024-point Radix-2 Fourier Transform Engine. | Hani Saleh, Bassam Jamil Mohd, Adnan Aziz, Earl E. Swartzlander Jr. |
| 2007 | ICSE | Sequential Circuits for Relational Analysis. | Fadi A. Zaraket, Adnan Aziz, Sarfraz Khurshid |
| 2006 | HOTI | Scheduling Traffic Matrices On General Switch Fabrics. | Xiang Wu, Amit Prakash, Marghoob Mohiyuddin, Adnan Aziz |
| 2005 | ICCAD | Scalable compositional minimization via static analysis. | Fadi A. Zaraket, Jason Baumgartner, Adnan Aziz |
| 2004 | DAC | Synthesizing interconnect-efficient low density parity check codes. | Marghoob Mohiyuddin, Amit Prakash, Adnan Aziz, Wayne H. Wolf |
| 2004 | INFOCOM | Randomized Parallel Schedulers for Switch-Memory-Switch Routers: Analysis and Numerical Studies. | Amit Prakash, Adnan Aziz, Vijaya Ramachandran |
| 2003 | DAC | Constraint synthesis for environment modeling in functional verification. | Jun Yuan, Ken Albin, Adnan Aziz, Carl Pixley |
| 2003 | ICCAD | A Framework for Constrained Functional Verification. | Jun Yuan, Carl Pixley, Adnan Aziz, Ken Albin |
| 2003 | SPAA | A near optimal scheduler for switch-memory-switch routers. | Adnan Aziz, Amit Prakash, Vijaya Ramachandran |
| 2002 | HOTI | Multicast Scheduling for Switches with Multiple Input-Queues. | Shashank Gupta, Adnan Aziz |
| 2002 | HOTI | A Middle Ground between CAMs and DAGs for High-Speed Packet Classification. | Amit Prakash, Adnan Aziz |
| 2002 | ICCAD | Simplifying Boolean constraint solving for random simulation-vector generation. | Jun Yuan, Ken Albin, Adnan Aziz, Carl Pixley |
| 2002 | INFOCOM | An O(log | Sadia Sharif, Adnan Aziz, Amit Prakash |
| 2002 | VLSID | Improved SAT-Based Bounded Reachability Analysis. | Malay K. Ganai, Adnan Aziz |
| 2001 | ASPDAC | Integrated power supply planning and floorplanning. | I-Min Liu, Hung-Ming Chen, Tan-Li Chou, Adnan Aziz, D. F. Wong |
| 2001 | HOTI | OC-3072 packet classification using BDDs and pipelined SRAMs. | Amit Prakash, Adnan Aziz |
| 2000 | CAV | An Abstraction Algorithm for the Verification of Generalized C-Slow Designs. | Jason Baumgartner, Anson Tripp, Adnan Aziz, Vigyan Singhal, Flemming Andersen |
| 2000 | DATE | Meeting Delay Constraints in DSM by Minimal Repeater Insertion. | I-Min Liu, Adnan Aziz, D. F. Wong |
| 2000 | DATE | Automatic Lighthouse Generation for Directed State Space Search. | Praveen Yalagandula, Adnan Aziz, Vigyan Singhal |
| 2000 | ICCD | Delay Constrained Optimization by Simultaneous Fanout Tree Construction, Buffer Insertion/Sizing and Gate Sizing. | I-Min Liu, Adnan Aziz |
| 1999 | CAV | Model Checking the IBM Gigahertz Processor: An Abstraction Algorithm for High-Performance Netlists. | Jason Baumgartner, Tamir Heyman, Vigyan Singhal, Adnan Aziz |
| 1999 | DAC | Enhancing Simulation with BDDs and ATPG. | Malay K. Ganai, Adnan Aziz, Andreas Kuehlmann |
| 1999 | DAC | Simultaneous Routing and Buffer Insertion with Restrictions on Buffer Locations. | Hai Zhou, D. F. Wong, I-Min Liu, Adnan Aziz |
| 1999 | ICCAD | Modeling design constraints and biasing in simulation using BDDs. | Jun Yuan, Kurt Shultz, Carl Pixley, Hillel Miller, Adnan Aziz |
| 1999 | ICCD | An Efficient Buffer Insertion Algorithm for Large Networks Based on Lagrangian Relaxation. | I-Min Liu, Adnan Aziz, D. F. Wong, Hai Zhou |
| 1999 | VLSID | Performance Driven Synthesis for Pass-Transistor Logic. | Tai-Hung Liu, Malay K. Ganai, Adnan Aziz, Jeffrey L. Burns |
| 1999 | VLSID | Formal Verification of a Snoop-Based Cache Coherence Protocol Using Symbolic Model Checking. | Srivatsan Srinivasan, Parminder Singh Chhabra, Praveen Kumar Jaini, Adnan Aziz, Lizy Kurian John |
| 1998 | CAV | BDD Based Procedures for a Theory of Equality with Uninterpreted Functions. | Anuj Goel, Khurram Sajid, Hai Zhou, Adnan Aziz, Vigyan Singhal |
| 1998 | DAC | Hybrid Verification Using Saturated Simulation. | Adnan Aziz, James H. Kukula, Thomas R. Shiple |
| 1998 | DAC | Hybrid Techniques for Fast Functional Simulation. | Yufeng Luo, Tjahjadi Wongsonegoro, Adnan Aziz |
| 1998 | FMCAD | Techniques for Implicit State Enumeration of EFSMs. | James H. Kukula, Thomas R. Shiple, Adnan Aziz |
| 1998 | ICCD | Area-oriented synthesis for pass-transistor logic. | Rajat Chaudhry, Tai-Hung Liu, Adnan Aziz, Jeffrey L. Burns |
| 1997 | CAV | On Combining Formal and Informal Verification. | Jun Yuan, Jian Shen, Jacob A. Abraham, Adnan Aziz |
| 1997 | DAC | Optimizing Designs Containing Black Boxes. | Tai-Hung Liu, Khurram Sajid, Adnan Aziz, Vigyan Singhal |
| 1997 | ICCAD | Sequential optimisation without state space exploration. | Amit Mehrotra, Shaz Qadeer, Vigyan Singhal, Robert K. Brayton, Adnan Aziz, Alberto L. Sangiovanni-Vincentelli |
| 1996 | CAV | Verifying Continuous Time Markov Chains. | Adnan Aziz, Kumud Sanwal, Vigyan Singhal, Robert K. Brayton |
| 1996 | CAV | VIS: A System for Verification and Synthesis. | Robert K. Brayton, Gary D. Hachtel, Alberto L. Sangiovanni-Vincentelli, Fabio Somenzi, Adnan Aziz, Szu-Tsung Cheng, Stephen A. Edwards, Sunil P. Khatri, Yuji Kukimoto, Abelardo Pardo, Shaz Qadeer, Rajeev K. Ranjan, Shaker Sarwary, Thomas R. Shiple, Gitanjali Swamy, Tiziano Villa |
| 1996 | FMCAD | VIS. | Robert K. Brayton, Gary D. Hachtel, Alberto L. Sangiovanni-Vincentelli, Fabio Somenzi, Adnan Aziz, Szu-Tsung Cheng, Stephen A. Edwards, Sunil P. Khatri, Yuji Kukimoto, Abelardo Pardo, Shaz Qadeer, Rajeev K. Ranjan, Shaker Sarwary, Thomas R. Shiple, Gitanjali Swamy, Tiziano Villa |
| 1995 | CAV | Supervisory Control of Finite State Machines. | Adnan Aziz, Felice Balarin, Robert K. Brayton, Marika Domenica Di Benedetto, Alexander Saldanha |
| 1995 | CAV | It Usually Works: The Temporal Logic of Stochastic Systems. | Adnan Aziz, Vigyan Singhal, Felice Balarin |
| 1995 | ICCAD | Sequential synthesis using S1S. | Adnan Aziz, Felice Balarin, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
| 1994 | CAV | Formula-Dependent Equivalence for Compositional CTL Model Checking. | Adnan Aziz, Thomas R. Shiple, Vigyan Singhal |
| 1994 | DAC | HSIS: A BDD-Based Environment for Formal Verification. | Adnan Aziz, Felice Balarin, Szu-Tsung Cheng, Ramin Hojati, Timothy Kam, Sriram C. Krishnan, Rajeev K. Ranjan, Thomas R. Shiple, Vigyan Singhal, Serdar Tasiran, Huey-Yih Wang, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
| 1994 | DAC | BDD Variable Ordering for Interacting Finite State Machines. | Adnan Aziz, Serdar Tasiran, Robert K. Brayton |
| 1994 | ICALP | Equivalences for Fair Kripke Structures. | Adnan Aziz, Vigyan Singhal, Felice Balarin, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
| 1994 | ICCAD | Multi-level synthesis for safe replaceability. | Carl Pixley, Vigyan Singhal, Adnan Aziz, Robert K. Brayton |
| 1994 | ICCD | Minimizing Interacting Finite State Machines: A Compositional Approach to Language to Containment. | Adnan Aziz, Vigyan Singhal, Gitanjali Swamy, Robert K. Brayton |