Hridesh Rajan

Registered user since Wed 1 Oct 2014

Name:Hridesh Rajan
Bio:

Hridesh Rajan is a Professor and Chair of Computer Science at Iowa State University, where he has been since 2005. Professor Rajan earned his MS and Ph.D. from the University of Virginia in 2004 and 2005 respectively. Professor Rajan’s recent research and educational activities are aimed at decreasing the barrier to entry to data-driven sciences to broaden participation. His work on the Boa project is aimed at the invention and refinement of programming languages and cyberinfrastructures that democratize data-driven science & engineering, including software engineering. His work on the Midwest Big Data Summer School is experimenting with broadly accessible data science curricula. Professor Rajan was the founding general chair of the Midwest Big Data Summer School. Professor Rajan’s research interests also include programming language design and implementation, and software engineering. He leads two research projects: Panini, whose goals are to enable modular reasoning about concurrent programs, and Boa that was established in Summer 2012 as an end-to-end infrastructure for analyzing large-scale software repositories and other open data sets. Professor Rajan is the director of the Laboratory for Software Design at Iowa State University, director of graduate admissions and recruitment for the Department of Computer Science. He serves as the department chair of the Department of Computer Science and served as the Professor-In-Charge of the Data Science education programs at Iowa State University from 2017-2019, and chair of the information technology committee for the university from 2015-2019. Professor Rajan served on the steering committee of the Midwest Big Data Hub, a consortium of universities in the Midwest region of the United States focused on promoting data science activities. Professor Rajan is a recipient of the National Science Foundation CAREER award in 2009, LAS Award for Early Achievement in Research in 2010, a Big-12 Fellowship in 2012. He is a 2018-19 Fulbright U.S. Scholar, a AAAS fellow, a distinguished member of the ACM, and a member of IEEE. He is also the inaugural holder of the Kingland Professorship in the Department of Computer Science.

Country:United States
Affiliation:Iowa State University
Personal website:https://hridesh.github.io
Research interests:Modularity, Modular Reasoning, Programming Languages, Software Engineering, Data Science

Contributions

