Laboratory for Software Design

Got a question?

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

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.

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.

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.

Hridesh Rajan, Sean Mooney and Mehdi Bagherzadeh, "Introduction to Ptolemy and its development Environment," Demonstration at the 9th Annual Aspect-Oriented Software Development Conference (AOSD) 2010, Rennes and Saint-Malo, France.

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.

Kian Pokorny, Tyler Sondag, and Hridesh Rajan, "Connecting High-level Programming Constructs to Assembly Language using Frances," Tutorial at CCSC'10: Consortium for Computing Sciences in Colleges, Parkville, MO, April 2010

Yuheng Long, Sean L. Mooney, Tyler Sondag and Hridesh Rajan, " Panini: Reconciling Concurrency and Modularity in Design," Technical Report 09-28b, Computer Science, Iowa State University, March 2010.

Mehdi Bagherzadeh, Hridesh Rajan, Gary T. Leavens and Sean Mooney," Translucid Contracts: Expressive Specification and Modular Verification for Aspect-oriented Interfaces," Technical Report 10-02, Computer Science, Iowa State University, March 2010.

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.

Bashar Gharaibeh, Hridesh Rajan, and J. Morris Chang " A Quantitative Cost/Benefit Analysis for Dynamic Updating," Technical Report 09-27, Computer Science, Iowa State University, March 2010.

2009

Robert Dyer and Hridesh Rajan, "Supporting Dynamic Aspect-oriented Features," ACM Transactions on Software Engineering and Methodology (TOSEM), (Accepted June 2009), ACM Press.

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, and Kevin J. Sullivan, "Unifying Aspect-and Object-oriented Design," ACM Transactions on Software Engineering and Methodology (TOSEM), August 2009, ACM Press.

Kevin J. 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), (Accepted April 2009), ACM Press.

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.)

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.

Youssef Hanna and Hridesh Rajan, "Slede: Framework for Automatic Verification of Sensor Network Security Protocol Implementations," Demo Paper in the 31st International Conference on Software Engineering (ICSE '09), May 2009, Vancouver, Canada.

2008

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

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 E. 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.

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.

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.

2007

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.

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.

Hridesh Rajan, " Design Pattern Implementations in Eos," PLoP '07: Conference on Pattern Languages of Programs, Monticello, IL, Sep 5, 2007.

Youssef Hanna, " SLEDE: Lightweight Verification of Sensor Network Security Protocol Implementations," Doctoral Symposium, 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2007), Dubrovnik, Croatia.

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.

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, "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.

2006

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]

Juri Memmert, Hridesh Rajan, "Osiris: Generating Concern Models from Source Code", SIGSOFT Softw. Eng. Notes 31, 6 (Nov. 2006), 1-2. Also appeared as a short poster paper in the proceedings of Fourteenth ACM SIGSOFT Symposium on Foundations of Software Engineering (FSE 2006), Portland, OR, Nov 2006.

Youssef Hanna, Hridesh Rajan, " SLEDE: Event Based Specification of Sensor Network Protocols", SIGSOFT Softw. Eng. Notes 31, 6 (Nov. 2006), 1-2. Also, appeared as a short poster paper in the proceedings of Fourteenth ACM SIGSOFT Symposium on Foundations of Software Engineering (FSE 2006), Portland, OR, Nov 2006.

Robert Dyer, Harish Narayanappa, Hridesh Rajan, "Nu: Preserving Design Modularity in Object Code", SIGSOFT Softw. Eng. Notes 31, 6 (Nov. 2006), 1-2. Also, appeared as a short poster paper in the proceedings of Fourteenth ACM SIGSOFT Symposium on Foundations of Software Engineering (FSE 2006), Portland, OR, Nov 2006.

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, 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]

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]

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.

2005

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.

2004 and before.

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, " One More Step in the Direction of Modularized Integration Concerns", In the proceedings of the Doctoral Symposium, 26th International Conference on Software Engineering (ICSE 2004), 23-28 May 2004, Edinburgh, UK.

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.

Hridesh Rajan, "Effects of Applying Mobility Localization to Source Routing Algorithms in Mobile Ad Hoc Networks", In the proceedings of IEEE Symposium on Computers and Communication (ISCC) 2003, July 2003, Kemer, Antalya, Turkey.

Hridesh Rajan, "Distributed Mobile Servers: Vehicle to Increase Effective Bandwidth and End to End Connectivity in an Ad Hoc Mobile Network", In the proceedings of SCI 2001/ISAS 2001, Volume XII, July, 2001, Orlando, USA.

Hridesh Rajan, "Last Entered Algorithm for Mutual Exclusion in a Distributed System", Accepted for the proceedings of 15th ACM Symposium on Applied Computing (SAC 2001), March 2001, Alexis Park Resort, Las Vegas, Nevada, USA

S.C.Gupta and Hridesh Rajan, "DOC@HOME: A Health Care System", IEEE ACE-2000 December2000, Mumbai, India.