archives

Browse by Subject: PROGRAMMING LANGUAGES


Home 

About 

Browse 

Search 

Register 

Subscriptions 

Deposit Papers 

Help
    


This subject category contains 25 entries

Bagherzadeh, Mehdi, Robert , Dyer, Yuheng, Long and Hridesh, Rajan (2008) Instance-level Quantified, Typed Events for Integrated System Design. Technical Report 08-15, Computer Science, Iowa State University.

Clifton, Curtis, Laemmel, Ralf and Leavens, Gary T. (2005) FOAL 2005 Proceedings: Foundations of Aspect-Oriented Languages Workshop at AOSD 2005. Technical Report 05-05, Computer Science, Iowa State University.

Dehlinger, Josh and Subramanian, Nalin V. (2006) Architecting Secure Software Systems Using an Aspect-Oriented Approach: : A Survey of Current Research. Technical Report, Computer Science, Iowa State University.

Dyer, Robert and Rajan, Hridesh (2006) Modular Compilation Strategies for Aspect-Oriented Constructs. Technical Report 06-30, Computer Science, Iowa State University.

Hanna, Youssef, Rajan, Hridesh and Zhang, Wensheng (2006) Lightweight Specification Language and Verification Framework for Sensor Network Security Protocols. Technical Report 06-31, Computer Science, Iowa State University.

Long, Yuheng (2014) Open Effects: A Hybrid Type-and-Effect System to Tackle Open World Assumption and its Application to Optimistic Concurrency. Technical Report 13-04a, Computer Science, Iowa State University.

Long, Yuheng (2012) Open Effects. Technical Report 12-02, Computer Science, Iowa State University.

Long, Yuheng (2012) Open Effects: Optimistic Effects for Dynamic Dispatch. Technical Report 12-02, Computer Science, Iowa State University.

Long, Yuheng (2012) Trust, but verify: Optimistic Effect Analysis for Reusable Code. Technical Report 12-02, Computer Science, Iowa State University.

Long, Yuheng and Rajan, Hridesh (2012) Trust, but verify: Optimistic Effect Analysis for Reusable Code. Technical Report 12-02, Computer Science, Iowa State University.

Long, Yuheng and Rajan, Hridesh (2012) Trust, but verify: Optimistic Effect Analysis for Reusable Code. Technical Report 12-02, Computer Science, Iowa State University.

Long, Yuheng and Rajan, Hridesh (2012) Trust, but verify: Optimistic Effect Analysis for Reusable Code. Technical Report 12-02, Computer Science, Iowa State University.

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

Rajan, Hridesh, Dyer, Robert, Hanna, Youssef and Narayanappa, Harish (2006) Preserving Separation of Concerns Through Compilation. Technical Report, Computer Science, Iowa State University.

Rajan, Hridesh and Leavens, Gary (2008) Quantified, Typed Events for Improved Separation of Concerns. Technical Report 07-14d, Computer Science, Iowa State University.

Rajan, Hridesh and Leavens, Gary (2007) Ptolemy: A Language of Quantified, Typed Events. Technical Report 07-13, Computer Science, Iowa State University.

Rajan, Hridesh and Leavens, Gary (2007) Ptolemy: A Language of Quantified, Typed Events. Technical Report 07-13, Computer Science, Iowa State University.

Rajan, Hridesh and Leavens, Gary (2007) Quantified, Typed Events for Improved Separation of Concerns. Technical Report 07-14, Computer Science, Iowa State University.

Rajan, Hridesh and Leavens, Gary (2007) Quantified, Typed Events for Improved Separation of Concerns. Technical Report 07-14, Computer Science, Iowa State University.

Rajan, Hridesh and Leavens, Gary (2007) Quantified, Typed Events for Improved Separation of Concerns. Technical Report 07-14b, Computer Science, Iowa State University.

Rajan, Hridesh and Leavens, Gary (2007) Quantified, Typed Events for Improved Separation of Concerns. Technical Report 07-14c, Computer Science, Iowa State University.

Sondag, Tyler and Rajan, Hridesh (2010) An Abstract Domain for Multi-level Caches. Technical Report 09-20b, Computer Science, Iowa State University.

Sondag, Tyler and Rajan, Hridesh (2010) Phase-based Tuning for Better Utilized Multicores. Technical Report 08-14b, Computer Science, Iowa State University.

Sondag, Tyler and Rajan, Hridesh (2009) A Theory of Reads and Writes for Multi-level Caches. Technical Report 09-20a, Computer Science, Iowa State University.

Sondag, Tyler and Rajan, Hridesh (9) A Theory of Reads and Writes for Multi-level Caches. Technical Report 09-20, Computer Science, Iowa State University.



Contact site administrator at: ssg@cs.iastate.edu