Programming languages & software engineering
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
Estimating Hidden Bug Count — Part 2/3
Part 1: Introduction and Basic Theory > Part 3: Harsh Reality That simple logic is nice, but practice makes it questionable for at least two reasons: Bugs found by either of the parties are fixed.…
Estimating Hidden Bug Count — Part 1/3
Part 1: Introduction Probably every piece of software has some defects in it. Known defects (also called bugs) are found by manufacturers and users and fixed. Unknown ones remain there, waiting to be discovered some…
A Brief History of Type (and some creepy crawlies)
A Brief History of Type (and some creepy crawlies)
Ziria demo: communication using WiFi-like PHY
Video demonstrating a WiFi-like PHY implemented in Ziria. In this demo one node is sending 1600B packets continuously, with a small gap, and the other node is logging the reception of these packets. Packets are…
