PPT-Effective Data-Race Detection for the Kernel

John Erickson Madanlal Musuvathi Sebastian Burckhardt Kirk Olynyk Microsoft Research Motivations Need for race detection in Kernel modules Also must detect race conditions between hardware and Kernel. Solar . Radiative. Kernel. s. And Applications. Zhonghai Jin. Constantine . Loukachine. Bruce . Wielicki. Xu. Liu. SSAI, Inc. / NASA . Langley research . Center. July 6-9, 2010. Objective:. . Introduce the reflected solar spectral kernels, their spectral characteristics, and the potential applications to CLARREO . evaluating locking schemes in . 2010-02-27. james . francis. toy iv. David . Hemmendinger. Purpose. Evaluate current locking scheme in FreeBSD. See if the locking methods can be improved. Evaluate both methods and form conclusions. Swarnendu Biswas. , UT Austin. Man Cao. , Ohio State University. Minjia Zhang. , Microsoft Research. Michael D. Bond. , Ohio State University. Benjamin P. Wood. , Wellesley College. CC 2017. A Java Program With a Data Race. KAIST . CySec. Lab. 1. Contents. About Rootkit. Concept and Methods. Examples. Ubuntu Linux (Network Hiding. ). Windows 7 (File Hiding). Android Rootkit Demonstration (DNS Spoofing). Exercise (Rootkit Detection). A B M Shawkat Ali. 1. 2. Data Mining. ¤. . DM or KDD (Knowledge Discovery in Databases). Extracting previously unknown, valid, and actionable information . . . crucial decisions. ¤. . Approach. : Crowd-sourced Data Race Detection. Baris. . Kasikci. , . Cristian. . Zamfir. and George . Candea. EPFL, Switzerland. To appear in the Symposium on Operating Systems Principles (SOSP), November 2013. Swarnendu Biswas. , UT Austin. Man Cao. , Ohio State University. Minjia Zhang. , Microsoft Research. Michael D. Bond. , Ohio State University. Benjamin P. Wood. , Wellesley College. CC 2017. A Java Program With a Data Race. Machine Learning. March 25, 2010. Last Time. Recap of . the Support Vector Machines. Kernel Methods. Points that are . not. linearly separable in 2 dimension, might be linearly separable in 3. . Kernel Methods. Jose C. . Principe. Computational . NeuroEngineering. . Laboratory (CNEL). University . of Florida. principe@cnel.ufl.edu. Acknowledgments. Dr. Weifeng Liu, Amazon. Dr. . Badong. Chen, . Tsinghua. University and Post Doc CNEL. Hook Detection. Heng. Yin, . Pongsin. . Poosankam. , Steve Hanna, . and Dawn Song. What is hook?. SSDT (System Service Descriptor Table). NewZwOpenKey. ZwOpenKey. Install the address of NewZwOpenKey. Christoph Csallner. , University of Texas at Arlington. . http://ranger.uta.edu/~csallner/. . Joint work with: . Shabnam Aboughadareh. This material is based upon work supported by the National Science Foundation under Grants No. 1017305, 1117369, and 1527398. Any opinions, findings, and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the National Science Foundation.. Race Detection. John Erickson. Microsoft. Stephen Freund. Williams College. Madan Musuvathi. Microsoft Research. Introductions…. Tutorial Goals. What is (and is not) a data race. State of the art techniques in dynamic data race detection. 3/6/15. Multiple linear regression. What are you predicting?. Data type. Continuous. Dimensionality. 1. What are you predicting it from?. Data type. Continuous. Dimensionality. p. How many data points do you have?. Serdar . Tasiran. Koc University, Istanbul, . Turkey. Microsoft Research, Redmond. Hassan . Salehe. . Matar. ,. . Ismail . Kuru. , . Koc University, Istanbul, Turkey. Roman . Dementiev. Intel, Munich, Germany.