Safe Nondeterminism in a Deterministic-by-Default Parallel Language Robert L. Bocchino Jr.1 Stephen Heumann2 Nima Honarmand2 Sarita V. Adve2

Source URL: www.adamwelc.org

• Software engineering
• Computing
• Computer programming
• Concurrency control
• Transaction processing
• Complexity classes
• Java
• Functional languages
• Deterministic Parallel Java
• Determinism
• Deterministic algorithm
• Linearizability

Safe Futures for Java Adam Welc Suresh Jagannathan

Source URL: www.adamwelc.org

• Computing
• Software engineering
• Computer programming
• Concurrent computing
• Concurrency control
• Control flow
• Java
• Concurrency
• Futures and promises
• Monitor
• Synchronization
• Java concurrency

NePaLTM: Design and Implementation of Nested Parallelism for Transactional Memory Systems Haris Volos1 , Adam Welc2 , Ali-Reza Adl-Tabatabai2 , Tatiana Shpeisman2 , Xinmin Tian2 , and Ravi Narayanaswamy2 1

Source URL: www.adamwelc.org

• Computing
• Concurrent computing
• Concurrency control
• Transaction processing
• Computer programming
• Parallel computing
• Databases
• Concurrent programming languages
• OpenMP
• Software transactional memory
• Linearizability
• Lock

Transactions SET08104 Database Systems Copyright @ Napier University Concurrency using Transactions The goal in a ‘concurrent’ DBMS is to allow multiple users to

Source URL: www.upriss.org.uk

Design and Implementation of Transactional Constructs for C/C++ Yang Ni James Cownie Adam Welc Ali-Reza Adl-Tabatabai

Source URL: www.adamwelc.org

• Computing
• Software
• Transaction processing
• Concurrency control
• Programming language implementation
• Compiler construction
• Data management
• Software transactional memory
• Transactional memory
• Optimistic concurrency control
• Lock
• Isolation

Kicking the Tires of Software Transactional Memory: Why the Going Gets Tough Richard M. Yoo† Bratin Saha‡

Source URL: www.adamwelc.org

• Concurrency control
• Transaction processing
• Software transactional memory
• Transactional memory
• Lock
• Linearizability
• Parallel computing
• Monitor
• Non-blocking algorithm

Under consideration for publication in Math. Struct. in Comp. Science M-Adhesive Transformation Systems with Nested Application Conditions. Part 1: Parallelism, Concurrency and Amalgamation H A R T M U T E H R I G1 , U

Source URL: formale-sprachen.informatik.uni-oldenburg.de

Preemption-Based Avoidance of Priority Inversion for Java Adam Welc Antony L. Hosking Suresh Jagannathan

Source URL: www.adamwelc.org

• Computing
• Concurrency control
• Software engineering
• Software
• Synchronization
• Monitor
• Thread
• Lock
• Software transactional memory
• Mutual exclusion
• Non-blocking algorithm
• Scheduling

Performance Regression Testing of Concurrent Classes Michael Pradel EECS Department University of California, Berkeley

Source URL: mp.binaervarianz.de

• Software testing
• Extreme programming
• Psychometrics
• Concurrent computing
• Concurrency control
• Unit testing
• Test-driven development
• Thread safety
• Lock
• Thread
• Regression testing
• Synchronization

Be General and Don’t Give Up Consistency in Geo-Replicated Transactional Systems Alexandru Turcu, Sebastiano Peluso, Roberto Palmieri and Binoy Ravindran Virginia Tech {talex;peluso;robertop;binoy}@vt.edu

Source URL: www.hyflow.org

• Computing
• Transaction processing
• Data management
• Data
• Concurrency control
• Databases
• Fault-tolerant computer systems
• Serializability
• Consensus
• Software transactional memory
• Schedule
• Scalability