Department of Computer Science

Laboratory for Software Design

The research and educational activities described on these pages has been supported in part by the US National Science Foundation (NSF) under grants CCF-11-17937, CCF-10-17334, CNS-07-09217, CNS-06-27354, and a CAREER award 08-46059.

About

Home

People

Research

Quick Links

Got a question?

Got a question or comment? Contact us at (515) 294-6168 or hridesh@iastate.edu.

Journal Articles

Robert Dyer, Hridesh Rajan and Yuanfang Cai, "Language Features for Software Evolution and Aspect-oriented Interfaces: An Exploratory Study," Transactions on Aspect-Oriented Software Development (TAOSD), special edition: Best papers of AOSD'12, Volume 10, April 2013, Springer LNCS.
Tyler Sondag, Kian Pokorny, and Hridesh Rajan, "Frances: A Tool For Understanding Computer Architecture and Assembly Language," ACM Transactions on Computing Education (TOCE), (Accepted: June 2012), ACM Press.
Robert Dyer and Hridesh Rajan, "Supporting Dynamic Aspect-oriented Features," ACM Transactions on Software Engineering and Methodology (TOSEM), Volume 20 (2), August 2010, ACM Press.
Hridesh Rajan, and Kevin Sullivan, "Unifying Aspect-and Object-oriented Design," ACM Transactions on Software Engineering and Methodology (TOSEM), August 2009, ACM Press.
Kevin Sullivan, William G. Griswold, Hridesh Rajan, Yuanyuan Song, Yuanfang Cai, Macneil Shonle, and Nishit Tewari, "Modular Aspect-Oriented Design with XPIs," ACM Transactions on Software Engineering and Methodology (TOSEM), Volume 20 (2), August 2010, ACM Press.
Hridesh Rajan and Mahantesh Hosamani, "Tisa: Towards Trustworthy Services in a Service-oriented Architecture," IEEE Transactions on Services Computing (SOC), 2008, IEEE Computer Society, Washington, DC
William Griswold, Kevin Sullivan, Yuanyuan Song, Macneil Shonle, Nishit Tewari, Yuanfang Cai, Hridesh Rajan,"Modular Software Design with Crosscutting Interfaces", IEEE Software, Special Issue on Aspect-Oriented Programming, Jan/Feb 2006.

Conference Papers

