Formalizing dynamic software updating Sex cam chate com
23rd ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS'18), March 2018. ACM Conference on Object-Oriented Programming, Systems, Languages & Applications (OOPSLA 2016), November 2016.
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.