Formalizing dynamic software updating

The International Symposium on Software Testing and Analysis (ISSTA 2016), July 2016.Efficient Processing of Large Graphs via Input Reduction Amlan Kusum, Keval Vora, Rajiv Gupta, Iulian Neamtiu.IET members benefit from discounts to all IET publications and free access to E&T Magazine.If you are an IET member, log in to your account and the discounts will automatically be applied.25th ACM International Symposium on High-Performance Parallel and Distributed Computing, (HPDC 2016), June 2016.Modeling Cybersecurity Risks: Proof of concept of a holistic approach for integrated risk quantification Mariana Cains, Diane Henshel, Hasan Cam, Iulian Neamtiu, Blaine Hoffman, Alexander Alexeev, Jeffrey Rowe.25th International Conference on Compiler Construction (CC 2016), March 2016.Automatic Fault Location for Data Structures Vineet Singh, Rajiv Gupta, Iulian Neamtiu. 2015 IEEE Global Communications Conference (GLOBECOM15), December 2015.

Defining and Detecting Environment Discrimination in Android Apps Yunfeng Hong, Yongjian Hu, Chun-Ming Lai, Felix Wu, Iulian Neamtiu, Patrick Mc Daniel, Paul Yu, Hasan Cam and Gail-Joon Ahn13th EAI International Conference on Security and Privacy in Communication Networks (Secure Comm 2017). Zap Droid: Managing Infrequently Used Applications on Smartphones Indrajeet Singh, Srikanth Krishnamurthy, Harsha Madhyastha, Iulian Neamtiu. Volume: 16, Issue: 5, May 1 2017, Pages: 1475 - 1489. Characterizing the Behavior of Handheld Devices and Its Implications Xuetao Wei, Nicholas Valler, Harsha V. Proving Concurrent Data Structures Linearizable Vineet Singh, Iulian Neamtiu, Rajiv Gupta.Statistically Rigorous Testing of Clustering Implementations Xin Yin, Vincenzo Musco, Iulian Neamtiu, Usman Roshan.The First IEEE International Conference on Artificial Intelligence Testing (AI Testing'19), April 2019.uses cookies to personalize content, tailor ads and improve the user experience. By using our site, you agree to our collection of information through the use of cookies.

Leave a Reply