HCOS Publications

Conference Publications

• Leena Unnikrishnan and Scott D. Stoller
  Parametric Heap Usage Analysis for Functional Programs.
  In Proceedings of the 8th International Symposium on Memory Management (ISMM 2009).
  2009, Dublin, Ireland.
• Scott D. Stoller, Ping Yang, Mikhail Gofman, and C. R. Ramakrishnan
  Symbolic Reachability Analysis for Parameterized Administrative Role Based Access Control
  In Proceedings of the 14th ACM Symposium on Access Control Models and Technologies (SACMAT 2009).
  2009, Stresa, Italy.
• Puneet Gupta and Scott D. Stoller
  Verification of Security Policy Enforcement in Enterprise Systems
  In Proceedings of the 24th IFIP International Information Security Conference (SEC 2009).
  2009, Paphos, Cyprus.
• Qichang Chen, Liqiang Wang, Zijiang Yang, and Scott D. Stoller
  HAVE: Integrated Dynamic and Static Analysis for Atomicity Violations
  In Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering (FASE 2009).
  2009, York, UK.
• Zijiang Yang, B. Al-Rawi, K. Sakallah, Xiaowan Huang, Scott A. Smolka, and Radu Grosu
  Dynamic Path Reduction for Software Model Checking
  In Proceedings of iFM'09, the Seventh International Conference on Integrated Formal Methods.
  2009, Duesseldorf, Germany.
• Michael Gorbovitski, K. Tuncay Tekle, Tom Rothamel, Scott D. Stoller, and Yanhong A. Liu
  Analysis and Transformations for Efficient Query-Based Debugging
  In Proceedings of the 8th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM).
  2008, Beijing, China.
• Michael Gorbovitski, Tom Rothamel, Yanhong A. Liu, and Scott D. Stoller
  Efficient Runtime Invariant Checking: A Framework and Case Study
  In Proceedings of the 6th International Workshop on Dynamic Analysis.
  2008, Seattle, WA.
• Radu Grosu
  Finite Automata as Time-Invariant Linear Systems: Observability, Reachability and More
  In Proceedings of HSCC'09, the 12th International Conference on Hybrid Systems: Computation and Control
  2009, San Francisco, CA
