Tools and Algorithms for the Construction and Analysis of Systems

This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The total of 41 full papers presented in the proceedings was carefully reviewed and selected from 141 submissions. The volume also contains 7 tool papers; 6 Tool Demo papers, 9 SV-Comp Competition Papers. The papers are organized in topical sections as follows: Part I: Game Theory; SMT Verification; Probabilities; Timed Systems; Neural Networks; Analysis of Network Communication. Part II: Verification Techniques (not SMT); Case Studies; Proof Generation/Validation; Tool Papers; Tool Demo Papers; SV-Comp Tool Competition Papers

Crafting life : a sensory ethnography of fabricated biologies

Thesis (Ph. D. in History, Anthropology, and Science, Technology and Society (HASTS))--Massachusetts Institute of Technology, Program in Science, Technology and Society, 2010.Cataloged from PDF version of thesis.Includes bibliographical references (p. 297-326).This ethnography tracks a diverse set of practices I term "constructive biologies," by which I mean efforts in the post-genomic life sciences to understand how biology works by making new biological things. I examine five fields of constructive biology - synthetic biology, DIY (do-it-yourself) biology, hyperbolic crochet, sonocytology, and molecular gastronomy - investigating how they are enmeshed in sensory engagements that employ craftwork as a means of grasping biology. Synthetic biology is a community of bioengineers who aim to fabricate standardized biological systems using genetic components and manufacturing principles borrowed from engineering. DIY biology is a community of "biohackers" who appropriate synthetic biologists' terminologies, standards, and commitment to freely exchanging biomaterials in order to do hobbyist biological engineering in their homes. The Hyperbolic Crochet Coral Reef is a distributed venture of thousands of women who are cooperatively fabricating a series of yarn and plastic coral reefs in order to build a material simulation of oceanic morphologies and evolutionary theories. Sonocytology, a technique in nanotechnology research, uses scanning probe microscopes to "listen to" cellular vibrations and "feel" the topologies of cells and cellular components. Molecular gastronomy is a movement in which practitioners - physical chemists and biochemists who study food, and chefs who apply their results - use biochemical principles and laboratory apparatuses to further cooking and the culinary arts. In analyzing these fields, I draw on histories of experimental biology, anthropological accounts of artisanship, science studies work on embodiment and tacit knowledge in scientific practice, and sensory ethnography. Based on data gathered from participant-observation and interviewing, I argue for thinking about making new biological things as a form of "crafting," an analytic that illuminates five aspects of contemporary biological manufacture: 1) sensory cultivation, 2) ongoing participation with biological media and forms, 3) the integration of making biological things and practitioners' selfmaking, 4) the embedding of social relations, interests, norms, and modes of exchange in built artifacts, and 5) the combination of making and knowing. In this study, I argue that both biology the substance and biology the discipline are currently being remade, and that increasingly, life scientists apprehend "life" through its manufacture.by Hannah Sophia Roosth.Ph.D.in History, Anthropology, and Science, Technology and Society (HAST

Tools and Algorithms for the Construction and Analysis of Systems

This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 46 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 159 submissions. The proceedings also contain 16 tool papers of the affiliated competition SV-Comp and 1 paper consisting of the competition report. TACAS is a forum for researchers, developers, and users interested in rigorously based tools and algorithms for the construction and analysis of systems. The conference aims to bridge the gaps between different communities with this common interest and to support them in their quest to improve the utility, reliability, exibility, and efficiency of tools and algorithms for building computer-controlled systems

Tools and Algorithms for the Construction and Analysis of Systems

This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 46 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 159 submissions. The proceedings also contain 16 tool papers of the affiliated competition SV-Comp and 1 paper consisting of the competition report. TACAS is a forum for researchers, developers, and users interested in rigorously based tools and algorithms for the construction and analysis of systems. The conference aims to bridge the gaps between different communities with this common interest and to support them in their quest to improve the utility, reliability, exibility, and efficiency of tools and algorithms for building computer-controlled systems

Programming Languages and Systems

This open access book constitutes the proceedings of the 29th European Symposium on Programming, ESOP 2020, which was planned to take place in Dublin, Ireland, in April 2020, as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The actual ETAPS 2020 meeting was postponed due to the Corona pandemic. The papers deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems