Adnan Aziz

According to our database, Adnan Aziz authored at least 94 papers between 1994 and 2024.

Collaborative distances:

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

2024

CEDAR: Continuous Testing of Deep Learning Libraries.

Danning Xie, Jiannan Wang, Hung Viet Pham, Lin Tan, Yu Guo, Adnan Aziz, Erik Meijer

Proceedings of the IEEE International Conference on Software Analysis, 2024

2023

TorchBench: Benchmarking PyTorch with High API Surface Coverage.

Yueming Hao, Xu Zhao, Bin Bao, David Berard, Will Constable, Adnan Aziz, Xu Liu

CoRR, 2023

2022

Understanding Scaling Laws for Recommendation Models.

Newsha Ardalani, Carole-Jean Wu, Zeliang Chen, Bhargav Bhushanam, Adnan Aziz

CoRR, 2022

2021

Datacenter-Scale Analysis and Optimization of GPU Machine Learning Workloads.

Lukasz Wesolowski, Bilge Acun, Valentin Andrei, Adnan Aziz, Gisle Dankel, Christopher Gregg, Xiaoqiao Meng, Cyril Meurillon, Denis Sheahan, Lei Tian, Janet Yang, Peifeng Yu, Kim M. Hazelwood

IEEE Micro, 2021

2018

Application of Visual Analysis to Detect and Analyze Patterns in VoIP Attack Traffic.

Ekaterina Volodina, Adnan Aziz, Erwin P. Rathgeb, Tobias Hoßfeld

Proceedings of the 17th IEEE International Conference On Trust, 2018

Classification of SIP Attack Variants with a Hybrid Self-enforcing Network.

Waldemar Hartwig, Christina Klüver, Adnan Aziz, Dirk Hoffstadt

Proceedings of the Artificial Neural Networks and Machine Learning - ICANN 2018, 2018

2016

Symbolic Model Checking.

Adnan Aziz, Amit Prakash

Encyclopedia of Algorithms, 2016

Binary Decision Graph.

Adnan Aziz, Amit Prakash

Encyclopedia of Algorithms, 2016

2015

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

Proceedings of the 14th IFIP Networking Conference, 2015

2014

A distributed infrastructure to analyse SIP attacks in the Internet.

Adnan Aziz, Dirk Hoffstadt, Erwin P. Rathgeb, Thomas Dreibholz

Proceedings of the 2014 IFIP Networking Conference, Trondheim, 2014

2013

Development and Analysis of Generic VoIP Attack Sequences Based on Analysis of Real Attack Traffic.

Adnan Aziz, Dirk Hoffstadt, Sebastian Ganz, Erwin P. Rathgeb

Proceedings of the 12th IEEE International Conference on Trust, 2013

2009

TuneLogic: Post-silicon tuning of dual-Vdd designs.

Stephen Bijansky, Sae Kyu Lee, Adnan Aziz

Proceedings of the 10th International Symposium on Quality of Electronic Design (ISQED 2009), 2009

2008

Symbolic Model Checking.

Amit Prakash, Adnan Aziz

Proceedings of the Encyclopedia of Algorithms - 2008 Edition, 2008

Binary Decision Graph.

Amit Prakash, Adnan Aziz

Proceedings of the Encyclopedia of Algorithms - 2008 Edition, 2008

Adaptive SRAM memory for low power and high yield.

Baker Mohammad, Stephen Bijansky, Adnan Aziz, Jacob A. Abraham

Proceedings of the 26th International Conference on Computer Design, 2008

Optimal Constraint-Preserving Netlist Simplification.

Jason Baumgartner, Hari Mony, Adnan Aziz

Proceedings of the Formal Methods in Computer-Aided Design, 2008

TuneFPGA: post-silicon tuning of dual-Vdd FPGAs.

Stephen Bijansky, Adnan Aziz

Proceedings of the 45th Design Automation Conference, 2008

2007

Generation of Efficient Codes for Realizing Boolean Functions in Nanotechnologies

