Hridesh Rajan - RankMe

179 papers A* 28A 12B 5C 2Journal 58Unranked 62

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Multi-Agent Coordinated Rename Refactoring. CoRR Abhiram Bellur, Mohammed Raihan Ullah, Fraol Batole, Mohit Kansara, Masaharu Morimoto, Kai Ishikawa, Haifeng Chen, Yaroslav Zharov, Timofey Bryksin, Tien N. Nguyen, Hridesh Rajan, Danny Dig
2026	J	`jnl`	Typestate-Based Fault Localization of API Usage Violations in a Deep Learning Program. IEEE Trans. Software Eng. Fraol Batole, Ruchira Manke, Robert Dyer, Tien N. Nguyen, Hridesh Rajan
2025	A*	`conf`	$\mu \text{PRL}$: A Mutation Testing Pipeline for Deep Reinforcement Learning Based on Real Faults. ICSE Deepak-George Thomas, Matteo Biagiola, Nargiz Humbatova, Mohammad Wardat, Gunel Jahangirova, Hridesh Rajan, Paolo Tonella
2025	A*	`conf`	An LLM-Based Agent-Oriented Approach for Automated Code Design Issue Localization. ICSE Fraol Batole, David O'Brien, Tien N. Nguyen, Robert Dyer, Hridesh Rajan
2025	J	`jnl`	IRepair: An Intent-Aware Approach to Repair Data-Driven Errors in Large Language Models. CoRR Sayem Mohammad Imtiaz, Astha Singh, Fraol Batole, Hridesh Rajan
2025	J	`jnl`	IRepair: An Intent-Aware Approach to Repair Data-Driven Errors in Large Language Models. Proc. ACM Softw. Eng. Sayem Mohammad Imtiaz, Astha Singh, Fraol Batole, Hridesh Rajan
2025	J	`jnl`	Leveraging Data Characteristics for Bug Localization in Deep Learning Programs. ACM Trans. Softw. Eng. Methodol. Ruchira Manke, Mohammad Wardat, Foutse Khomh, Hridesh Rajan
2025	J	`jnl`	Leveraging LLMs, IDEs, and Semantic Embeddings for Automated Move Method Refactoring. CoRR Fraol Batole, Abhiram Bellur, Malinda Dilhara, Mohammed Raihan Ullah, Yaroslav Zharov, Timofey Bryksin, Kai Ishikawa, Haifeng Chen, Masaharu Morimoto, Shota Motoura, Takeo Hosomi, Tien N. Nguyen, Hridesh Rajan, Nikolaos Tsantalis, Danny Dig
2025	A*	`conf`	Mock Deep Testing: Toward Separate Development of Data and Models for Deep Learning. ICSE Ruchira Manke, Mohammad Wardat, Foutse Khomh, Hridesh Rajan
2025	J	`jnl`	Mock Deep Testing: Toward Separate Development of Data and Models for Deep Learning. CoRR Ruchira Manke, Mohammad Wardat, Foutse Khomh, Hridesh Rajan
2025	A	`conf`	Together We are Better: LLM, IDE and Semantic Embedding to Assist Move Method Refactoring. ICSME Abhiram Bellur, Fraol Batole, Mohammed Raihan Ullah, Malinda Dilhara, Yaroslav Zharov, Timofey Bryksin, Kai Ishikawa, Haifeng Chen, Masaharu Morimoto, Takeo Hosomi, Tien N. Nguyen, Hridesh Rajan, Nikolaos Tsantalis, Danny Dig
2024	A*	`conf`	Are Prompt Engineering and TODO Comments Friends or Foes? An Evaluation on GitHub Copilot. ICSE David O'Brien, Sumon Biswas, Sayem Mohammad Imtiaz, Rabe Abdalkareem, Emad Shihab, Hridesh Rajan
2024	A*	`conf`	Data-Driven Evidence-Based Syntactic Sugar Design. ICSE David O'Brien, Robert Dyer, Tien N. Nguyen, Hridesh Rajan
2024	J	`jnl`	Data-Driven Evidence-Based Syntactic Sugar Design. CoRR David O'Brien, Robert Dyer, Tien N. Nguyen, Hridesh Rajan
2024	A*	`conf`	Inferring Data Preconditions from Deep Learning Models for Trustworthy Prediction in Deployment. ICSE Shibbir Ahmed, Hongyang Gao, Hridesh Rajan
2024	J	`jnl`	Inferring Data Preconditions from Deep Learning Models for Trustworthy Prediction in Deployment. CoRR Shibbir Ahmed, Hongyang Gao, Hridesh Rajan
2024	J	`jnl`	Leveraging Data Characteristics for Bug Localization in Deep Learning Programs. CoRR Ruchira Manke, Mohammad Wardat, Foutse Khomh, Hridesh Rajan
2024	J	`jnl`	muPRL: A Mutation Testing Pipeline for Deep Reinforcement Learning based on Real Faults. CoRR Deepak-George Thomas, Matteo Biagiola, Nargiz Humbatova, Mohammad Wardat, Gunel Jahangirova, Hridesh Rajan, Paolo Tonella
2023	J	`jnl`	An Effective Data-Driven Approach for Localizing Deep Learning Faults. CoRR Mohammad Wardat, Breno Dantas Cruz, Wei Le, Hridesh Rajan
2023	J	`jnl`	Characterizing Bugs in Python and R Data Analytics Programs. CoRR Shibbir Ahmed, Mohammad Wardat, Hamid Bagheri, Breno Dantas Cruz, Hridesh Rajan
2023	A*	`conf`	Decomposing a Recurrent Neural Network into Modules for Enabling Reusability and Replacement. ICSE Sayem Mohammad Imtiaz, Fraol Batole, Astha Singh, Rangeet Pan, Breno Dantas Cruz, Hridesh Rajan
2023	—	`conf`	Design by Contract for Deep Learning APIs. ESEC/SIGSOFT FSE Shibbir Ahmed, Sayem Mohammad Imtiaz, Syeda Khairunnesa Samantha, Breno Dantas Cruz, Hridesh Rajan
2023	A*	`conf`	Fairify: Fairness Verification of Neural Networks. ICSE Sumon Biswas, Hridesh Rajan
2023	—	`conf`	Fix Fairness, Don't Ruin Accuracy: Performance Aware Fairness Repair using AutoML. ESEC/SIGSOFT FSE Giang Nguyen, Sumon Biswas, Hridesh Rajan
2023	J	`jnl`	Fix Fairness, Don't Ruin Accuracy: Performance Aware Fairness Repair using AutoML. CoRR Giang Nguyen, Sumon Biswas, Hridesh Rajan
2023	A*	`conf`	Mutation-based Fault Localization of Deep Neural Networks. ASE Ali Ghanbari, Deepak-George Thomas, Muhammad Arbab Arshad, Hridesh Rajan
2023	J	`jnl`	Mutation-based Fault Localization of Deep Neural Networks. CoRR Ali Ghanbari, Deepak-George Thomas, Muhammad Arbab Arshad, Hridesh Rajan
2023	A*	`conf`	Towards Understanding Fairness and its Composition in Ensemble Machine Learning. ICSE Usman Gohar, Sumon Biswas, Hridesh Rajan
2023	J	`jnl`	What Kinds of Contracts Do ML APIs Need? CoRR Syeda Khairunnesa Samantha, Shibbir Ahmed, Sayem Mohammad Imtiaz, Hridesh Rajan, Gary T. Leavens
2023	J	`jnl`	What kinds of contracts do ML APIs need? Empir. Softw. Eng. Syeda Khairunnesa Samantha, Shibbir Ahmed, Sayem Mohammad Imtiaz, Hridesh Rajan, Gary T. Leavens
2022	—	`conf`	23 shades of self-admitted technical debt: an empirical study on machine learning software. ESEC/SIGSOFT FSE David O'Brien, Sumon Biswas, Sayem Imtiaz, Rabe Abdalkareem, Emad Shihab, Hridesh Rajan
2022	A*	`conf`	A Hybrid Approach for Inference between Behavioral Exception API Documentation and Implementations, and Its Applications. ASE Hoan Anh Nguyen, Hung Dang Phan, Syeda Khairunnesa Samantha, Son Nguyen, Aashish Yadavally, Shaohua Wang, Hridesh Rajan, Tien N. Nguyen
2022	A*	`conf`	A global convergence theory for deep ReLU implicit networks via over-parameterization. ICLR Tianxiang Gao, Hailiang Liu, Jia Liu, Hridesh Rajan, Hongyang Gao
2022	J	`jnl`	An Empirical Study on the Bugs Found while Reusing Pre-trained Natural Language Processing Models. CoRR Rangeet Pan, Sumon Biswas, Mohna Chakraborty, Breno Dantas Cruz, Hridesh Rajan
2022	A*	`conf`	Decomposing Convolutional Neural Networks into Reusable and Replaceable Modules. ICSE Rangeet Pan, Hridesh Rajan
2022	J	`jnl`	Decomposing a Recurrent Neural Network into Modules for Enabling Reusability and Replacement. CoRR Sayem Mohammad Imtiaz, Fraol Batole, Astha Singh, Rangeet Pan, Breno Dantas Cruz, Hridesh Rajan
2022	A*	`conf`	DeepDiagnosis: Automatically Diagnosing Faults and Recommending Actionable Fixes in Deep Learning Programs. ICSE Mohammad Wardat, Breno Dantas Cruz, Wei Le, Hridesh Rajan
2022	J	`jnl`	Fairify: Fairness Verification of Neural Networks. CoRR Sumon Biswas, Hridesh Rajan
2022	A*	`conf`	GADGET: Online Resource Optimization for Scheduling Ring-All-Reduce Learning Jobs. INFOCOM Menglu Yu, Ye Tian, Bo Ji, Chuan Wu, Hridesh Rajan, Jia Liu
2022	J	`jnl`	GADGET: Online Resource Optimization for Scheduling Ring-All-Reduce Learning Jobs. CoRR Menglu Yu, Ye Tian, Bo Ji, Chuan Wu, Hridesh Rajan, Jia Liu
2022	A*	`conf`	Manas: Mining Software Repositories to Assist AutoML. ICSE Giang Nguyen, Md Johirul Islam, Rangeet Pan, Hridesh Rajan
2022	J	`jnl`	On Scheduling Ring-All-Reduce Learning Jobs in Multi-Tenant GPU Clusters with Communication Contention. CoRR Menglu Yu, Bo Ji, Hridesh Rajan, Jia Liu
2022	B	`conf`	On scheduling ring-all-reduce learning jobs in multi-tenant GPU clusters with communication contention. MobiHoc Menglu Yu, Bo Ji, Hridesh Rajan, Jia Liu
2022	A*	`conf`	The Art and Practice of Data Science Pipelines: A Comprehensive Study of Data Science Pipelines In Theory, In-The-Small, and In-The-Large. ICSE Sumon Biswas, Mohammad Wardat, Hridesh Rajan
2022	J	`jnl`	Towards Understanding Fairness and its Composition in Ensemble Machine Learning. CoRR Usman Gohar, Sumon Biswas, Hridesh Rajan
2021	J	`jnl`	A global convergence theory for deep ReLU implicit networks via over-parameterization. CoRR Tianxiang Gao, Hailiang Liu, Jia Liu, Hridesh Rajan, Hongyang Gao
2021	J	`jnl`	Decomposing Convolutional Neural Networks into Reusable and Replaceable Modules. CoRR Rangeet Pan, Hridesh Rajan
2021	J	`jnl`	DeepDiagnosis: Automatically Diagnosing Faults and Recommending Actionable Fixes in Deep Learning Programs. CoRR Mohammad Wardat, Breno Dantas Cruz, Wei Le, Hridesh Rajan
2021	A*	`conf`	DeepLocalize: Fault Localization for Deep Neural Networks. ICSE Mohammad Wardat, Wei Le, Hridesh Rajan
2021	J	`jnl`	DeepLocalize: Fault Localization for Deep Neural Networks. CoRR Mohammad Wardat, Wei Le, Hridesh Rajan
2021	J	`jnl`	Fair Preprocessing: Towards Understanding Compositional Fairness of Data Transformers in Machine Learning Pipeline. CoRR Sumon Biswas, Hridesh Rajan
2021	—	`conf`	Fair preprocessing: towards understanding compositional fairness of data transformers in machine learning pipeline. ESEC/SIGSOFT FSE Sumon Biswas, Hridesh Rajan
2021	J	`jnl`	Manas: Mining Software Repositories to Assist AutoML. CoRR Giang Nguyen, Johir Islam, Rangeet Pan, Hridesh Rajan
2021	—	`ed.`	SPLASH '21: Software for Humanity, Chicago, IL, USA, October 17 - 22, 2021, Companion Volume SPLASH (Companion) Hridesh Rajan
2021	J	`jnl`	Semantics and Anomaly Preserving Sampling Strategy for Large-Scale Time Series Data. Trans. Data Sci. Shibbir Ahmed, Md Johirul Islam, Hridesh Rajan
2021	J	`jnl`	The Art and Practice of Data Science Pipelines: A Comprehensive Study of Data Science Pipelines In Theory, In-The-Small, and In-The-Large. CoRR Sumon Biswas, Mohammad Wardat, Hridesh Rajan
2020	J	`jnl`	BCFA: Bespoke Control Flow Analysis for CFA at Scale. CoRR Ramanathan Ramu, Ganesha B. Upadhyaya, Hoan Anh Nguyen, Hridesh Rajan
2020	A*	`conf`	BCFA: bespoke control flow analysis for CFA at scale. ICSE Ramanathan Ramu, Ganesha B. Upadhyaya, Hoan Anh Nguyen, Hridesh Rajan
2020	J	`jnl`	Detecting and correcting misclassified sequences in the large-scale public databases. Bioinform. Hamid Bagheri, Andrew J. Severin, Hridesh Rajan
2020	J	`jnl`	Do the Machine Learning Models on a Crowd Sourced Platform Exhibit Bias? An Empirical Study on Model Fairness. CoRR Sumon Biswas, Hridesh Rajan
2020	—	`conf`	Do the machine learning models on a crowd sourced platform exhibit bias? an empirical study on model fairness. ESEC/SIGSOFT FSE Sumon Biswas, Hridesh Rajan
2020	—	`conf`	On decomposing a deep neural network into modules. ESEC/SIGSOFT FSE Rangeet Pan, Hridesh Rajan
2020	J	`jnl`	Repairing Deep Neural Networks: Fix Patterns and Challenges. CoRR Md Johirul Islam, Rangeet Pan, Giang Nguyen, Hridesh Rajan
2020	A*	`conf`	Repairing deep neural networks: fix patterns and challenges. ICSE Md Johirul Islam, Rangeet Pan, Giang Nguyen, Hridesh Rajan
2020	—	`ed.`	SPLASH '20: Conference on Systems, Programming, Languages, and Applications, Software for Humanity, Virtual Event, USA, November, 2020, Companion Volume. SPLASH (Companion) Hridesh Rajan
2019	J	`jnl`	A Comprehensive Study on Deep Learning Bug Characteristics. CoRR Md Johirul Islam, Giang Nguyen, Rangeet Pan, Hridesh Rajan
2019	—	`conf`	A comprehensive study on deep learning bug characteristics. ESEC/SIGSOFT FSE Md Johirul Islam, Giang Nguyen, Rangeet Pan, Hridesh Rajan
2019	A	`conf`	Boa meets python: a boa dataset of data science software in python language. MSR Sumon Biswas, Md Johirul Islam, Yijia Huang, Hridesh Rajan
2019	J	`jnl`	Identifying Classes Susceptible to Adversarial Attacks. CoRR Rangeet Pan, Md Johirul Islam, Shibbir Ahmed, Hridesh Rajan
2019	J	`jnl`	Inferring Concise Specifications of APIs. CoRR John L. Singleton, Gary T. Leavens, Hridesh Rajan, David R. Cok
2019	J	`jnl`	Shared data science infrastructure for genomics data. BMC Bioinform. Hamid Bagheri, Usha Muppirala, Rick E. Masonbrink, Andrew J. Severin, Hridesh Rajan
2019	J	`jnl`	What Do Developers Ask About ML Libraries? A Large-scale Study Using Stack Overflow. CoRR Md Johirul Islam, Hoan Anh Nguyen, Rangeet Pan, Hridesh Rajan
2018	J	`jnl`	A Cyberinfrastructure for BigData Transportation Engineering. CoRR Md Johirul Islam, Anuj Sharma, Hridesh Rajan
2018	—	`conf`	An algorithm and tool to infer practical postconditions. ICSE (Companion Volume) John L. Singleton, Gary T. Leavens, Hridesh Rajan, David R. Cok
2018	A*	`conf`	Are code examples on an online Q&A forum reliable?: a study of API misuse on stack overflow. ICSE Tianyi Zhang, Ganesha Upadhyaya, Anastasia Reinhardt, Hridesh Rajan, Miryung Kim
2018	A*	`conf`	Collective program analysis. ICSE Ganesha Upadhyaya, Hridesh Rajan
2018	—	`conf`	Hybrid traversal: efficient source code analysis at scale. ICSE (Companion Volume) Ramanathan Ramu, Ganesha Upadhyaya, Hoan Anh Nguyen, Hridesh Rajan
2018	—	`conf`	Large-scale study of substitutability in the presence of effects. ESEC/SIGSOFT FSE Jackson Maddox, Yuheng Long, Hridesh Rajan
2018	J	`jnl`	On Accelerating Source Code Analysis at Massive Scale. IEEE Trans. Software Eng. Ganesha Upadhyaya, Hridesh Rajan
2018	—	`conf`	On the significance of contract-based typestate specification. WASPI@ESEC/SIGSOFT FSE Syeda Khairunnesa Samantha, Hoan Anh Nguyen, Hridesh Rajan
2018	—	`ed.`	Proceedings of the 1st ACM SIGSOFT International Workshop on Automated Specification Inference, WASPI@ESEC/SIGSOFT FSE, Lake Buena Vista, FL, USA, November 9, 2018 WASPI@ESEC/SIGSOFT FSE Robert Dyer, Vasant G. Honavar, Gary T. Leavens, Hoan Anh Nguyen, Tien N. Nguyen, Hridesh Rajan
2018	J	`jnl`	Special issue on software engineering technology and applications. J. Syst. Softw. W. K. Chan, Xiaodong Liu, Hridesh Rajan
2018	—	`conf`	Towards combining usage mining and implementation analysis to infer API preconditions. WASPI@ESEC/SIGSOFT FSE Hoan Anh Nguyen, Tien N. Nguyen, Hridesh Rajan, Robert Dyer
2017	A	`conf`	Candoia: a platform for building and sharing mining software repositories tools as apps. MSR Nitin M. Tiwari, Ganesha Upadhyaya, Hoan Anh Nguyen, Hridesh Rajan
2017	J	`jnl`	Exploiting implicit beliefs to resolve sparse usage problem in usage-based specification mining. Proc. ACM Program. Lang. Syeda Khairunnesa Samantha, Hoan Anh Nguyen, Tien N. Nguyen, Hridesh Rajan
2017	—	`conf`	Message from SETA 2017 Program Chairs. COMPSAC (1) Hridesh Rajan, Alexander Bolotov, Chang Xu
2017	—	`conf`	On Accelerating Ultra-Large-Scale Mining. ICSE-NIER Ganesha Upadhyaya, Hridesh Rajan
2017	—	`conf`	Order types: static reasoning about message races in asynchronous message passing concurrency. AGERE!@SPLASH Mehdi Bagherzadeh, Hridesh Rajan
2017	—	`ed.`	Proceedings of the 9th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages, Vancouver, BC, Canada, October 23 - 27, 2017 VMIL@SPLASH Stephen M. Blackburn, Christoph Bockisch, Michael Haupt, Tony Hosking, Hridesh Rajan, Witawas Srisa-an, Matthias Grimmer, Adam Welc
2017	—	`conf`	Statistical Learning for Inference between Implementations and Documentation. ICSE-NIER Hung Phan, Hoan Anh Nguyen, Tien N. Nguyen, Hridesh Rajan
2016	—	`conf`	A type-and-effect system for asynchronous, typed events. MODULARITY Yuheng Long, Hridesh Rajan
2016	—	`conf`	Candoia: a platform and ecosystem for mining software repositories tools. ICSE (Companion Volume) Nitin M. Tiwari, Ganesha Upadhyaya, Hridesh Rajan
2016	A	`conf`	First-class effect reflection for effect-guided programming. OOPSLA Yuheng Long, Yu David Liu, Hridesh Rajan
2016	B	`conf`	Message from the SETA Organizing Committee. COMPSAC Doris L. Carver, Wing Kwong Chan, Hongji Yang, Xiaodong Liu, Carl K. Chang, Hridesh Rajan
2016	J	`jnl`	Modular Reasoning in the Presence of Event Subtyping. LNCS Trans. Modul. Compos. Mehdi Bagherzadeh, Robert Dyer, Rex D. Fernando, José Sánchez, Hridesh Rajan
2016	—	`conf`	On ordering problems in message passing software. MODULARITY Yuheng Long, Mehdi Bagherzadeh, Eric Lin, Ganesha Upadhyaya, Hridesh Rajan
2016	—	`conf`	Specifying and Verifying Advanced Control Features. ISoLA (2) Gary T. Leavens, David A. Naumann, Hridesh Rajan, Tomoyuki Aotani
2015	—	`ch.`	Boa. The Art and Science of Analyzing Software Data Robert Dyer, Hoan Nguyen, Hridesh Rajan, Tien N. Nguyen
2015	J	`jnl`	Boa: Ultra-Large-Scale Software Repository and Source-Code Mining. ACM Trans. Softw. Eng. Methodol. Robert Dyer, Hoan Anh Nguyen, Hridesh Rajan, Tien N. Nguyen
2015	—	`conf`	Capsule-Oriented Programming. ICSE (2) Hridesh Rajan
2015	—	`conf`	Consensus-based mining of API preconditions in big code. SPLASH (Companion Volume) Hoan Anh Nguyen, Robert Dyer, Tien N. Nguyen, Hridesh Rajan
2015	—	`conf`	Demonstrating programming language feature mining using Boa. SPLASH (Companion Volume) Robert Dyer, Hridesh Rajan, Tien N. Nguyen, Hoan Anh Nguyen
2015	A	`conf`	Effectively mapping linguistic abstractions for message-passing concurrency to threads on the Java virtual machine. OOPSLA Ganesha Upadhyaya, Hridesh Rajan
2015	—	`conf`	Inferring Behavioral Specifications from Large-scale Repositories by Leveraging Collective Intelligence. ICSE (2) Hridesh Rajan, Tien N. Nguyen, Gary T. Leavens, Robert Dyer
2015	A	`conf`	Intensional Effect Polymorphism. ECOOP Yuheng Long, Yu David Liu, Hridesh Rajan
2015	—	`conf`	Modular reasoning in the presence of event subtyping. MODULARITY Mehdi Bagherzadeh, Robert Dyer, Rex D. Fernando, José Sánchez, Hridesh Rajan
2015	—	`conf`	Panini: a concurrent programming model for solving pervasive and oblivious interference. MODULARITY Mehdi Bagherzadeh, Hridesh Rajan
2014	—	`conf`	An Automatic Actors to Threads Mapping Technique for JVM-Based Actor Frameworks. AGERE!@SPLASH Ganesha Upadhyaya, Hridesh Rajan
2014	—	`conf`	AspectJML: modular specification and runtime checking for crosscutting contracts. MODULARITY Henrique Rebêlo, Gary T. Leavens, Mehdi Bagherzadeh, Hridesh Rajan, Ricardo Massa Ferreira Lima, Daniel M. Zimmerman, Márcio Cornélio, Thomas Thüm
2014	A*	`conf`	Mining billions of AST nodes to study actual and potential usage of Java language features. ICSE Robert Dyer, Hridesh Rajan, Hoan Anh Nguyen, Tien N. Nguyen
2014	—	`conf`	Mining preconditions of APIs in large-scale code corpus. SIGSOFT FSE Hoan Anh Nguyen, Robert Dyer, Tien N. Nguyen, Hridesh Rajan
2014	—	`conf`	Modularizing crosscutting contracts with AspectJML. MODULARITY (Companion) Henrique Rebêlo, Gary T. Leavens, Mehdi Bagherzadeh, Hridesh Rajan, Ricardo Massa Ferreira Lima, Daniel M. Zimmerman, Márcio Cornélio, Thomas Thüm
2014	—	`ed.`	Proceedings of the 13th Workshop on Foundations of Aspect-Oriented Languages, FOAL 2014, April 22, 2014, Lugano, Switzerland FOAL Gary T. Leavens, Hidehiko Masuhara, Hridesh Rajan, Eric Bodden
2013	A*	`conf`	A study of repetitiveness of code changes in software evolution. ASE Hoan Anh Nguyen, Anh Tuan Nguyen, Tung Thanh Nguyen, Tien N. Nguyen, Hridesh Rajan
2013	A*	`conf`	Boa: a language and infrastructure for analyzing ultra-large-scale software repositories. ICSE Robert Dyer, Hoan Anh Nguyen, Hridesh Rajan, Tien N. Nguyen
2013	B	`conf`	Declarative visitors to ease fine-grained source code mining with full history on billions of AST nodes. GPCE Robert Dyer, Hridesh Rajan, Tien N. Nguyen
2013	J	`jnl`	Language Features for Software Evolution and Aspect-Oriented Interfaces: An Exploratory Study. LNCS Trans. Aspect Oriented Softw. Dev. Robert Dyer, Hridesh Rajan, Yuanfang Cai
2013	—	`conf`	Mining source code repositories with boa. SPLASH (Companion Volume) Robert Dyer, Hoan Anh Nguyen, Hridesh Rajan, Tien N. Nguyen
2013	—	`conf`	On exceptions, events and observer chains. AOSD Mehdi Bagherzadeh, Hridesh Rajan, Mohammad Ali Darvish Darab
2013	—	`conf`	Panini: a capsule-oriented programming language for implicitly concurrent program design. SPLASH (Companion Volume) Eric Lin, Hridesh Rajan
2013	—	`ed.`	VMIL@SPLASH '13: Proceedings of the 7th ACM workshop on Virtual machines and intermediate languages, Indianapolis, IN, USA, 28 October 2013 VMIL@SPLASH Christoph Bockisch, Michael Haupt, Steve Blackburn, Hridesh Rajan, Joseph Gil
2012	—	`conf`	6th workshop on virtual machines and intermediate languages (VMIL'12). SPLASH Hridesh Rajan, Michael Haupt, Christoph Bockisch, Stephen M. Blackburn
2012	—	`conf`	An exploratory study of the design impact of language features for aspect-oriented interfaces. AOSD Robert Dyer, Hridesh Rajan, Yuanfang Cai
2012	—	`conf`	Analyzing ultra-large-scale code corpus with boa. SPLASH Robert Dyer, Hoan Nguyen, Hridesh Rajan, Tien N. Nguyen
2012	—	`conf`	Boa: analyzing ultra-large-scale code corpus. SPLASH Robert Dyer, Hoan Nguyen, Hridesh Rajan, Tien N. Nguyen
2012	—	`conf`	Event type polymorphism. FOAL Rex D. Fernando, Robert Dyer, Hridesh Rajan
2012	J	`jnl`	Frances: A Tool for Understanding Computer Architecture and Assembly Language. ACM Trans. Comput. Educ. Tyler Sondag, Kian L. Pokorny, Hridesh Rajan
2011	B	`conf`	Analyzing Software Updates: Should You Build a Dynamic Updating Infrastructure? FASE Bashar Gharaibeh, Hridesh Rajan, J. Morris Chang
2011	J	`jnl`	Frances-A: a tool for architecture level program visualization. J. Comput. Sci. Coll. Tyler Sondag, Kian L. Pokorny, Hridesh Rajan
2011	—	`conf`	Modularizing crosscutting concerns with Ptolemy. AOSD (Companion) Hridesh Rajan, Gary T. Leavens, Robert Dyer, Mehdi Bagherzadeh
2011	—	`conf`	Modularizing crosscutting concerns with ptolemy. OOPSLA Companion Hridesh Rajan, Sean L. Mooney, Gary T. Leavens, Robert Dyer, Rex D. Fernando, Mohammad Ali Darvish Darab, Bryan Welter
2011	A	`conf`	Phase-based tuning for better utilization of performance-asymmetric multicore processors. CGO Tyler Sondag, Hridesh Rajan
2011	—	`ed.`	Proceedings of the 10th international workshop on Foundations of aspect-oriented languages, FOAL 2011, Porto de Galinhas, Brazil, March 21-25, 2011 FOAL Hridesh Rajan
2011	—	`conf`	Translucid contracts: expressive specification and modular verification for aspect-oriented interfaces. AOSD Mehdi Bagherzadeh, Hridesh Rajan, Gary T. Leavens, Sean L. Mooney
2011	—	`conf`	VMIL 2011: the 5th workshop on virtual machines and intermediate languages. OOPSLA Companion Hridesh Rajan, Michael Haupt, Christoph Bockisch, Robert Dyer
2010	A	`conf`	A More Precise Abstract Domain for Multi-level Caches for Tighter WCET Analysis. RTSS Tyler Sondag, Hridesh Rajan
2010	—	`conf`	Almost free concurrency! (using GOF patterns). SPLASH/OOPSLA Companion Sean L. Mooney, Hridesh Rajan, Steven M. Kautz, Wayne Rowcliffe
2010	C	`conf`	Automating Cut-off for Multi-parameterized Systems. ICFEM Youssef Hanna, David Samuelson, Samik Basu, Hridesh Rajan
2010	—	`conf`	Building scalable software systems in the multicore era. FoSER Hridesh Rajan
2010	A	`conf`	Concurrency by modularity: design patterns, a case in point. OOPSLA Hridesh Rajan, Steven M. Kautz, Wayne Rowcliffe
2010	J	`jnl`	Connecting high-level programming constructs to assembly language using Frances: tutorial presentation. J. Comput. Sci. Coll. Kian L. Pokorny, Tyler Sondag, Hridesh Rajan
2010	—	`conf`	Feature Volatility Assessment. SPLC Workshops Warren Baelen, Yuanfang Cai, Robert Dyer, Hridesh Rajan
2010	A	`conf`	Frances: a tool for understanding code generation. SIGCSE Tyler Sondag, Kian L. Pokorny, Hridesh Rajan
2010	B	`conf`	Implicit invocation meets safe, implicit concurrency. GPCE Yuheng Long, Sean L. Mooney, Tyler Sondag, Hridesh Rajan
2010	J	`jnl`	Modular aspect-oriented design with XPIs. ACM Trans. Softw. Eng. Methodol. Kevin J. Sullivan, William G. Griswold, Hridesh Rajan, Yuanyuan Song, Yuanfang Cai, Macneil Shonle, Nishit Tewari
2010	—	`conf`	Property-aware program sampling. PASTE Harish Narayanappa, Mukul S. Bansal, Hridesh Rajan
2010	—	`conf`	Reconciling concurrency and modularity with Panini's asynchronous typed events. SPLASH/OOPSLA Companion Yuheng Long, Hridesh Rajan, Sean L. Mooney
2010	J	`jnl`	Supporting dynamic aspect-oriented features. ACM Trans. Softw. Eng. Methodol. Robert Dyer, Hridesh Rajan
2010	—	`conf`	Translucid contracts for modular reasoning about aspect-oriented programs. SPLASH/OOPSLA Companion Mehdi Bagherzadeh, Hridesh Rajan, Gary T. Leavens, Sean L. Mooney
2010	—	`conf`	VMIL 2010: 4th workshop on virtual machines and intermediate languages. SPLASH/OOPSLA Companion Hridesh Rajan, Michael Haupt, Christoph Bockisch, Robert Dyer
2010	—	`ed.`	VMIL@SPLASH 2010: Virtual Machines and Intermediate Languages, Reno, Nevada, USA, October 17 - 21, 2010 VMIL@SPLASH Hridesh Rajan, Christoph Bockisch, Michael Haupt, Robert Dyer
2009	—	`conf`	Behavioral automata composition for automatic topology independent verification of parameterized systems. ESEC/SIGSOFT FSE Youssef Hanna, Samik Basu, Hridesh Rajan
2009	—	`conf`	Phase-guided thread-to-core assignment for improved utilization of performance-asymmetric multi-core processors. IWMSE@ICSE Tyler Sondag, Hridesh Rajan
2009	—	`conf`	Slede: Framework for automatic verification of sensor network security protocol implementations. ICSE Companion Youssef Hanna, Hridesh Rajan
2009	A	`conf`	Tisa: A Language Design and Modular Verification Technique for Temporal Policies in Web Services. ESOP Hridesh Rajan, Jia Tao, Steve M. Shaner, Gary T. Leavens
2009	J	`jnl`	Unifying aspect- and object-oriented design. ACM Trans. Softw. Eng. Methodol. Hridesh Rajan, Kevin J. Sullivan
2009	—	`conf`	VMIL: workshop on virtual machines and intermediate languages. OOPSLA Companion Hridesh Rajan, Michael Haupt, Christoph Bockisch, Robert Dyer
2009	—	`ed.`	VMIL@OOPSLA 2009: Proceedings of the Third Workshop on Virtual Machines and Intermediate Languages, Orlando, Florida, USA, October 25 - 29, 2009 VMIL@OOPSLA Hridesh Rajan, Christoph Bockisch, Michael Haupt, Robert Dyer
2008	—	`conf`	A decision tree-based approach to dynamic pointcut evaluation. VMIL@SPLASH Robert Dyer, Hridesh Rajan
2008	—	`conf`	Nu: a dynamic aspect-oriented intermediate language model and virtual machine for flexible runtime adaptation. AOSD Robert Dyer, Hridesh Rajan
2008	A	`conf`	Ptolemy: A Language with Quantified, Typed Events. ECOOP Hridesh Rajan, Gary T. Leavens
2008	—	`conf`	Slede: a domain-specific verification framework for sensor network security protocol implementations. WISEC Youssef Hanna, Hridesh Rajan, Wensheng Zhang
2008	J	`jnl`	Tisa: Toward Trustworthy Services in a Service-Oriented Architecture. IEEE Trans. Serv. Comput. Hridesh Rajan, Mahantesh Hosamani
2008	—	`ed.`	VMIL@OOPSLA 2008: Proceedings of the 2nd Workshop on Virtual Machines and Intermediate Languages for emerging modularization mechanisms, Nashville, Tennessee, USA, October 21 - 23, 2008 VMIL@SPLASH Hridesh Rajan
2008	—	`conf`	Virtual machines and intermediate languages for emerging modularization mechanisms. OOPSLA Companion Hridesh Rajan, Michael Haupt, Christoph Bockisch, Robert Dyer
2007	—	`conf`	A case for explicit join point models for aspect-oriented intermediate languages. VMIL Hridesh Rajan
2007	—	`conf`	Monitoring the monitor: an approach towards trustworthiness in service oriented architecture. IW-SOSWE Mahantesh Hosamani, Harish Narayanappa, Hridesh Rajan
2007	—	`conf`	Predictive thread-to-core assignment on a heterogeneous multi-core processor. PLOS@SOSP Tyler Sondag, Viswanath Krishnamurthy, Hridesh Rajan
2007	—	`ed.`	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 VMIL Hridesh Rajan, Mira Mezini
2006	J	`jnl`	Modular Software Design with Crosscutting Interfaces. IEEE Softw. William G. Griswold, Kevin J. Sullivan, Yuanyuan Song, Macneil Shonle, Nishit Tewari, Yuanfang Cai, Hridesh Rajan
2006	J	`jnl`	Nu: preserving design modularity in object code. ACM SIGSOFT Softw. Eng. Notes Robert Dyer, Harish Narayanappa, Hridesh Rajan
2006	J	`jnl`	Osiris: generating concern models from source code. ACM SIGSOFT Softw. Eng. Notes Juri Memmert, Hridesh Rajan
2006	J	`jnl`	SLEDE: event-based specification of sensor network security protocols. ACM SIGSOFT Softw. Eng. Notes Youssef Hanna, Hridesh Rajan
2005	—	`conf`	Aspect language features for concern coverage profiling. AOSD Hridesh Rajan, Kevin J. Sullivan
2005	A*	`conf`	Classpects: unifying aspect- and object-oriented language design. ICSE Hridesh Rajan, Kevin J. Sullivan
2005	—	`conf`	Information hiding interfaces for aspect-oriented design. ESEC/SIGSOFT FSE Kevin J. Sullivan, William G. Griswold, Yuanyuan Song, Yuanfang Cai, Macneil Shonle, Nishit Tewari, Hridesh Rajan
2004	A*	`conf`	One More Step in the Direction of Modularized Integration Concerns. ICSE Hridesh Rajan
2004	A*	`conf`	Understanding Aspects via Implicit Invocation. ASE Jia Xu, Hridesh Rajan, Kevin J. Sullivan
2003	C	`conf`	Effects of Applying Mobility Localization on Source Routing Algorithms for Mobile Ad Hoc Network. ISCC Hridesh Rajan