ICSE 2024 Committee Member in Research Track within the Research Track-track
MSR 2023 Committee Member in Mining Challenge Committee within the Mining Challenge-track
SPLASH 2023 Committee Member in Steering Committee
ASE 2023 Committee Member in Program Committee within the Research Papers-track
ICSE 2023 Author of Decomposing a Recurrent Neural Network into Modules for Enabling Reusability and Replacement within the Technical Track-track
Author of Towards Understanding Fairness and its Composition in Ensemble Machine Learning within the Technical Track-track
Author of Artifact for the paper - "Decomposing a Recurrent Neural Network into Modules for Enabling Reusability and Replacement" within the Artifact Evaluation-track
Author of Fairify: Fairness Verification of Neural Networks within the Technical Track-track
Author of Replication Package of the ICSE 2023 Paper Entitled "Fairify: Fairness Verification of Neural Networks" within the Artifact Evaluation-track
Author of Artifact for the ICSE 2023 Paper Entitled "Towards Understanding Fairness and its Composition in Ensemble Machine Learning" within the Artifact Evaluation-track
CAIN 2023 PC Member in Program Committee
SPLASH 2022 Committee Member in Steering Committee
ESEC/FSE 2022 Author of On Decomposing a Deep Neural Network into Modules within the ESEC/FSE 2020-track
Author of 23 Shades of Self-Admitted Technical Debt: An Empirical Study on Machine Learning Software within the Research Papers-track
ASE 2022 Author of A Hybrid Approach for Inference between Behavioral Exception API Documentation and Implementations, and Its Applications within the Research Papers-track
Committee Member in Program Committee within the Research Papers-track
ICSE 2022 Author of Decomposing Convolutional Neural Networks into Reusable and Replaceable Modules within the Technical Track-track
Author of Manas: Mining Software Repositories to Assist AutoML within the Technical Track-track
Author of DeepDiagnosis: Automatically Diagnosing Faults and Recommending Actionable Fixes in Deep Learning Programs within the Technical Track-track
Author of The Art and Practice of Data Science Pipelines: A Comprehensive Study of Data Science Pipelines In Theory, In-The-Small, and In-The-Large within the Technical Track-track
SPLASH 2021 Committee Member in Steering Committee
Author of Ice Cream Social within the Closing-track
Iowa State University, USA in Onward! Steering Committee within the Onward! Papers-track
Mentor in Organizing Committee and Mentors within the Faculty Mentorship Roundtable-track
General Chair of Opening Session within the Opening-track
Iowa State University, USA in Onward! Steering Committee within the Onward! Essays-track
General Chair in Organizing Committee
ESEC/FSE 2021 Author of Fair Preprocessing: Towards Understanding Compositional Fairness of Data Transformers in Machine Learning Pipeline within the Research Papers-track
ICSE 2021 Author of DeepLocalize: Fault Localization for Deep Neural Networks within the Technical Track-track
DeepTest 2021 Committee Member in Program Committee within the deeptest2021-track
SPLASH 2020 Session Chair of W (part of Keynotes)
Committee Member in Steering Committee
Session Chair of W (part of Keynotes)
General Chair in Onward! Steering Committee within the Onward! Papers-track
General Chair in Organizing Committee
General Chair in Onward! Steering Committee within the Onward! Essays-track
Author of Opening Session within the Opening-track
Session Chair of F-2B (part of OOPSLA)
General Chair of Closing Session within the Closing-track
ESEC/FSE 2020 Author of On Decomposing a Deep Neural Network into Modules within the Research Papers-track
Author of Do the Machine Learning Models on a Crowd Sourced Platform Exhibit Bias? An Empirical Study on Model Fairness within the Research Papers-track
ICSE 2020 Author of Repairing Deep Neural Networks: Fix Patterns and Challenges within the Technical Papers-track
Author of BCFA: Bespoke Control Flow Analysis for CFA at Scale within the Technical Papers-track
ASE 2019 Committee Member in Program Committee within the Research Papers-track
PASS 2019 Committee Member in Program Committee within the PASS 2019 (CANCELED)-track
BenchWork 2019 Author of A Benchmark for Understanding Data Science Software within the BenchWork -track
MSR 2019 Author of Boa Meets Python: A Boa Dataset of Data Science Software in Python Language within the MSR 2019 Data Showcase-track
ESEC/FSE 2018 Session Chair of WASPI workshop (part of WASPI)
Co-chair in Organizing Committee within the Doctorial Symposium-track
Author of On the Significance of Contract-Based Typestate Specification within the WASPI-track
Committee Member in Organizing Committee within the WASPI-track
Author of Large-Scale Study of Substitutability in the Presence of Effects within the Research Papers-track
Session Chair of Mining (part of Research Papers)
Author of On Accelerating Source Code Analysis At Massive Scale within the Journal-First-track
Author of Introductions, logistics within the Doctorial Symposium-track
Session Chair of Open Discussion: Benchmarks for Program Specification (part of WASPI)
Doctoral Symposium Co-Chair in Organizing Committee
Author of Towards Combining Usage Mining and Implementation Analysis to Infer API Preconditions within the WASPI-track
VMIL 2018 Committee Member in Steering Committee within the VMIL 2018-track
* ICSE 2018 * Author of Are Code Examples on an Online Q&A Forum Reliable? A Study of API Misuse on Stack Overflow within the Technical Papers -track
Author of Poster T48: An Algorithm and Tool to Infer Practical Postconditions within the Posters -track
Author of Poster F39: Hybrid Traversal: Efficient Source Code Analysis at Scale within the Posters -track
Author of Collective Program Analysis within the Technical Papers -track
SPLASH 2017 Author of Bridging the Digital Divide in Data Science within the SPLASH-I-track
Author of Exploiting Implicit Beliefs to Resolve Sparse Usage Problem in Usage-Based Specification Mining within the OOPSLA-track
VMIL 2017 Committee Member in Organizing Committee within the VMIL 2017-track
AGERE 2017 Committee Member in Program Committee within the AGERE 2017-track
Author of Order Types: Static Reasoning about Message Races in Asynchronous Message Passing Concurrency within the AGERE 2017-track
AGERE 2016 Programme Committee in Program Committee within the AGERE 2016-track
META 2016 Committee Member in Program Committee within the Meta 2016-track
REBLS 2016 Committee Member in Program Committee within the REBLS-track
SPLASH 2016 Author of First-Class Effect Reflection for Effect-Guided Programming within the OOPSLA-track
VMIL 2016 Committee Member in Steering Committee within the VMIL-track
IWACO 2016 Committee Member in Program Committee within the IWACO-track
Modularity 2016 Session Chair of Modular Design and Reasoning (part of Research Results)
Author of On Ordering Problems in Message Passing Software within the Research Results-track
Author of A Type-and-Effect System for Asynchronous, Typed Events within the Research Results-track
Committee Member in Program Committee within the Research Results-track
FOAL 2016 Author of Panel - The Future of Advanced Modularity Techniques within the FOAL 2016-track
MASS 2016 Author of Session VII: Panel - Modularity Across the System Stack: Challenges and Opportunities (*Note: this panel session could be extended until 17:45) within the MASS 2016-track
Reflect 2016 Programme Committee in Program Committee within the Reflect 2016-track
SPLASH 2015 Author of Demonstrating Programming Language Feature Mining Using Boa within the Demos-track
Author of Consensus-based Mining of API Preconditions in Big Code within the Demos-track
Author of Effectively Mapping Linguistic Abstractions for Message-Passing Concurrency to Threads on the Java Virtual Machine within the OOPSLA-track
Author of Mining Programming Language Usage with Boa within the Tutorials-track
REBLS 2015 Committee Member in Program Committee within the REBLS-track
GPCE 2015 Committee Member in Program Committee within the GPCE-track
ECOOP 2015 Author of Intensional Effect Polymorphism within the Research Track-track
AGERE! Author of An Automatic Actors to Threads Mapping Technique for JVM-based Actor Frameworks within the AGERE!-track
Author of Modular Reasoning in Capsule within the AGERE!-track
GPCE 2013 Author of Declarative Visitors to Ease Fine-grained Source Code Mining with Full History on Billions of AST Nodes within the Research Papers-track
SPLASH 2013 Committee Member in Program Committee within the OOPSLA-track
Author of Mining Source Code Repositories with Boa within the Demonstrations-track
Author of Panini: a Capsule-oriented Programming Language for Implicitly Concurrent Program Design within the Demonstrations-track
SPLASH 2012 Author of Analyzing ultra-large-scale code corpus with boa within the Demos-track
Committee Member in External Reviewers within the OOPSLA Research Papers-track
Author of Boa: analyzing ultra-large-scale code corpus within the Posters-track
Chair in Program Committee within the Doctoral Symposium-track
VMIL 2012 Committee Member in Organizers within the VMIL 2012-track
VMIL 2011 Organizer in Organizing Committee within the VMIL 2011-track