Ashish Kumar Singh, Adnan Aziz, Sriram Vishwanath, Michael Orshansky

CoRR, 2007

The Hazard-Free Superscalar Pipeline Fast Fourier Transform Architecture and Algorithm.

Bassam Jamil Mohd, Earl E. Swartzlander Jr., Adnan Aziz

Proceedings of the VLSI-SoC: Advanced Topics on Systems on a Chip, 2007

The hazard-free superscalar pipeline fast fourier transform algorithm and architecture.

Bassam Jamil Mohd, Adnan Aziz, Earl E. Swartzlander Jr.

Proceedings of the IFIP VLSI-SoC 2007, 2007

Implementing DSP Algorithms with On-Chip Networks.

Xiang Wu, Tamer Ragheb, Adnan Aziz, Yehia Massoud

Proceedings of the First International Symposium on Networks-on-Chips, 2007

A heterogeneous CMOS-CNT architecture utilizing novel coding of boolean functions.

Ashish Kumar Singh, Hady Ali Zeineddine, Adnan Aziz, Sriram Vishwanath, Michael Orshansky

Proceedings of the 2007 IEEE International Symposium on Nanoscale Architectures, 2007

Sequential circuits for program analysis.

Fadi A. Zaraket, Adnan Aziz, Sarfraz Khurshid

Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

Provisioning On-Chip Networks under Buffered RC Interconnect Delay Variations.

Mosin Mondal, Tamer Ragheb, Xiang Wu, Adnan Aziz, Yehia Massoud

Proceedings of the 8th International Symposium on Quality of Electronic Design (ISQED 2007), 2007

Sequential Circuits for Relational Analysis.

Fadi A. Zaraket, Adnan Aziz, Sarfraz Khurshid

Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

Contention-free switch-based implementation of 1024-point Radix-2 Fourier Transform Engine.

Hani H. Saleh, Bassam Jamil Mohd, Adnan Aziz, Earl E. Swartzlander Jr.

Proceedings of the 25th International Conference on Computer Design, 2007

Global Optimization of Compositional Systems.

Fadi A. Zaraket, John Pape, Adnan Aziz, Margarida F. Jacome, Sarfraz Khurshid

Proceedings of the Formal Methods in Computer-Aided Design, 7th International Conference, 2007

2006

Cache Organization for Embeded Processors: CAM-vs-SRAM.

Baker Mohammad, Paul Bassett, Jacob A. Abraham, Adnan Aziz

Proceedings of the 2006 IEEE International SOC Conference, Austin, Texas, USA, 2006

Reliability Analysis for On-chip Networks under RC Interconnect Delay Variation.

Mosin Mondal, Xiang Wu, Adnan Aziz, Yehia Massoud

Proceedings of the 1st International ICST Conference on Nano-Networks, 2006

Scheduling Traffic Matrices On General Switch Fabrics.

Xiang Wu, Amit Prakash, Marghoob Mohiyuddin, Adnan Aziz

Proceedings of the 14th IEEE Symposium on High-Performance Interconnects, 2006

Constraint-based verification.

Jun Yuan, Carl Pixley, Adnan Aziz

Springer, ISBN: 978-0-387-25947-5, 2006

2005

Scalable compositional minimization via static analysis.

Fadi A. Zaraket, Jason Baumgartner, Adnan Aziz

Proceedings of the 2005 International Conference on Computer-Aided Design, 2005

Exploiting Constraints in Transformation-Based Verification.

Hari Mony, Jason Baumgartner, Adnan Aziz

Proceedings of the Correct Hardware Design and Verification Methods, 2005

2004

Simplifying Boolean constraint solving for random simulation-vector generation.

Jun Yuan, Adnan Aziz, Carl Pixley, Ken Albin

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2004

Randomized Parallel Schedulers for Switch-Memory-Switch Routers: Analysis and Numerical Studies.

Amit Prakash, Adnan Aziz, Vijaya Ramachandran

Proceedings of the Proceedings IEEE INFOCOM 2004, 2004

Synthesizing interconnect-efficient low density parity check codes.

