Slides for the “Static Analysis and Verification of C Programs” talk are now available on SlideShare.
-
Search It!
-
Recent Entries
- Cryptography, Security, and Law
- Understanding Cloud Computing
- DDoS: a 20-year journey from compromised workstations to IoT attacks
- Building noise robust machine listeners with data and inspiration from humans
- Driving Enterprise Transformation with Virtual & Augmented Reality
- Eager Execution in TensorFlow
- Applied AI Techniques
- Energy Management as a Service (EmaaS): Design, Analysis and Realization
- Slides for talk on Ontology-based Classification and Faceted Search Interface for APIs
- Ontology-based Classification and Faceted Search Interface for APIs
-
Links