Robert Dyer, Hoan Nguyen, Hridesh Rajan and Tien N. Nguyen, "Boa: A Language and Infrastructure for Analyzing Ultra-Large-Scale Software Repositories," 35th International Conference on Software Engineering (ICSE '13), San Francisco, CA, May 2013.
Mehdi Bagherzadeh, Hridesh Rajan and Ali Darvish, "On Exceptions, Events and Observer Chains," 12th International Conference on Aspect-Oriented Software Development (AOSD '13), Fukuoka, Japan, March 2013.
Robert Dyer, Hridesh Rajan and Yuanfang Cai, "An Exploratory Study of the Design Impact of Language Features for Aspect-oriented Interfaces," 11th International Conference on Aspect-Oriented Software Development (AOSD '12), Potsdam, Germany, March 2012.
Bashar Gharaibeh, Hridesh Rajan and J. Morris Chang, "Analyzing Software Updates: Should You Build a Dynamic Updating Infrastructure?," 2011 Conference on Fundamental Approaches to Software Engineering (FASE), Saarbrücken, Germany, March-April 2011.
Tyler Sondag and Hridesh Rajan, "Phase-based Tuning for Better Utilization of Performance-Asymmetric Multicore Processors," 2011 International Symposium on Code Generation and Optimization (CGO), Chamonix, France, April 2011.
Mehdi Bagherzadeh, Hridesh Rajan, Gary T. Leavens and Sean Mooney, "Translucid Contracts: Expressive Specification and Modular Verification for Aspect-Oriented Interfaces," 10th International Conference on Aspect-Oriented Software Development (AOSD '11), Porto de Galinhas, Brazil, March 2011
Tyler Sondag and Hridesh Rajan, "A More Precise Abstract Domain For Multi-level Caches for Tighter WCET Analysis," in the proceedings of the 31st IEEE Real Time Systems Symposium (RTSS'10), November 2010
Hridesh Rajan, Steven M. Kautz, and Wayne Rowcliffe, "Concurrency by Modularity: Design Patterns, a Case in Point, " in the proceedings of the Onward! Conference, October 17-21, 2010, Reno-Tahoe, USA.
Yuheng Long, Sean Mooney, Tyler Sondag, and Hridesh Rajan, "Implicit Invocation Meets Safe, Implicit Concurrency," GPCE '10: 9th International Conference on Generative Programming and Component Engineering, Eindhoven, The Netherlands, October 2010.
Youssef Hanna, David Samuelson, Samik Basu and Hridesh Rajan "Automating Cut-off for Multi-parameterized Systems," ICFEM '10: The 12th International Conference on Formal Engineering Methods, Shanghai, China, November 2010.
Tyler Sondag, Kian L. Pokorny, and Hridesh Rajan, "Frances: A Tool For Understanding Code Generation," the 41st ACM Technical Symposium on Computer Science Education (SIGCSE 2010), Milwaukee, WI, March 2010.
Youssef Hanna, Samik Basu, and Hridesh Rajan, " Behavioral Automata Composition for Automatic Topology Independent Verification of Parameterized Systems", The 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 09), August 2009, Amsterdam, The Netherlands.
Hridesh Rajan, Jia Tao, Steve Shaner, and Gary T. Leavens, "Tisa: A Language Design and Modular Verification Technique for Temporal Policies in Web Services," 18th European Symposium on Programming (ESOP '09), March 2009, York, UK. (Previous version as ISU TR 08-07, July 2008.)
Hridesh Rajan and Gary T. Leavens, "Ptolemy: A Language with Quantified Typed, Events," ECOOP '08: 22nd European Conference on Object-Oriented Programming, July 2008, Paphos, Cyprus.
Robert Dyer and Hridesh Rajan, "Nu: a Dynamic Aspect-Oriented Intermediate Language Model and Virtual Machine for Flexible Runtime Adaptation," 7th International Conference on Aspect-oriented Software Development (AOSD), March 31 - April 4, 2008, Brussels, Belgium.
Youssef Hanna, Hridesh Rajan, and Wensheng Zhang, "Slede: A Domain-Specific Verification Framework for Sensor Network Security Protocol Implementations," ACM Conference on Wireless Network Security (WiSec), March 31 - April 2, 2008, Alexandria, Virginia, USA.
Hridesh Rajan, "Design Pattern Implementations in Eos," PLoP '07: Conference on Pattern Languages of Programs, Monticello, IL, Sep 5, 2007.
Kevin Sullivan, William Griswold, Yuanyuan Song, Yuanfang Cai, Macneil Shonle, Nishit Tewari, Hridesh Rajan, "Information Hiding Interfaces for Aspect-Oriented Design", Joint 10th European Software Engineering Conference and 13th ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2005), 5-9 Sept 2005, Lisbon, Portugal.
Hridesh Rajan and Kevin Sullivan,"Classpects: Unifying Aspect- and Object-Oriented Language Design", 27th International Conference on Software Engineering (ICSE 2005), 15-21 May 2005, St. Louis, Missouri, USA.
Hridesh Rajan and Kevin Sullivan, "Aspect Language Features for Concern Coverage Profiling", Fourth International Conference on Aspect-Oriented Software Development (AOSD 2005), 14-18 March, 2005, Chicago, IL, USA.
Jia Xu, Hridesh Rajan and Kevin Sullivan, "Understanding Aspects via Implicit Invocation", In the proceedings of 19th IEEE International Conference on Automated Software Engineering, Linz, Austria, Sept 2004. [PDF Format]
Hridesh Rajan and Kevin Sullivan, "Eos: Instance-Level Aspects for Integrated System Design", In the proceedings of the 2003 Joint European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2003), Helsinki, Finland, September 2003.

Workshop Papers

Rex Fernando, Robert Dyer, and Hridesh Rajan, "Event Type Polymorphism," the Foundations of Aspect-Oriented Languages workshop (FOAL), Potsdam, Germany, March 2012.
Mehdi Bagherzadeh, Gary T. Leavens, and Robert Dyer, "Applying Translucid Contracts for Modular Reasoning About Aspect and Object Oriented Events," the Foundations of Aspect-Oriented Languages workshop (FOAL 2011), Porto de Galinhas, Pernambuco, Brazil, March 2011.
Hridesh Rajan, "Building Scalable Software Systems in the Multicore Era," 2010 FSE/SDP Workshop on the Future of Software Engineering, Santa Fe, NM, November 2010.
Harish Narayanappa, Mukul S. Bansal, and Hridesh Rajan, "Property-Aware Program Sampling," PASTE '10: 9th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, Toronto, Canada, June 2010.
Mehdi Bagherzadeh, Hridesh Rajan, and Gary T. Leavens, "Translucid Contracts for Aspect-oriented Interfaces," the Foundations of Aspect-Oriented Languages workshop (FOAL 2010), Rennes and St. Malo, France, March 2010.
Robert Dyer, Mehdi Bagherzadeh, Hridesh Rajan and Yuanfang Cai, "A Preliminary Study of Quantified, Typed Events," the Empirical Evaluation of Software Composition Techniques (ESCOT 2010), Rennes and St. Malo, France, March 2010.
Tyler Sondag and Hridesh Rajan, "Phase-guided Thread-to-core Assignment for Improved Utilization of Performance-Asymmetric Multi-Core Processors," 2nd International Workshop on Multicore Software Engineering (IWMSE '09), May 2009, Vancouver, Canada.
Steve M. Shaner, Hridesh Rajan and Gary T. Leavens, "Model Programs for Preserving Composite Invariants," SAVCBS'08: Specification and Verification of Component-Based Systems Workshop at SIGSOFT 2008/FSE 16, November 2008.
Robert Dyer and Hridesh Rajan, " A Decision Tree-based Approach to Dynamic Pointcut Evaluation," 2nd workshop on Virtual machines and intermediate languages for emerging modularization mechanisms, colocated with OOPSLA 2008, Nashville, TN, October 2008.
Hridesh Rajan, "Mining Software Repositories for Evaluating Software Engineering Properties of Language Designs," 2nd Workshop on Assessment of Contemporary Modularization Techniques (ACoM.08), colocated with OOPSLA 2008, Nashville, TN, October 2008.
Mahantesh Hosamani, Harish Narayanappa, and Hridesh Rajan, "How to Trust Web Services Monitor Executing in an Untrusted Environment?" NWeSP '07: 3rd International Conference on Next Generation Web Services Practices, Seoul, Korea, Oct 2007.
Tyler Sondag, Viswanath Krishnamurthy, and Hridesh Rajan, "Predictive Thread-to-Core Assignment on a Heterogeneous Multi-core Processor," PLOS '07: ACM SIGOPS 4th Workshop on Programming Languages and Operating Systems, Skamania Lodge, Stevenson, Washington, USA, Oct 2007.
Mahantesh Hosamani, Harish Narayanappa, Hridesh Rajan, " Monitoring the Monitor: An Approach Towards Trustworthiness in Service Oriented Architecture," In 2nd International Workshop on Service Oriented Software Engineering (IW-SOSWE 2007), in conjunction with ESEC/FSE 2007, Dubrovnik (Croatia) Sep 3, 2007.
Hridesh Rajan, "A Case for Explicit Join Point Models for Aspect-oriented Intermediate Languages," Virtual Machines and Intermediate Languages for Emerging Modularization Mechanisms (VMIL 2007), a workshop affiliated with AOSD 2007, Vancouver, Canada, March 13, 2007.
Jing Liu, Robyn Lutz and Hridesh Rajan, "The Role of Aspects in Modeling Product Line Variabilities", In Aspect-oriented Product Line Engineering (AOPLE' 06), A workshop associated with OOPSLA' 06: Conference on Object Oriented Programming Systems Languages and Applications, Oct 22, 2006, Portland, OR. [PDF Format]
Hridesh Rajan, Robert Dyer, Youssef Hanna, Harish Narayanappa, "Preserving Separation of Concerns through Compilation", In Software Engineering Properties of Languages and Aspect Technologies (SPLAT 06), A workshop affiliated with AOSD 2006, March 21, 2006. Bonn, Germany. Previous version appeared as Technical Report #405, Dept. of Computer Sc., Iowa State University. [PDF Format]

Technical Reports (Either in submission or unpublished manuscripts)

Hridesh Rajan, Steven M. Kautz, Eric Lin, Sarah Kabala, Ganesha Upadhyaya, Yuheng Long, Rex Fernando, and Loránd Szakács "Capsule-oriented Programming," Technical Report 13-01, Computer Science, Iowa State University, February 2013.
Yuheng Long, and Hridesh Rajan " Trust, but verify: Optimistic Effect Analysis for Reusable Code," Technical Report 12-02, Computer Science, Iowa State University, April 2012.
Yuheng Long, Tyler Sondag, and Hridesh Rajan " A Type-and-Effect System for Shared Memory, Concurrent Implicit Invocation Systems," Technical Report 10-09a, Computer Science, Iowa State University, June 2011.
Bashar Gharaibeh, Hridesh Rajan, and J. Morris Chang " Towards Efficient Java Virtual Machine Support for Dynamic Deployment of Inter-type Declarations," Technical Report 09-23b, Computer Science, Iowa State University, March 2010.
Mehdi Bagherzadeh, Robert Dyer, Yuheng Long and Hridesh Rajan, "Instance-level Quantified, Typed Events for Integrated System Design," Technical Report 08-15, Computer Science, Iowa State University, Aug. 2008.
Rakesh Setty, Robert E. Dyer, and Hridesh Rajan, " Weave Now or Weave Later: A Test Driven Development Perspective on Aspect-oriented Deployment Models," Technical Report 08-02, Computer Science, Iowa State University, Feb 2008.
Hridesh Rajan and Gary T. Leavens, "Quantified, Typed Events for Improved Separation of Concerns," Technical Report 07-14c, Computer Science, Iowa State University, Dec 19, 2007.
Youssef Hanna and Hridesh Rajan, " Verifying Fault-Tolerance of Sensor Network Applications Using Auto-generated Fault Injection Mechanisms," Technical Report 07-11, Computer Science, Iowa State University, June 22, 2007 (In submission). [PDF Format]
Hridesh Rajan, "Type-Based Quantification of Aspect-Oriented Programs", Technical Report 06-32, Computer Science, Iowa State University, Sep 7, 2006.
Robert Dyer and Hridesh Rajan, "Modular Compilation Strategies for Aspect-Oriented Constructs", Technical Report 06-30, Computer Science, Iowa State University, July 16, 2006. [PDF Format]
Hridesh Rajan, Robert Dyer, Harish Narayanappa, Youssef Hanna, "Nu: Towards an Aspect-Oriented Invocation Mechanism", Technical Report #414, Department of Computer Science, Iowa State University, Mar 26, 2006. [PDF Format]