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.
95 references
Commentary: AI psychosis is not a new threat: Lessons from media-induced delusions
Per Carlbring et al. (2025) · Internet Interventions
Rage Against the Muskine: Digital Luddism as Collective Action to Democratise Tech
Raffaele Ciriello et al. (2025) · Americas Conference on Information Systems (AMCIS 2025), Montreal, Canada
Ab-initio Quantum Transport with the GW Approximation, 42,240 Atoms, and Sustained Exascale Performance
Nicolas Vetsch et al. (2025) · Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis (SC '25)
Rising Cognitive Disability as a Public Health Concern Among US Adults: Trends From the Behavioral Risk Factor Surveillance System, 2013–2023
Ka-Ho Wong et al. (2025) · Neurology
Terabits without fibres
Zhenyu Xie et al. (2025) · Light: Science & Applications
Digital domination: Social media and contestatory democracy
Ugur Aytac (2024) · Political Studies
Formal Methods in Industry
Maurice H. ter Beek et al. (2024) · Formal Aspects of Computing
New Foundations for Separation Logic
Hans-Dieter A. Hiep (2024)
The Tech Coup: How to Save Democracy from Silicon Valley
Marietje Schaake (2024)
A formal analysis of Dutch Generic Integral Tunnel Design models
Kevin Jilissen et al. (2023) · Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing
Mitigating and responding to cognitive warfare
Yvonne R. Masakowski et al. (2023)
Collatz conjecture becomes theorem
Grażyna Mirkowska et al. (2023)
An Introduction to String Diagrams for Computer Scientists
Robin Piedeleu et al. (2023)
An Early Future of the Internet
Jens Schröter (2023) · Tech Imaginations
Leveraging Layout-based Effects for Locking Analog ICs
Muayad J. Aljafar et al. (2022) · Proceedings of the 2022 Workshop on Attacks and Solutions in Hardware Security (ASHES '22)
SoK: Design Tools for Side-Channel-Aware Implementations
Ileana Buhan et al. (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 et al. (2022) · Journal of Information Warfare
Watermarked ReRAM: A Technique to Prevent Counterfeit Memory Chips
Farah Ferdaus et al. (2022) · Proceedings of the Great Lakes Symposium on VLSI 2022
Securing On-chip Interconnect against Delay Trojan using Dynamic Adaptive Caging
Ruchika Gupta et al. (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 et al. (2022) · Proceedings of the ACM/IEEE International Symposium on Low Power Electronics and Design
RevaMp3D: Architecting the Processor Core and Cache Hierarchy for Systems with Monolithically-Integrated Logic and Memory
Nika Mansouri Ghiasi et al. (2022)
On Deductive Verification of an Industrial Concurrent Software Component with VerCors
Raúl E. Monti et al. (2022) · Leveraging Applications of Formal Methods, Verification and Validation
Evolutionary Standard Cell Synthesis of Unconventional Designs
Prashanth H. C. et al. (2022) · Proceedings of the Great Lakes Symposium on VLSI 2022
A Complete Axiomatisation for Quantifier-Free Separation Logic
Stéphane Demri et al. (2021) · Logical Methods in Computer Science
Logic Gates, Circuits, Processors, Compilers and Computers
Jan Friso Groote et al. (2021)
The semantics of shared memory in Intel CPU/FPGA systems
Dan Iorga et al. (2021) · Proceedings of the ACM on Programming Languages
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 et al. (2021) · Proceedings of the Great Lakes Symposium on VLSI 2021
Top-down Physical Design of Soft Embedded FPGA Fabrics
Prashanth Mohan et al. (2021) · Proceedings of the 2021 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays (FPGA '21)
NetCracker: A Peek into the Routing Architecture of Xilinx 7-Series FPGAs
Morten B. Petersen et al. (2021) · The 2021 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays
A Simplified Arm Processor for VLSI Education
Noah Boorstin et al. (2020) · Proceedings of the Great Lakes Symposium on VLSI 2020
Flow-Data Gathering Using NetFlow Sensors for Fitting Malicious-Traffic Detection Models
Adrián Campazas-Vega et al. (2020) · Sensors
Towards Deeply Scaled 3D MPSoCs with Integrated Flow Cell Array Technology
Halima Najibi et al. (2020) · Proceedings of the Great Lakes Symposium on VLSI 2020
Accessible Real-Time Surveillance Radar System for Object Detection
Seongha Park et al. (2020) · Sensors
Fifty years of Hoare's logic
Krzysztof R. Apt et al. (2019) · Formal Aspects of Computing
Designing an Internet
David D. Clark (2018)
Iris from the ground up: A modular foundation for higher-order concurrent separation logic
Ralf Jung et al. (2018) · Journal of Functional Programming
Next Generation Internet 2025
Michiel Leenaars et al. (2018) · European Commission, Directorate-General of Communications Networks, Content & Technology, Publications Office of the European Union
A research on social media addiction and dopamine driven feedback
Hüseyin Bilal Macit et al. (2018) · Journal of Mehmet Akif Ersoy University Economics and Administrative Sciences Faculty
Information Theory: A Tutorial Introduction
James V. Stone (2018)
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 et al. (2017) · Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security (CCS '17)
From Control to Influence: Cognition in the Grey Zone
Nicholas D. Wright (2017)
Botornot: A system to evaluate social bots
Clayton Allen Davis et al. (2016) · 25th International Conference Companion on World Wide Web
A Decision Procedure for Separation Logic in SMT
Andrew Reynolds et al. (2016) · Automated Technology for Verification and Analysis
The Physics of Forgetting: Thermodynamics of Information at IBM 1959–1982
Aaron Sidney Wright (2016) · Perspectives on Science
Thermodynamics of information
Juan M. R. Parrondo et al. (2015) · Nature Physics
Past and future of hardware and architecture
David A. Patterson (2015) · Proceedings of the SOSP History Day 2015
PROPs for Linear Systems
Simon Wadsley et al. (2015)
Experimental evidence of massive-scale emotional contagion through social networks
Adam D. I. Kramer et al. (2014) · Proceedings of the National Academy of Sciences
Risk and Harm on the Internet
Sonia Livingstone (2014) · Media and the Well-Being of Children and Adolescents
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
The history of the internet: the missing narratives
Martin Campbell-Kelly et al. (2013) · Journal of Information Technology
On Unsettleable Arithmetical Problems
John H. Conway (2013) · The American Mathematical Monthly
MOSFET: Basics, Characteristics, and Characterization
S. Kar (2013) · High Permittivity Gate Dielectric Materials
Some Trends in Formal Methods Applications to Railway Signaling
Alessandro Fantechi et al. (2012) · Formal Methods for Industrial Critical Systems
Thermodynamics of Information Processing in Small Systems
Takahiro Sagawa (2012) · Progress of Theoretical Physics
Formal Verification of Critical Aerospace Software
Virginie Wiels et al. (2012) · Aerospace Lab
The role of optics in future high radix switch design
Nathan Binkert et al. (2011) · Proceedings of the 38th Annual International Symposium on Computer Architecture (ISCA '11)
Geometry of Synthesis IV: Compiling Affine Recursion into Static Hardware
Dan R. Ghica et al. (2011) · Proceedings of the 16th ACM SIGPLAN International Conference on Functional Programming (ICFP '11)
Entropy and Information Theory
Robert M. Gray (2011)
Hacking away at the Internet's Security
Geoff Huston (2011) · The ISP Column
Algorithmic Puzzles
Anany Levitin et al. (2011)
Hybrid Logic and its Proof-Theory
Torben Braüner (2010)
Losing Control of the Internet: Using the Data Plane to Attack the Control Plane
Max Schuchard et al. (2010) · Proceedings of the 17th ACM conference on Computer and communications security
seL4: Formal Verification of an OS Kernel
Gerwin Klein et al. (2009) · Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles
Software Verification and System Assurance
John Rushby (2009) · 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods
A Theory of Hygienic Macros
David Herman et al. (2008) · 17th European Symposium on Programming (ESOP)
A 30 Year Retrospective on Dennard's MOSFET Scaling Paper
M. Bohr (2007) · IEEE Solid-State Circuits Society Newsletter
Local Action and Abstract Separation Logic
Cristiano Calcagno et al. (2007) · 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007)
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 et al. (2006) · Electronic Notes in Theoretical Computer Science
Sensor Networks: Evolution, Opportunities, and Challenges
Chee-Yee Chong et al. (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)
Separation logic: a logic for shared mutable data structures
John C. Reynolds (2002) · Proceedings 17th Annual IEEE Symposium on Logic in Computer Science
Advanced Semiconductor Memories: Architectures, Designs, and Applications
Ashok K. Sharma (2002)
War.com: The internet and psychological operations
Angela M. Lungu (2001)
Some results on the Collatz problem
Ștefan Andrei et al. (2000) · Acta Informatica
About the Collatz conjecture
Ștefan Andrei et al. (1998) · Acta Informatica
Real-time Nuclear Power Plant Monitoring with Neural Network
Kunihiko Nabeshima et al. (1998) · Journal of Nuclear Science and Technology
Transforming a Single-Valued Transducer Into a Mealy Machine
Andreas Weber (1998) · Journal of Computer and System Sciences
The World-Wide Web
Tim Berners-Lee et al. (1994) · Communications of the ACM
Real-Time Computing: A New Discipline of Computer Science and Engineering
Kang G. Shin et al. (1994) · Proceedings of the IEEE
MOSFET Models for VLSI Circuit Simulation: Theory and Practice
Narain D. Arora (1993)
Formal Methods and the Certification of Critical Systems
John Rushby (1993)
The design philosophy of the DARPA internet protocols
David D. Clark (1988) · ACM SIGCOMM Computer Communication Review
The Byzantine Generals Problem
Leslie Lamport et al. (1982) · ACM Transactions on Programming Languages and Systems
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)
Logical analysis of systems comprising feedback loops
René Thomas (1978) · Journal of Theoretical Biology
A deeper look at data
Ned Chapin (1968) · Proceedings of the 1968 23rd ACM National Conference
Man-computer symbiosis
J. C. R. Licklider (1960) · IRE Transactions on Human Factors in Electronics
Word and Object
Willard Van Orman Quine (1960)
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