Adam Welc

According to our database, Adam Welc authored at least 36 papers between 2004 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Sui Move: Modern Blockchain Programming with Objects.

Adam Welc, Sam Blackshear

Proceedings of the Companion Proceedings of the 2023 ACM SIGPLAN International Conference on Systems, 2023

Last Diff Analyzer: Multi-language Automated Approver for Behavior-Preserving Code Revisions.

Yuxin Wang, Adam Welc, Lazaro Clapp, Lingchao Chen

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

2021

Optimistic Concurrency Control for Real-world Go Programs (Extended Version with Appendix).

Zhizhou Zhang, Milind Chabbi, Adam Welc, Timothy Sherwood

CoRR, 2021

Optimistic Concurrency Control for Real-world Go Programs.

Zhizhou Zhang, Milind Chabbi, Adam Welc, Timothy Sherwood

Proceedings of the 2021 USENIX Annual Technical Conference, 2021

Automated code transformation for context propagation in Go.

Adam Welc

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

2017

Reliability Engineering.

Xabier Larrucea, Fabien Belmonte, Adam Welc, Tao Xie

IEEE Softw., 2017

2016

Optimizing R language execution via aggressive speculation.

Lukas Stadler, Adam Welc, Christian Humer, Mick Jordan

Proceedings of the 12th Symposium on Dynamic Languages, 2016

2014

An Interview with Gilad Bracha.

Laurence Tratt, Adam Welc

IEEE Softw., 2014

Programming Languages.

Laurence Tratt, Adam Welc

IEEE Softw., 2014

DSLDI 2014: second workshop on domain specific languages design and implementation.

Sebastian Erdweg, Adam Welc

Proceedings of the SPLASH'14, 2014

Fast In-Memory Triangle Listing for Large Real-World Graphs.

Martin Sevenich, Sungpack Hong, Adam Welc, Hassan Chafi

Proceedings of the 8th Workshop on Social Network Mining and Analysis, 2014

2013

Graph analysis: do we have to reinvent the wheel?

Adam Welc, Raghavan Raman, Zhe Wu, Sungpack Hong, Hassan Chafi, Jay Banerjee

Proceedings of the First International Workshop on Graph Data Management Experiences and Systems, 2013

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

Proceedings of the First International Workshop on Graph Data Management Experiences and Systems, 2013

2012

Adaptive data parallelism for internet clients on heterogeneous platforms.

Alessandro Pignotti, Adam Welc, Bernd Mathiske

Proceedings of the 8th Symposium on Dynamic Languages, 2012

2011

Software Transactional Memory Validation - Time and Space Considerations.

Adam Welc, Bratin Saha

Trans. High Perform. Embed. Archit. Compil., 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

Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011

ACM SIGPLAN international workshop on programming language and systems technologies for internet clients: (PLASTIC 2011).

Adam Welc, Michael Franz, Krzysztof Palacz

Proceedings of the Companion to the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

2010

Generic workers: towards unified distributed and parallel JavaScript programming model.

Adam Welc, Richard L. Hudson, Tatiana Shpeisman, Ali-Reza Adl-Tabatabai

Proceedings of the SPLASH Workshop on Programming Support Innovations for Emerging Distributed Applications (PSI EtA, 2010

2009

Towards transactional memory semantics for C++.

Tatiana Shpeisman, Ali-Reza Adl-Tabatabai, Robert Geva, Yang Ni, Adam Welc

Proceedings of the SPAA 2009: Proceedings of the 21st Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2009

xCalls: safe I/O in memory transactions.

Haris Volos, Andres Jaan Tack, Neelam Goyal, Michael M. Swift, Adam Welc

Proceedings of the 2009 EuroSys Conference, Nuremberg, Germany, April 1-3, 2009, 2009

NePaLTM: Design and Implementation of Nested Parallelism for Transactional Memory Systems.

Haris Volos, Adam Welc, Ali-Reza Adl-Tabatabai, Tatiana Shpeisman, Xinmin Tian, Ravi Narayanaswamy

Proceedings of the ECOOP 2009, 2009

2008

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

ACM SIGPLAN Notices, 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

Proceedings of the SPAA 2008: Proceedings of the 20th Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2008

Irrevocable transactions and their applications.

Adam Welc, Bratin Saha, Ali-Reza Adl-Tabatabai

Proceedings of the SPAA 2008: Proceedings of the 20th Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2008

Practical weak-atomicity semantics for java stm.

Vijay Menon, Steven Balensiefer, Tatiana Shpeisman, Ali-Reza Adl-Tabatabai, Richard L. Hudson, Bratin Saha, Adam Welc

Proceedings of the SPAA 2008: Proceedings of the 20th Annual ACM Symposium on Parallelism in Algorithms and Architectures, 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, Ady Tal, Xinmin Tian

Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008

A Uniform Transactional Execution Environment for Java.

Lukasz Ziarek, Adam Welc, Ali-Reza Adl-Tabatabai, Vijay Menon, Tatiana Shpeisman, Suresh Jagannathan

Proceedings of the ECOOP 2008, 2008

2006

Concurrency abstractions for programming languages using optimistic protocols

Adam Welc

PhD thesis, 2006

Revocation techniques for Java concurrency.

Adam Welc, Suresh Jagannathan, Antony L. Hosking

Concurr. Comput. Pract. Exp., 2006

Transparently Reconciling Transactions with Locking for Java Synchronization.

Adam Welc, Antony L. Hosking, Suresh Jagannathan

Proceedings of the ECOOP 2006, 2006

2005

A transactional object calculus.

Suresh Jagannathan, Jan Vitek, Adam Welc, Antony L. Hosking

Sci. Comput. Program., 2005

Safe futures for Java.

Adam Welc, Suresh Jagannathan, Antony L. Hosking

Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005

Improving virtual machine performance using a cross-run profile repository.

Matthew Arnold, Adam Welc, V. T. Rajan

Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005

2004

Preemption-Based Avoidance of Priority Inversion for Java.

Adam Welc, Antony L. Hosking, Suresh Jagannathan

Proceedings of the 33rd International Conference on Parallel Processing (ICPP 2004), 2004

A Semantic Framework for Designer Transactions.

Jan Vitek, Suresh Jagannathan, Adam Welc, Antony L. Hosking

Proceedings of the Programming Languages and Systems, 2004

Transactional Monitors for Concurrent Objects.

Adam Welc, Suresh Jagannathan, Antony L. Hosking

Proceedings of the ECOOP 2004, 2004