This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
drheap
Something being written that these references are for: a paper, a thesis, a course.
Everything the drheap.org site cites, across all five courses and the articles, so it spans semiconductor physics, separation logic, network protocols and safety-critical failure alike. Membership means some page cites the work, not that the works have a subject in common.
121 references
The Insane Complexity of the Semiconductor Global Supply Chain
Micro (2026) · YouTube · video
Architecture: The QNX Hypervisor
QNX Software Systems (2026)
Commentary: AI psychosis is not a new threat: Lessons from media-induced delusions
Per Carlbring and others (2025) · Internet Interventions
Rage Against the Muskine: Digital Luddism as Collective Action to Democratise Tech
Raffaele Ciriello and others (2025) · Americas Conference on Information Systems (AMCIS 2025), Montreal, Canada
Introduction to MOSFETs (25-Transistors)
Aaron Danner (2025) · YouTube · video
GateMate: A European 28nm FPGA with an Open-Source Toolchain and Radiation Qualification Results
FPGA Developers' Forum (2025) · YouTube · video
Ab-initio Quantum Transport with the GW Approximation, 42,240 Atoms, and Sustained Exascale Performance
Nicolas Vetsch and others (2025) · Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis (SC '25) · Association for Computing Machinery
Rising Cognitive Disability as a Public Health Concern Among US Adults: Trends From the Behavioral Risk Factor Surveillance System, 2013–2023
Ka-Ho Wong and others (2025) · Neurology
Terabits without fibres
Zhenyu Xie and others (2025) · Light: Science & Applications · Springer
Design your own Computer Chip in 5 steps!
Zero To ASIC Course (2025) · YouTube · video
Why Wafer Bonding is the Future of Semiconductors
Asianometry (2024) · YouTube · video
Computational lithography: Driving nanometer precision in microchip manufacturing
ASML (2024) · YouTube · video
Digital domination: Social media and contestatory democracy
Ugur Aytac (2024) · Political Studies
Formal Methods in Industry
Maurice H. ter Beek and others (2024) · Formal Aspects of Computing · Association for Computing Machinery
New Foundations for Separation Logic
Hans-Dieter A. Hiep (2024)
Brandon's Semiconductor Simulator
Brandon Li (2024)
Terabit Networks Become Reality
Unattributed (2024) · Photonics Media
Doping: The Most Important Part of Making Semiconductors
ProjectsInFlight (2024) · YouTube · video
Open Source Analog ASIC Design: Entire Process
Psychogenic Technologies (2024) · YouTube · video
The Tech Coup: How to Save Democracy from Silicon Valley
Marietje Schaake (2024) · Princeton University Press
Speedrunning 30yrs of lithography technology
Breaking Taps (2024) · YouTube · video
How To Make A Chip
Applied Materials (2023) · YouTube · video
Imaging at ASML
Huygens Optics (2023) · YouTube · video
A formal analysis of Dutch Generic Integral Tunnel Design models
Kevin Jilissen and others (2023) · Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing · Association for Computing Machinery
Mitigating and responding to cognitive warfare
Yvonne R. Masakowski and others (2023) · NATO Science and Technology Organization
Collatz conjecture becomes theorem
Grażyna Mirkowska and others (2023) · arXiv
3 Steps to Calculate Total Enterprise IT Energy Consumption Using DCIM
Robert Moore and others (2023) · Schneider Electric Energy Management Research Center
An Introduction to String Diagrams for Computer Scientists
Robin Piedeleu and others (2023) · arXiv
An Early Future of the Internet
Jens Schröter (2023) · Tech Imaginations · universi — Universitätsverlag Siegen
Leveraging Layout-based Effects for Locking Analog ICs
Muayad J. Aljafar and others (2022) · Proceedings of the 2022 Workshop on Attacks and Solutions in Hardware Security (ASHES '22) · Association for Computing Machinery
SoK: Design Tools for Side-Channel-Aware Implementations
Ileana Buhan and others (2022) · Proceedings of the 2022 ACM on Asia Conference on Computer and Communications Security
Ambiguous Self-Induced Disinformation (ASID) Attacks: Weaponizing a Cognitive Deficiency
Matthew Canham and others (2022) · Journal of Information Warfare
Watermarked ReRAM: A Technique to Prevent Counterfeit Memory Chips
Farah Ferdaus and others (2022) · Proceedings of the Great Lakes Symposium on VLSI 2022
Securing On-chip Interconnect against Delay Trojan using Dynamic Adaptive Caging
Ruchika Gupta and others (2022) · Proceedings of the Great Lakes Symposium on VLSI 2022
A Charge Domain P-8T SRAM Compute-In-Memory with Low-Cost DAC/ADC Operation for 4-bit Input Processing
Joonhyung Kim and others (2022) · Proceedings of the ACM/IEEE International Symposium on Low Power Electronics and Design · Association for Computing Machinery
RevaMp3D: Architecting the Processor Core and Cache Hierarchy for Systems with Monolithically-Integrated Logic and Memory
Nika Mansouri Ghiasi and others (2022)
On Deductive Verification of an Industrial Concurrent Software Component with VerCors
Raúl E. Monti and others (2022) · Leveraging Applications of Formal Methods, Verification and Validation · Springer
Evolutionary Standard Cell Synthesis of Unconventional Designs
Prashanth H. C. and others (2022) · Proceedings of the Great Lakes Symposium on VLSI 2022
How Carl Zeiss Crafts Optics for a $150 Million EUV Machine
Asianometry (2021) · YouTube · video
A Complete Axiomatisation for Quantifier-Free Separation Logic
Stéphane Demri and others (2021) · Logical Methods in Computer Science · Logical Methods in Computer Science e.V.
Logic Gates, Circuits, Processors, Compilers and Computers
Jan Friso Groote and others (2021) · Springer
The semantics of shared memory in Intel CPU/FPGA systems
Dan Iorga and others (2021) · Proceedings of the ACM on Programming Languages · Association for Computing Machinery
Solar superstorms: planning for an internet apocalypse
Sangeetha Abdu Jyothi (2021) · Proceedings of the 2021 ACM SIGCOMM 2021 Conference
A Composable Glitch-Aware Delay Model
Jürgen Maier and others (2021) · Proceedings of the Great Lakes Symposium on VLSI 2021 · Association for Computing Machinery
Top-down Physical Design of Soft Embedded FPGA Fabrics
Prashanth Mohan and others (2021) · Proceedings of the 2021 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays (FPGA '21) · Association for Computing Machinery
Global Is the New Local: FPGA Architecture at 5nm and Beyond
Stefan Nikolić and others (2021) · Proceedings of the 2021 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays (FPGA '21) · Association for Computing Machinery
NetCracker: A Peek into the Routing Architecture of Xilinx 7-Series FPGAs
Morten B. Petersen and others (2021) · The 2021 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays · Association for Computing Machinery
PSP 103.8.1 User's Manual
G. D. J. Smit and others (2021) · NXP Semiconductors and CEA-Leti
How to Write ARM Assembly Language for the Raspberry Pi Pico
Low Level (2021) · YouTube · video
Evaluation of Planar MOSFET, FinFET and GAAFET in VLSI
VLSI Simplified (2021) · YouTube · video
A Simplified Arm Processor for VLSI Education
Noah Boorstin and others (2020) · Proceedings of the Great Lakes Symposium on VLSI 2020 · Association for Computing Machinery
Flow-Data Gathering Using NetFlow Sensors for Fitting Malicious-Traffic Detection Models
Adrián Campazas-Vega and others (2020) · Sensors · Multidisciplinary Digital Publishing Institute
On the Industrial Application of Critical Software Verification with VerCors
Marieke Huisman and others (2020) · Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2020) · Springer International Publishing
Towards Deeply Scaled 3D MPSoCs with Integrated Flow Cell Array Technology
Halima Najibi and others (2020) · Proceedings of the Great Lakes Symposium on VLSI 2020 · Association for Computing Machinery
Accessible Real-Time Surveillance Radar System for Object Detection
Seongha Park and others (2020) · Sensors · MDPI
VLSI -- Lecture 1b: Introduction -- The World of Chip Design
Adi Teman (2020) · YouTube · video
VLSI -- Lecture 3e: MOSFET Modeling -- Leakages in NanoScaled Transistors
Adi Teman (2020) · YouTube · video
Fifty years of Hoare's logic
Krzysztof R. Apt and others (2019) · Formal Aspects of Computing
DIY Photolithography using 1980s Carl Zeiss S-Planar Lens (405nm)
Huygens Optics (2019) · YouTube · video
Designing an Internet
David D. Clark (2018) · MIT Press
Iris from the ground up: A modular foundation for higher-order concurrent separation logic
Ralf Jung and others (2018) · Journal of Functional Programming · Cambridge University Press
Next Generation Internet 2025
Michiel Leenaars and others (2018) · European Commission, Directorate-General of Communications Networks, Content & Technology, Publications Office of the European Union · European Commission, Directorate-General for Communications Networks, Content and Technology
A research on social media addiction and dopamine driven feedback
Hüseyin Bilal Macit and others (2018) · Journal of Mehmet Akif Ersoy University Economics and Administrative Sciences Faculty
Information Theory: A Tutorial Introduction
James V. Stone (2018) · arXiv
Understanding Internet shutdowns: A case study from Pakistan
Ben Wagner (2018) · International Journal of Communication
On the Power of Optical Contactless Probing: Attacking Bitstream Encryption of FPGAs
Shahin Tajik and others (2017) · Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security (CCS '17) · Association for Computing Machinery
From Control to Influence: Cognition in the Grey Zone
Nicholas D. Wright (2017) · Strategic Multilayer Assessment Group, Pentagon Joint Staff
Botornot: A system to evaluate social bots
Clayton Allen Davis and others (2016) · 25th International Conference Companion on World Wide Web · Association for Computing Machinery
A Decision Procedure for Separation Logic in SMT
Andrew Reynolds and others (2016) · Automated Technology for Verification and Analysis · Springer
The Physics of Forgetting: Thermodynamics of Information at IBM 1959–1982
Aaron Sidney Wright (2016) · Perspectives on Science · MIT Press
Thermodynamics of information
Juan M. R. Parrondo and others (2015) · Nature Physics · Nature Portfolio
Past and future of hardware and architecture
David A. Patterson (2015) · Proceedings of the SOSP History Day 2015 · Association for Computing Machinery
PROPs for Linear Systems
Simon Wadsley and others (2015) · arXiv
Experimental evidence of massive-scale emotional contagion through social networks
Adam D. I. Kramer and others (2014) · Proceedings of the National Academy of Sciences · National Academy of Sciences
Risk and Harm on the Internet
Sonia Livingstone (2014) · Media and the Well-Being of Children and Adolescents · Oxford University Press
Editorial Expression of Concern: Experimental Evidence of Massive-Scale Emotional Contagion through Social Networks
Inder M. Verma (2014) · Proceedings of the National Academy of Sciences · National Academy of Sciences
The history of the internet: the missing narratives
Martin Campbell-Kelly and others (2013) · Journal of Information Technology · SAGE Publications
On Unsettleable Arithmetical Problems
John H. Conway (2013) · The American Mathematical Monthly · Informa UK Limited
MOSFET: Basics, Characteristics, and Characterization
S. Kar (2013) · High Permittivity Gate Dielectric Materials · Springer
Structured Computer Organization
Andrew S. Tanenbaum and others (2013) · Pearson
Some Trends in Formal Methods Applications to Railway Signaling
Alessandro Fantechi and others (2012) · Formal Methods for Industrial Critical Systems · Wiley
Thermodynamics of Information Processing in Small Systems
Takahiro Sagawa (2012) · Progress of Theoretical Physics · Oxford University Press
Formal Verification of Critical Aerospace Software
Virginie Wiels and others (2012) · Aerospace Lab
The role of optics in future high radix switch design
Nathan Binkert and others (2011) · Proceedings of the 38th Annual International Symposium on Computer Architecture (ISCA '11) · Association for Computing Machinery
Geometry of Synthesis IV: Compiling Affine Recursion into Static Hardware
Dan R. Ghica and others (2011) · Proceedings of the 16th ACM SIGPLAN International Conference on Functional Programming (ICFP '11) · Association for Computing Machinery
Entropy and Information Theory
Robert M. Gray (2011) · Springer US
Hacking away at the Internet's Security
Geoff Huston (2011) · The ISP Column · Asia Pacific Network Information Centre
Algorithmic Puzzles
Anany Levitin and others (2011) · Oxford University Press
Hybrid Logic and its Proof-Theory
Torben Braüner (2010) · Springer
Losing Control of the Internet: Using the Data Plane to Attack the Control Plane
Max Schuchard and others (2010) · Proceedings of the 17th ACM conference on Computer and communications security
Networking Self-Teaching Guide: OSI, TCP/IP, LAN's, MAN's, WAN's, Implementation, Management, and Maintenance
James Edwards and others (2009) · Wiley
seL4: Formal Verification of an OS Kernel
Gerwin Klein and others (2009) · Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles · Association for Computing Machinery
Software Verification and System Assurance
John Rushby (2009) · 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods · IEEE
A Theory of Hygienic Macros
David Herman and others (2008) · 17th European Symposium on Programming (ESOP) · Springer
A 30 Year Retrospective on Dennard's MOSFET Scaling Paper
M. Bohr (2007) · IEEE Solid-State Circuits Society Newsletter · IEEE
Local Action and Abstract Separation Logic
Cristiano Calcagno and others (2007) · 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007) · IEEE
Just-in-Time Certification
John Rushby (2007) · 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007)
Synthesis of Mealy Machines Using Derivatives
Helle Hvid Hansen and others (2006) · Electronic Notes in Theoretical Computer Science · Elsevier
Sensor Networks: Evolution, Opportunities, and Challenges
Chee-Yee Chong and others (2003) · Proceedings of the IEEE
The Internet as a Self-Organizing Socio-Technological System
Christian Fuchs (2003) · Human Strategies in Complexity Research Paper
The Internet Under Crisis Conditions: Learning from September 11
National Research Council (2003) · The National Academies Press
Separation logic: a logic for shared mutable data structures
John C. Reynolds (2002) · Proceedings 17th Annual IEEE Symposium on Logic in Computer Science · IEEE
Advanced Semiconductor Memories: Architectures, Designs, and Applications
Ashok K. Sharma (2002) · Wiley-IEEE Press
War.com: The internet and psychological operations
Angela M. Lungu (2001) · Naval War College
Some results on the Collatz problem
Ștefan Andrei and others (2000) · Acta Informatica
Partitioning in avionics architectures: Requirements, mechanisms, and assurance
John Rushby (1999) · NASA Langley Research Center
About the Collatz conjecture
Ștefan Andrei and others (1998) · Acta Informatica
Real-time Nuclear Power Plant Monitoring with Neural Network
Kunihiko Nabeshima and others (1998) · Journal of Nuclear Science and Technology · Taylor & Francis
Transforming a Single-Valued Transducer Into a Mealy Machine
Andreas Weber (1998) · Journal of Computer and System Sciences · Academic Press
The World-Wide Web
Tim Berners-Lee and others (1994) · Communications of the ACM · Association for Computing Machinery
Real-Time Computing: A New Discipline of Computer Science and Engineering
Kang G. Shin and others (1994) · Proceedings of the IEEE
MOSFET Models for VLSI Circuit Simulation: Theory and Practice
Narain D. Arora (1993) · Springer
Formal Methods and the Certification of Critical Systems
John Rushby (1993) · SRI International, Computer Science Laboratory
The design philosophy of the DARPA internet protocols
David D. Clark (1988) · ACM SIGCOMM Computer Communication Review · Association for Computing Machinery
The Byzantine Generals Problem
Leslie Lamport and others (1982) · ACM Transactions on Programming Languages and Systems · Association for Computing Machinery
The Belmont Report: Ethical Principles and Guidelines for the Protection of Human Subjects of Research
National Commission for the Protection of Human Subjects of Biomedical and Behavioral Research (1978) · U.S. Department of Health, Education, and Welfare
Logical analysis of systems comprising feedback loops
René Thomas (1978) · Journal of Theoretical Biology · Elsevier
A deeper look at data
Ned Chapin (1968) · Proceedings of the 1968 23rd ACM National Conference · Association for Computing Machinery
Man-computer symbiosis
J. C. R. Licklider (1960) · IRE Transactions on Human Factors in Electronics
Word and Object
Willard Van Orman Quine (1960) · MIT Press
The role of computers in air defense
W. H. Tetley (1958) · Papers and discussions presented at the December 3-5, 1958, eastern joint computer conference: Modern computers: objectives, designs, applications · ACM Press