Marghoob Mohiyuddin, Amit Prakash, Adnan Aziz, Wayne H. Wolf

Proceedings of the 41th Design Automation Conference, 2004

2003

Sequential optimization in the absence of global reset.

Vigyan Singhal, Carl Pixley, Adnan Aziz, Shaz Qadeer, Robert K. Brayton

ACM Trans. Design Autom. Electr. Syst., 2003

A high-performance architecture and BDD-based synthesis methodology for packet classification.

Amit Prakash, Ramakrishna Kotla, Tanmoy Mandal, Adnan Aziz

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2003

BDD Based Procedures for a Theory of Equality with Uninterpreted Functions.

Anuj Goel, Khurram Sajid, Hai Zhou, Adnan Aziz, Vigyan Singhal

Formal Methods Syst. Des., 2003

An Abstraction Algorithm for the Verification of Level-Sensitive Latch-Based Netlists.

Jason Baumgartner, Tamir Heyman, Vigyan Singhal, Adnan Aziz

Formal Methods Syst. Des., 2003

A near optimal scheduler for switch-memory-switch routers.

Adnan Aziz, Amit Prakash, Vijaya Ramachandran

Proceedings of the SPAA 2003: Proceedings of the Fifteenth Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2003

A Framework for Constrained Functional Verification.

Jun Yuan, Carl Pixley, Adnan Aziz, Ken Albin

Proceedings of the 2003 International Conference on Computer-Aided Design, 2003

Constraint synthesis for environment modeling in functional verification.

Jun Yuan, Ken Albin, Adnan Aziz, Carl Pixley

Proceedings of the 40th Design Automation Conference, 2003

2002

Formula-Dependent Equivalence for Compositional CTL Model Checking.

Adnan Aziz, Thomas R. Shiple, Vigyan Singhal, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli

Formal Methods Syst. Des., 2002

Improved SAT-Based Bounded Reachability Analysis.

Malay K. Ganai, Adnan Aziz

Proceedings of the 7th Asia and South Pacific Design Automation Conference (ASP-DAC 2002), 2002

A Method for Synthesizing Boolean Constrains.

Jun Yuan, Kurt Shultz, John Havlicek, Ken Albin, Adnan Aziz

Proceedings of the 11th IEEE/ACM International Workshop on Logic & Synthesis, 2002

Simplifying Constraint Solving in Random Simulation Generation.

Jun Yuan, Ken Albin, Adnan Aziz, Carl Pixley

Proceedings of the 11th IEEE/ACM International Workshop on Logic & Synthesis, 2002

A Reconfigurable Architecture and Associated Synthesis Methodology for High Speed Packet Classification.

Amit Prakash, Ramakrishna Kotla, Tanmoy Mandal, Adnan Aziz

Proceedings of the 11th IEEE/ACM International Workshop on Logic & Synthesis, 2002

An O(log²<i>N</i>) parallel algorithm for output queuing.

Sadia Sharif, Adnan Aziz, Amit Prakash

Proceedings of the Proceedings IEEE INFOCOM 2002, 2002

A Middle Ground between CAMs and DAGs for High-Speed Packet Classification.

Amit Prakash, Adnan Aziz

Proceedings of the 10th Annual IEEE Symposium on High Performance Interconnects (HOTIC 2002), August 21, 2002

Multicast Scheduling for Switches with Multiple Input-Queues.

Shashank Gupta, Adnan Aziz

Proceedings of the 10th Annual IEEE Symposium on High Performance Interconnects (HOTIC 2002), August 21, 2002

2001

Optimizing designs containing black boxes.

Tai-Hung Liu, Adnan Aziz, Vigyan Singhal

ACM Trans. Design Autom. Electr. Syst., 2001

Buffer minimization in pass transistor logic.

Hai Zhou, Adnan Aziz

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2001

Theory of safe replacements for sequential circuits.

Vigyan Singhal, Carl Pixley, Adnan Aziz, Robert K. Brayton

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2001

Efficient control state-space search.

