Articles
Verification of Safety-critical Software
Avionics software safety certification is achieved through objective-based standards.
The World According to LINQ
Big data is about more than size, and LINQ is more than up to the task.
Abstraction in Hardware System Design
Applying lessons from software languages to hardware languages using Bluespec SystemVerilog
