Useful Links

• Academic Job Search
• USF Division of Sponsored Research
• NSF-CISE Home
• SRC Website
• History of Computing Power
• References in Formal Verification
• Resources for Critical Thinking
• Wiki
• www.answers.com
• Software Horror Stories

Conferences

• VMCAI 2009
• International Conference on Computer-Aided Verification (CAV)
• International Conference on Computer-Aided Design (ICCAD)
• International Conference on Computer Design (ICCD)
• International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC)
• International Conference on Formal Methods in CAD (FMCAD)
• Design Automation Conference (DAC)
• International Conference on TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS (TACAS)
• DATE

Journals

• IEEE Transactions on CAD (TCAD)
• IEEE Transaction on VLSI (TVLSI)
• IEEE Transaction on Computers
• ACM Transactions on Design Automation of Electronic Systems (TODAES)
• Formal Methods in System Design
• Formal Aspects of Computing
• Journal on Satisfiability, Boolean Modeling and Computation

Resources

• Parallel programming