Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Hridesh Rajan
2010 – today
- 2013
[j10]Robert Dyer, Hridesh Rajan, Yuanfang Cai: Language Features for Software Evolution and Aspect-Oriented Interfaces: An Exploratory Study. T. Aspect-Oriented Software Development 10: 148-183 (2013)- [c42]Mehdi Bagherzadeh, Hridesh Rajan, Mohammad Ali Darvish Darab: On exceptions, events and observer chains. AOSD 2013: 185-196
- [c41]Robert Dyer, Hoan Anh Nguyen, Hridesh Rajan, Tien N. Nguyen: Boa: a language and infrastructure for analyzing ultra-large-scale software repositories. ICSE 2013: 422-431
- 2012
- [j9]Tyler Sondag, Kian L. Pokorny, Hridesh Rajan: Frances: A Tool for Understanding Computer Architecture and Assembly Language. TOCE 12(4): 14 (2012)
- [c40]Robert Dyer, Hridesh Rajan, Yuanfang Cai: An exploratory study of the design impact of language features for aspect-oriented interfaces. AOSD 2012: 143-154
- [c39]
- [c38]Robert Dyer, Hoan Nguyen, Hridesh Rajan, Tien N. Nguyen: Analyzing ultra-large-scale code corpus with boa. SPLASH 2012: 25-26
- [c37]Robert Dyer, Hoan Nguyen, Hridesh Rajan, Tien N. Nguyen: Boa: analyzing ultra-large-scale code corpus. SPLASH 2012: 87-88
- [c36]Hridesh Rajan, Michael Haupt, Christoph Bockisch, Steve Blackburn: 6th workshop on virtual machines and intermediate languages (VMIL'12). SPLASH 2012: 223-224
- 2011
- [c35]Hridesh Rajan, Gary T. Leavens, Robert Dyer, Mehdi Bagherzadeh: Modularizing crosscutting concerns with Ptolemy. AOSD (Companion) 2011: 61-62
- [c34]Mehdi Bagherzadeh, Hridesh Rajan, Gary T. Leavens, Sean L. Mooney: Translucid contracts: expressive specification and modular verification for aspect-oriented interfaces. AOSD 2011: 141-152
- [c33]Tyler Sondag, Hridesh Rajan: Phase-based tuning for better utilization of performance-asymmetric multicore processors. CGO 2011: 11-20
- [c32]Bashar Gharaibeh, Hridesh Rajan, J. Morris Chang: Analyzing Software Updates: Should You Build a Dynamic Updating Infrastructure? FASE 2011: 371-385
- [c31]Hridesh Rajan, Sean L. Mooney, Gary T. Leavens, Robert Dyer, Rex D. Fernando, Mohammad Ali Darvish Darab, Bryan Welter: Modularizing crosscutting concerns with ptolemy. OOPSLA Companion 2011: 31-32
- [c30]Hridesh Rajan, Michael Haupt, Christoph Bockisch, Robert Dyer: VMIL 2011: the 5th workshop on virtual machines and intermediate languages. OOPSLA Companion 2011: 333-334
- [e2]Hridesh Rajan (Ed.): Proceedings of the 10th international workshop on Foundations of aspect-oriented languages, FOAL 2011, Porto de Galinhas, Brazil, March 21-25, 2011. ACM 2011, ISBN 978-1-4503-0644-7
- 2010
- [j8]Robert Dyer, Hridesh Rajan: Supporting dynamic aspect-oriented features. ACM Trans. Softw. Eng. Methodol. 20(2) (2010)
- [j7]Kevin J. Sullivan, William G. Griswold, Hridesh Rajan, Yuanyuan Song, Yuanfang Cai, Macneil Shonle, Nishit Tewari: Modular aspect-oriented design with XPIs. ACM Trans. Softw. Eng. Methodol. 20(2) (2010)
- [c29]Yuheng Long, Sean L. Mooney, Tyler Sondag, Hridesh Rajan: Implicit invocation meets safe, implicit concurrency. GPCE 2010: 63-72
- [c28]Youssef Hanna, David Samuelson, Samik Basu, Hridesh Rajan: Automating Cut-off for Multi-parameterized Systems. ICFEM 2010: 338-354
- [c27]Yuheng Long, Hridesh Rajan, Sean L. Mooney: Reconciling concurrency and modularity with Panini's asynchronous typed events. SPLASH/OOPSLA Companion 2010: 243-244
- [c26]Mehdi Bagherzadeh, Hridesh Rajan, Gary T. Leavens, Sean L. Mooney: Translucid contracts for modular reasoning about aspect-oriented programs. SPLASH/OOPSLA Companion 2010: 245-246
- [c25]Sean L. Mooney, Hridesh Rajan, Steven M. Kautz, Wayne Rowcliffe: Almost free concurrency! (using GOF patterns). SPLASH/OOPSLA Companion 2010: 249-250
- [c24]Hridesh Rajan, Michael Haupt, Christoph Bockisch, Robert Dyer: VMIL 2010: 4th workshop on virtual machines and intermediate languages. SPLASH/OOPSLA Companion 2010: 273-274
- [c23]Hridesh Rajan, Steven M. Kautz, Wayne Rowcliffe: Concurrency by modularity: design patterns, a case in point. OOPSLA 2010: 790-805
- [c22]Harish Narayanappa, Mukul S. Bansal, Hridesh Rajan: Property-aware program sampling. PASTE 2010: 45-52
- [c21]Tyler Sondag, Hridesh Rajan: A More Precise Abstract Domain for Multi-level Caches for Tighter WCET Analysis. RTSS 2010: 395-404
- [c20]Tyler Sondag, Kian L. Pokorny, Hridesh Rajan: Frances: a tool for understanding code generation. SIGCSE 2010: 12-16
- [c19]
- [c18]Warren Baelen, Yuanfang Cai, Robert Dyer, Hridesh Rajan: Feature Volatility Assessment. SPLC Workshops 2010: 33-34
2000 – 2009
- 2009
- [j6]Hridesh Rajan, Kevin J. Sullivan: Unifying aspect- and object-oriented design. ACM Trans. Softw. Eng. Methodol. 19(1) (2009)
- [c17]Hridesh Rajan, Jia Tao, Steve M. Shaner, Gary T. Leavens: Tisa: A Language Design and Modular Verification Technique for Temporal Policies in Web Services. ESOP 2009: 333-347
- [c16]Youssef Hanna, Hridesh Rajan: Slede: Framework for automatic verification of sensor network security protocol implementations. ICSE Companion 2009: 427-428
- [c15]Hridesh Rajan, Michael Haupt, Christoph Bockisch, Robert Dyer: VMIL: workshop on virtual machines and intermediate languages. OOPSLA Companion 2009: 701-702
- [c14]Youssef Hanna, Samik Basu, Hridesh Rajan: Behavioral automata composition for automatic topology independent verification of parameterized systems. ESEC/SIGSOFT FSE 2009: 325-334
- 2008
- [j5]Hridesh Rajan, Mahantesh Hosamani: Tisa: Toward Trustworthy Services in a Service-Oriented Architecture. IEEE T. Services Computing 1(4): 201-213 (2008)
- [c13]Robert Dyer, Hridesh Rajan: Nu: a dynamic aspect-oriented intermediate language model and virtual machine for flexible runtime adaptation. AOSD 2008: 191-202
- [c12]Hridesh Rajan, Gary T. Leavens: Ptolemy: A Language with Quantified, Typed Events. ECOOP 2008: 155-179
- [c11]Hridesh Rajan, Michael Haupt, Christoph Bockisch, Robert Dyer: Virtual machines and intermediate languages for emerging modularization mechanisms. OOPSLA Companion 2008: 865-868
- [c10]Youssef Hanna, Hridesh Rajan, Wensheng Zhang: Slede: a domain-specific verification framework for sensor network security protocol implementations. WISEC 2008: 109-118
- 2007
- [c9]Hridesh Rajan: A case for explicit join point models for aspect-oriented intermediate languages. VMIL 2007: 4
- [c8]Mahantesh Hosamani, Harish Narayanappa, Hridesh Rajan: Monitoring the monitor: an approach towards trustworthiness in service oriented architecture. IW-SOSWE 2007: 42-46
- [e1]Hridesh Rajan, Mira Mezini (Eds.): Proceedings of the 1st Workshop on Virtual Machines and Intermediate Languages for Emerging Modularization Mechanisms, VMIL 2007, Vancouver, British Columbia, Canada, March 12-16, 2007. ACM International Conference Proceeding Series 212, ACM 2007
- 2006
- [j4]Robert Dyer, Harish Narayanappa, Hridesh Rajan: Nu: preserving design modularity in object code. ACM SIGSOFT Software Engineering Notes 31(6): 1-2 (2006)
- [j3]Youssef Hanna, Hridesh Rajan: SLEDE: event-based specification of sensor network security protocols. ACM SIGSOFT Software Engineering Notes 31(6): 1-2 (2006)
- [j2]Juri Memmert, Hridesh Rajan: Osiris: generating concern models from source code. ACM SIGSOFT Software Engineering Notes 31(6): 1-2 (2006)
- [j1]William G. Griswold, Kevin J. Sullivan, Yuanyuan Song, Macneil Shonle, Nishit Tewari, Yuanfang Cai, Hridesh Rajan: Modular Software Design with Crosscutting Interfaces. IEEE Software 23(1): 51-60 (2006)
- 2005
- [c7]Hridesh Rajan, Kevin J. Sullivan: Aspect language features for concern coverage profiling. AOSD 2005: 181-191
- [c6]Hridesh Rajan, Kevin J. Sullivan: Classpects: unifying aspect- and object-oriented language design. ICSE 2005: 59-68
- [c5]Kevin J. Sullivan, William G. Griswold, Yuanyuan Song, Yuanfang Cai, Macneil Shonle, Nishit Tewari, Hridesh Rajan: Information hiding interfaces for aspect-oriented design. ESEC/SIGSOFT FSE 2005: 166-175
- 2004
- [c4]
- [c3]Jia Xu, Hridesh Rajan, Kevin J. Sullivan: Understanding Aspects via Implicit Invocation. ASE 2004: 332-335
- 2003
- [c2]Hridesh Rajan: Effects of Applying Mobility Localization on Source Routing Algorithms for Mobile Ad Hoc Network. ISCC 2003: 39-44
- [c1]Hridesh Rajan, Kevin J. Sullivan: Eos: instance-level aspects for integrated system design. ESEC / SIGSOFT FSE 2003: 291-306
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 10:56 CEST by the dblp team