Foundations of Probabilistic Programming

What does a probabilistic program actually compute? How can one formally reason about such probabilistic programs? This valuable guide covers such elementary questions and more. It provides a state-of-the-art overview of the theoretical underpinnings of modern probabilistic programming and their applications in machine learning, security, and other domains, at a level suitable for graduate students and non-experts in the field. In addition, the book treats the connection between probabilistic programs and mathematical logic, security (what is the probability that software leaks confidential information?), and presents three programming languages for different applications: Excel tables, program testing, and approximate computing. This title is also available as Open Access on Cambridge Core. Google Data Studio is becoming a go-to tool in the analytics community. All business roles across the industry benefit from foundational knowledge of this now-essential technology, and Google Data Studio for Beginners is here to provide it. Release your locked-up data and turn it into beautiful, actionable, and shareable reports that can be consumed by experts and novices alike.Authors Grant Kemp and Gerry White begin by walking you through the basics, such how to create simple dashboards and interactive visualizations. As you progress through Google Data Studio for Beginners, you will build up the knowledge necessary to blend multiple data sources and create comprehensive marketing dashboards. Some intermediate features such as calculated fields, cleaning up data, and data blending to build powerhouse reports are featured as well. Presenting your data in client-ready, digestible forms is a key factor that many find to be a roadblock, and this book will help strengthen this essential skill in your organization. Centralizing the power from sources such as Google Analytics, online surveys, and a multitude of other popular data management tools puts you as a business leader and analyzer ahead of the rest. Your team as a whole will benefit from Google Data Studio for Beginners, because by using these tools, teams can collaboratively work on data to build their understanding and turn their data into action. Data Studio is quickly solidifying itself as the industry standard, and you don't want to miss this essential guide for excelling in it. What You Will Learn Combine various data sources to create great looking and actionable visualizationsReuse and modify other dashboards that have been created by industry prosUse intermediate features such as calculated fields and data blending to build powerhouse reports Who This Book Is For Users looking to learn Google Analytics, SEO professionals, digital marketers, and other business professionals who want to mine their data into an actionable dashboard. "Google Data Studio is becoming a go-to tool in the analytics community. All business roles across the industry benefit from foundational knowledge of this now-essential technology, and Google Data Studio for Beginners is here to provide it. Release your locked-up data and turn it into beautiful, actionable, and shareable reports that can be consumed by experts and novices alike. Authors Grant Kemp and Gerry White begin by walking you through simple dashboards and interactive visualizations. As you progress through Google Data Studio for Beginners, you gain the knowledge necessary to blend multiple data sources and create comprehensive marketing dashboards. Advanced features such as calculated fields, cleaning up data, and data blending to build powerhouse reports are featured as well. Presenting your data in client-ready, digestible forms is a key factor that many find to be a roadblock, and this book will help strengthen this essential skill in your organization. Centralizing the power from sources such as Google Analytics, online surveys, and a multitude of other popular data management tools puts you as a business leader and analyzer ahead of the rest. Your team as a whole will benefit from Google Data Studio for Beginners, because by using these tools, teams can collaboratively work on data to build their understanding and turn their data into action. Data Studio is quickly solidifying itself as the industry standard, and you don't want to miss this essential guide for excelling in it"--Back cover Cover Half-title Title page Copyright information Contents Contributors Preface 1 Semantics of Probabilistic Programming: A Gentle Introduction 2 Probabilistic Programs as Measures 3 An Application of Computable Distributions to the Semantics of Probabilistic Programs 4 On Probabilistic λ-Calculi 5 Probabilistic Couplings from Program Logics 6 Expected Runtime Analysis by Program Verification 7 Termination Analysis of Probabilistic Programs with Martingales 8 Quantitative Analysis of Programs with Probabilities and Concentration of Measure Inequalities 9 The Logical Essentials of Bayesian Reasoning 10 Quantitative Equational Reasoning 11 Probabilistic Abstract Interpretation: Sound Inference and Application to Privacy 12 Quantitative Information Flow with Monads in Haskell 13 Luck: A Probabilistic Language for Testing 14 Tabular: Probabilistic Inference from the Spreadsheet 15 Programming Unreliable Hardware This book provides an overview of the theoretical underpinnings of modern probabilistic programming and presents applications in e.g., machine learning, security, and approximate computing. Comprehensive survey chapters make the material accessible to graduate students and non-experts. This title is also available as Open Access on Cambridge Core.