Adnan Aziz - RankMe

106 papers A* 26A 10B 7C 7Misc 2Journal 23Unranked 25

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	AutoOverlap: Enabling Fine-Grained Overlap of Computation and Communication with Chunk-Based Scheduling. CoRR Xinwei Qiang, Yue Guan, Zhengding Hu, Yufei Ding, Adnan Aziz
2026	—	`conf`	Triton-Sanitizer: A Fast and Device-Agnostic Memory Sanitizer for Triton with Rich Diagnostic Context. ASPLOS (2) Hao Wu, Qidong Zhao, Songqing Chen, Yang Chen, Yueming Hao, Tony C. W. Liu, Sijia Chen, Adnan Aziz, Keren Zhou
2025	J	`jnl`	D IEEE Trans. Software Eng. Jiannan Wang, Hung Viet Pham, Qi Li, Lin Tan, Yu Guo, Adnan Aziz, Erik Meijer
2025	A*	`conf`	KPerfIR: Towards a Open and Compiler-centric Ecosystem for GPU Kernel Performance Tooling on Modern AI Workloads. OSDI Yue Guan, Yuanwei Fang, Keren Zhou, Corbin Robeck, Manman Ren, Zhongkai Yu, Yufei Ding, Adnan Aziz
2025	J	`jnl`	KPerfIR: Towards an Open and Compiler-centric Ecosystem for GPU Kernel Performance Tooling on Modern AI Workloads. CoRR Yue Guan, Yuanwei Fang, Keren Zhou, Corbin Robeck, Manman Ren, Zhongkai Yu, Yufei Ding, Adnan Aziz
2025	A*	`conf`	Mercury: Unlocking Multi-GPU Operator Optimization for LLMs via Remote Memory Scheduling. SOSP Yue Guan, Xinwei Qiang, Zaifeng Pan, Daniels Johnson, Yuanwei Fang, Keren Zhou, Yuke Wang, Wanlu Li, Yufei Ding, Adnan Aziz
2025	—	`—`	Real-time Detection & Mitigation of SIP-based VoIP Toll Fraud Attacks. Adnan Aziz
2024	A	`conf`	CEDAR: Continuous Testing of Deep Learning Libraries. SANER Danning Xie, Jiannan Wang, Hung Viet Pham, Lin Tan, Yu Guo, Adnan Aziz, Erik Meijer
2023	J	`jnl`	TorchBench: Benchmarking PyTorch with High API Surface Coverage. CoRR Yueming Hao, Xu Zhao, Bin Bao, David Berard, Will Constable, Adnan Aziz, Xu Liu
2022	J	`jnl`	Understanding Scaling Laws for Recommendation Models. CoRR Newsha Ardalani, Carole-Jean Wu, ZeLiang Chen, Bhargav Bhushanam, Adnan Aziz
2021	J	`jnl`	Datacenter-Scale Analysis and Optimization of GPU Machine Learning Workloads. IEEE Micro 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
2018	—	`conf`	Application of Visual Analysis to Detect and Analyze Patterns in VoIP Attack Traffic. TrustCom/BigDataSE Ekaterina Volodina, Adnan Aziz, Erwin P. Rathgeb, Tobias Hoßfeld
2018	—	`conf`	Classification of SIP Attack Variants with a Hybrid Self-enforcing Network. ICANN (2) Waldemar Hartwig, Christina Klüver, Adnan Aziz, Dirk Hoffstadt
2016	—	`ch.`	Binary Decision Graph. Encyclopedia of Algorithms Adnan Aziz, Amit Prakash
2016	—	`ch.`	Symbolic Model Checking. Encyclopedia of Algorithms Adnan Aziz, Amit Prakash
2015	B	`conf`	Global VoIP security threats - large scale validation based on independent honeynets. Networking Markus Gruber, Dirk Hoffstadt, Adnan Aziz, Florian Fankhauser, Christian Schanes, Erwin P. Rathgeb, Thomas Grechenig
2014	B	`conf`	A distributed infrastructure to analyse SIP attacks in the Internet. Networking Adnan Aziz, Dirk Hoffstadt, Erwin P. Rathgeb, Thomas Dreibholz
2013	—	`conf`	Development and Analysis of Generic VoIP Attack Sequences Based on Analysis of Real Attack Traffic. TrustCom/ISPA/IUCC Adnan Aziz, Dirk Hoffstadt, Sebastian Ganz, Erwin P. Rathgeb
2009	—	`conf`	TuneLogic: Post-silicon tuning of dual-Vdd designs. ISQED Stephen Bijansky, Sae Kyu Lee, Adnan Aziz
2008	C	`conf`	Adaptive SRAM memory for low power and high yield. ICCD Baker Mohammad, Stephen Bijansky, Adnan Aziz, Jacob A. Abraham
2008	—	`ch.`	Binary Decision Graph. Encyclopedia of Algorithms Amit Prakash, Adnan Aziz
2008	B	`conf`	Optimal Constraint-Preserving Netlist Simplification. FMCAD Jason Baumgartner, Hari Mony, Adnan Aziz
2008	—	`ch.`	Symbolic Model Checking. Encyclopedia of Algorithms Amit Prakash, Adnan Aziz
2008	A*	`conf`	TuneFPGA: post-silicon tuning of dual-Vdd FPGAs. DAC Stephen Bijansky, Adnan Aziz
2007	—	`conf`	A heterogeneous CMOS-CNT architecture utilizing novel coding of boolean functions. NANOARCH Ashish Kumar Singh, Hady Ali Zeineddine, Adnan Aziz, Sriram Vishwanath, Michael Orshansky
2007	C	`conf`	Contention-free switch-based implementation of 1024-point Radix-2 Fourier Transform Engine. ICCD Hani Saleh, Bassam Jamil Mohd, Adnan Aziz, Earl E. Swartzlander Jr.
2007	J	`jnl`	Generation of Efficient Codes for Realizing Boolean Functions in Nanotechnologies CoRR Ashish Kumar Singh, Adnan Aziz, Sriram Vishwanath, Michael Orshansky
2007	B	`conf`	Global Optimization of Compositional Systems. FMCAD Fadi A. Zaraket, John Pape, Adnan Aziz, Margarida F. Jacome, Sarfraz Khurshid
2007	—	`conf`	Implementing DSP Algorithms with On-Chip Networks. NOCS Xiang Wu, Tamer Ragheb, Adnan Aziz, Yehia Massoud
2007	—	`conf`	Provisioning On-Chip Networks under Buffered RC Interconnect Delay Variations. ISQED Mosin Mondal, Tamer Ragheb, Xiang Wu, Adnan Aziz, Yehia Massoud
2007	A*	`conf`	Sequential Circuits for Relational Analysis. ICSE Fadi A. Zaraket, Adnan Aziz, Sarfraz Khurshid
2007	A*	`conf`	Sequential circuits for program analysis. ASE Fadi A. Zaraket, Adnan Aziz, Sarfraz Khurshid
2007	—	`conf`	The Hazard-Free Superscalar Pipeline Fast Fourier Transform Architecture and Algorithm. VLSI-SoC (Selected Papers) Bassam Jamil Mohd, Earl E. Swartzlander Jr., Adnan Aziz
2007	C	`conf`	The hazard-free superscalar pipeline fast fourier transform algorithm and architecture. VLSI-SoC Bassam Jamil Mohd, Adnan Aziz, Earl E. Swartzlander Jr.
2006	—	`conf`	Cache Organization for Embeded Processors: CAM-vs-SRAM. SoCC Baker Mohammad, Paul Bassett, Jacob A. Abraham, Adnan Aziz
2006	—	`book`	Constraint-based verification. Jun Yuan, Carl Pixley, Adnan Aziz
2006	—	`conf`	Reliability Analysis for On-chip Networks under RC Interconnect Delay Variation. Nano-Net Mosin Mondal, Xiang Wu, Adnan Aziz, Yehia Massoud
2006	—	`conf`	Scheduling Traffic Matrices On General Switch Fabrics. Hot Interconnects Xiang Wu, Amit Prakash, Marghoob Mohiyuddin, Adnan Aziz
2005	—	`conf`	Exploiting Constraints in Transformation-Based Verification. CHARME Hari Mony, Jason Baumgartner, Adnan Aziz
2005	A	`conf`	Scalable compositional minimization via static analysis. ICCAD Fadi A. Zaraket, Jason Baumgartner, Adnan Aziz
2004	A*	`conf`	Randomized Parallel Schedulers for Switch-Memory-Switch Routers: Analysis and Numerical Studies. INFOCOM Amit Prakash, Adnan Aziz, Vijaya Ramachandran
2004	J	`jnl`	Simplifying Boolean constraint solving for random simulation-vector generation. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Jun Yuan, Adnan Aziz, Carl Pixley, Ken Albin
2004	A*	`conf`	Synthesizing interconnect-efficient low density parity check codes. DAC Marghoob Mohiyuddin, Amit Prakash, Adnan Aziz, Wayne H. Wolf
2003	A	`conf`	A Framework for Constrained Functional Verification. ICCAD Jun Yuan, Carl Pixley, Adnan Aziz, Ken Albin
2003	J	`jnl`	A high-performance architecture and BDD-based synthesis methodology for packet classification. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Amit Prakash, Ramakrishna Kotla, Tanmoy Mandal, Adnan Aziz
2003	B	`conf`	A near optimal scheduler for switch-memory-switch routers. SPAA Adnan Aziz, Amit Prakash, Vijaya Ramachandran
2003	J	`jnl`	An Abstraction Algorithm for the Verification of Level-Sensitive Latch-Based Netlists. Formal Methods Syst. Des. Jason Baumgartner, Tamir Heyman, Vigyan Singhal, Adnan Aziz
2003	J	`jnl`	BDD Based Procedures for a Theory of Equality with Uninterpreted Functions. Formal Methods Syst. Des. Anuj Goel, Khurram Sajid, Hai Zhou, Adnan Aziz, Vigyan Singhal
2003	A*	`conf`	Constraint synthesis for environment modeling in functional verification. DAC Jun Yuan, Ken Albin, Adnan Aziz, Carl Pixley
2003	J	`jnl`	Sequential optimization in the absence of global reset. ACM Trans. Design Autom. Electr. Syst. Vigyan Singhal, Carl Pixley, Adnan Aziz, Shaz Qadeer, Robert K. Brayton
2002	—	`conf`	A Method for Synthesizing Boolean Constrains. IWLS Jun Yuan, Kurt Shultz, John Havlicek, Ken Albin, Adnan Aziz
2002	—	`conf`	A Middle Ground between CAMs and DAGs for High-Speed Packet Classification. Hot Interconnects Amit Prakash, Adnan Aziz
2002	—	`conf`	A Reconfigurable Architecture and Associated Synthesis Methodology for High Speed Packet Classification. IWLS Amit Prakash, Ramakrishna Kotla, Tanmoy Mandal, Adnan Aziz
2002	A*	`conf`	An O(log INFOCOM Sadia Sharif, Adnan Aziz, Amit Prakash
2002	J	`jnl`	Formula-Dependent Equivalence for Compositional CTL Model Checking. Formal Methods Syst. Des. Adnan Aziz, Thomas R. Shiple, Vigyan Singhal, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
2002	—	`conf`	Improved SAT-Based Bounded Reachability Analysis. ASP-DAC/VLSI Design Malay K. Ganai, Adnan Aziz
2002	—	`conf`	Multicast Scheduling for Switches with Multiple Input-Queues. Hot Interconnects Shashank Gupta, Adnan Aziz
2002	A	`conf`	Simplifying Boolean constraint solving for random simulation-vector generation. ICCAD Jun Yuan, Ken Albin, Adnan Aziz, Carl Pixley
2002	—	`conf`	Simplifying Constraint Solving in Random Simulation Generation. IWLS Jun Yuan, Ken Albin, Adnan Aziz, Carl Pixley
2001	J	`jnl`	Buffer minimization in pass transistor logic. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Hai Zhou, Adnan Aziz
2001	J	`jnl`	Efficient control state-space search. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Adnan Aziz, James H. Kukula, Thomas R. Shiple, Jun Yuan
2001	—	`conf`	Integrated power supply planning and floorplanning. ASP-DAC I-Min Liu, Hung-Ming Chen, Tan-Li Chou, Adnan Aziz, D. F. Wong
2001	—	`conf`	OC-3072 packet classification using BDDs and pipelined SRAMs. Hot Interconnects Amit Prakash, Adnan Aziz
2001	J	`jnl`	Optimizing designs containing black boxes. ACM Trans. Design Autom. Electr. Syst. Tai-Hung Liu, Adnan Aziz, Vigyan Singhal
2001	—	`conf`	Rarity based guided state space search. ACM Great Lakes Symposium on VLSI Malay K. Ganai, Adnan Aziz
2001	J	`jnl`	SIVA: A System for Coverage-Directed State Space Search. J. Electron. Test. Malay K. Ganai, Praveen Yalagandula, Adnan Aziz, Andreas Kuehlmann, Vigyan Singhal
2001	J	`jnl`	Theory of safe replacements for sequential circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Vigyan Singhal, Carl Pixley, Adnan Aziz, Robert K. Brayton
2000	A*	`conf`	An Abstraction Algorithm for the Verification of Generalized C-Slow Designs. CAV Jason Baumgartner, Anson Tripp, Adnan Aziz, Vigyan Singhal, Flemming Andersen
2000	A	`conf`	Automatic Lighthouse Generation for Directed State Space Search. DATE Praveen Yalagandula, Adnan Aziz, Vigyan Singhal
2000	J	`jnl`	Automatic Vector Generation Using Constraints and Biasing. J. Electron. Test. Jun Yuan, Kurt Shultz, Carl Pixley, Hillel Miller, Adnan Aziz
2000	—	`conf`	Buffer minimization in pass transistor logic. ISPD Hai Zhou, Adnan Aziz
2000	C	`conf`	Delay Constrained Optimization by Simultaneous Fanout Tree Construction, Buffer Insertion/Sizing and Gate Sizing. ICCD I-Min Liu, Adnan Aziz
2000	A	`conf`	Meeting Delay Constraints in DSM by Minimal Repeater Insertion. DATE I-Min Liu, Adnan Aziz, D. F. Wong
2000	J	`jnl`	Model-checking continous-time Markov chains. ACM Trans. Comput. Log. Adnan Aziz, Kumud Sanwal, Vigyan Singhal, Robert K. Brayton
2000	J	`jnl`	Sequential synthesis using S1S. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Adnan Aziz, Felice Balarin, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
2000	J	`jnl`	Simultaneous routing and buffer insertion with restrictions onbuffer locations. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Hai Zhou, Martin D. F. Wong, I-Min Liu, Adnan Aziz
2000	—	`conf`	Zero-skew clock tree construction by simultaneous routing, wire sizing and buffer insertion. ISPD I-Min Liu, Tan-Li Chou, Adnan Aziz, D. F. Wong
1999	C	`conf`	An Efficient Buffer Insertion Algorithm for Large Networks Based on Lagrangian Relaxation. ICCD I-Min Liu, Adnan Aziz, D. F. Wong, Hai Zhou
1999	A*	`conf`	Enhancing Simulation with BDDs and ATPG. DAC Malay K. Ganai, Adnan Aziz, Andreas Kuehlmann
1999	J	`jnl`	Equivalences for Fair Kripke Structures. Chic. J. Theor. Comput. Sci. Adnan Aziz, Felice Balarin, Vigyan Singhal, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1999	Misc	`conf`	Formal Verification of a Snoop-Based Cache Coherence Protocol Using Symbolic Model Checking. VLSI Design Srivatsan Srinivasan, Parminder Singh Chhabra, Praveen Kumar Jaini, Adnan Aziz, Lizy Kurian John
1999	A*	`conf`	Model Checking the IBM Gigahertz Processor: An Abstraction Algorithm for High-Performance Netlists. CAV Jason Baumgartner, Tamir Heyman, Vigyan Singhal, Adnan Aziz
1999	A	`conf`	Modeling design constraints and biasing in simulation using BDDs. ICCAD Jun Yuan, Kurt Shultz, Carl Pixley, Hillel Miller, Adnan Aziz
1999	Misc	`conf`	Performance Driven Synthesis for Pass-Transistor Logic. VLSI Design Tai-Hung Liu, Malay K. Ganai, Adnan Aziz, Jeffrey L. Burns
1999	A*	`conf`	Simultaneous Routing and Buffer Insertion with Restrictions on Buffer Locations. DAC Hai Zhou, D. F. Wong, I-Min Liu, Adnan Aziz
1998	C	`conf`	Area-oriented synthesis for pass-transistor logic. ICCD Rajat Chaudhry, Tai-Hung Liu, Adnan Aziz, Jeffrey L. Burns
1998	A*	`conf`	BDD Based Procedures for a Theory of Equality with Uninterpreted Functions. CAV Anuj Goel, Khurram Sajid, Hai Zhou, Adnan Aziz, Vigyan Singhal
1998	A*	`conf`	Hybrid Techniques for Fast Functional Simulation. DAC Yufeng Luo, Tjahjadi Wongsonegoro, Adnan Aziz
1998	A*	`conf`	Hybrid Verification Using Saturated Simulation. DAC Adnan Aziz, James H. Kukula, Thomas R. Shiple
1998	B	`conf`	Techniques for Implicit State Enumeration of EFSMs. FMCAD James H. Kukula, Thomas R. Shiple, Adnan Aziz
1997	A*	`conf`	On Combining Formal and Informal Verification. CAV Jun Yuan, Jian Shen, Jacob A. Abraham, Adnan Aziz
1997	A*	`conf`	Optimizing Designs Containing Black Boxes. DAC Tai-Hung Liu, Khurram Sajid, Adnan Aziz, Vigyan Singhal
1997	A	`conf`	Sequential optimisation without state space exploration. ICCAD Amit Mehrotra, Shaz Qadeer, Vigyan Singhal, Robert K. Brayton, Adnan Aziz, Alberto L. Sangiovanni-Vincentelli
1996	B	`conf`	VIS. FMCAD 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	A*	`conf`	VIS: A System for Verification and Synthesis. CAV 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	A*	`conf`	Verifying Continuous Time Markov Chains. CAV Adnan Aziz, Kumud Sanwal, Vigyan Singhal, Robert K. Brayton
1995	—	`conf`	Exploiting power-up delay for sequential optimization. EURO-DAC Vigyan Singhal, Carl Pixley, Adnan Aziz, Robert K. Brayton
1995	A*	`conf`	It Usually Works: The Temporal Logic of Stochastic Systems. CAV Adnan Aziz, Vigyan Singhal, Felice Balarin
1995	A	`conf`	Sequential synthesis using S1S. ICCAD Adnan Aziz, Felice Balarin, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1995	A*	`conf`	Supervisory Control of Finite State Machines. CAV Adnan Aziz, Felice Balarin, Robert K. Brayton, Marika Domenica Di Benedetto, Alexander Saldanha
1994	A*	`conf`	BDD Variable Ordering for Interacting Finite State Machines. DAC Adnan Aziz, Serdar Tasiran, Robert K. Brayton
1994	A*	`conf`	Equivalences for Fair Kripke Structures. ICALP Adnan Aziz, Vigyan Singhal, Felice Balarin, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1994	A*	`conf`	Formula-Dependent Equivalence for Compositional CTL Model Checking. CAV Adnan Aziz, Thomas R. Shiple, Vigyan Singhal
1994	A*	`conf`	HSIS: A BDD-Based Environment for Formal Verification. DAC 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	C	`conf`	Minimizing Interacting Finite State Machines: A Compositional Approach to Language to Containment. ICCD Adnan Aziz, Vigyan Singhal, Gitanjali Swamy, Robert K. Brayton
1994	A	`conf`	Multi-level synthesis for safe replaceability. ICCAD Carl Pixley, Vigyan Singhal, Adnan Aziz, Robert K. Brayton