Context-sensitive synchronization-sensitive analysis is undecidable
ACM Transactions on Programming Languages and Systems (TOPLAS)
Software model checking in practice: an industrial case study
Proceedings of the 24th International Conference on Software Engineering
KISS: keep it simple and sequential
Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation
Debugging operating systems with time-traveling virtual machines
ATEC '05 Proceedings of the annual conference on USENIX Annual Technical Conference
MapReduce: simplified data processing on large clusters
OSDI'04 Proceedings of the 6th conference on Symposium on Opearting Systems Design & Implementation - Volume 6
Computer
Hardware tansactional memory support for lightweight dynamic language evolution
Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications
Queue - Computer Architecture
CheckFence: checking consistency of concurrent data types on relaxed memory models
Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation
Parallel computing on any desktop
Communications of the ACM - ACM's plan to go online first
TxLinux: using and managing hardware transactional memory in an operating system
Proceedings of twenty-first ACM SIGOPS symposium on Operating systems principles
simpA: an agent-oriented approach for prototyping concurrent applications on top of Java
Proceedings of the 5th international symposium on Principles and practice of programming in Java
Cache-aware iteration space partitioning
Proceedings of the 13th ACM SIGPLAN Symposium on Principles and practice of parallel programming
Concurrent programming in a nutshell
Journal of Computing Sciences in Colleges
Prototyping Concurrent Systems with Agents and Artifacts: Framework and Core Calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
Concurrent software engineering: preparing for paradigm shift
Proceedings of the 2008 C3S2E conference
A capability calculus for concurrency and determinism
ACM Transactions on Programming Languages and Systems (TOPLAS)
Communications of the ACM - Remembering Jim Gray
Parallel iterator for parallelising object oriented applications
SEPADS'08 Proceedings of the 7th WSEAS International Conference on Software Engineering, Parallel and Distributed Systems
simpA: A Simple Agent-Oriented Java Extension for Developing Concurrent Applications
Languages, Methodologies and Development Tools for Multi-Agent Systems
A Design Pattern for Component Oriented Development of Agent Based Multithreaded Applications
Euro-Par '08 Proceedings of the 14th international Euro-Par conference on Parallel Processing
Capsules: Expressing Composable Computations in a Parallel Programming Model
Languages and Compilers for Parallel Computing
Companion to the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
Queue - The Concurrency Problem
On the exploitation of loop-level parallelism in embedded applications
ACM Transactions on Embedded Computing Systems (TECS)
Proceedings of the 4th workshop on Declarative aspects of multicore programming
Serialization sets: a dynamic dependence-based parallel execution model
Proceedings of the 14th ACM SIGPLAN symposium on Principles and practice of parallel programming
xCalls: safe I/O in memory transactions
Proceedings of the 4th ACM European conference on Computer systems
Actors in a new "highly parallel" world
Proceedings of the Warm Up Workshop for ACM/IEEE ICSE 2010
Inferring Synchronization under Limited Observability
TACAS '09 Proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009,
Cache-aware partitioning of multi-dimensional iteration spaces
SYSTOR '09 Proceedings of SYSTOR 2009: The Israeli Experimental Systems Conference
State-space exploration for concurrent algorithms under weak memory orderings: (preliminary version)
ACM SIGARCH Computer Architecture News
Dependency-aware reordering for parallelizing query optimization in multi-core CPUs
Proceedings of the 2009 ACM SIGMOD International Conference on Management of data
Actor frameworks for the JVM platform: a comparative analysis
PPPJ '09 Proceedings of the 7th International Conference on Principles and Practice of Programming in Java
On the energy-efficiency of software transactional memory
Proceedings of the 22nd Annual Symposium on Integrated Circuits and System Design: Chip on the Dunes
SAMOS '09 Proceedings of the 9th International Workshop on Embedded Computer Systems: Architectures, Modeling, and Simulation
NePaLTM: Design and Implementation of Nested Parallelism for Transactional Memory Systems
Genoa Proceedings of the 23rd European Conference on ECOOP 2009 --- Object-Oriented Programming
Some resources for teaching concurrency
Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging
Parallel programming with object assemblies
Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications
Introducing concurrency in CS 1
Proceedings of the 41st ACM technical symposium on Computer science education
Exploitation of nested thread-level speculative parallelism on multi-core systems
Proceedings of the 7th ACM international conference on Computing frontiers
Static analysis via abstract interpretation of the happens-before memory model
TAP'08 Proceedings of the 2nd international conference on Tests and proofs
Design and performance evaluation of a conservative parallel discrete event core for GES
Proceedings of the 3rd International ICST Conference on Simulation Tools and Techniques
STM versus lock-based systems: an energy consumption perspective
Proceedings of the 16th ACM/IEEE international symposium on Low power electronics and design
Journal of Parallel and Distributed Computing
Multicore-enabling the MPJ express messaging library
Proceedings of the 8th International Conference on the Principles and Practice of Programming in Java
Gadara: dynamic deadlock avoidance for multithreaded programs
OSDI'08 Proceedings of the 8th USENIX conference on Operating systems design and implementation
Evaluating point-based POMDP solvers on multicore machines
IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics - Special issue on gait analysis
Implicit invocation meets safe, implicit concurrency
GPCE '10 Proceedings of the ninth international conference on Generative programming and component engineering
simpA: An agent-oriented approach for programming concurrent applications on top of Java
Science of Computer Programming
Empirical analysis of parallelism overheads on CMPs
PPAM'09 Proceedings of the 8th international conference on Parallel processing and applied mathematics: Part I
Self-replicating objects for multicore platforms
ECOOP'10 Proceedings of the 24th European conference on Object-oriented programming
Functional Partitioning to Optimize End-to-End Performance on Many-core Architectures
Proceedings of the 2010 ACM/IEEE International Conference for High Performance Computing, Networking, Storage and Analysis
Parallel skyline computation on multicore architectures
Information Systems
If a picture is worth a thousand words, what would an animation be worth?
Proceedings of the 16th Western Canadian Conference on Computing Education
Automatic inference of memory fences
Proceedings of the 2010 Conference on Formal Methods in Computer-Aided Design
California speedway: a concurrent programming project for beginners
Proceedings of the 49th Annual Southeast Regional Conference
Challenges of evolving sequential to parallel code: an exploratory review
Proceedings of the 12th International Workshop on Principles of Software Evolution and the 7th annual ERCIM Workshop on Software Evolution
ICCSA'11 Proceedings of the 2011 international conference on Computational science and its applications - Volume Part I
Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion
Active Components: A Software Paradigm for Distributed Systems
WI-IAT '11 Proceedings of the 2011 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - Volume 02
A parallel programming model for ada
SIGAda '11 Proceedings of the 2011 ACM annual international conference on Special interest group on the ada programming language
Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE!'11, AOOPES'11, NEAT'11, & VMIL'11
Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE!'11, AOOPES'11, NEAT'11, & VMIL'11
Bounded model checking of concurrent data types on relaxed memory models: a case study
CAV'06 Proceedings of the 18th international conference on Computer Aided Verification
A case for event-driven distributed objects
ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part II
Dataflow execution of sequential imperative programs on multicore architectures
Proceedings of the 44th Annual IEEE/ACM International Symposium on Microarchitecture
Smoldyn on Graphics Processing Units: Massively Parallel Brownian Dynamics Simulations
IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB)
IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB)
Trends and challenges in operating systems---from parallel computing to cloud computing
Concurrency and Computation: Practice & Experience
Dynamic synthesis for relaxed memory models
Proceedings of the 33rd ACM SIGPLAN conference on Programming Language Design and Implementation
A type and effect system for determinism in multithreaded programs
ESOP'12 Proceedings of the 21st European conference on Programming Languages and Systems
Towards high-performance implementations of a custom HPC kernel using ® array building blocks
Facing the Multicore-Challenge II
HotPar'12 Proceedings of the 4th USENIX conference on Hot Topics in Parallelism
Agent-based simulation for large-scale emergency response: A survey of usage and implementation
ACM Computing Surveys (CSUR)
From actors to agent-oriented programming abstractions in simpAL
Proceedings of the 3rd annual conference on Systems, programming, and applications: software for humanity
CnC-Python: multicore programming with high productivity
Proceedings of the 3rd annual conference on Systems, programming, and applications: software for humanity
AGERE!: programming based on actors, agents, and decentralized control
Proceedings of the 3rd annual conference on Systems, programming, and applications: software for humanity
A transactional runtime system for the Cell/BE architecture
Journal of Parallel and Distributed Computing
Pyjama: OpenMP-like implementation for Java, with GUI extensions
Proceedings of the 2013 International Workshop on Programming Models and Applications for Multicores and Manycores
A comprehensive compiler-assisted thread abstraction for resource-constrained systems
Proceedings of the 12th international conference on Information processing in sensor networks
Concurrency bugs in multithreaded software: modeling and analysis using Petri nets
Discrete Event Dynamic Systems
Proceedings of the 2013 ACM SIGSIM conference on Principles of advanced discrete simulation
Revisiting transactions in Ada
ACM SIGAda Ada Letters
Proceedings of the Second International Workshop on Combined Object-Oriented Modelling and Programming Languages
Simple, space-efficient, and fairness improved FCFS mutual exclusion algorithms
Journal of Parallel and Distributed Computing
Developing a pre- and post-course concept inventory to gauge operating systems learning
Proceedings of the 45th ACM technical symposium on Computer science education
Native actors: a scalable software platform for distributed, heterogeneous environments
Proceedings of the 2013 workshop on Programming based on actors, agents, and decentralized control
Concurrency testing using schedule bounding: an empirical study
Proceedings of the 19th ACM SIGPLAN symposium on Principles and practice of parallel programming
A survey of support for structured communication in concurrency control models
Journal of Parallel and Distributed Computing
Multiprocessing with GUI-awareness using OpenMP-like directives in Java
Parallel Computing
| Hi-index | 0.00 |
Leveraging the full power of multicore processors demands newtools and new thinking from the software industry.Concurrency has long been touted as the "next big thing" and "theway of the future," but for the past 30 years, mainstream softwaredevelopment has been able to ignore it. Our parallel future hasfinally arrived: new machines will be parallel machines, and thiswill require major changes in the way we develop software. Theintroductory article in this issue ("The Future of Microprocessors"by Kunle Olukotun and Lance Hammond) describes the hardwareimperatives behind this shift in computer architecture fromuniprocessors to multicore processors, also known as CMPs (chipmultiprocessors). (For related analysis, see "The Free Lunch IsOver: A Fundamental Turn Toward Concurrency in Software.")