Adnan Aziz, James H. Kukula, Thomas R. Shiple, Jun Yuan

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2001

SIVA: A System for Coverage-Directed State Space Search.

Malay K. Ganai, Praveen Yalagandula, Adnan Aziz, Andreas Kuehlmann, Vigyan Singhal

J. Electron. Test., 2001

OC-3072 packet classification using BDDs and pipelined SRAMs.

Amit Prakash, Adnan Aziz

Proceedings of the Ninth Symposium on High Performance Interconnects, 2001

Rarity based guided state space search.

Malay K. Ganai, Adnan Aziz

Proceedings of the 11th ACM Great Lakes Symposium on VLSI 2001, 2001

Integrated power supply planning and floorplanning.

I-Min Liu, Hung-Ming Chen, Tan-Li Chou, Adnan Aziz, D. F. Wong

Proceedings of ASP-DAC 2001, 2001

2000

Model-checking continous-time Markov chains.

Adnan Aziz, Kumud Sanwal, Vigyan Singhal, Robert K. Brayton

ACM Trans. Comput. Log., 2000

Simultaneous routing and buffer insertion with restrictions onbuffer locations.

Hai Zhou, Martin D. F. Wong, I-Min Liu, Adnan Aziz

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2000

Sequential synthesis using S1S.

Adnan Aziz, Felice Balarin, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2000

Automatic Vector Generation Using Constraints and Biasing.

Jun Yuan, Kurt Shultz, Carl Pixley, Hillel Miller, Adnan Aziz

J. Electron. Test., 2000

Zero-skew clock tree construction by simultaneous routing, wire sizing and buffer insertion.

I-Min Liu, Tan-Li Chou, Adnan Aziz, D. F. Wong

Proceedings of the 2000 International Symposium on Physical Design, 2000

Delay Constrained Optimization by Simultaneous Fanout Tree Construction, Buffer Insertion/Sizing and Gate Sizing.

I-Min Liu, Adnan Aziz

Proceedings of the IEEE International Conference On Computer Design: VLSI In Computers & Processors, 2000

Automatic Lighthouse Generation for Directed State Space Search.

Praveen Yalagandula, Adnan Aziz, Vigyan Singhal

Proceedings of the 2000 Design, 2000

Meeting Delay Constraints in DSM by Minimal Repeater Insertion.

I-Min Liu, Adnan Aziz, D. F. Wong

Proceedings of the 2000 Design, 2000

An Abstraction Algorithm for the Verification of Generalized C-Slow Designs.

Jason Baumgartner, Anson Tripp, Adnan Aziz, Vigyan Singhal, Flemming Andersen

Proceedings of the Computer Aided Verification, 12th International Conference, 2000

1999

Equivalences for Fair Kripke Structures.

Adnan Aziz, Felice Balarin, Vigyan Singhal, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli

Chic. J. Theor. Comput. Sci., 1999

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

Proceedings of the 12th International Conference on VLSI Design (VLSI Design 1999), 1999

Performance Driven Synthesis for Pass-Transistor Logic.

Tai-Hung Liu, Malay K. Ganai, Adnan Aziz, Jeffrey L. Burns

Proceedings of the 12th International Conference on VLSI Design (VLSI Design 1999), 1999

An Efficient Buffer Insertion Algorithm for Large Networks Based on Lagrangian Relaxation.

I-Min Liu, Adnan Aziz, D. F. Wong, Hai Zhou

Proceedings of the IEEE International Conference On Computer Design, 1999

Modeling design constraints and biasing in simulation using BDDs.

Jun Yuan, Kurt Shultz, Carl Pixley, Hillel Miller, Adnan Aziz

Proceedings of the 1999 IEEE/ACM International Conference on Computer-Aided Design, 1999

Simultaneous Routing and Buffer Insertion with Restrictions on Buffer Locations.

Hai Zhou, D. F. Wong, I-Min Liu, Adnan Aziz

Proceedings of the 36th Conference on Design Automation, 1999

Enhancing Simulation with BDDs and ATPG.

