Adnan Aziz

Algorithms For Interviews

Amit and I have completed our book! You can buy it at Amazon (it's eligible for free shipping and for Prime). The book website has more details.

"Algorithms For Interviews (AFI) aims to help engineers interviewing for software development positions as well as their interviewers. AFI consists of 174 solved algorithm design problems. It covers core material, such as searching and sorting; general design principles, such as graph modeling and dynamic programming; advanced topics, such as strings, parallelism and intractability. It also covers system design, problem solving, and interviewing techniques.

AFI's authors are practicing algorithmists, with extensive academic and industrial experience. They have collectively published over 100 articles on applied algorithms, applied their skills at Google, Microsoft, IBM, Qualcomm, and a number of smaller software startups, and conducted many job interviews for various computer science jobs."

All Things Google

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 (530) 723-6267 (Google voice - rings all my numbers at the same time. Memonic: 530-7ADNAN7), 1 (512) 475-9774 (work), 1 (512) 471-5532 (fax), 1 (512) 418-8380 (home), 1 (512) 657-3040 (cell), International travel: call 1-866-305-6462 toll-free, and enter 447924451798 at the prompt, or call 44-792-4451798 directly.
• 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: EE316 Logic Design, Computer-aided IC design, Algorithms
• Graduate: Advanced Programming Tools 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

Job postings

Representative research

My interests have moved from technology to applications. You can get an idea of what I am excited about these days from MS reports I recently supervised:

• PlaceMe: A Location-based App for Android, by Aman Singhal (Fall 2010),
• TSS: A Trading Strategy System, by Salim Amirdache (Spring 2010),
• EtherLux: A Low Power Wireless Display, by Andy Hocker (Fall 2009),
• Google AppEngine Case: A Microblogging Site, by Marcos Kajita (Fall 2009).

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.

Software

• TSS is a system for writing and evaluating trading strategies written in Java. Downloadable tarball (18 Mbytes, mostly because of the historical quote database included.)
• 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.

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

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: Effective Java, Second Edition. J. Bloch. Prentice Hall, 2008.
• Programming: Java Concurrency In Practice. B. Goetz. Addison Wesley Hall, 2006.

Berkeley course notes

• Math 202a, Introduction to Topology, by William Bade, Spring 1992.
• CS 170, Algorithms, by Raimund Seidel, Spring 1990. HW.
• CS 270, Combinatorial Algorithms, by Richard Karp, Fall 1990.
• EE 221, Linear Systems, by Felix Wu, Fall 1989.
• Math 125a, Introduction to Logic, by Robert Solovay, Fall 1991.
• Math 225b, Recursion Theory, by Robert Solovay, Spring 1992.

Useful tools

Calendar

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