Adnan Aziz

I will be taking leave of absence starting Fall 2008 to work at the new Google Austin site. Here are directions to my new office.

• I will check email sporadically; my mobile phone is the best way to reach me.

Biography

I received my PhD in EECS from UC Berkeley; my undergraduate degree is from IIT Kanpur. I joined The University of Texas in Spring 1996. Click here for my CV, and here for a list of co-authors.

Contact information

• Phone: 1 (512) 475-9774 (work), 1 (512) 471-5532 (fax), 1 (512) 418-8380 (home), 1 (512) 657-3040 (cell)
• Email:
• Work: ACE 6.120, The University of Texas, Austin TX, 78712 (Click here for directions)
• Home: 8701 Bluegrass Drive, Austin, TX, 78759 (Click here for directions)

Classes

• Undergraduate: Computer-aided IC design, Algorithms
• Graduate: VLSI-1, VLSI Communication Systems, The Practice of Programming, The Tools of Programming, Synthesis of Digital Systems, Interconnection Networks, Verification of Digital Systems, Case Studies in CMOS Design, High Performance Processor Design

Advice on research and teaching

• 10 commandments of teaching, Yale Patt
• Thoughts on teaching, Richard Karp
• Notes on teaching, John Ousterhout
• How to have a bad career in research/academia, Dave Patterson
  • Commentary, Mark Hill
• Exam taking tips, Adnan Aziz

Representative software

• Azinix is a system for monitoring and controlling IP networks - any feedback would be greatly appreciated.
• VIS is a system for analyzing the temporal behaviour of systems of interacting finite state machines.
• wikisearch is some code I put together for analysing the page structure of Wikipedia.

Representative articles

• Software verification: Sequential circuits for relational analysis. F. Zaraket, A. Aziz, and S. Khurshid. International Conference on Software Engineering, Minneapolis MN, 2007.
• On-chip networks: Scheduling traffic matrices on general switch fabrics. X. Wu, A. Prakash, M. Mohiyuddin, and A. Aziz. IEEE Hot Interconnects, Stanford, CA, August 2006.
• Verification practise: Constraint-based verification. J. Yuan, C. Pixley, A. Aziz. Springer 2006.
• VLSI communication systems: Synthesizing Interconnect-Efficient Low Density Parity Check Codes. M. Mohiyuddin, A. Prakash, A. Aziz and W. Wolf. ACM Design Automation Conference, San Diego, CA. June 2004.
• Switch scheduling: A near optimal scheduler for switch-memory-switch routers. A. Aziz, A. Prakash, and V. Ramachandran. ACM Symposium on Parallelism in Algorithms and Architectures, San Diego, CA. June 2003.
• Packet classification: A high-performance architecture and BDD-based synthesis methodology for packet classification. A. Prakash, R. Kotla, T. Mandal, and A. Aziz. IEEE Transactions on Computer-Aided Design, 22(6), 2003.
• Verification theory: Model-checking continuous time Markov chains. A. Aziz, K. Sanwal, V. Singhal, and R. Brayton. ACM Transactions on Computational Logic, 1(1), 2000.
• Physical design: Simultaneous routing and buffer insertion with restrictions on buffer locations. H. Zhou, D. F. Wong, I. Liu, and A. Aziz. IEEE Transactions on Computer-Aided Design, 19(10), 2000.
• Combinational logic synthesis: Optimising designs containing black boxes. T. Liu, A. Aziz, and V. Singhal. ACM Transactions on Design Automation of Electronic Systems, 6(4), 2001.
• Sequential synthesis: Sequential synthesis using S1S. A. Aziz, F. Balarin, R. Brayton, and A. Sangiovanni-Vincentelli. IEEE Transactions on Computer-Aided Design, 19(10), 2000.

Good books I'm reading these days

• Mathematics: Problems and Theorems in Classical Set Theory. P. Komjath and V. Totik. Springer, 2007.
• Natural History: The Ancestor's Tale. R. Dawkins. Phoenix, 2005.
• Programming: Essential Open Source Toolset. A. Zeller and J. Krinke. John Wiley, 2005.

Useful tools

hits since October 1, 2001 (as counted by www.digits.com).