Lightning Talks
.
2018. Lightning Talks.
- Read more about Lightning Talks
- DBLP
- Log in to post comments
- Google Scholar
- BibTeX
A Couple Billion Lines of Code Later: Static Checking in the Real World
.
2008. A Couple Billion Lines of Code Later: Static Checking in the Real World. 17th USENIX Security Symposium (USENIX Security 08).
Lightning Talks
.
2018. Lightning Talks.
- Read more about Lightning Talks
- DBLP
- Log in to post comments
- Google Scholar
- BibTeX
Lightning Talks
.
2018. Lightning Talks.
- Read more about Lightning Talks
- DBLP
- Log in to post comments
- Google Scholar
- BibTeX
Nickel: A Framework for Design and Verification of Information Flow Control Systems
.
2018. Nickel: A Framework for Design and Verification of Information Flow Control Systems. 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18). :287--305.
Sharing, Protection, and Compatibility for Reconfigurable Fabric with {AmorphOS}
.
2018. Sharing, Protection, and Compatibility for Reconfigurable Fabric with {AmorphOS}. 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18). :107--127.
{µTune}: {Auto-Tuned} Threading for {OLDI} Microservices
.
2018. {µTune}: {Auto-Tuned} Threading for {OLDI} Microservices. 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18). :177--194.
Neural Adaptive Content-aware Internet Video Delivery
.
2018. Neural Adaptive Content-aware Internet Video Delivery. 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18). :645--661.