Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Mahdi Eslamimehr"'
Publikováno v:
Journal of Systems and Software. 137:618-635
Atomicity violations are a major source of bugs in concurrent programs. Empirical studies have shown that the majority of atomicity violations are instances of the three-access pattern, where two accesses to a shared variable by a thread are interlea
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2d0b5220e03e76bea1bc23a622c2e294
https://doi.org/10.1016/j.jss.2017.06.001
https://doi.org/10.1016/j.jss.2017.06.001
Publikováno v:
QoSA
The emergence of clusters of multi-core multiprocessors has created a challenge for software developers who use concurrency to gain performance. The challenge lies in the application's dependence on both the hardware and the deeply integrated communi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::60673a22f0268ac94fa012c612b3ecb6
https://doi.org/10.1109/qosa.2016.8
https://doi.org/10.1109/qosa.2016.8
Autor:
Mahdi Eslamimehr, Mohsen Lesani
Publikováno v:
ISSRE
Atomicity violation is one of the main sources of concurrency bugs. Empirical studies show that the majority of atomicity violations are instances of the three-access pattern, where two accesses to a shared variable by a thread are interleaved by an
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6cc749ce3b0b5bf5f0cb497760d71859
https://doi.org/10.1109/issre.2015.7381795
https://doi.org/10.1109/issre.2015.7381795
Publikováno v:
Onward!
Imperative programming has great merits. As the ubiquitous style, it is familiar, and its linear and step by step nature is favored by the human mind. Experienced programmers, however, are aware of its major flaw: it is easy for meanings to get lost
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::588696b9786c8aea8d6c74bb5dbb63d3
https://doi.org/10.1145/2814228.2814244
https://doi.org/10.1145/2814228.2814244
Autor:
Jens Palsberg, Mahdi Eslamimehr
Publikováno v:
SIGSOFT FSE
We present a new technique to find real deadlocks in concurrent programs that use locks. For 4.5 million lines of Java, our technique found almost twice as many real deadlocks as four previous techniques combined. Among those, 33 deadlocks happened a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b26bb78b6603dbaffc681693598c67fe
https://doi.org/10.1145/2635868.2635918
https://doi.org/10.1145/2635868.2635918
Autor:
Mahdi Eslamimehr, Jens Palsberg
Publikováno v:
PPOPP
Detection of data races in Java programs remains a difficult problem. The best static techniques produce many false positives, and also the best dynamic techniques leave room for improvement. We present a new technique called race directed scheduling
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::891a73e6cb957c8f9b7364a7e8f3c5f9
https://doi.org/10.1145/2555243.2555263
https://doi.org/10.1145/2555243.2555263
Autor:
Mahdi Eslamimehr, Jens Palsberg
Publikováno v:
COMPSAC
For event-driven software on resource-constrained devices, estimates of the maximum stack size can be of paramount importance. For example, a poor estimate led to software failure and closure of a German railway station in 1995. Static analysis may p
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6b8a053aaeb5462a53a0f405cd686075
https://doi.org/10.1109/compsac.2013.100
https://doi.org/10.1109/compsac.2013.100