| 2025 | ICSE | An LLM-Based Agent-Oriented Approach for Automated Code Design Issue Localization. | Fraol Batole, David O'Brien, Tien N. Nguyen, Robert Dyer, Hridesh Rajan |
| 2025 | ICSE | Mock Deep Testing: Toward Separate Development of Data and Models for Deep Learning. | Ruchira Manke, Mohammad Wardat, Foutse Khomh, Hridesh Rajan |
| 2025 | ICSE | $\mu \text{PRL}$: A Mutation Testing Pipeline for Deep Reinforcement Learning Based on Real Faults. | Deepak-George Thomas, Matteo Biagiola, Nargiz Humbatova, Mohammad Wardat, Gunel Jahangirova, Hridesh Rajan, Paolo Tonella |
| 2024 | ICSE | Inferring Data Preconditions from Deep Learning Models for Trustworthy Prediction in Deployment. | Shibbir Ahmed, Hongyang Gao, Hridesh Rajan |
| 2024 | ICSE | Data-Driven Evidence-Based Syntactic Sugar Design. | David O'Brien, Robert Dyer, Tien N. Nguyen, Hridesh Rajan |
| 2024 | ICSE | Are Prompt Engineering and TODO Comments Friends or Foes? An Evaluation on GitHub Copilot. | David O'Brien, Sumon Biswas, Sayem Mohammad Imtiaz, Rabe Abdalkareem, Emad Shihab, Hridesh Rajan |
| 2023 | ICSE | Fairify: Fairness Verification of Neural Networks. | Sumon Biswas, Hridesh Rajan |
| 2023 | ICSE | Towards Understanding Fairness and its Composition in Ensemble Machine Learning. | Usman Gohar, Sumon Biswas, Hridesh Rajan |
| 2023 | ICSE | Decomposing a Recurrent Neural Network into Modules for Enabling Reusability and Replacement. | Sayem Mohammad Imtiaz, Fraol Batole, Astha Singh, Rangeet Pan, Breno Dantas Cruz, Hridesh Rajan |
| 2022 | ICLR | A global convergence theory for deep ReLU implicit networks via over-parameterization. | Tianxiang Gao, Hailiang Liu, Jia Liu, Hridesh Rajan, Hongyang Gao |
| 2022 | INFOCOM | GADGET: Online Resource Optimization for Scheduling Ring-All-Reduce Learning Jobs. | Menglu Yu, Ye Tian, Bo Ji, Chuan Wu, Hridesh Rajan, Jia Liu |
| 2022 | ICSE | The Art and Practice of Data Science Pipelines: A Comprehensive Study of Data Science Pipelines In Theory, In-The-Small, and In-The-Large. | Sumon Biswas, Mohammad Wardat, Hridesh Rajan |
| 2022 | ICSE | Manas: Mining Software Repositories to Assist AutoML. | Giang Nguyen, Md Johirul Islam, Rangeet Pan, Hridesh Rajan |
| 2022 | ICSE | Decomposing Convolutional Neural Networks into Reusable and Replaceable Modules. | Rangeet Pan, Hridesh Rajan |
| 2022 | ICSE | DeepDiagnosis: Automatically Diagnosing Faults and Recommending Actionable Fixes in Deep Learning Programs. | Mohammad Wardat, Breno Dantas Cruz, Wei Le, Hridesh Rajan |
| 2022 | MOBIHOC | On scheduling ring-all-reduce learning jobs in multi-tenant GPU clusters with communication contention. | Menglu Yu, Bo Ji, Hridesh Rajan, Jia Liu |
| 2021 | ICSE | DeepLocalize: Fault Localization for Deep Neural Networks. | Mohammad Wardat, Wei Le, Hridesh Rajan |
| 2020 | ICSE | Repairing deep neural networks: fix patterns and challenges. | Md Johirul Islam, Rangeet Pan, Giang Nguyen, Hridesh Rajan |
| 2020 | ICSE | BCFA: bespoke control flow analysis for CFA at scale. | Ramanathan Ramu, Ganesha B. Upadhyaya, Hoan Anh Nguyen, Hridesh Rajan |
| 2019 | MSR | Boa meets python: a boa dataset of data science software in python language. | Sumon Biswas, Md Johirul Islam, Yijia Huang, Hridesh Rajan |
| 2018 | ICSE | Are code examples on an online Q&A forum reliable?: a study of API misuse on stack overflow. | Tianyi Zhang, Ganesha Upadhyaya, Anastasia Reinhardt, Hridesh Rajan, Miryung Kim |
| 2018 | ICSE | Hybrid traversal: efficient source code analysis at scale. | Ramanathan Ramu, Ganesha Upadhyaya, Hoan Anh Nguyen, Hridesh Rajan |
| 2018 | ICSE | An algorithm and tool to infer practical postconditions. | John L. Singleton, Gary T. Leavens, Hridesh Rajan, David R. Cok |
| 2018 | ICSE | Collective program analysis. | Ganesha Upadhyaya, Hridesh Rajan |
| 2017 | COMPSAC | Message from SETA 2017 Program Chairs. | Hridesh Rajan, Alexander Bolotov, Chang Xu |
| 2017 | ICSE | Statistical Learning for Inference between Implementations and Documentation. | Hung Phan, Hoan Anh Nguyen, Tien N. Nguyen, Hridesh Rajan |
| 2017 | ICSE | On Accelerating Ultra-Large-Scale Mining. | Ganesha Upadhyaya, Hridesh Rajan |
| 2017 | MSR | Candoia: a platform for building and sharing mining software repositories tools as apps. | Nitin M. Tiwari, Ganesha Upadhyaya, Hoan Anh Nguyen, Hridesh Rajan |
| 2016 | COMPSAC | Message from the SETA Organizing Committee. | Doris L. Carver, Wing Kwong Chan, Hongji Yang, Xiaodong Liu, Carl K. Chang, Hridesh Rajan |
| 2016 | ICSE | Candoia: a platform and ecosystem for mining software repositories tools. | Nitin M. Tiwari, Ganesha Upadhyaya, Hridesh Rajan |
| 2016 | ISoLA | Specifying and Verifying Advanced Control Features. | Gary T. Leavens, David A. Naumann, Hridesh Rajan, Tomoyuki Aotani |
| 2016 | OOPSLA | First-class effect reflection for effect-guided programming. | Yuheng Long, Yu David Liu, Hridesh Rajan |
| 2015 | ECOOP | Intensional Effect Polymorphism. | Yuheng Long, Yu David Liu, Hridesh Rajan |
| 2015 | ICSE | Capsule-Oriented Programming. | Hridesh Rajan |
| 2015 | ICSE | Inferring Behavioral Specifications from Large-scale Repositories by Leveraging Collective Intelligence. | Hridesh Rajan, Tien N. Nguyen, Gary T. Leavens, Robert Dyer |
| 2015 | OOPSLA | Demonstrating programming language feature mining using Boa. | Robert Dyer, Hridesh Rajan, Tien N. Nguyen, Hoan Anh Nguyen |
| 2015 | OOPSLA | Consensus-based mining of API preconditions in big code. | Hoan Anh Nguyen, Robert Dyer, Tien N. Nguyen, Hridesh Rajan |
| 2015 | OOPSLA | Effectively mapping linguistic abstractions for message-passing concurrency to threads on the Java virtual machine. | Ganesha Upadhyaya, Hridesh Rajan |
| 2014 | ICSE | Mining billions of AST nodes to study actual and potential usage of Java language features. | Robert Dyer, Hridesh Rajan, Hoan Anh Nguyen, Tien N. Nguyen |
| 2013 | GPCE | Declarative visitors to ease fine-grained source code mining with full history on billions of AST nodes. | Robert Dyer, Hridesh Rajan, Tien N. Nguyen |
| 2013 | ICSE | Boa: a language and infrastructure for analyzing ultra-large-scale software repositories. | Robert Dyer, Hoan Anh Nguyen, Hridesh Rajan, Tien N. Nguyen |
| 2013 | OOPSLA | Mining source code repositories with boa. | Robert Dyer, Hoan Anh Nguyen, Hridesh Rajan, Tien N. Nguyen |
| 2013 | OOPSLA | Panini: a capsule-oriented programming language for implicitly concurrent program design. | Eric Lin, Hridesh Rajan |
| 2012 | OOPSLA | Analyzing ultra-large-scale code corpus with boa. | Robert Dyer, Hoan Nguyen, Hridesh Rajan, Tien N. Nguyen |
| 2012 | OOPSLA | Boa: analyzing ultra-large-scale code corpus. | Robert Dyer, Hoan Nguyen, Hridesh Rajan, Tien N. Nguyen |
| 2012 | OOPSLA | 6th workshop on virtual machines and intermediate languages (VMIL'12). | Hridesh Rajan, Michael Haupt, Christoph Bockisch, Stephen M. Blackburn |
| 2011 | CGO | Phase-based tuning for better utilization of performance-asymmetric multicore processors. | Tyler Sondag, Hridesh Rajan |
| 2011 | FASE | Analyzing Software Updates: Should You Build a Dynamic Updating Infrastructure? | Bashar Gharaibeh, Hridesh Rajan, J. Morris Chang |
| 2011 | OOPSLA | VMIL 2011: the 5th workshop on virtual machines and intermediate languages. | Hridesh Rajan, Michael Haupt, Christoph Bockisch, Robert Dyer |
| 2011 | OOPSLA | Modularizing crosscutting concerns with ptolemy. | Hridesh Rajan, Sean L. Mooney, Gary T. Leavens, Robert Dyer, Rex D. Fernando, Mohammad Ali Darvish Darab, Bryan Welter |
| 2010 | GPCE | Implicit invocation meets safe, implicit concurrency. | Yuheng Long, Sean L. Mooney, Tyler Sondag, Hridesh Rajan |
| 2010 | ICFEM | Automating Cut-off for Multi-parameterized Systems. | Youssef Hanna, David Samuelson, Samik Basu, Hridesh Rajan |
| 2010 | OOPSLA | Translucid contracts for modular reasoning about aspect-oriented programs. | Mehdi Bagherzadeh, Hridesh Rajan, Gary T. Leavens, Sean L. Mooney |
| 2010 | OOPSLA | Reconciling concurrency and modularity with Panini's asynchronous typed events. | Yuheng Long, Hridesh Rajan, Sean L. Mooney |
| 2010 | OOPSLA | Almost free concurrency! (using GOF patterns). | Sean L. Mooney, Hridesh Rajan, Steven M. Kautz, Wayne Rowcliffe |
| 2010 | OOPSLA | VMIL 2010: 4th workshop on virtual machines and intermediate languages. | Hridesh Rajan, Michael Haupt, Christoph Bockisch, Robert Dyer |
| 2010 | OOPSLA | Concurrency by modularity: design patterns, a case in point. | Hridesh Rajan, Steven M. Kautz, Wayne Rowcliffe |
| 2010 | SIGCSE | Frances: a tool for understanding code generation. | Tyler Sondag, Kian L. Pokorny, Hridesh Rajan |
| 2010 | RTSS | A More Precise Abstract Domain for Multi-level Caches for Tighter WCET Analysis. | Tyler Sondag, Hridesh Rajan |
| 2010 | SPLC | Feature Volatility Assessment. | Warren Baelen, Yuanfang Cai, Robert Dyer, Hridesh Rajan |
| 2009 | ESOP | Tisa: A Language Design and Modular Verification Technique for Temporal Policies in Web Services. | Hridesh Rajan, Jia Tao, Steve M. Shaner, Gary T. Leavens |
| 2009 | ICSE | Slede: Framework for automatic verification of sensor network security protocol implementations. | Youssef Hanna, Hridesh Rajan |
| 2009 | ICSE | Phase-guided thread-to-core assignment for improved utilization of performance-asymmetric multi-core processors. | Tyler Sondag, Hridesh Rajan |
| 2009 | OOPSLA | VMIL: workshop on virtual machines and intermediate languages. | Hridesh Rajan, Michael Haupt, Christoph Bockisch, Robert Dyer |
| 2008 | ECOOP | Ptolemy: A Language with Quantified, Typed Events. | Hridesh Rajan, Gary T. Leavens |
| 2008 | OOPSLA | A decision tree-based approach to dynamic pointcut evaluation. | Robert Dyer, Hridesh Rajan |
| 2008 | OOPSLA | Virtual machines and intermediate languages for emerging modularization mechanisms. | Hridesh Rajan, Michael Haupt, Christoph Bockisch, Robert Dyer |
| 2007 | SOSP | Predictive thread-to-core assignment on a heterogeneous multi-core processor. | Tyler Sondag, Viswanath Krishnamurthy, Hridesh Rajan |
| 2005 | ICSE | Classpects: unifying aspect- and object-oriented language design. | Hridesh Rajan, Kevin J. Sullivan |
| 2004 | ICSE | One More Step in the Direction of Modularized Integration Concerns. | Hridesh Rajan |
| 2003 | ISCC | Effects of Applying Mobility Localization on Source Routing Algorithms for Mobile Ad Hoc Network. | Hridesh Rajan |