Adnan Aziz

Web Applications

Here is a short note on practical aspects of designing modern websites, based on some of what I saw in my year off at Google. I've a few ideas on specific sites you could create that would make for a fun class project for a programming class at UT, or an MS project/thesis, please drop me a line if you find them interesting.

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 Fall 2009, Computer-aided IC design, Algorithms
Graduate: Advanced Programming Tools - potential Fall 2010 course, 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

Job postings

I maintain a list of job openings appropriate for UT ECE students here.

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

Berkeley course notes

I'm scanning my course notes from Berkeley, starting with my favorite classes.

Math 202a, Introduction to Topology, by William Bade, Spring 1992.

Useful tools

General coding tips, VIM reference, Code snippets, Pike on programming, C, gdb, emacs, LaTex, CVS, C++

Calendar

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