Filters








21,387 Hits in 3.2 sec

Analysis of Multithreaded Programs [chapter]

Martin Rinard
2001 Lecture Notes in Computer Science  
The field of program analysis has focused primarily on sequential programming languages.  ...  This paper surveys research in analysis for multithreaded programs, focusing on ways to improve the efficiency of analyzing interactions between threads, to detect data races, and to ameliorate the impact  ...  Dataflow Analysis For Multithreaded Programs Dataflow analysis performs an abstract interpretation of the program to discover program invariants at each program point [55, 54, 26] .  ... 
doi:10.1007/3-540-47764-0_1 fatcat:rwavkysiwbcblen2hshcaw6weq

CARET analysis of multithreaded programs [article]

Huu-Vu Nguyen, Tayssir Touili
2017 arXiv   pre-print
Dynamic Pushdown Networks (DPNs) are a natural model for multithreaded programs with (recursive) procedure calls and thread creation.  ...  Our results can, in particular, be used for the detection of concurrent malware.  ...  Several malwares are multithreaded programs that involve recursive procedures and dynamic thread creation. Therefore, DPNs can be used to model such programs.  ... 
arXiv:1709.09006v1 fatcat:z5kwiaxwlndjxjatskspkx6veu

CARET Analysis of Multithreaded Programs [chapter]

Huu-Vu Nguyen, Tayssir Touili
2018 Lecture Notes in Computer Science  
Dynamic Pushdown Networks (DPNs) are a natural model for multithreaded programs with (recursive) procedure calls and thread creation.  ...  Our results can, in particular, be used for the detection of concurrent malware.  ...  Several malwares are multithreaded programs that involve recursive procedures and dynamic thread creation. Therefore, DPNs can be used to model such programs.  ... 
doi:10.1007/978-3-319-94460-9_5 fatcat:hldudxggsva27f3e5yu6hba2wu

Runtime safety analysis of multithreaded programs

Koushik Sen, Grigore Rosu, Gul Agha
2003 Software engineering notes  
Foundational and scalable techniques for runtime safety analysis of multithreaded programs are explored in this paper.  ...  A prototype tool implementing our techniques, is also presented, together with examples where it can predict safety errors in multithreaded programs from successful executions of those programs.  ...  INTRODUCTION The purpose of this paper is to investigate foundational, scalable techniques for runtime safety analysis of multithreaded programs, i.e., programs in which several execution threads communicate  ... 
doi:10.1145/949952.940116 fatcat:hujt6cp635dabahvd7r5nh4o2u

Runtime safety analysis of multithreaded programs

Koushik Sen, Grigore Rosu, Gul Agha
2003 Proceedings of the 9th European software engineering conference held jointly with 10th ACM SIGSOFT international symposium on Foundations of software engineering - ESEC/FSE '03  
Foundational and scalable techniques for runtime safety analysis of multithreaded programs are explored in this paper.  ...  A prototype tool implementing our techniques, is also presented, together with examples where it can predict safety errors in multithreaded programs from successful executions of those programs.  ...  INTRODUCTION The purpose of this paper is to investigate foundational, scalable techniques for runtime safety analysis of multithreaded programs, i.e., programs in which several execution threads communicate  ... 
doi:10.1145/940071.940116 dblp:conf/sigsoft/SenRA03 fatcat:azovmx4fhvcgxhf6xzq3ufbgwm

Runtime safety analysis of multithreaded programs

Koushik Sen, Grigore Rosu, Gul Agha
2003 Proceedings of the 9th European software engineering conference held jointly with 10th ACM SIGSOFT international symposium on Foundations of software engineering - ESEC/FSE '03  
Foundational and scalable techniques for runtime safety analysis of multithreaded programs are explored in this paper.  ...  A prototype tool implementing our techniques, is also presented, together with examples where it can predict safety errors in multithreaded programs from successful executions of those programs.  ...  INTRODUCTION The purpose of this paper is to investigate foundational, scalable techniques for runtime safety analysis of multithreaded programs, i.e., programs in which several execution threads communicate  ... 
doi:10.1145/940112.940116 fatcat:ys67juz6yfgzpclbv2c4d5gozm

Runtime analysis of atomicity for multithreaded programs

L. Wang, S.D. Stoller
2006 IEEE Transactions on Software Engineering  
In multithreaded programs, executions of procedures (or methods) can be regarded as transactions. Correctness in the presence of concurrency typically requires atomicity of these transactions.  ...  To improve the efficiency and accuracy of both algorithms, we incorporate a multilockset algorithm for checking data races, dynamic escape analysis, and happenbefore analysis.  ...  ACKNOWLEDGMENTS This work was supported in part by the US National Science Foundation under Grants CCR-0205376 and CNS-0509230 and by the US Office of Naval Research under Grants N00014-02-1-0363 and N00014  ... 
doi:10.1109/tse.2006.1599419 fatcat:wa6qmy5yxzfxdgdmmadipq7tr4

Online Efficient Predictive Safety Analysis of Multithreaded Programs [chapter]

