Vassily Litvinov's Web

Recent site activity

Vassily Litvinov

Hello, and welcome to my little web corner!

Personal

Recently I moved (back) to Seattle, changed my life, my web page, and my phone number.  Now, when you want to call me, CALL ZEN !

In my spare time, I like playing with my computer (read: hacking perl scripts), biking around Seattle, and driving out to the mountains.

      Web bookmark: http://www.cs.washington.edu/homes/vass/

   

Work

I work at Reservoir Labs with a great bunch of compiler geeks. We offer a wide range of consulting services and have a wide range of hobbies. When you order from us, you get three for the price of one: (1) goat meat, (2) chicken eggs, and (3) an optimizing compiler. :)   (Well, not necessarily meat or eggs, but a compiler for sure.) (*)


(*) No animals get harmed in the production of Reservoir's optimizing compilers. The compilers do not undergo animal testing. (Our extensive testing practices are computer-based and human-controlled. No monkeying with optimizing compilers here!)

School

I graduated from Department of Computer Science (and Engineering) at the University of Washington. It is a great department.

I was a part of the Cecil project lead by Craig Chambers. Cecil is a nice OO language, very simple and powerful, and our Vortex compiler is written in Cecil. But... it's all in the past now. Our leader designed a new language, Diesel, featuring modules, static overloading, and (oops, I shouldn't reveal any secrets).

I did research on "Constraint-Bounded Polymorphism," an expressive and practical (and sometimes even decidable!) type system for object-oriented languages. My dissertation and an earlier paper are available.

Fun

Hang on guys, I will be putting some fun links up here.



  Esli ya cheshu v zatylke - ne be-da.
V golove moei opilki - da, da, da!
No hotya tam i opilki ...
last updated: 6/7/2009