My UW | UW Search
Computer Science Home Page > ~alexey/alexey.links.html
Home Page/ Contact Info
Biography
Publications · Dissertation · Conference Publications · Other Pubs. and Reports
C.S. Dept. Home Page
Research Interests:
Program analysis and verification. In particular, analysis of infinite-state systems, shape analysis, and the use of machine learning in program analysis.
Favorite Links Academics & UW Madison: Programming Languages and Compilers group Programming Languages Seminar Programming Languages Reading Group SACM Office of the Registrar UW Madison Libraries and MadCat Wisconsin Union Division of Recreational Sports Pictures of the UW Madison campus Programming Languages and Tools Standard ML of New Jersey Stroustrup: C++ Standard Template Library PVM: Parallel Virtual Machine Catalog of Free Compilers and Interpreters The Stanford SUIF Compiler Group The Standard Performance Evaluation Corporation gnuplot FAQ Reference Britannica Online WWWebster Dictionary Hypertext Webster Interface News The Onion - America's Finest News Source New York Times CNN St. Petersburg Times The Weather Channel Investment Morningstar Vanguard Madison Isthmus: The Daily Page Wisconsin Union Weather Underground - Madison, WI The Weather Channel - Madison, WI National Weather Service - Madison, WI Travel MapQuest Travelocity Internet Travel Network American Airlines Delta Airlines Southwest Airlines Chicago Airport System The Weather Channel Francophone Sites: French newspapers, dictionaries, song lyrics, cinema, etc. HAPAX: French Resources on the Web Maison Française, Madison WI La Cité des Livres UVa's Online French Texts Chansons Françaises et Francophones Cuisine Française Dictionnaires Dictionnaire Universel Francophone En Ligne Orthonet Dictionnaire de l'Académie Française La presse francophone en ligne HAPAX: News AFP Libération Le Monde Radio France Radio France Internationale Multi-cultural Sites International Channel International Radio Stations The Human-Languages Page Photography Educational sites Philip Greenspun's photo.net New York Institute of Photography Le Site Espace Photo Reputable online retailers B&H Photo Adorama Camera World of Oregon Selected galleries Michel Roggo's Wildlife Photography Patrick Cone's Photography Jan Faul's Photo Gallery UW Madison Photo Library Ice Hockey National Hockey League ESPN SportsZone: NHL Badger Men's Ice Hockey Badger Women's Ice Hockey Shell Schedule The Great Skate Hockey Equipment Cyclone Taylor Sports Hockey Equipment Books and Booksellers UW Madison Libraries and MadCat Madison Public Library Barnes and Noble Online Amazon Electric Library Movies SACM @ The Movies The Internet Movie Database MOVIES.COM Music Tower Records Classical Net - Classical Music Pollstar - The Concert Hotwire Family Elena Lifschitz Vladimir Lifschitz
Last modified: Tue Nov 22 15:51:11 EST 2006 Feedback or content questions: alexey at cs dot wisc dot edu Technical or accessibility issues: lab@cs.wisc.edu Copyright © 2002, 2003 The Board of Regents of the University of Wisconsin System.
