| Open Document File Size: 239,33 KBShare Result on Facebook
City Farmington / Solver / / Company IBM / Adobe / HP / AMD / MySQL / Oracle / Optimization-Safe Systems / Intel / Microsoft / / Country United States / / IndustryTerm systems software / software bugs / greedy algorithm / approximation algorithms / / OperatingSystem BSD / Linux / / Organization MIT / / Person Armando Solar-Lezama / / Position author / owner/author / Python interpreter / representative / interpreter / programmer / / ProgrammingLanguage SQL / Java / Ruby / C / Python / C++ / Rubinius / / ProvinceOrState Pennsylvania / / PublishedMedium the C / / Technology PHP / Java / Linux / following greedy algorithm / approximation algorithms / dom / second algorithm / / URL http /
SocialTag |
Towards Optimization-Safe Systems: Analyzing the Impact of Undefined Behavior Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek, and Armando Solar-Lezama MIT CSAIL char *buf = ...;