Corpus ID: 61435458

Assertions for debugging parallel programs

@inproceedings{Malik2013AssertionsFD,
  title={Assertions for debugging parallel programs},
  author={S. Malik and Daniel Schwartz-Narbonne},
  year={2013}
}
Software engineering is facing a crisis. For decades, computer programs doubled in speed every 18 months, enabling powerful new applications which have literally changed the way we communicate and think. However, the ever-increasing hardware speed that drove this exponential growth also led to an unsustainable increase in power consumption. Modern hardware attempts to side-step this problem by using many slow processors functioning in parallel. Unfortunately, our ability to develop and debug… Expand
The C11 and C++11 concurrency model

References

SHOWING 1-10 OF 92 REFERENCES
Parallel assertions for debugging parallel programs
Revisiting the Sequential Programming Model for Multi-Core
passert: A Tool for Debugging Parallel Programs
Parallel Assertions for Architectures with Weak Memory Models
Testing concurrent programs on relaxed memory models
Debugging concurrent programs
The art of multiprocessor programming
ConMem: detecting severe concurrency bugs through an effect-oriented approach
...
1
2
3
4
5
...