![]() |
Adam
Welc Senior Researcher Adobe (Advanced Technology Lab) 601 Townsend Street San Francisco, CA 94103 Email: adam@adamwelc.org URL: http://www.adamwelc.org |
||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| RESEARCH | In October 2010 I joined Adobe Systems where I currently hold a position of Senior Researcher in the Programming Languages Research Group. My work is in the area of programming language design and implementation, with specific interests in concurrency control, compiler and run-time system optimizations, transactional processing as well as architectural support for programming languages and applications. | ||||||||||||||||||||||||||||||
| CONFERENCES |
|
||||||||||||||||||||||||||||||
| PUBLICATIONS |
[external,pdf] "Software transactional memory validation -
time and space considerations" Adam Welc, Bratin Saha [external,pdf] "Safe
nondeterminism in a deterministic-by-default parallel language"
Robert L. Bocchino Jr., Stephen Heumann, Nima Honarmand, Sarita V. Adve, Vikram S.
Adve, Adam Welc [external,pdf] "Generic Workers - towards unified
distributed and parallel JavaScript programming model"
Adam Welc, Richard L. Hudson, Tatiana Shpeisman, Ali-Reza Adl-Tabatabai [external,pdf] "Towards
transactional memory semantics for C++" Tatiana Shpeisman, Ali-Reza Adl-Tabatabai, Robert Geva, Yang
Ni, Adam Welc [external,pdf] "A uniform
transactional execution environment for Java" Lukasz Ziarek,
Adam
Welc, Ali-Reza Adl-Tabatabai, Vijay Menon, Tatiana Shpeisman, Suresh
Jagannathan [external,pdf] "Irrevocable transactions and their
applications"
Adam Welc, Bratin Saha, Ali-Reza Adl-Tabatabai [external,pdf] "Kicking the tires of software transactional
memory: why the going gets tough"
Richard M. Yoo, Yang Ni, Adam Welc, Bratin Saha, Ali-Reza
Adl-Tabatabai, Hsien-Hsin S. Lee [external,pdf] "Practical weak-atomicity semantics for Java STM"
Vijay Menon, Steven Balensiefer, Tatiana Shpeisman, Ali-Reza
Adl-Tabatabai, Richard L. Hudson, Bratin Saha, Adam Welc [external,pdf] "Single global lock semantics in a weakly
atomic STM"
Vijay Menon, Steven Balensiefer, Tatiana Shpeisman, Ali-Reza
Adl-Tabatabai, Richard L. Hudson, Bratin Saha, Adam Welc [external,pdf] "Revocation
techniques for Java
concurrency" Adam
Welc, Suresh
Jagannathan, Antony L.
Hosking [external,pdf] "Transparently
reconciling
transactions
with
locking
for Java synchronization" Adam
Welc, Antony L. Hosking, Suresh Jagannathan [external,pdf] "Safe futures
for Java" Adam Welc, Suresh Jagannathan, Antony L. Hosking [external,pdf] "Improving virtual machine
performance using a cross-run profile repository" Matthew Arnold, Adam Welc, V.T. Rajan [external,pdf] "A
transactional object calculus" Suresh
Jagannathan, Jan Vitek, Adam
Welc, Antony L. Hosking [external,pdf] "Preemption-based
avoidance
of
priority
inversion
for Java" Adam
Welc, Antony L. Hosking,
Suresh Jagannathan [external,pdf] "Transactional
monitors
for
concurrent
objects" Adam
Welc, Suresh
Jagannathan, Antony L.
Hosking [external,pdf]"A semantic
framework for designer
transactions" Suresh
Jagannathan, Jan Vitek, Adam
Welc, Antony L. Hosking |
||||||||||||||||||||||||||||||
| EDUCATION |
PhD in
Computer Science, Purdue
University, Computer
Science Department,
March 2006 MS in
Computer
Science, Purdue
University, Computer
Science Department, May 2003 MS in
Computer
Science, Poznan
University of Technology, Institute
of
Computing
Science, May 1999 |
||||||||||||||||||||||||||||||
| PERSONAL | I like sailing and, even though it has been a while since I did it regularly, I am actively trying to go back to it. I have recently joined the Polish Yacht Club of San Francisco, so my chances for it got a bit better. In winter I ski, mostly in North Lake Tahoe where my ski club (Peninsula Ski Club) has its nice little lodge. In my spare time I do rock-climbing and also try my luck doing some Tae-Kwon-Do training at Silva Tae Kwon Do. You can find some more personal information, updates on (more or less) recent activities and even some pictures here. | ||||||||||||||||||||||||||||||