Authors: Principal Research Authors • Computer Physics Communications
Evidence Takeaway: Peer-reviewed primary research establishing mechanism.
Authors: Principal Research Authors • Journal of High Energy Physics
Evidence Takeaway: M ad G raph 5 is the new version of the M ad G raph matrix element generator, written in the Python programming language. It implements a number of new, efficient algorithms that provide improved performance and functionality in all aspects...
2000Globally Validated & Replicated
Authors: Krzysztof Czarnecki & Ulrich W. Eisenecker • Peer-Reviewed Venue
Evidence Takeaway: 1. What Is This Book About? From Handcrafting to Automated Assembly Lines. Generative Programming. Benefits and Applicability. I. ANALYSIS AND DESIGN METHODS AND TECHNIQUES. 2. Domain Engineering. Why Is This Chapter Worth Reading? What Is ...
Causal Mechanisms:⚙️ empirical-validation⚙️ kinetic-characterization
Authors: Principal Research Authors • Theory of Probability and Its Applications
Evidence Takeaway: Previous article Next article Non-Parametric Estimation of a Multivariate Probability DensityV. A. EpanechnikovV. A. Epanechnikovhttps://doi.org/10.1137/1114019PDFBibTexSections ToolsAdd to favoritesExport CitationTrack CitationsEmail Secti...
Authors: Principal Research Authors • Peer-Reviewed Proceedings
Evidence Takeaway: List of Figures. List of Tables. List of Procedures. Foreword. Preface. Acknowledgments. I. PRELIMINARIES. 1. A Small Challenge. 2. How to Use This Book. Reader Guidance. Conventions. FAQs for Object-oriented Testing. Test Process. 3. Testi...
Authors: Principal Research Authors • Choice Reviews Online
Evidence Takeaway: Abstract The of a software system refers to its highest-level modular decomposition and the interrelationship patterns between its modules. An architecture serves as a blueprint for implementation and also as the chief determinant of a syst...
Authors: Principal Research Authors • Peer-Reviewed Proceedings
Evidence Takeaway: Preface.Acknowledgments.1. Introduction.Multiple Voices: The Word from China.1.1 Introduction.1.2 Bilinguals and their languages.1.3 Views about bilinguals.1.4 Learning a second language.1.5 Where did bilingualism come from?.1.6 Linguists: ...
Authors: Principal Research Authors • Journal of Mechanical Design
Evidence Takeaway: Functional models represent a form independent blueprint of a product. As with any blueprint or schematic, a consistent language or coding system is required to ensure others can read it. This paper introduces such a design language, called...
Authors: Principal Research Authors • Peer-Reviewed Proceedings
Evidence Takeaway: Most language descriptions are prefaced by a brief and perfunctory statement concerning the number and location of its speakers and something of their history. Rarely does such a description really tell the reader what he ought to know abou...
Authors: Principal Research Authors • IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Evidence Takeaway: Escalating system-on-chip design complexity is pushing the design community to raise the level of abstraction beyond register transfer level. Despite the unsuccessful adoptions of early generations of commercial high-level synthesis (HLS) s...
2023Independently Replicated
Authors: Chunqiu Steven Xia, Yuxiang Wei, & Lingming Zhang • ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)
Evidence Takeaway: Automated Program Repair (APR) aims to help developers automatically patch software bugs. However, current state-of-the-art traditional and learning-based APR techniques face the problem of limited patch variety, failing to fix complicated ...
Causal Mechanisms:⚙️ empirical-validation⚙️ kinetic-characterization
2023Independently Replicated
Authors: Jiawei Liu, Chunqiu Steven Xia, Yuyao Wang et al. • neural information processing systems
Evidence Takeaway: Program synthesis has been long studied with recent approaches focused on directly using the power of Large Language Models (LLMs) to generate code. Programming benchmarks, with curated synthesis problems and test-cases, are used to measure...
Causal Mechanisms:⚙️ empirical-validation⚙️ kinetic-characterization
2023Independently Replicated
Authors: Yinlin Deng, Chunqiu Steven Xia, Haoran Peng et al. • ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)
Evidence Takeaway: Deep Learning (DL) systems have received exponential growth in popularity and have become ubiquitous in our everyday life. Such systems are built on top of popular DL libraries, e.g., TensorFlow and PyTorch which provide APIs as building bl...
Causal Mechanisms:⚙️ empirical-validation⚙️ kinetic-characterization
2003Independently Replicated
Authors: Randima Fernando & Mark J. Kilgard • CERN Document Server (European Organization for Nuclear Research)
Evidence Takeaway: From the Book:
Once upon a time, real-time computer graphics was all about vertices, triangles, and pixels. In fact, it still is. However, the level at which a programmer controls the processing and appearance of these graphics primitive...
Causal Mechanisms:⚙️ empirical-validation⚙️ kinetic-characterization
Authors: Giancarlo Guizzardi, Gerd Wagner, João Paulo Andrade Almeida et al. • Applied Ontology
Evidence Takeaway: This paper describes a long-term research program on developing ontological foundations for conceptual modeling. This program, organized around the theoretical background of the foundational ontology UFO (Unified Foundational Ontology), aim...
Causal Mechanisms:⚙️ empirical-validation⚙️ kinetic-characterization
Authors: Chunqiu Steven Xia & Lingming Zhang • ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)
Evidence Takeaway: Automated Program Repair (APR) aims to automatically generate patches for buggy programs. Traditional APR techniques suffer from a lack of patch variety as they rely heavily on handcrafted or mined bug fixing patterns and cannot easily gene...
Causal Mechanisms:⚙️ empirical-validation⚙️ kinetic-characterization
Authors: Sungmin Kang, Juyeon Yoon, & Shin Yoo • ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)
Evidence Takeaway: Many automated test generation techniques have been developed to aid developers with writing tests. To facilitate full automation, most existing techniques aim to either increase coverage, or generate exploratory inputs. However, existing t...
Causal Mechanisms:⚙️ empirical-validation⚙️ kinetic-characterization
Authors: Zhiyu Li, Shuai Lu, Daya Guo et al. • ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)
Evidence Takeaway: Code review is an essential part to software development lifecycle since it aims at guaranteeing the quality of codes. Modern code review activities necessitate developers viewing, understanding and even running the programs to assess logic...
Causal Mechanisms:⚙️ empirical-validation⚙️ kinetic-characterization
Authors: Shailja Thakur, Baleegh Ahmad, Zhenxing Fan et al. • Design, Automation, and Test in Europe
Evidence Takeaway: Automating hardware design could obviate a signif-icant amount of human error from the engineering process and lead to fewer errors. Verilog is a popular hardware description language to model and design digital systems, thus generating Ver...
Causal Mechanisms:⚙️ empirical-validation⚙️ kinetic-characterization