PPT-Adversarial Memory for Detecting Destructive Races

Cormac Flanagan amp Stephen Freund UC Santa Cruz Williams College PLDI 2010 Slides by Michelle Goodstein LBA Reading Group June 2 2010 Motivation Multithreaded programs often contain data races. chenvunl asiaherbertb fewvunl Abstract Many reversing techniques for data structures rely on the knowledge of memory allocation routines Typically they interpose on the systems malloc and free functions and track each chunk of memory thus allocated a Aram Harrow (UW -> MIT). Matt Hastings (Duke/MSR). Anup Rao (UW). The origins of determinism. Theorem [von Neumann]:. There exists a constant . p>0. such that for any circuit C there exists a circuit C’ such that. etc. Convnets. (optimize weights to predict bus). bus. Convnets. (optimize input to predict ostrich). ostrich. Work on Adversarial examples by . Goodfellow. et al. , . Szegedy. et. al., etc.. Generative Adversarial Networks (GAN) [. Statistical Relational AI. Daniel Lowd. University of Oregon. Outline. Why do we need adversarial modeling?. Because of the dream of AI. Because of current reality. Because of possible dangers. Our initial approach and results. Nets. İlke Çuğu 1881739. NIPS 2014 . Ian. . Goodfellow. et al.. At a . glance. (. http://www.kdnuggets.com/2017/01/generative-adversarial-networks-hot-topic-machine-learning.html. ). Idea. . Behind. Dan Grossman. University. . of Washington. Prepared for the . 2012 Microsoft Research Summer School on Concurrency. St. Petersburg, Russia. Goals. Broad overview of . data races. What they are [not]. Presenters: Pooja Harekoppa, Daniel Friedman. Explaining and Harnessing Adversarial Examples. Ian J. . Goodfellow. , Jonathon . Shlens. and Christian . Szegedy. Google Inc., Mountain View, CA. Highlights . ML Reading . Group. Xiao Lin. Jul. 22 2015. I. . Goodfellow. , J. . Pouget-Abadie. , M. Mirza, B. Xu, D. . Warde. -Farley, S. . Ozair. , A. . Courville. and Y. . Bengio. . . "Generative adversarial nets." . 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. for . edge detection. Z. Zeng Y.K. Yu, K.H. Wong. In . IEEE iciev2018, International Conference on Informatics, Electronics & Vision '. June,kitakyushu. exhibition center, japan, 25~29, 2018. (. Florian Tramèr. Stanford University, Google, ETHZ. ML suffers from . adversarial. . examples.. 2. 90% Tabby Cat. 100% Guacamole. Adversarial noise. Robust classification is . hard! . 3. Clean. Adversarial (. Dr. Alex Vakanski. Lecture 6. GANs for Adversarial Machine Learning. Lecture Outline. Mohamed Hassan presentation. Introduction to Generative Adversarial Networks (GANs). Jeffrey Wyrick presentation. Dr. Alex Vakanski. Lecture 1. Introduction to Adversarial Machine Learning. . Lecture Outline. Machine Learning (ML). Adversarial ML (AML). Adversarial examples. Attack taxonomy. Common adversarial attacks.