Analysis Tools for Reliable Software Everywhere Manu Sridharan

@inproceedings{Sridharan2016AnalysisTF,
  title={Analysis Tools for Reliable Software Everywhere Manu Sridharan},
  author={Manu Sridharan and Vinod Ganapathy},
  year={2016}
}
Software is becoming ubiquitous in everyday life, from todays smartphones and servers to tomorrows self-driving cars, drones, and Internet of Things devices. However, the distributed, always-on nature of this software poses significant new challenges for reliability, security, and programmer productivity. Better programming tools are needed to enable next… CONTINUE READING