default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAdam Welc
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[c28]Yuxin Wang
, Adam Welc, Lazaro Clapp, Lingchao Chen:
Last Diff Analyzer: Multi-language Automated Approver for Behavior-Preserving Code Revisions. ESEC/SIGSOFT FSE 2023: 1693-1704- [c27]Adam Welc, Sam Blackshear:
Sui Move: Modern Blockchain Programming with Objects. SPLASH Companion 2023: 53-55 - 2021
- [c26]Adam Welc:
Automated code transformation for context propagation in Go. ESEC/SIGSOFT FSE 2021: 1242-1252 - [c25]Zhizhou Zhang, Milind Chabbi, Adam Welc, Timothy Sherwood:
Optimistic Concurrency Control for Real-world Go Programs. USENIX ATC 2021: 939-955 - [i1]Zhizhou Zhang, Milind Chabbi, Adam Welc, Timothy Sherwood:
Optimistic Concurrency Control for Real-world Go Programs (Extended Version with Appendix). CoRR abs/2106.01710 (2021)
2010 – 2019
- 2017
- [j7]Xabier Larrucea, Fabien Belmonte, Adam Welc, Tao Xie:
Reliability Engineering. IEEE Softw. 34(4): 26-29 (2017) - [e1]Stephen M. Blackburn, Christoph Bockisch, Michael Haupt, Tony Hosking, Hridesh Rajan, Witawas Srisa-an, Matthias Grimmer, Adam Welc:
Proceedings of the 9th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages, Vancouver, BC, Canada, October 23 - 27, 2017. ACM 2017, ISBN 978-1-4503-5519-3 [contents] - 2016
- [c24]Lukas Stadler, Adam Welc, Christian Humer, Mick Jordan:
Optimizing R language execution via aggressive speculation. DLS 2016: 84-95 - 2014
- [j6]Laurence Tratt, Adam Welc:
Programming Languages. IEEE Softw. 31(5): 33-34 (2014) - [j5]Laurence Tratt, Adam Welc:
An Interview with Gilad Bracha. IEEE Softw. 31(5): 76-79 (2014) - [c23]Martin Sevenich, Sungpack Hong, Adam Welc, Hassan Chafi:
Fast In-Memory Triangle Listing for Large Real-World Graphs. SNAKDD 2014: 2:1-2:9 - [c22]Sebastian Erdweg, Adam Welc:
DSLDI 2014: second workshop on domain specific languages design and implementation. SPLASH (Companion Volume) 2014: 71-72 - 2013
- [c21]Sungpack Hong, Jan Van Der Lugt, Adam Welc, Raghavan Raman, Hassan Chafi:
Early experiences in using a domain-specific language for large-scale graph analysis. GRADES 2013: 5 - [c20]Adam Welc, Raghavan Raman, Zhe Wu, Sungpack Hong, Hassan Chafi, Jay Banerjee:
Graph analysis: do we have to reinvent the wheel? GRADES 2013: 7 - 2012
- [c19]Alessandro Pignotti, Adam Welc, Bernd Mathiske:
Adaptive data parallelism for internet clients on heterogeneous platforms. DLS 2012: 53-62 - 2011
- [j4]Adam Welc, Bratin Saha:
Software Transactional Memory Validation - Time and Space Considerations. Trans. High Perform. Embed. Archit. Compil. 4: 254-273 (2011) - [c18]Adam Welc, Michael Franz, Krzysztof Palacz:
ACM SIGPLAN international workshop on programming language and systems technologies for internet clients: (PLASTIC 2011). OOPSLA Companion 2011: 331-332 - [c17]Robert L. Bocchino Jr., Stephen Heumann, Nima Honarmand, Sarita V. Adve, Vikram S. Adve, Adam Welc, Tatiana Shpeisman:
Safe nondeterminism in a deterministic-by-default parallel language. POPL 2011: 535-548 - 2010
- [c16]Adam Welc, Richard L. Hudson, Tatiana Shpeisman, Ali-Reza Adl-Tabatabai:
Generic workers: towards unified distributed and parallel JavaScript programming model. PSI EtA 2010: 1
2000 – 2009
- 2009
- [c15]Haris Volos, Adam Welc, Ali-Reza Adl-Tabatabai, Tatiana Shpeisman, Xinmin Tian, Ravi Narayanaswamy:
NePaLTM: Design and Implementation of Nested Parallelism for Transactional Memory Systems. ECOOP 2009: 123-147 - [c14]Haris Volos, Andres Jaan Tack, Neelam Goyal, Michael M. Swift, Adam Welc:
xCalls: safe I/O in memory transactions. EuroSys 2009: 247-260 - [c13]Haris Volos, Adam Welc, Ali-Reza Adl-Tabatabai, Tatiana Shpeisman, Xinmin Tian, Ravi Narayanaswamy:
NePalTM: design and implementation of nested parallelism for transactional memory systems. PPoPP 2009: 291-292 - [c12]Tatiana Shpeisman, Ali-Reza Adl-Tabatabai, Robert Geva, Yang Ni, Adam Welc:
Towards transactional memory semantics for C++. SPAA 2009: 49-58 - 2008
- [j3]Vijay Menon, Steven Balensiefer, Tatiana Shpeisman, Ali-Reza Adl-Tabatabai, Richard L. Hudson, Bratin Saha, Adam Welc:
Single global lock semantics in a weakly atomic STM. ACM SIGPLAN Notices 43(5): 15-26 (2008) - [c11]Lukasz Ziarek, Adam Welc, Ali-Reza Adl-Tabatabai, Vijay Menon, Tatiana Shpeisman, Suresh Jagannathan:
A Uniform Transactional Execution Environment for Java. ECOOP 2008: 129-154 - [c10]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:
Design and implementation of transactional constructs for C/C++. OOPSLA 2008: 195-212 - [c9]Richard M. Yoo, Yang Ni, Adam Welc, Bratin Saha, Ali-Reza Adl-Tabatabai, Hsien-Hsin S. Lee:
Kicking the tires of software transactional memory: why the going gets tough. SPAA 2008: 265-274 - [c8]Adam Welc, Bratin Saha, Ali-Reza Adl-Tabatabai:
Irrevocable transactions and their applications. SPAA 2008: 285-296 - [c7]Vijay Menon, Steven Balensiefer, Tatiana Shpeisman, Ali-Reza Adl-Tabatabai, Richard L. Hudson, Bratin Saha, Adam Welc:
Practical weak-atomicity semantics for java stm. SPAA 2008: 314-325 - 2006
- [b1]Adam Welc:
Concurrency abstractions for programming languages using optimistic protocols. Purdue University, USA, 2006 - [j2]Adam Welc, Suresh Jagannathan, Antony L. Hosking:
Revocation techniques for Java concurrency. Concurr. Comput. Pract. Exp. 18(12): 1613-1656 (2006) - [c6]Adam Welc, Antony L. Hosking, Suresh Jagannathan:
Transparently Reconciling Transactions with Locking for Java Synchronization. ECOOP 2006: 148-173 - 2005
- [j1]Suresh Jagannathan, Jan Vitek, Adam Welc, Antony L. Hosking:
A transactional object calculus. Sci. Comput. Program. 57(2): 164-186 (2005) - [c5]Matthew Arnold, Adam Welc, V. T. Rajan:
Improving virtual machine performance using a cross-run profile repository. OOPSLA 2005: 297-311 - [c4]Adam Welc, Suresh Jagannathan, Antony L. Hosking:
Safe futures for Java. OOPSLA 2005: 439-453 - 2004
- [c3]Adam Welc, Suresh Jagannathan, Antony L. Hosking:
Transactional Monitors for Concurrent Objects. ECOOP 2004: 519-542 - [c2]Jan Vitek, Suresh Jagannathan, Adam Welc, Antony L. Hosking:
A Semantic Framework for Designer Transactions. ESOP 2004: 249-263 - [c1]Adam Welc, Antony L. Hosking, Suresh Jagannathan:
Preemption-Based Avoidance of Priority Inversion for Java. ICPP 2004: 529-538
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:26 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
