Adam Welc - RankMe

38 papers A* 1A 9B 6C 2Journal 8Unranked 10

Year	Rank	Type	Title / Venue / Authors
2023	—	`conf`	Last Diff Analyzer: Multi-language Automated Approver for Behavior-Preserving Code Revisions. ESEC/SIGSOFT FSE Yuxin Wang, Adam Welc, Lazaro Clapp, Lingchao Chen
2023	—	`conf`	Sui Move: Modern Blockchain Programming with Objects. SPLASH Companion Adam Welc, Sam Blackshear
2021	—	`conf`	Automated code transformation for context propagation in Go. ESEC/SIGSOFT FSE Adam Welc
2021	J	`jnl`	Optimistic Concurrency Control for Real-world Go Programs (Extended Version with Appendix). CoRR Zhizhou Zhang, Milind Chabbi, Adam Welc, Timothy Sherwood
2021	—	`conf`	Optimistic Concurrency Control for Real-world Go Programs. USENIX ATC Zhizhou Zhang, Milind Chabbi, Adam Welc, Timothy Sherwood
2017	—	`ed.`	Proceedings of the 9th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages, Vancouver, BC, Canada, October 23 - 27, 2017 VMIL@SPLASH Stephen M. Blackburn, Christoph Bockisch, Michael Haupt, Tony Hosking, Hridesh Rajan, Witawas Srisa-an, Matthias Grimmer, Adam Welc
2017	J	`jnl`	Reliability Engineering. IEEE Softw. Xabier Larrucea, Fabien Belmonte, Adam Welc, Tao Xie
2016	C	`conf`	Optimizing R language execution via aggressive speculation. DLS Lukas Stadler, Adam Welc, Christian Humer, Mick Jordan
2014	J	`jnl`	An Interview with Gilad Bracha. IEEE Softw. Laurence Tratt, Adam Welc
2014	—	`conf`	DSLDI 2014: second workshop on domain specific languages design and implementation. SPLASH (Companion Volume) Sebastian Erdweg, Adam Welc
2014	—	`conf`	Fast In-Memory Triangle Listing for Large Real-World Graphs. SNAKDD Martin Sevenich, Sungpack Hong, Adam Welc, Hassan Chafi
2014	J	`jnl`	Programming Languages. IEEE Softw. Laurence Tratt, Adam Welc
2013	—	`conf`	Early experiences in using a domain-specific language for large-scale graph analysis. GRADES Sungpack Hong, Jan Van Der Lugt, Adam Welc, Raghavan Raman, Hassan Chafi
2013	—	`conf`	Graph analysis: do we have to reinvent the wheel? GRADES Adam Welc, Raghavan Raman, Zhe Wu, Sungpack Hong, Hassan Chafi, Jay Banerjee
2012	C	`conf`	Adaptive data parallelism for internet clients on heterogeneous platforms. DLS Alessandro Pignotti, Adam Welc, Bernd Mathiske
2011	—	`conf`	ACM SIGPLAN international workshop on programming language and systems technologies for internet clients: (PLASTIC 2011). OOPSLA Companion Adam Welc, Michael Franz, Krzysztof Palacz
2011	A*	`conf`	Safe nondeterminism in a deterministic-by-default parallel language. POPL Robert L. Bocchino Jr., Stephen Heumann, Nima Honarmand, Sarita V. Adve, Vikram S. Adve, Adam Welc, Tatiana Shpeisman
2011	J	`jnl`	Software Transactional Memory Validation - Time and Space Considerations. Trans. High Perform. Embed. Archit. Compil. Adam Welc, Bratin Saha
2010	—	`conf`	Generic workers: towards unified distributed and parallel JavaScript programming model. PSI EtA Adam Welc, Richard L. Hudson, Tatiana Shpeisman, Ali-Reza Adl-Tabatabai
2009	A	`conf`	NePaLTM: Design and Implementation of Nested Parallelism for Transactional Memory Systems. ECOOP Haris Volos, Adam Welc, Ali-Reza Adl-Tabatabai, Tatiana Shpeisman, Xinmin Tian, Ravi Narayanaswamy
2009	B	`conf`	NePalTM: design and implementation of nested parallelism for transactional memory systems. PPoPP Haris Volos, Adam Welc, Ali-Reza Adl-Tabatabai, Tatiana Shpeisman, Xinmin Tian, Ravi Narayanaswamy
2009	B	`conf`	Towards transactional memory semantics for C++. SPAA Tatiana Shpeisman, Ali-Reza Adl-Tabatabai, Robert Geva, Yang Ni, Adam Welc
2009	A	`conf`	xCalls: safe I/O in memory transactions. EuroSys Haris Volos, Andres Jaan Tack, Neelam Goyal, Michael M. Swift, Adam Welc
2008	A	`conf`	A Uniform Transactional Execution Environment for Java. ECOOP Lukasz Ziarek, Adam Welc, Ali-Reza Adl-Tabatabai, Vijay Menon, Tatiana Shpeisman, Suresh Jagannathan
2008	A	`conf`	Design and implementation of transactional constructs for C/C++. OOPSLA 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
2008	B	`conf`	Irrevocable transactions and their applications. SPAA Adam Welc, Bratin Saha, Ali-Reza Adl-Tabatabai
2008	B	`conf`	Kicking the tires of software transactional memory: why the going gets tough. SPAA Richard M. Yoo, Yang Ni, Adam Welc, Bratin Saha, Ali-Reza Adl-Tabatabai, Hsien-Hsin S. Lee
2008	B	`conf`	Practical weak-atomicity semantics for java stm. SPAA Vijay Menon, Steven Balensiefer, Tatiana Shpeisman, Ali-Reza Adl-Tabatabai, Richard L. Hudson, Bratin Saha, Adam Welc
2008	J	`jnl`	Single global lock semantics in a weakly atomic STM. ACM SIGPLAN Notices Vijay Menon, Steven Balensiefer, Tatiana Shpeisman, Ali-Reza Adl-Tabatabai, Richard L. Hudson, Bratin Saha, Adam Welc
2006	—	`—`	Concurrency abstractions for programming languages using optimistic protocols Adam Welc
2006	J	`jnl`	Revocation techniques for Java concurrency. Concurr. Comput. Pract. Exp. Adam Welc, Suresh Jagannathan, Antony L. Hosking
2006	A	`conf`	Transparently Reconciling Transactions with Locking for Java Synchronization. ECOOP Adam Welc, Antony L. Hosking, Suresh Jagannathan
2005	J	`jnl`	A transactional object calculus. Sci. Comput. Program. Suresh Jagannathan, Jan Vitek, Adam Welc, Antony L. Hosking
2005	A	`conf`	Improving virtual machine performance using a cross-run profile repository. OOPSLA Matthew Arnold, Adam Welc, V. T. Rajan
2005	A	`conf`	Safe futures for Java. OOPSLA Adam Welc, Suresh Jagannathan, Antony L. Hosking
2004	A	`conf`	A Semantic Framework for Designer Transactions. ESOP Jan Vitek, Suresh Jagannathan, Adam Welc, Antony L. Hosking
2004	B	`conf`	Preemption-Based Avoidance of Priority Inversion for Java. ICPP Adam Welc, Antony L. Hosking, Suresh Jagannathan
2004	A	`conf`	Transactional Monitors for Concurrent Objects. ECOOP Adam Welc, Suresh Jagannathan, Antony L. Hosking