2014 Publications

  1. MB900305811Jon Grov and Peter Csaba Olveczky, “Formal Modeling and Analysis of Google’s Megastore in Real-Time Maude”, Specification, Algebra, and Software – Essays Dedicated to Kokichi Futatsugi, Lecture Notes in Computer Science, volume 8373, pages 494-519, 2014. [full text]
  2. YoungMin Kwon, Kirill Mechitov, and Gul Agha, “Design and Implementation of a Mobile Actor Platform for Wireless Sensor Networks”, Concurrent Objects and Beyond, Lecture Notes in Computer Science, volume 8665, pages 276-316, 2014. [full text]
  3. Furquan Shaikh, Fangzhou Yao, Indranil Gupta and Roy H. Campbell, “VMDedup: Memory De-duplication in Hypervisor”, IEEE International Workshop on Cloud Analytics (IWCA 2014), Boston, MA, March 11, 2014. [full text]
  4. Cuong Manh Pham, Zbigniew Kalbarczyk, Ravishankar K. Iyer, Victor Dogaru, Rohit Wagle, and Chitra Venkatramani, “An Evaluation of ZooKeeper For High Availability in System S”, 5th ACM/SPEC International Conference on Performance Engineering, Dublin, Ireland, March 22-26, 2014. [full text]
  5. S. Baset, L. Wang, B. Tak, C. Pham, and C.Q. Tang, “Toward Achieving Operational Excellence in a Cloud”, IBM Journal of Research and Development, Issue topic on Software-Defined Environment, volume 58, issue 2/3, March-May 2014. [full text]
  6. Jingwei Huang and David M. Nicol. “Evidence-based Trust Reasoning”, Symposium and Bootcamp on the Science of Security (HotSoS 2014), Short talk and Poster, Raleigh, NC, April 8-9, 2014. [abstract]
  7. Phuong Cao, Key-whan Chung, Adam Slagell, Zbigniew Kalbarczyk, and Ravishankar Iyer, “Preemptive Intrusion Detection”, Symposium and Bootcamp on the Science of Security (HotSoS 2014), Raleigh, NC, April 8-9, 2014. [abstract]
  8. Fangzhou Yao, Read Spraybery and Roy H. Campbell, “CryptVMI: a Flexible and Encrypted Virtual Machine Introspection in the Cloud”, 2nd International Workshop on Security in Cloud Computing, Kyoto, Japan, June 3-6, 2014. [full text]
  9. Cristina L. Abad, Yi Lu, Roy H. Campbell and Nathan Roberts “A Model-Based Namespace Metadata Benchmark for HDFS”, USENIX International Conference on Autonomic Computing, Philadelphia, PA, June 17-20, 2014. [full text]
  10. Gary Wang, Zachary Estrada, Cuong Pham, Zbigniew Kalbarczyk, Ravishankar Iyer, “Hypervisor Introspection: Exploiting Timing Side-Channels against VM Monitoring”, 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2014), Fast Abstract, Atlanta, GA, June 23-26, 2014. [abstract]
  11. R. Ramamurthy, Z. Estrada, C. Pham, Z. Kalbarczyk, and R. Iyer, “Designing a Performance Isolation Benchmark for Virtualized Systems”, 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2014), Fast Abstract, Atlanta, GA, June 23-26, 2014.
  12. Cuong Pham, Zachary Estrada, Phuong Cao, Zbigniew Kalbarczyk, and Ravishankar K. Iyer “HyperTap: Security Monitoring for Virtual Machines Using Hardware Architectural Invariants”, 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2014), Atlanta, GA, June 23-26, 2014.
  13. Cuong Pham, Zachary Estrada, Zbigniew Kalbarczyk, and Ravishankar K. Iyer, “Reliability and Security Monitoring of Virtual Machines Using Hardware Architectural Invariants”, 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2014), Atlanta, GA, June 23-26, 2014. DSN Best Paper Award. [full text]
  14. Gul Agha, “Actors Programming for the Mobile Cloud”, 13th International Symposium on Parallel and Distributed Computing (ISPDC 2014), Porquerolles Island, Cote d’Azur, France, June 24-27, 2014. [full text]
  15. Jingwei Huang, Zbigniew Kalbarczyk, and David M. Nicol, “Knowledge Discovery from Big Data for Intrusion Detection Using LDA”, 2014 IEEE International Congress on Big Data (BigData Congress 2014), Work-in-Progress Track paper, Anchorage, AK, June 26–July 2, 2014. [full text]
  16. Jingwei Huang, David M. Nicol, and Roy H. Campbell, “Denial-of-Service Threat to Hadoop/YARN Clusters with Multi-Tenancy”, 2014 IEEE International Congress on Big Data (BigData 2014), Anchorage, AK, June 26-July 2, 2014. [full text]
  17. Reza Shiftehfar, Kirill Mechitov, and Gul Agha, “Towards a Flexible Fine-grained Access Control System for Mobile Cloud Applications”, 2014 IEEE International Conference on Cloud Computing (IEEE Cloud 2014), Work-in-Progress Track paper, Anchorage, AK, June 26-July 2, 2014. [full text]
  18. Fangzhou Yao and Roy H. Campbell, “CouchFS: A High-Performance File System for Large Data Sets”, 2014 IEEE International Congress on Big Data (BigData Congress 2014), Anchorage, AK, June 27-July 2, 2014. [full text]
  19. Fangzhou Yao and Roy H. Campbell, “CryptVMI: Encrypted Virtual Machine Introspection in the Cloud”, 2014 IEEE International Conference on Cloud Computing (IEEE Cloud 2014), Anchorage, AK, June 27-July 2, 2014. [full text]
  20. Wojciech Golab, Muntasir Raihan Rahman, Alvin Au Young, Kimberly Keeton, Jay J. Wylie and Indranil Gupta, “Client-centric Benchmarking of Eventual Consistency for Cloud Storage Systems”, IEEE International Conference on Distributed Computing Systems (ICDCS 2014), Madrid, Spain, June 30-July 3, 2014. [full text]
  21. Jon Grov and Peter Csaba Olveczky, “Increasing Consistency in Multi-site Data Stores: Megasotre-CGC and Its Formal Analysis”, 12th International Conference on Software Engineering and Formal Methods (SEFM 2014), Grenoble, France, September 1-5, 2014. [full text]
  22. Peter Dinges and Gul Agha, “Targeted Test Input Generation using Symbolic-concrete Backward Execution”, 29th IEEE/ACM International Conference on Automated Software Engineering (ASE), Västerås, Sweden, September 15-19, 2014. [full text]
  23. Cuong Pham, Zachary Estrada, Phuong Cao, Zbigniew Kalbarczyk, and Ravishankar Iyer, “Building Reliable and Secure Virtual Machines using Architectural Invariants”, IEEE Security and Privacy Magazine, volume 12, issue 5, September-October 2014. [full text]
  24. Abhishek Verma, Ludmila Cherkasova and Roy H. Campbell, “Profiling and Evaluating Hardware Choices for MapReduce Environments: an Application-Aware Approach”, 32nd International Symposium on Computer Performance, Modeling, Measurements, and Evaluation, (IFIP WG 7.3 Performance 2014), Turin, Italy, October 7-9, 2014. [full text]
  25. Si Liu, Muntasir Raihan Rahman, Stephen Skeirik, Indranil Gupta, and Jose Meseguer, “Formal Modeling and Analysis of Cassandra in Maude”, 16th International Conference in Formal Engineering Methods (ICFEM 2014), Luxembourg, November 3-7, 2014. [full text]
  26. Peter Dinges and Gul Agha, “Solving Complex Path Conditions through Heuristic Search on Induced Polytopes”, 22nd ACM SIGSOFT Symposium on Foundations of Software Engineering, Hong Kong, November 16-21, 2014. [full text]
  27. Fangzhou Yao and Roy H. Campbell, “SafeBox: SCADA Systems in a Secure Framework”, 5th Analytic Virtual Integration of Cyber-Physical Systems Workshop (AVICPS), Rome, Italy, December 2-5, 2014.