Transactional Monitors for Concurrent Objects. - Adam Welc; Suresh Jagannathan; Antony L. Hosking (ECOOP, 2004)

A Semantic Framework for Designer Transactions. - Jan Vitek; Suresh Jagannathan; Adam Welc; Antony L. Hosking (ESOP, 2004)

Preemption-Based Avoidance of Priority Inversion for Java. - Adam Welc; Antony L. Hosking; Suresh Jagannathan (ICPP, 2004)

Improving virtual machine performance using a cross-run profile repository. - Matthew Arnold; Adam Welc; V. T. Rajan (OOPSLA, 2005)

Safe futures for Java. - Adam Welc; Suresh Jagannathan; Antony L. Hosking (OOPSLA, 2005)

A transactional object calculus. - Suresh Jagannathan; Jan Vitek; Adam Welc; Antony L. Hosking (Sci. Comput. Program., 2005)

Transparently Reconciling Transactions with Locking for Java Synchronization. - Adam Welc; Antony L. Hosking; Suresh Jagannathan (ECOOP, 2006)

Revocation techniques for Java concurrency. - Adam Welc; Suresh Jagannathan; Antony L. Hosking (Concurr. Comput. Pract. Exp., 2006)

Concurrency abstractions for programming languages using optimistic protocols - Adam Welc (2006)

A Uniform Transactional Execution Environment for Java. - Lukasz Ziarek; Adam Welc; Ali-Reza Adl-Tabatabai; Vijay Menon 002; Tatiana Shpeisman; Suresh Jagannathan (ECOOP, 2008)

Design and implementation of transactional constructs for C/C++. - Yang Ni; Adam Welc; Ali-Reza Adl-Tabatabai; Moshe Bach; Sion Berkowits; James Cownie; Robert Geva; Sergey Kozhukow; Ravi Narayanaswamy; Jeffrey Olivier; Serguei Preis; Bratin Saha; et al. (OOPSLA, 2008)

Practical weak-atomicity semantics for java stm. - Vijay Menon 002; Steven Balensiefer; Tatiana Shpeisman; Ali-Reza Adl-Tabatabai; Richard L. Hudson; Bratin Saha; Adam Welc (SPAA, 2008)

Irrevocable transactions and their applications. - Adam Welc; Bratin Saha; Ali-Reza Adl-Tabatabai (SPAA, 2008)

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 (SPAA, 2008)

Single global lock semantics in a weakly atomic STM. - Vijay Menon 002; Steven Balensiefer; Tatiana Shpeisman; Ali-Reza Adl-Tabatabai; Richard L. Hudson; Bratin Saha; Adam Welc (ACM SIGPLAN Notices, 2008)

NePaLTM: Design and Implementation of Nested Parallelism for Transactional Memory Systems. - Haris Volos 001; Adam Welc; Ali-Reza Adl-Tabatabai; Tatiana Shpeisman; Xinmin Tian; Ravi Narayanaswamy (ECOOP, 2009)

xCalls: safe I/O in memory transactions. - Haris Volos 001; Andres Jaan Tack; Neelam Goyal; Michael M. Swift; Adam Welc (EuroSys, 2009)

Towards transactional memory semantics for C++. - Tatiana Shpeisman; Ali-Reza Adl-Tabatabai; Robert Geva; Yang Ni; Adam Welc (SPAA, 2009)

Generic workers: towards unified distributed and parallel JavaScript programming model. - Adam Welc; Richard L. Hudson; Tatiana Shpeisman; Ali-Reza Adl-Tabatabai (PSI EtA, 2010)

ACM SIGPLAN international workshop on programming language and systems technologies for internet clients: (PLASTIC 2011). - Adam Welc; Michael Franz; Krzysztof Palacz (OOPSLA Companion, 2011)

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; Tatiana Shpeisman (POPL, 2011)

Software Transactional Memory Validation - Time and Space Considerations. - Adam Welc; Bratin Saha (Trans. High Perform. Embed. Archit. Compil., 2011)

Adaptive data parallelism for internet clients on heterogeneous platforms. - Alessandro Pignotti; Adam Welc; Bernd Mathiske (DLS, 2012)

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 (GRADES, 2013)

Graph analysis: do we have to reinvent the wheel? - Adam Welc; Raghavan Raman; Zhe Wu; Sungpack Hong; Hassan Chafi; Jay Banerjee (GRADES, 2013)

Fast In-Memory Triangle Listing for Large Real-World Graphs. - Martin Sevenich; Sungpack Hong; Adam Welc; Hassan Chafi (SNAKDD, 2014)

DSLDI 2014: second workshop on domain specific languages design and implementation. - Sebastian Erdweg; Adam Welc (SPLASH (Companion Volume), 2014)

Programming Languages. - Laurence Tratt; Adam Welc (IEEE Softw., 2014)

An Interview with Gilad Bracha. - Laurence Tratt; Adam Welc (IEEE Softw., 2014)

Optimizing R language execution via aggressive speculation. - Lukas Stadler; Adam Welc; Christian Humer; Mick Jordan (DLS, 2016)

Reliability Engineering. - Xabier Larrucea; Fabien Belmonte; Adam Welc; Tao Xie 001 (IEEE Softw., 2017)

Automated code transformation for context propagation in Go. - Adam Welc (ESEC/SIGSOFT FSE, 2021)

Optimistic Concurrency Control for Real-world Go Programs. - Zhizhou Zhang 002; Milind Chabbi; Adam Welc; Timothy Sherwood (USENIX ATC, 2021)

Optimistic Concurrency Control for Real-world Go Programs (Extended Version with Appendix). - Zhizhou Zhang 002; Milind Chabbi; Adam Welc; Timothy Sherwood (CoRR, 2021)

Last Diff Analyzer: Multi-language Automated Approver for Behavior-Preserving Code Revisions. - Yuxin Wang 004; Adam Welc; Lazaro Clapp; Lingchao Chen (ESEC/SIGSOFT FSE, 2023)

Sui Move: Modern Blockchain Programming with Objects. - Adam Welc; Sam Blackshear (SPLASH Companion, 2023)