Biographical Data:
I was born in St. Petersburg, Russia (formerly, Leningrad, USSR), and came to the United
States in 1990. In 1991 I entered the University of Texas at Austin.
I majored in Computer Sciences and Mathematics.
In 1994 I started working at the San Diego Site of the Hewlett-Packard Company. I worked on
software and firmware in color printers and multi-function peripherals. In the Fall of 1997 I started
graduate studies in the Computer Science
department at the University of Wisconsin at
Madison. I spent the academic year of 2000-2001 at IBM T.J. Watson Research
Center in Hawthorne, NY. While at IBM, I worked on datarace detection for
multithreaded Java applications with Jong-Deok Choi and Vivek Sarkar in the
Jalapeno optimizing compiler research group.
You will find research papers, entertaining links, tasteful jokes and interesting opinions on the
homepages of my parents, Vladimir Lifschitz
and Elena Lifschitz.
They teach at the University of Texas at Austin.
My interests outside of school include ice hockey, French cinema and literature, photography
and Taekwon-do. (Although, currently, ice hockey and photography are the only activities from
this list, to which I regularly dedicate time.)
Here you will find
links related to my work and hobbies together with (hopefully) useful links of general interest.
List of Publications
Conference Publications
-
Jeannet, B., Loginov, A., Reps, T., and Sagiv, M.,
A relational approach to interprocedural shape analysis.
In Proc. 11th Int. Static Analysis Symp.,
Lecture Notes in Computer Science,
Springer-Verlag, New York, NY, 2004.
[abstract;
PostScript;
PDF;
(c) Springer-Verlag]
-
Reps, T., Sagiv, M., and Loginov, A.,
Finite differencing of logical formulas for static analysis.
In Proc. European Symp. on Programming,
Lecture Notes in Computer Science, Vol. 2618,
Springer-Verlag, New York, NY, 2003, pp. 380-398.
[abstract;
PostScript;
PDF;
(c) Springer-Verlag]
-
Reps, T., Loginov, A., and Sagiv, M.,
Semantic minimization of 3-valued propositional formulae.
In Proc. IEEE Symp. on Logic in Computer Science,
(Copenhagen, Denmark, July 22-25, 2002), pp. 40-54.
[abstract;
PostScript;
PDF]
-
Choi, J.-D., Lee, K., Loginov, A., O'Callahan, R., Sarkar, V., and Sridharan, M.,
Efficient and Precise Datarace Detection for Multithreaded Object-Oriented Programs.
In SIGPLAN 2002: Proc. of the ACM Conference on Programming Language Design and Implementation,
(Berlin, Germany, June 17-19, 2002), pp. 258-269.
[abstract;
PDF]
-
Loginov, A., Yong, S.H., Horwitz, S., and Reps, T.,
Debugging via run-time type checking.
In Proc. of FASE 2001: Fundamental Approaches to Softw. Eng.,
(Genoa, Italy, April 2-6, 2001).
[abstract;
PostScript;
PDF;
(c) Springer-Verlag]
Pending Submissions
Other Publications and Reports
-
Loginov, A., Reps, T, and Sagiv, M.,
Learning abstractions for verifying data-structure properties.
TR-1519, Computer Sciences Department, University of Wisconsin,
Madison, WI, Jan. 2005.
[abstract;
PostScript;
PDF]
-
Loginov, A., Reps, T, and Sagiv, M.,
Abstraction refinement for 3-valued-logic analysis.
TR-1504, Computer Sciences Department, University of Wisconsin,
Madison, WI, April 2004.
[abstract;
PostScript;
PDF]
-
Choi, J.-D., Loginov, A., Sarkar, V.,
Static Datarace Analysis for Multithreaded Object-Oriented Programs.
IBM Research Report 22146, 2001.
[abstract;
PDF]
Contact Information
| Office: CS&St; 6358 | Home |
|---|
| Department of Computer Sciences |
| University of Wisconsin-Madison |
| 1210 West Dayton Street | 208 Merrill Crest Drive |
| Madison, WI 53706 | Madison, WI 53705 |
| phone: (608) 265-9458 | phone: (608) 204-9936 |
You are visitor number 
since June 1, 1998.
Last modified: Wed Feb 23 18:51:11 CST 2005
alexey at cs dot wisc dot edu