Parallel programming in Split-C
Proceedings of the 1993 ACM/IEEE conference on Supercomputing
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Cilk: an efficient multithreaded runtime system
PPOPP '95 Proceedings of the fifth ACM SIGPLAN symposium on Principles and practice of parallel programming
JAVA '99 Proceedings of the ACM 1999 conference on Java Grande
YAPI: application modeling for signal processing systems
Proceedings of the 37th Annual Design Automation Conference
Guava: a dialect of Java without data races
OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Concurrent Programming in Java: Design Principles and Patterns
Concurrent Programming in Java: Design Principles and Patterns
Pattern-Oriented Software Architecture: Patterns for Concurrent and Networked Objects
Pattern-Oriented Software Architecture: Patterns for Concurrent and Networked Objects
Composable memory transactions
Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming
Software and the Concurrency Revolution
Queue - Multiprocessors
Queue - Multiprocessors
MapReduce: simplified data processing on large clusters
OSDI'04 Proceedings of the 6th conference on Symposium on Opearting Systems Design & Implementation - Volume 6
A framework for comparing models of computation
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Formal performance evaluation of AMBA-based system-on-chip designs
EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software
Bringing embedded software closer to computer science students
ACM SIGBED Review - Special issues on the second workshop on embedded system education (WESE)
Program entanglement, feature interaction and the feature language extensions
Computer Networks: The International Journal of Computer and Telecommunications Networking
A framework for heterogeneous specification and design of electronic embedded systems in SystemC
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Mapping the physical layer of radio standards to multiprocessor architectures
Proceedings of the conference on Design, automation and test in Europe
The case for the precision timed (PRET) machine
Proceedings of the 44th annual Design Automation Conference
The sandbridge SB3011 platform
EURASIP Journal on Embedded Systems
Performance estimation of distributed real-time embedded systems by discrete event simulations
EMSOFT '07 Proceedings of the 7th ACM & IEEE international conference on Embedded software
Oz/K: a kernel language for component-based open programming
GPCE '07 Proceedings of the 6th international conference on Generative programming and component engineering
Thread-safety in an MPI implementation: Requirements and analysis
Parallel Computing
ACST'07 Proceedings of the third conference on IASTED International Conference: Advances in Computer Science and Technology
Concurrent software engineering: preparing for paradigm shift
Proceedings of the 2008 C3S2E conference
Visions for application development on hybrid computing systems
Parallel Computing
A Code Generation Framework for Actor-Oriented Models with Partial Evaluation
ICESS '07 Proceedings of the 3rd international conference on Embedded Software and Systems
A Real-Time Programming Model for Heterogeneous MPSoCs
SAMOS '08 Proceedings of the 8th international workshop on Embedded Computer Systems: Architectures, Modeling, and Simulation
Efficient Stateful Dynamic Partial Order Reduction
SPIN '08 Proceedings of the 15th international workshop on Model Checking Software
Toward Efficient Support for Multithreaded MPI Communication
Proceedings of the 15th European PVM/MPI Users' Group Meeting on Recent Advances in Parallel Virtual Machine and Message Passing Interface
On Scalable Synchronization for Distributed Embedded Real-Time Systems
SEUS '08 Proceedings of the 6th IFIP WG 10.2 international workshop on Software Technologies for Embedded and Ubiquitous Systems
CODES+ISSS '08 Proceedings of the 6th IEEE/ACM/IFIP international conference on Hardware/Software codesign and system synthesis
Generation of concurrency control code using discrete-event systems theory
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
Throughput-driven synthesis of embedded software for pipelined execution on multicore architectures
ACM Transactions on Embedded Computing Systems (TECS)
Languages and performance engineering: method, instrumentation, and pedagogy
ACM SIGPLAN Notices
Cyber-Physical Systems and Events
Software-Intensive Systems and New Computing Paradigms
Serialization sets: a dynamic dependence-based parallel execution model
Proceedings of the 14th ACM SIGPLAN symposium on Principles and practice of parallel programming
Communications of the ACM - Security in the Browser
DMP: deterministic shared memory multiprocessing
Proceedings of the 14th international conference on Architectural support for programming languages and operating systems
Kendo: efficient deterministic multithreading in software
Proceedings of the 14th international conference on Architectural support for programming languages and operating systems
Actors in a new "highly parallel" world
Proceedings of the Warm Up Workshop for ACM/IEEE ICSE 2010
Response time analysis of software transactional memory-based distributed real-time systems
Proceedings of the 2009 ACM symposium on Applied Computing
Classes and inheritance in actor-oriented design
ACM Transactions on Embedded Computing Systems (TECS)
Generating Multi-Threaded code from Polychronous Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
Reconfigurable Computing: The Theory and Practice of FPGA-Based Computation
Reconfigurable Computing: The Theory and Practice of FPGA-Based Computation
Model-driven development of multi-core embedded software
IWMSE '09 Proceedings of the 2009 ICSE Workshop on Multicore Software Engineering
A Domain Specific Language for Composable Memory Transactions in Java
DSL '09 Proceedings of the IFIP TC 2 Working Conference on Domain-Specific Languages
What the parallel-processing community has (failed) to offer the multi/many-core generation
Journal of Parallel and Distributed Computing
A thread synchronization model for SIP servlet containers
Proceedings of the 3rd International Conference on Principles, Systems and Applications of IP Telecommunications
Asserting and checking determinism for multithreaded programs
Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
ReconOS: Multithreaded programming for reconfigurable computers
ACM Transactions on Embedded Computing Systems (TECS)
A compositional theory for STM Haskell
Proceedings of the 2nd ACM SIGPLAN symposium on Haskell
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
VERTAF/Multi-Core: A SysML-Based Application Framework for Multi-Core Embedded Software Development
ICA3PP '09 Proceedings of the 9th International Conference on Algorithms and Architectures for Parallel Processing
SyncCharts in C: a proposal for light-weight, deterministic concurrency
EMSOFT '09 Proceedings of the seventh ACM international conference on Embedded software
Test suite for evaluating performance of multithreaded MPI communication
Parallel Computing
Technical Section: CGV-An interactive graph visualization system
Computers and Graphics
OTM '09 Proceedings of the Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009 on On the Move to Meaningful Internet Systems: Part I
Exploiting the parallelism of multidimensional wave digital algorithms on multicore computers
Multidimensional Systems and Signal Processing
MMSys '10 Proceedings of the first annual ACM SIGMM conference on Multimedia systems
Fine-Grained Multithreading Support for Hybrid Threaded MPI Programming
International Journal of High Performance Computing Applications
An open framework for rapid prototyping of signal processing applications
EURASIP Journal on Embedded Systems - Special issue on design and architectures for signal and image processing
Asserting and checking determinism for multithreaded programs
Communications of the ACM
Computer Languages, Systems and Structures
Reinventing computing for real time
Proceedings of the 12th Monterey conference on Reliable systems on unreliable networked platforms
A concurrency abstraction for reliable sensor network applications
Proceedings of the 12th Monterey conference on Reliable systems on unreliable networked platforms
Application-guided tool development for architecturally diverse computation
Proceedings of the 2010 ACM Symposium on Applied Computing
SysML-based requirement modeling environment for multicore embedded system
Proceedings of the 2010 ACM Symposium on Applied Computing
Strategies for compiling µTC to novel chip Multiprocessors
SAMOS'07 Proceedings of the 7th international conference on Embedded computer systems: architectures, modeling, and simulation
Trends in low power handset software defined radio
SAMOS'07 Proceedings of the 7th international conference on Embedded computer systems: architectures, modeling, and simulation
Extension and implementation of CHR
ICLP'07 Proceedings of the 23rd international conference on Logic programming
Design and evaluation of parallel string matching algorithms for network intrusion detection systems
NPC'07 Proceedings of the 2007 IFIP international conference on Network and parallel computing
A disruptive computer design idea: architectures with repeatable timing
ICCD'09 Proceedings of the 2009 IEEE international conference on Computer design
DETERMIN: inferring likely deterministic specifications of multithreaded programs
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1
Versatile task assignment for heterogeneous soft dual-processor platforms
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
SystemJ: A GALS language for system level design
Computer Languages, Systems and Structures
Brief announcement: view transactions: transactional model with relaxed consistency checks
Proceedings of the 29th ACM SIGACT-SIGOPS symposium on Principles of distributed computing
Proceedings of the 47th Design Automation Conference
Systematic Refinement of Performance Models for Concurrent Component-based Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Parallel programming must be deterministic by default
HotPar'09 Proceedings of the First USENIX conference on Hot topics in parallelism
Transactional memory should be an implementation technique, not a programming interface
HotPar'09 Proceedings of the First USENIX conference on Hot topics in parallelism
Structured parallel programming with deterministic patterns
HotPar'10 Proceedings of the 2nd USENIX conference on Hot topics in parallelism
Determinating timing channels in compute clouds
Proceedings of the 2010 ACM workshop on Cloud computing security workshop
Deterministic, predictable and light-weight multithreading using PRET-C
Proceedings of the Conference on Design, Automation and Test in Europe
WCRT algebra and interfaces for Esterel-style synchronous processing
Proceedings of the Conference on Design, Automation and Test in Europe
Proceedings of the Conference on Design, Automation and Test in Europe
Nucleos: a runtime system for ultra-compact wireless sensor nodes
EMSOFT '10 Proceedings of the tenth ACM international conference on Embedded software
Ptera: an event-oriented model of computation for heterogeneous systems
EMSOFT '10 Proceedings of the tenth ACM international conference on Embedded software
Automatic verification of determinism for structured parallel programs
SAS'10 Proceedings of the 17th international conference on Static analysis
The last mile: parallel programming and usability
Proceedings of the FSE/SDP workshop on Future of software engineering research
Efficient system-enforced deterministic parallelism
OSDI'10 Proceedings of the 9th USENIX conference on Operating systems design and implementation
Stable deterministic multithreading through schedule memoization
OSDI'10 Proceedings of the 9th USENIX conference on Operating systems design and implementation
Safe nondeterminism in a deterministic-by-default parallel language
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
User evaluation of correctness conditions: a case study of cooperability
Evaluation and Usability of Programming Languages and Tools
Efficient data race detection for async-finish parallelism
RV'10 Proceedings of the First international conference on Runtime verification
Inferring ownership transfer for efficient message passing
Proceedings of the 16th ACM symposium on Principles and practice of parallel programming
Modelling Parallel Quantum Computing Using Transactional Memory
Electronic Notes in Theoretical Computer Science (ENTCS)
Practical parallel and concurrent programming
Proceedings of the 42nd ACM technical symposium on Computer science education
Actor-based parallel dataflow analysis
CC'11/ETAPS'11 Proceedings of the 20th international conference on Compiler construction: part of the joint European conferences on theory and practice of software
A programming model for deterministic task parallelism
Proceedings of the 2011 ACM SIGPLAN Workshop on Memory Systems Performance and Correctness
Parallel and distributed programming extensions for mainstream languages based on pi-calculus
Proceedings of the 30th annual ACM SIGACT-SIGOPS symposium on Principles of distributed computing
Integrating behaviour in software models: an event coordination notation -- concepts and prototype
Proceedings of the Third Workshop on Behavioural Modelling
Abstraction in hardware system design
Communications of the ACM
GALS-Designer: A design framework for GALS software systems
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Designing an undergraduate curriculum based on parallelism and concurrency
Proceedings of the 49th Annual Southeast Regional Conference
Abstraction in Hardware System Design
Queue - Data
Localizing globals and statics to make C programs thread-safe
CASES '11 Proceedings of the 14th international conference on Compilers, architectures and synthesis for embedded systems
Advances in Engineering Software
Workshop on transitioning to multicore: (TMC 2011)
Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion
µTC: an intermediate language for programming chip multiprocessors
ACSAC'06 Proceedings of the 11th Asia-Pacific conference on Advances in Computer Systems Architecture
Issues in developing a thread-safe MPI implementation
EuroPVM/MPI'06 Proceedings of the 13th European PVM/MPI User's Group conference on Recent advances in parallel virtual machine and message passing interface
Space-based multi-core programming in Java
Proceedings of the 9th International Conference on Principles and Practice of Programming in Java
Workshop on transitioning to multicore (TMC 2011): overview abstract
Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE!'11, AOOPES'11, NEAT'11, & VMIL'11
Expressing pipeline parallelism using TBB constructs: a case study on what works and what doesn't
Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE!'11, AOOPES'11, NEAT'11, & VMIL'11
Analysis of recursively parallel programs
POPL '12 Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Actor Petri net model for scientific workflows: model, design and system
Proceedings of the 4th International Conference on Uniquitous Information Management and Communication
Concurrent semantics without the notions of state or state transitions
FORMATS'06 Proceedings of the 4th international conference on Formal Modeling and Analysis of Timed Systems
Deterministic parallel random-number generation for dynamic-multithreading platforms
Proceedings of the 17th ACM SIGPLAN symposium on Principles and Practice of Parallel Programming
HICAMP: architectural support for efficient concurrency-safe shared structured data access
ASPLOS XVII Proceedings of the seventeenth international conference on Architectural Support for Programming Languages and Operating Systems
Dataflow execution of sequential imperative programs on multicore architectures
Proceedings of the 44th Annual IEEE/ACM International Symposium on Microarchitecture
Complementing user-level coarse-grain parallelism with implicit speculative parallelism
Proceedings of the 44th Annual IEEE/ACM International Symposium on Microarchitecture
Hardware transactional memory for GPU architectures
Proceedings of the 44th Annual IEEE/ACM International Symposium on Microarchitecture
Exploring concurrency using the parallel analysis tool
Proceedings of the 43rd ACM technical symposium on Computer Science Education
Efficient system-enforced deterministic parallelism
Communications of the ACM
A coordination-based model-driven method for parallel application development
MODELS'09 Proceedings of the 2009 international conference on Models in Software Engineering
Exploiting parallelism in deterministic shared memory multiprocessing
Journal of Parallel and Distributed Computing
Parallelizing the weil and tate pairings
IMACC'11 Proceedings of the 13th IMA international conference on Cryptography and Coding
Regression verification for multi-threaded programs
VMCAI'12 Proceedings of the 13th international conference on Verification, Model Checking, and Abstract Interpretation
The myrmics memory allocator: hierarchical,message-passing allocation for global address spaces
Proceedings of the 2012 international symposium on Memory Management
A type and effect system for determinism in multithreaded programs
ESOP'12 Proceedings of the 21st European conference on Programming Languages and Systems
HotPar'12 Proceedings of the 4th USENIX conference on Hot Topics in Parallelism
System-level approach to the design of a smart distributed surveillance system using systemj
ACM Transactions on Embedded Computing Systems (TECS)
Open issues in MPI implementation
ACSAC'07 Proceedings of the 12th Asia-Pacific conference on Advances in Computer Systems Architecture
Leveraging MPI's one-sided communication interface for shared-memory programming
EuroMPI'12 Proceedings of the 19th European conference on Recent Advances in the Message Passing Interface
From CPU to GP-GPU: challenges and insights in GPU-based environmental simulations
Proceedings of the 10th International Workshop on Middleware for Grids, Clouds and e-Science
Evaluating scala, actors, & ontologies for intelligent realtime interactive systems
Proceedings of the 18th ACM symposium on Virtual reality software and technology
Efficient data race detection for async-finish parallelism
Formal Methods in System Design
Proceedings of the 17th Monterey conference on Large-Scale Complex IT Systems: development, operation and management
Structured parallel programming by Michael McCool, James Reinders & Arch Robison
ACM SIGSOFT Software Engineering Notes
A rule-based quasi-static scheduling approach for static islands in dynamic dataflow graphs
ACM Transactions on Embedded Computing Systems (TECS)
Ownership passing: efficient distributed memory programming on multi-core systems
Proceedings of the 18th ACM SIGPLAN symposium on Principles and practice of parallel programming
DeNovoND: efficient hardware support for disciplined non-determinism
Proceedings of the eighteenth international conference on Architectural support for programming languages and operating systems
A comprehensive compiler-assisted thread abstraction for resource-constrained systems
Proceedings of the 12th international conference on Information processing in sensor networks
Proceedings of the Conference on Design, Automation and Test in Europe
Extending dataflow programs with throughput properties
Proceedings of the First International Workshop on Many-core Embedded Systems
The von Neumann architecture is due for retirement
HotOS'13 Proceedings of the 14th USENIX conference on Hot Topics in Operating Systems
Lazy tree mapping: generalizing and scaling deterministic parallelism
Proceedings of the 4th Asia-Pacific Workshop on Systems
Making parallel programs reliable with stable multithreading
Communications of the ACM
Safe system-level concurrency on resource-constrained nodes
Proceedings of the 11th ACM Conference on Embedded Networked Sensor Systems
Analysis of Recursively Parallel Programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
An implementation of the codelet model
Euro-Par'13 Proceedings of the 19th international conference on Parallel Processing
Teaching embedded systems the Berkeley way
Proceedings of the Workshop on Embedded and Cyber-Physical Systems Education
Alias control for deterministic parallelism
Aliasing in Object-Oriented Programming
Efficient deterministic multithreading without global barriers
Proceedings of the 19th ACM SIGPLAN symposium on Principles and practice of parallel programming
Multi-threaded code generation from Signal program to OpenMP
Frontiers of Computer Science: Selected Publications from Chinese Universities
Programming a Multicore Architecture without Coherency and Atomic Operations
Proceedings of Programming Models and Applications on Multicores and Manycores
Development and Evaluation of Distributed Simulation of Embedded Systems Using Ptolemy and HLA
DS-RT '13 Proceedings of the 2013 IEEE/ACM 17th International Symposium on Distributed Simulation and Real Time Applications
A survey of support for structured communication in concurrency control models
Journal of Parallel and Distributed Computing
Modeling Group Scheduling Problems in Space and Time by Timed Petri Nets
Fundamenta Informaticae
| Hi-index | 4.16 |
For concurrent programming to become mainstream, we must discard threads as a programming model. Nondeterminism should be judiciously and carefully introduced where needed, and it should be explicit in programs.