Adam Welc

Orcid: 0009-0005-0515-4994

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Sui Move: Modern Blockchain Programming with Objects.
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.
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).
CoRR, 2021

Optimistic Concurrency Control for Real-world Go Programs.
Proceedings of the 2021 USENIX Annual Technical Conference, 2021

Automated code transformation for context propagation in Go.
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.
IEEE Softw., 2017

2016
Optimizing R language execution via aggressive speculation.
Proceedings of the 12th Symposium on Dynamic Languages, 2016

2014
An Interview with Gilad Bracha.
IEEE Softw., 2014

Programming Languages.
IEEE Softw., 2014

DSLDI 2014: second workshop on domain specific languages design and implementation.
Proceedings of the SPLASH'14, 2014

Fast In-Memory Triangle Listing for Large Real-World Graphs.
Proceedings of the 8th Workshop on Social Network Mining and Analysis, 2014

2013
Graph analysis: do we have to reinvent the wheel?
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.
Proceedings of the First International Workshop on Graph Data Management Experiences and Systems, 2013

2012
Adaptive data parallelism for internet clients on heterogeneous platforms.
Proceedings of the 8th Symposium on Dynamic Languages, 2012

2011
Software Transactional Memory Validation - Time and Space Considerations.
Trans. High Perform. Embed. Archit. Compil., 2011

Safe nondeterminism in a deterministic-by-default parallel language.
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).
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.
Proceedings of the SPLASH Workshop on Programming Support Innovations for Emerging Distributed Applications (PSI EtA, 2010

2009
Towards transactional memory semantics for C++.
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.
Proceedings of the 2009 EuroSys Conference, Nuremberg, Germany, April 1-3, 2009, 2009

NePaLTM: Design and Implementation of Nested Parallelism for Transactional Memory Systems.
Proceedings of the ECOOP 2009, 2009

2008
Single global lock semantics in a weakly atomic STM.
ACM SIGPLAN Notices, 2008

Kicking the tires of software transactional memory: why the going gets tough.
Proceedings of the SPAA 2008: Proceedings of the 20th Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2008

Irrevocable transactions and their applications.
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.
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++.
Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008

A Uniform Transactional Execution Environment for Java.
Proceedings of the ECOOP 2008, 2008

2006
Concurrency abstractions for programming languages using optimistic protocols
PhD thesis, 2006

Revocation techniques for Java concurrency.
Concurr. Comput. Pract. Exp., 2006

Transparently Reconciling Transactions with Locking for Java Synchronization.
Proceedings of the ECOOP 2006, 2006

2005
A transactional object calculus.
Sci. Comput. Program., 2005

Safe futures for Java.
Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005

Improving virtual machine performance using a cross-run profile repository.
Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005

2004
Preemption-Based Avoidance of Priority Inversion for Java.
Proceedings of the 33rd International Conference on Parallel Processing (ICPP 2004), 2004

A Semantic Framework for Designer Transactions.
Proceedings of the Programming Languages and Systems, 2004

Transactional Monitors for Concurrent Objects.
Proceedings of the ECOOP 2004, 2004


  Loading...