[boring headshot, in profile]

Keunwoo Lee

klee (at) cs (dot) washington (dot) edu
Office: Allen Center 424
Further Contact Info...

work

I plan to graduate in summer 2006, pending completion of my thesis research on F(EML) (see below). I recently accepted a job offer in industry; I am planning to move south in the fall.

work.contents

research

I am currently a member of the WASP research group. My advisor is Craig Chambers. Our research concerns high-level languages, and programming systems support for such languages.

[ DBLP record, ACM record ]

F(EML)

My thesis research concerns F(EML), an incarnation of the Diamond module system. F(EML) combines extensible classes and functions, multiple dispatch, modular typechecking, and code reuse via parameterized modules.

We have designed and formalized F(EML), and implemented a prototype interpreter. We are currently completing the soundness proof for the type system and working towards a more extensive evaluation of the language's expressiveness. Our first paper on F(EML) will appear in the forthcoming ECOOP 2006 conference; a manuscript is available upon request.

A preliminary presentation of this work also appeared in the informal FOOL/WOOD 2006 workshop; presentation slides: PowerPoint, PDF (note: the PDF version has some font issues; I am working on preparing a fixed version).

hydroj

In 2002-2003, we collaborated with researchers at Intel Research Seattle to develop HydroJ, a language that supports distributed messaging using semi-structured data. Our hope is that the flexibility of this communication substrate will be more robust in the face of evolution than traditional communication mechanisms.

Keunwoo Lee, Anthony LaMarca, Craig Chambers. HydroJ: Object-Oriented Pattern Matching for Evolvable Distributed Systems Appeared in OOPSLA 2003 (ACM conference).
(ACM link; local gzip'd PostScript copy; local Acrobat copy);

race detection

In summer 2001, I interned at I.B.M. T. J. Watson Research Center, Hawthorne NY, where I contributed to the work in the following paper:

Jong-Deok Choi, Keunwoo Lee, Alexey Loginov, Robert O'Callahan, Vivek Sarkar, Manu Sridharan. Efficient and Precise Datarace Detection for Multithreaded Object-Oriented Programs Appeared in PLDI 2002 (ACM conference).
(ACM link; IBM link; local gzip'd PostScript copy; CiteSeer);
Manu's MIT M.Eng. thesis presents this work in more detail.

education

society & technology

I am a member of the society and technology ("soctech") interest group at UW-CSE. We're interested in promoting greater understanding of social impacts of technology, both within UW-CSE and in the UW community at large. Computer scientists have distinct knowledge and values, relative to lawyers, political scientists, or information and communication scholars. Therefore, UW-CSE should collaborate with other departments to grapple effectively with this subject: we must export our values and understanding to the rest of the academy, and we must import the values and understanding of other disciplines in turn.

The soctech wiki has more details on our recent activities, including the seminar, which is open to graduate and undergraduate students in all departments.

If you're interested in joining our group or helping in any way, then subscribe to our mailing list and/or contact me.

teaching

I have served as an instructor for the following course:

341: Programming Languages (undergrad)
2004 [ Winter ]

In Winter 2004, I experimented with using a wiki for teaching; I was one of the first instructors at UW-CSE to do so. Here are terse tips for instructional use of wikis.

I have played a major role in planning the following seminars:

590t: Society & Technology interdisciplinary seminar
(formerly 590so)
2005 [ Winter, Spring ]
590p: Programming Languages reading group
(formerly 590l/590k)
2003 [ Spring ], 2005 [ Winter ]

I have been a teaching assistant for the following courses:

142: Intro to Programming
1999 [ Autumn ]
143: Intro to Programming II
2000 [ Winter, Summer ]
341: Programming Languages (undergrad)
2000 [ Spring ], 2001 [ Spring ], 2002 [ Winter ]
490c: Concepts and Tools for Software Development
2003 [ Spring ]
505: Concepts of Programming Languages (grad)
2005 [ Winter ]

reading

I am trying to accumulate a list of useful readings for graduate students (or advanced undergraduates) in programming systems.

authoring tools

In the course of preparing papers and talks, I often create quick incidental hacks that, although trivial, are useful enough that I wish to share them. Here is a (very small) subset of this code:

qinfrule.sty
A quick LaTeX style sheet for logical inference rules and axioms. Much less sophisticated than some alternative packages, but the macros are simple and robust to nesting inside most LaTeX environments, such as tables. Most fancier packages tend to croak on such nesting; if you find a package that works, please tell me about it!

links

A. Oliveira has a list of known conferences and journals of (very) dubious reputation.

¬work

Do not confuse me with other Keunwoos. Here is a capsule personal profile of me.

freedom

You probably know the FSF and the EFF, but you may be less familiar with these other groups working to defend the public's right to think and to share information freely:

tools

I am a happy, longtime user of KDE; here are some thoughts on the subject.

My .emacs file is full of warm gooey parenthesized goodness.

If you use Linux, you should definitely install the Bitstream Vera fonts which were donated to GNOME. Programmers may also find the Anonymous monospace font useful. Finally, fans of Lawrence Lessig's talks (like this one) may want to download P22 Typewriter.

I use Fedora Linux on my personal machine (an IBM Thinkpad T42).

Still, some days you find yourself lost in the wilderness, and you need a survival kit.

If you use LaTeX and you're a computer scientist, you need to learn how to use the listings package.

x2x is the coolest X11 hack I have ever seen.

words

I sometimes contribute to Wikipedia as a means of procrastination.

Speaking of Wikipedia, perhaps you want to know what a Jew is? (Clearly, I am not a Jew; however, I'll link for good reasons.)

images

Desktop wallpaper based on photographs that I've taken.

Desktop icons for the Pine email client: 32x32, 16x16.

Keunwoo Lee : Contact Information
Last modified: Tue Sep 5 13:30:12 PDT 2006
hapax legomenon: char bootred cataphora