Adam Welc Staff Engineer MystenLabs 379 University Ave. #200 Palo Alto, CA 94301 Email: adam@adamwelc.org |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
RESEARCH | In January
2022 I joined MystenLabs where I
currently hold a position of Staff Engineer. My work is in
the area of programming language design and implementation,
with specific interests in performance evaluation and
tuning, compiler and run-time system optimizations, and
tooling. I have an extensive experience in working with with
different types of virtual machines (ART, AVM, ORP JVM,
HotSpot JVM, J9 JVM), compilers (GreenMarl, ASC, StarJIT),
and other large and complicated frameworks and systems
(ProGuard, D8, ReDex, Truffle framework, STM runtime for
Intel's C/C++ compiler, PGX analytics engine). I am also an
Associate Editor for the IEEE Software
Magazine. |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
CONFERENCES |
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
PUBLICATIONS |
[external,pdf] "Automated code transformation for context
propagation in Go" Adam Welc
[external,pdf] "
Optimistic Concurrency
Control for Real-world Go Programs" Zhizhou
Zhang, Milind Chabi, Adam Welc, Timothy Sherwood
[external,pdf] "Profiling
Android Applications with Nanoscope" Lun Liu, Leland Takamine, Adam Welc [external,pdf] "
Optimizing R language execution via aggressive
speculation" Lukas Stadler, Adam Welc, Christian Humer, Mick Jordan [external,pdf] "Fast in-memory triangle listing for large
real-world graphs" Martin Sevenich, Sungpack
Hong, Adam Welc, Hassan Chafi [external,pdf] "Graph analysis: do we have to reinvent the
wheel?" Adam Welc, Raghavan Raman, Zhe Wu,
Sungpack Hong, Hassan Chafi, Jay Banerjee [external,pdf] "Early
experiences in using a domain-specific language for
large-scale graph analysis" Sungpack
Hong, Jan Van Der Lugt, Adam Welc, Raghavan Raman,
Hassan Chafi [external,pdf] "Adaptive data
parallelism for internet clients on heterogeneous
platforms" Alessandro Pignotti, Adam
Welc, Bernd
Mathiske [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 | You can find some personal information, updates on (more or less) recent activities and even some pictures here. | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||