• Oliviero Riganelli, Radu Grosu, Samir R. Das, C. R. Ramakrishnan, and Scott A. Smolka
  Power Optimization in Fault-Tolerant Mobile Ad Hoc Networks
  In Proceedings of the 11th IEEE High Assurance Systems Engineering Symposium (HASE'08).
  2008, Nanjing, China.
• Anu Singh, C.R. Ramakrishnan, and Scott A. Smolka
  A Process Algebra for Mobile Ad-Hoc Networks
  In Proceedings of the 2008 International Conference on Coordination Models and Languages (to appear).
  2008, Oslo, Norway.
• Rance Cleaveland, Scott A. Smolka, and Steven T. Sims
  An Instrumentation-Based Approach to Controller Model Verification
  In Proceedings of the 2006 Automotive Software Workshop (ASWSD).
  2006, San Diego, CA.
• Radu Grosu, Ezio Bartoci, Flavio Corradini, Emilia Entcheva, Scott A. Smolka and Anita Wasilewska
  Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes
  In Proceedings of HSCC'08, the 11th International Conference on Hybrid Systems: Computation and Control.
  2008, St. Louis, MO
• Pei Ye, Radu Grosu, Scott A. Smolka and Emilia Entcheva
  Formal Analysis of Abnormal Excitation in Cardiac Tissue
  In Proceedings of CMSB'08, the 6th International Conference on Computational Methods in Systems Biology.
  2008, Rostock, Germany
• Avishay Traeger, Ivan Deras, and Erez Zadok
  DARC: Dynamic Analysis of Root Causes of Latency Distributions
  In Proceedings of the 2008 International Conference on Measurement and Modeling of Computer Systems (SIGMETRICS 2008).
  2008, Annapolis, MD.
• Sean Callanan, Daniel J. Dean, Mikhail Gorbovitski, Radu Grosu, Justin Seyster, Scott A. Smolka, Scott D. Stoller, and Erez Zadok
  Software Monitoring with Bounded Overhead
  In Proceedings of the 2008 NSF Next Generation Software Workshop, held in conjunction with the 2007 International Parallel and Distributed Processsing Symposium (IPDPS 2007).
  2008, Miami, FL.
• Sean Callanan, Daniel J. Dean, and Erez Zadok
  Extending GCC with Modular GIMPLE Optimizations
  In Proceedings of the 2007 GCC Summit.
  2007, Ottawa, Canada.
• Sean Callanan, Radu Grosu, Xiaowan Huang, Scott A. Smolka, and Erez Zadok
  Model Predictive Control for Memory Profiling
  In Proceedings of the 2007 NSF Next Generation Software Workshop, held in conjunction with the 2007 International Parallel and Distributed Processsing Symposium (IPDPS 2007).
  2007, Long Beach, CA.
• Sean Callanan, Radu Grosu, Abhishek Rai, Scott A. Smolka, Mike R. True, and Erez Zadok,
  Runtime Verification for High-Confidence Systems: A Monte Carlo Approach
  In Proceedings of the Second Workshop on Model Based Testing (MBT 2006), held in conjunction with the European Joint Conferences on Theory and Practice of Software (ETAPS 2006).
  2006, Vienna, Austria. Pages 31-53.
• Sean Callanan, Radu Grosu, Xiaowan Huang, Scott A. Smolka, and Erez Zadok
  Compiler-Assisted Software Verification Using Plug-Ins
  In Proceedings of the 2006 NSF Next Generation Software Workshop, held in conjunction with the 2006 International Parallel and Distributed Processsing Symposium (IPDPS 2006).
  2006, Rhodes Island, Greece.
• Liqiang Wang and Scott D. Stoller
  Accurate and Efficient Runtime Detection of Atomicity Errors in Concurrent Programs
  In Proceedings of the ACM SIGPLAN 20065 Symposium on Principles and Practice of Parallel Programming (PPoPP).
  2006, New York, NY. Pages 137-146. ACM Press.
• Yanhong A. Liu, Chen Wang, Michael Gorbovitski, Tom Rothamel, Yongxi Cheng, Yingchao Zhao, Jing Zhang
  Core Role-Based Access Control: Efficient Implementation by Transformations
  In Proceedings of the ACM SIGPLAN 2006 Workshop on Partial Evaluation and Semantics-Based Program Manipulation.
  2006, Charleston, South Carolina. Pages 112-120. ACM Press.
• Rahul Agarwal, Amit Sasturkar, Liqiang Wang, and Scott D. Stoller
  Optimized Run-Time Race Detection and Atomicity Checking Using Partial Discovered Types
  In Proceedings of the 20th IEEE International Conference on Automated Software Engineering (ASE).
  2005, Long Beach, CA. Pages 233-242. IEEE Computer Society Press.
• Rahul Agarwal, Liqiang Wang, and Scott D. Stoller
  Detecting Potential Deadlocks with Static Analysis and Runtime Monitoring
  In Proceedings of the 2005 IBM Verification Conference, Parallel and Distributed Systems: Testing and Debugging (PADTAD) Track, Volume 3875 of Lecture Notes in Computer Science.
  2005, Haifa, Israel. Pages 191-207. Springer-Verlag.
• Radu Grosu, Hiaowan Huang, Sumit Jain, and Scott A. Smolka
  Open-Source Model Checking
  In Proceedings of SoftMC 2005: Workshop on Software Model Checking, Electronic Notes in Theoretical Computer Science.
  2005, Edinburgh, Scotland. Springer-Verlag.
• Michael Gorbovitski, Tom Rothamel, Yanhong A. Liu, and Scott D. Stoller
  Implementing Incrementalization Across Object Abstraction
  In Conference Companion of the 20th ACM Conference on Object-Oriented Programming Systems, Languages, and Applications.
  2005, San Diego, CA. Pages 116-117. ACM Press.

Journal Publications

• Ezio Bartocci, Flavio Corradini, Emilia Entcheva, Radu Grosu, and Scott A. Smolka
  CellExcite: An Efficient Simulation Environment for Excitable Cells
  In BMC Bioinformatics, 9 (Suppl. 2):53, March 2008.
• Pei Ye, Emilia Entcheva, Scott A. Smolka, and Radu Grosu
  Modeling Excitable Cells Using Cycle-Linear Hybrid-Automata
  In Journal of IET Systems Biology, Vol. 2, Issue 1, pp. 24-32, Jan. 2008.
• Yaniv Eytani, Klaus Havelund, Scott D. Stoller, and Shmuel Ur
  Toward a Framework and Benchmark for Testing Tools for Multi-Threaded Programs
  In Concurrency and Computation: Practice & Experience 19(3):267-279, August 2006.
• Liqiang Wang and Scott D. Stoller
  Runtime Analysis of Atomicity for Multithreaded Programs
  In IEEE Transactions on Software Engineering 32(2):93-110, February 2006.
• Samik Basu and Scott A. Smolka
  Model Checking the Java Meta-Locking Algorithm.
  In ACM Transactions on Software Engineering and Methodology
• Scott D. Stoller and Ernie Cohen
  Optimistic Synchronization-Based State-Space Reduction.
  In Formal Methods in System Design 28(3):263-289, May 2006.