PPT-Software Bug Localization with Markov Logic

Sai Zhang Congle Zhang University of Washington Presented by Todd Schiller Software bug localization finding the likely buggy code fragments A software system source code. Please do not alter or modify contents All rights reserved For more information call 8003384065 or visit wwwloveandlogiccom Love and Logic Institute Inc is located at 2207 Jackson Street Golden CO 80401 57513 1998 Jim Fay 57375e Delayed or Anticipat There’s a bug in our code. There’s a bug in our code. [Probably] The first software bug. Harvard Mark II. Electromechanical machine. Moth found in relay. Found by . Grace Hopper. Type of Errors. 3 that we’ll mention today. Polly Huang. Electrical Engineering. National Taiwan University. http://nslab.ee.ntu.edu.tw/. 1. Road Map. Sensor network?. Indoor localization?. The system & . testbed. Technical challenges. Causality Study. WELCOME. to the inaugural. Game Localization Summit @ GDC. Co-Advisors of the Game Localization Summit and chairs of the . IGDA Localization SIG:. Miguel Á. Bernal-Merino . (Roehampton University), SIG Vice-Chair. Learning Objectives. Understand why WSNs need localization protocols. Understand localization protocols in WSNs. Understand secure localization protocols. Prerequisites. Module 7. Basic concepts of network security. Risk and Rewards of New Territories. Moderator. : Tom Edwards . (Englobe Inc.). Danica Brinton . (Linden Labs). Rio Hasegawa . (SEGA Japan). Tacey Miller . (Microsoft Corp.). What is a “New Territory”?. "Teaching the Speakers: Heritage Language Learners and the Classroom". Lonny Harrison. Texas Language Center . Center for Russian, East European, and Eurasian Studies. The University of Texas at Austin. Gabriel Robins and . Kirti Chawla. Department of Computer Science. robins@cs.virginia.edu kirti@cs.virginia.edu. Outline. Problem: Object Localization. Prior Art. RFID Technology Primer. Our Localization Approach. Fehringer. Seminar: Probabilistic Models for Information Extraction. by Dr. Martin . Theobald. and Maximilian . Dylla. . Based on Richards, M., and . Domingos. , P. (2006). Markov Logic Networks. 1. Patrick Lazar, . Tausif. . Shaikh. , Johanna Thomas, . Kaleel. . Mahmood. . University of Connecticut . Department of Electrical Engineering. Outline. Objective. Range Test. Asynchronous . Test. GUI. Bagrada. . hilaris. A Wide-Ranging Pest of . Brassicas. Thomas M. Perring and Darcy Reed. Department of Entomology. Univ. of California-Riverside. Geographic Origin of . B. . hilaris. Africa and the Middle East. Markov processes in continuous time were discovered long before Andrey Markov's work in the early 20th . centuryin. the form of the Poisson process.. Markov was interested in studying an extension of independent random sequences, motivated by a disagreement with Pavel Nekrasov who claimed independence was necessary for the weak law of large numbers to hold.. in Markov Logic using an RDBMS. Feng . Niu. , Chris . Ré. , . AnHai. Doan, and Jude . Shavlik. University of Wisconsin-Madison. One Slide Summary. 2. Machine Reading . is a DARPA program to capture knowledge expressed in free-form text.