Malay K. Ganai, Adnan Aziz, Andreas Kuehlmann

Proceedings of the 36th Conference on Design Automation, 1999

Model Checking the IBM Gigahertz Processor: An Abstraction Algorithm for High-Performance Netlists.

Jason Baumgartner, Tamir Heyman, Vigyan Singhal, Adnan Aziz

Proceedings of the Computer Aided Verification, 11th International Conference, 1999

1998

Area-oriented synthesis for pass-transistor logic.

Rajat Chaudhry, Tai-Hung Liu, Adnan Aziz, Jeffrey L. Burns

Proceedings of the International Conference on Computer Design: VLSI in Computers and Processors, 1998

Techniques for Implicit State Enumeration of EFSMs.

James H. Kukula, Thomas R. Shiple, Adnan Aziz

Proceedings of the Formal Methods in Computer-Aided Design, 1998

Hybrid Techniques for Fast Functional Simulation.

Yufeng Luo, Tjahjadi Wongsonegoro, Adnan Aziz

Proceedings of the 35th Conference on Design Automation, 1998

Hybrid Verification Using Saturated Simulation.

Adnan Aziz, James H. Kukula, Thomas R. Shiple

Proceedings of the 35th Conference on Design Automation, 1998

1997

Sequential optimisation without state space exploration.

Amit Mehrotra, Shaz Qadeer, Vigyan Singhal, Robert K. Brayton, Adnan Aziz, Alberto L. Sangiovanni-Vincentelli

Proceedings of the 1997 IEEE/ACM International Conference on Computer-Aided Design, 1997

Optimizing Designs Containing Black Boxes.

Tai-Hung Liu, Khurram Sajid, Adnan Aziz, Vigyan Singhal

Proceedings of the 34st Conference on Design Automation, 1997

On Combining Formal and Informal Verification.

Jun Yuan, Jian Shen, Jacob A. Abraham, Adnan Aziz

Proceedings of the Computer Aided Verification, 9th International Conference, 1997

1996

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

Proceedings of the Formal Methods in Computer-Aided Design, First International Conference, 1996

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

Proceedings of the Computer Aided Verification, 8th International Conference, 1996

Verifying Continuous Time Markov Chains.

Adnan Aziz, Kumud Sanwal, Vigyan Singhal, Robert K. Brayton

Proceedings of the Computer Aided Verification, 8th International Conference, 1996

1995

Exploiting power-up delay for sequential optimization.

Vigyan Singhal, Carl Pixley, Adnan Aziz, Robert K. Brayton

Proceedings of the Proceedings EURO-DAC'95, 1995

It Usually Works: The Temporal Logic of Stochastic Systems.

Adnan Aziz, Vigyan Singhal, Felice Balarin

Proceedings of the Computer Aided Verification, 1995

Supervisory Control of Finite State Machines.

Adnan Aziz, Felice Balarin, Robert K. Brayton, Marika Domenica Di Benedetto, Alexander Saldanha

Proceedings of the Computer Aided Verification, 1995

1994

Minimizing Interacting Finite State Machines: A Compositional Approach to Language to Containment.

Adnan Aziz, Vigyan Singhal, Gitanjali Swamy, Robert K. Brayton

Proceedings of the Proceedings 1994 IEEE International Conference on Computer Design: VLSI in Computer & Processors, 1994

Multi-level synthesis for safe replaceability.

Carl Pixley, Vigyan Singhal, Adnan Aziz, Robert K. Brayton

Proceedings of the 1994 IEEE/ACM International Conference on Computer-Aided Design, 1994

BDD Variable Ordering for Interacting Finite State Machines.

Adnan Aziz, Serdar Tasiran, Robert K. Brayton

Proceedings of the 31st Conference on Design Automation, 1994

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

Proceedings of the 31st Conference on Design Automation, 1994

Formula-Dependent Equivalence for Compositional CTL Model Checking.

Adnan Aziz, Thomas R. Shiple, Vigyan Singhal

Proceedings of the Computer Aided Verification, 6th International Conference, 1994