Koushik Sen, Grigore Roşu, Gul Agha
2004 Lecture Notes in Computer Science  
An automated and configurable technique for runtime safety analysis of multithreaded programs is presented, which is able to predict safety violations from successful executions.  ...  If the size of the window is 1 then only the received execution trace is analyzed, like in testing; if the size of the window is ∞ then all the execution traces are analyzed, such as in model checking.  ...  Level by Level Analysis of the Computation Lattice A naive observer of an execution trace of a multithreaded program would just check the observed execution trace against the monitor for the safety property  ... 
doi:10.1007/978-3-540-24730-2_9 fatcat:fdgmv7p2vjan7fokh6xiukvf44

Online efficient predictive safety analysis of multithreaded programs

Koushik Sen, Grigore Roşu, Gul Agha
2006 International Journal on Software Tools for Technology Transfer (STTT)  
An automated and configurable technique for runtime safety analysis of multithreaded programs is presented, which is able to predict safety violations from successful executions.  ...  If the size of the window is 1 then only the received execution trace is analyzed, like in testing; if the size of the window is ∞ then all the execution traces are analyzed, such as in model checking.  ...  Acknowledgments The work is supported in part by the Defense Advanced Research Projects Agency (the DARPA IPTO TASK Program, contract number F30602-00-2-0586, the DARPA IXO NEST Program, contract number  ... 
doi:10.1007/s10009-005-0192-y fatcat:wooppxxvjbc5bduj4fbpj3cisi

Automated analysis of multithreaded programs for performance modeling

Alexander Tarvo, Steven P. Reiss
2014 The 2014 ACM international conference on Measurement and modeling of computer systems - SIGMETRICS '14  
The behavior of multithreaded programs is often difficult to understand and predict.  ...  This paper presents our approach for automatically modeling multithreaded programs.  ...  This paper presents an approach towards automated performance modeling of multithreaded programs.  ... 
doi:10.1145/2591971.2592016 dblp:conf/sigmetrics/TarvoR14 fatcat:6d3mwgyogbfjfaryvcntkwppsa

Automated analysis of multithreaded programs for performance modeling

Alexander Tarvo, Steven P. Reiss
2014 Performance Evaluation Review  
The behavior of multithreaded programs is often difficult to understand and predict.  ...  This paper presents our approach for automatically modeling multithreaded programs.  ...  This paper presents an approach towards automated performance modeling of multithreaded programs.  ... 
doi:10.1145/2637364.2592016 fatcat:zr3ku5mb2ff4jprln7bzlx6ijm

Automated analysis of multithreaded programs for performance modeling

Alexander Tarvo, Steven P. Reiss
2014 Proceedings of the 29th ACM/IEEE international conference on Automated software engineering - ASE '14  
The behavior of multithreaded programs is often difficult to understand and predict.  ...  This paper presents our approach for automatically modeling multithreaded programs.  ...  This paper presents an approach towards automated performance modeling of multithreaded programs.  ... 
doi:10.1145/2642937.2642979 dblp:conf/kbse/TarvoR14 fatcat:se2dcvds4jcadnpybz7f4qq54i

An instrumentation technique for online analysis of multithreaded programs

Grigore Roşu, Koushik Sen
2007 Concurrency and Computation  
The technique has been implemented as part of a Java program analysis tool. key words: runtime verification; multithreaded systems; vector clocks To be more precise, let us consider a real-life example  ...  where a runtime analysis tool supporting the proposed technique, such as JMPaX, would be able to predict a violation of a property from a single, successful execution of the program.  ...  Many thanks to Gul Agha and Mark-Oliver Stehr for their comments on previous drafts of this work.  ... 
doi:10.1002/cpe.1066 fatcat:dlwtxy6ybrfcnef7ggq5dqavva

Simulation analysis of multithreaded programs under deadlock-avoidance control

Hongwei Liao, Hao Zhou, Stephane Lafortune
2011 Proceedings of the 2011 Winter Simulation Conference (WSC)  
We discuss the implications of the above results on the practical implementation of control strategies that prevent deadlocks in multithreaded programs.  ...  We further conduct a sensitivity analysis to investigate the effect of key parameters on the program's performance.  ...  ACKNOWLEDGMENTS This work was partially supported by NSF grant CCF-0819882 and an award from HP Labs Innovation Research Program. We thank Dr. Mark Van Oyen, Dr.  ... 
doi:10.1109/wsc.2011.6147798 dblp:conf/wsc/LiaoZL11 fatcat:nrapjujwyra5loesoe3mtimdmy

Pointer analysis for multithreaded programs

Radu Rugina, Martin Rinard
1999 Proceedings of the ACM SIGPLAN 1999 conference on Programming language design and implementation - PLDI '99  
Our experimental results show that the analysis has good precision and converges quickly for our set of Cilk programs.  ...  We h a ve implemented the algorithm in the SUIF compiler system and used the implementation to analyze a sizable set of multithreaded programs written in the Cilk multithreaded programming language.  ...  Analysis of Multithreaded Programs Unlike pointer analysis of sequential programs, the analysis of multithreaded programs is a relatively unexplored eld.  ... 
doi:10.1145/301618.301645 dblp:conf/pldi/RuginaR99 fatcat:kzk6qmaz25hl3nsqbsewrcj4vi
« Previous Showing results 1 — 15 out of 21,387 results