Posted on by Jean-François Monestier

Bibliography

A collection of academic works of interest dealing with computing and associated tools.

Classic
2007 Complilers – Principles, Techniques & Tools (2nd edition)
1980 The Case for the Reduced Instruction Set Computer
1950 Computing Machinery and Intelligence
1949 Communication in the Presence of Noise
Parallel Computing
2019 A Survey of Asynchronous Programming Using Coroutines in the Internet of Things and Embedded Systems
2016 Efficiency Modeling and Analysis of 64-bit ARM Clusters for HPC
2014 An FPGA implementation of an investigative many-core processor : Fynbos.
2013 ARTM: A Lightweight Fork-Join Framework for Many-core Embedded Systems
2007 Ordonnancement de processus légers sur architectures multiprocesseurs hiérarchiques
Computer Architecture
2017 In-Datacenter Performance Analysis of a Tensor Processing Unit​TM
2017 SAIL – A language for expressing multiprocessor ISA descriptions ( The Sail instruction-set semantics specification language )
2016 Trustworthy Specifications of ARM© v8-A and v8-M System Level Architecture
2016 The Renewed Case for the Reduced Instruction Set Computer: Avoiding ISA Bloat with Macro-Op Fusion for RISC-V
2015 Branch Prediction and the Performance of Interpreters – Don’t Trust Folklore
2015 Instruction-set Architecture Synthesis for VLIW Processors
2015 Efficient Out-of-Order Execution of Guarded ISAs
2010 The Instruction-Set Extension Problem: A Survey
2007 Functional Principles of Cache Memory
2007 What Every Programmer Should Know About Memory
2004 Reflections on the Memory Wall
2002 Approaches to Addressing the Memory Wall
2001 A Decade of Reconfigurable Computing: a Visionary Retrospective
1996 Beyond RISC – The Post-RISC Architecture
1996 LISA – Machine Description Language and Generic Machine Model for HW/SW Co-Design
1995 Describing Instruction Set Processors Using nML
1994 Speculative Execution and Instruction-Level Parallelism
1992 Instruction-Level Parallel Processing: History, Overview and Perspective
1988 A methodology for automated design of computer instruction sets
1985 REDUCED INSTRUCTION SET COMPUTERS
1984 VLSI Processor Architecture
1982 A VLSI RISC
1980 The Case for the Reduced Instruction Set Computer
1973 Threaded Code
Architecture Description Languages
LISA – Machine Description Language for Cycle Accurate Models of Programmable DSP Architectures
The ARM Scalable Vector Extension
Computer Architecture at the University of Washington
Compilation
2017 Souper: A Synthesizing Superoptimizer
2017 Are Jump Tables Always Fastest?
2016 Runtime Code Polymorphism as a Protection against Side Channel Attacks
2015 Static Single Assignment Book
2015 Superoptimization, a Feasibility Study
2015 Is dynamic compilation possible for embedded system ?
2014 Générateur de code multi-temps et optimisation de code multi-objectifs
2014 deGoal – a tool to embed dynamic code generators into applications
2012 Compilation optimisante pour processeurs extensibles
2012 SSI Properties Revisited
2007 GCC for Embedded VLIW Processors: Why Not?
2004 LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation
1999 Static Single Information Form (also)
1993 Branch Prediction for Free
1983 Bcc: Runtime Checking for C Programs
1971 A Catalogue of Optimizing Transformations
1970 Programming Languages and their Compilers
1963 Design of a Separable Transition-Diagram Compiler
Simulation
2016 QBox: an industrial solution for virtual platform simulation using QEMU and SystemC TLM-2.0 (see also)
2016 rv8: a high performance RISC-V to x86 binary translator
2016 High Speed Cycle-Accurate Processor Simulation Through Ahead of Time Compilation
2016 A Comparison of x86 Computer Architecture Simulators
2014 Contributions à la traduction binaire dynamique : support du parallélisme d’instructions et génération de traducteurs optimisés
2013 ZSim: Fast and Accurate Microarchitectural Simulation of Thousand-Core Systems
2011 System on Chip – Design and Modelling
2011 Cycle-Accurate Performance Modelling in an Ultra-Fast Just-In-Time Dynamic Binary Translation Instruction Set Simulator
2011 Fast Instruction-Accurate Simulation with SimNML
2011 System On Chip modeling with SystemC/TLM
2011 An Overview of Computer Architecture and System Simulation
2010 SimSoC: A full system simulation software for embedded systems
Fast and Accurate Simulation using the LLVM Compiler Framework
2009 A Versatile Generator of Instruction Set Simulators and Disassemblers
2008 Fast Cycle-Approximate Instruction Set Simulation
2008 SimSoC: A SystemC TLM integrated ISS for full system simulation
2008 Generation of Executable Representation for Processor Simulation with Dynamic Translation
2005 Transaction Level Modeling With SystemC
2004 Improvement of compiled instruction set simulator by increasing flexibility and reducing compile time
2003 Instruction Set Compiled Simulation: A Technique for Fast and Flexible Instruction Set Simulation
2002 Effective Support of Simulation in Computer Architecture Instruction
2001? MILAN: A Model Based Integrated Simulation Framework for Design of Embedded Systems
2000 The Design and Use of SimplePower: A Cycle-Accurate Energy Estimation Tool
1997 Generation of Software Tools from Processor Descriptions for Hardware/Software Codesign
1995 Fast Simulation of Computer Architecture
1994 Some Efficient Techniques for Simulating Memory
1994 A Compact Intermediate Format for SIMICS
1994 Simulating Computer Architecture
1993 Shade: A Fast Instruction-Set Simulator for Execution Profiling
1991 Compiled Instruction Set Simulation
1990? Some Efficient Architecture Simulation Techniques
Generation of Hardware Machine Models from Instruction Set Descriptions
1974 Formal Requirements for Virtualizable Third Generation Architectures
Profiling
2017 Instruction Tracing and Application Profiling with QEMU
2013 Evaluation of Profiling Tools for the Acquisition of Time Independent Traces
2012 Performance Analysis Techniques for Multi-Soft-Core and Many-Soft-Core Systems
2011 A SURVEY OF EMBEDDED SOFTWARE PROFILING METHODOLOGIES
2007 Gcov on an embedded system
2002 The Scalasca performance toolset architecture
1997 Continuous Profiling: Where Have All the Cycles Gone?
1994 ATOM: A System for Building Customized Program Analysis Tools
1982 gprof: a Call Graph Execution Profiler
Power Estimate
2017 Methodology and Tools for Energy-aware Task Mapping on Heterogeneous Multiprocessor Architectures
2002 Energy-driven statistical sampling: Detecting software hotspots
2002 Detecting Energy Hot Spots: Experiences with the iPAQ Pocket PC
2001 JouleTrack – A Web Based Tool for Software Energy Profiling
2001 Fast, Flexible, Cycle-Accurate Energy Estimation (see also)
2000 The Design and Use of SimplePower: A Cycle-Accurate Energy Estimation Tool
1999 PowerScope: A Tool for Profiling the Energy Usage of Mobile Applications
1997 ProfileMe: Hardware Support for Instruction-Level Profiling on Out-of-Order Processors
Tracing
2017 Instrumenting, Introspection, and Debugging with QEMU (talk)
2017 Instruction Tracing and Application Profiling with QEMU
2015 Linux Low-Latency Tracing for Multicore Hard Real-Time Systems
2015 Trace Management, Debug, Analysis and Testing Tool for Embedded Systems
2014 Dynamically Instrumenting the QEMU Emulator for Linux Process Trace Generation with the GDB Debugger
2014 Gestion de traces d’exécution pour le systèmes embarqués : contenu et stockage
2013 Trace Management and Analysis for Embedded Systems
2013 Compressing Microcontroller Execution Traces to Assist System Analysis
2013 CoMET: Compressing Microcontroller Execution Traces to Assist System Understanding
2013 Débogage des traces d’exécution des applications multimédia embarquées en utilisant la recherche de motifs périodiques
2013 Bridging the gap between hardware and software tracing
2012 SoC-Trace Infrastructure
2011 De quoi est fait une trace d’exécution ?
2011? Fast Trace Generation of Many-Core Embedded Systems with Native Simulation
2010 SUMMARIZING EMBEDDED EXECUTION TRACES THROUGH A COMPACT VIEW
2006 Introducing the Open Trace Format (OTF)
2003 Pajé trace file format
1989 Redux: A Dynamic Data Flow Tracer
Application
2013 ARTM: A Lightweight Fork-Join Framework for Many-core Embedded Systems
2012 An Efficient Multi-Core SIMD Implementation for H.264/AVC Encoder
1992 Foundations for the Study of Software Architecture
Operating Systems
2009 The Multikernel: A new OS architecture for scalable multicore systems
2008 Embracing diversity in the Barrelfish manycore operating system
2004 Real-Time Operating Systems
Verification
2009 Testing CPU emulators
Computer Vision
2008 Visual SLAM