Hridesh Rajan

According to our database1, Hridesh Rajan authored at least 105 papers between 2003 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
Detecting and correcting misclassified sequences in the large-scale public databases.
Bioinform., 2020

On decomposing a deep neural network into modules.
Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

Do the machine learning models on a crowd sourced platform exhibit bias? an empirical study on model fairness.
Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

BCFA: bespoke control flow analysis for CFA at scale.
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

Repairing deep neural networks: fix patterns and challenges.
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

2019
What Do Developers Ask About ML Libraries? A Large-scale Study Using Stack Overflow.
CoRR, 2019

Identifying Classes Susceptible to Adversarial Attacks.
CoRR, 2019

Inferring Concise Specifications of APIs.
CoRR, 2019

Shared data science infrastructure for genomics data.
BMC Bioinform., 2019

A comprehensive study on deep learning bug characteristics.
Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

Boa meets python: a boa dataset of data science software in python language.
Proceedings of the 16th International Conference on Mining Software Repositories, 2019

2018
On Accelerating Source Code Analysis at Massive Scale.
IEEE Trans. Software Eng., 2018

Special issue on software engineering technology and applications.
J. Syst. Softw., 2018

A Cyberinfrastructure for BigData Transportation Engineering.
CoRR, 2018

On the significance of contract-based typestate specification.
Proceedings of the 1st ACM SIGSOFT International Workshop on Automated Specification Inference, 2018

Towards combining usage mining and implementation analysis to infer API preconditions.
Proceedings of the 1st ACM SIGSOFT International Workshop on Automated Specification Inference, 2018

Large-scale study of substitutability in the presence of effects.
Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

Collective program analysis.
Proceedings of the 40th International Conference on Software Engineering, 2018

An algorithm and tool to infer practical postconditions.
Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

Hybrid traversal: efficient source code analysis at scale.
Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

Are code examples on an online Q&A forum reliable?: a study of API misuse on stack overflow.
Proceedings of the 40th International Conference on Software Engineering, 2018

2017
Exploiting implicit beliefs to resolve sparse usage problem in usage-based specification mining.
Proc. ACM Program. Lang., 2017

Candoia: a platform for building and sharing mining software repositories tools as apps.
Proceedings of the 14th International Conference on Mining Software Repositories, 2017

On Accelerating Ultra-Large-Scale Mining.
Proceedings of the 39th IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Technologies Results Track, 2017

Statistical Learning for Inference between Implementations and Documentation.
Proceedings of the 39th IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Technologies Results Track, 2017

Message from SETA 2017 Program Chairs.
Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

Order types: static reasoning about message races in asynchronous message passing concurrency.
Proceedings of the 7th ACM SIGPLAN International Workshop on Programming Based on Actors, 2017

2016
Modular Reasoning in the Presence of Event Subtyping.
LNCS Trans. Modul. Compos., 2016

First-class effect reflection for effect-guided programming.
Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

Specifying and Verifying Advanced Control Features.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

Candoia: a platform and ecosystem for mining software repositories tools.
Proceedings of the 38th International Conference on Software Engineering, 2016

Message from the SETA Organizing Committee.
Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016

A type-and-effect system for asynchronous, typed events.
Proceedings of the 15th International Conference on Modularity, 2016

On ordering problems in message passing software.
Proceedings of the 15th International Conference on Modularity, 2016

2015
Boa: Ultra-Large-Scale Software Repository and Source-Code Mining.
ACM Trans. Softw. Eng. Methodol., 2015

Effectively mapping linguistic abstractions for message-passing concurrency to threads on the Java virtual machine.
Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

Consensus-based mining of API preconditions in big code.
Proceedings of the Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, 2015

Demonstrating programming language feature mining using Boa.
Proceedings of the Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, 2015

Inferring Behavioral Specifications from Large-scale Repositories by Leveraging Collective Intelligence.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Capsule-Oriented Programming.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Intensional Effect Polymorphism.
Proceedings of the 29th European Conference on Object-Oriented Programming, 2015

Panini: a concurrent programming model for solving pervasive and oblivious interference.
Proceedings of the 14th International Conference on Modularity, 2015

Proceedings of the Art and Science of Analyzing Software Data, 2015

2014
Mining preconditions of APIs in large-scale code corpus.
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

Mining billions of AST nodes to study actual and potential usage of Java language features.
Proceedings of the 36th International Conference on Software Engineering, 2014

AspectJML: modular specification and runtime checking for crosscutting contracts.
Proceedings of the 13th International Conference on Modularity, 2014

Modularizing crosscutting contracts with AspectJML.
Proceedings of the 13th International Conference on Modularity, 2014

An Automatic Actors to Threads Mapping Technique for JVM-Based Actor Frameworks.
Proceedings of the 4th International Workshop on Programming based on Actors Agents & Decentralized Control, 2014

2013
Language Features for Software Evolution and Aspect-Oriented Interfaces: An Exploratory Study.
LNCS Trans. Aspect Oriented Softw. Dev., 2013

Panini: a capsule-oriented programming language for implicitly concurrent program design.
Proceedings of the Conference on Systems, 2013

Mining source code repositories with boa.
Proceedings of the Conference on Systems, 2013

A study of repetitiveness of code changes in software evolution.
Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

Boa: a language and infrastructure for analyzing ultra-large-scale software repositories.
Proceedings of the 35th International Conference on Software Engineering, 2013

Declarative visitors to ease fine-grained source code mining with full history on billions of AST nodes.
Proceedings of the Generative Programming: Concepts and Experiences, 2013

On exceptions, events and observer chains.
Proceedings of the Aspect-Oriented Software Development, 2013

2012
Frances: A Tool for Understanding Computer Architecture and Assembly Language.
ACM Trans. Comput. Educ., 2012

6th workshop on virtual machines and intermediate languages (VMIL'12).
Proceedings of the Conference on Systems, 2012

Boa: analyzing ultra-large-scale code corpus.
Proceedings of the Conference on Systems, 2012

Analyzing ultra-large-scale code corpus with boa.
Proceedings of the Conference on Systems, 2012

Event type polymorphism.
Proceedings of the eleventh workshop on Foundations of Aspect-Oriented Languages, 2012

An exploratory study of the design impact of language features for aspect-oriented interfaces.
Proceedings of the 11th International Conference on Aspect-oriented Software Development, 2012

2011
Modularizing crosscutting concerns with ptolemy.
Proceedings of the Companion to the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

VMIL 2011: the 5th workshop on virtual machines and intermediate languages.
Proceedings of the Companion to the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Analyzing Software Updates: Should You Build a Dynamic Updating Infrastructure?
Proceedings of the Fundamental Approaches to Software Engineering, 2011

Phase-based tuning for better utilization of performance-asymmetric multicore processors.
Proceedings of the CGO 2011, 2011

Modularizing crosscutting concerns with Ptolemy.
Proceedings of the Companion Volume of the 10th International Conference on Aspect-Oriented Software Development, 2011

Translucid contracts: expressive specification and modular verification for aspect-oriented interfaces.
Proceedings of the 10th International Conference on Aspect-Oriented Software Development, 2011

2010
Modular aspect-oriented design with XPIs.
ACM Trans. Softw. Eng. Methodol., 2010

Supporting dynamic aspect-oriented features.
ACM Trans. Softw. Eng. Methodol., 2010

Feature Volatility Assessment.
Proceedings of the Software Product Lines - 14th International Conference, 2010

Building scalable software systems in the multicore era.
Proceedings of the Workshop on Future of Software Engineering Research, 2010

Frances: a tool for understanding code generation.
Proceedings of the 41st ACM technical symposium on Computer science education, 2010

A More Precise Abstract Domain for Multi-level Caches for Tighter WCET Analysis.
Proceedings of the 31st IEEE Real-Time Systems Symposium, 2010

Property-aware program sampling.
Proceedings of the 9th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, 2010

Concurrency by modularity: design patterns, a case in point.
Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

VMIL 2010: 4th workshop on virtual machines and intermediate languages.
Proceedings of the Companion to the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

Almost free concurrency! (using GOF patterns).
Proceedings of the Companion to the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

Reconciling concurrency and modularity with Panini's asynchronous typed events.
Proceedings of the Companion to the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

Translucid contracts for modular reasoning about aspect-oriented programs.
Proceedings of the Companion to the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

Automating Cut-off for Multi-parameterized Systems.
Proceedings of the Formal Methods and Software Engineering, 2010

Implicit invocation meets safe, implicit concurrency.
Proceedings of the Generative Programming And Component Engineering, 2010

2009
Unifying aspect- and object-oriented design.
ACM Trans. Softw. Eng. Methodol., 2009

Behavioral automata composition for automatic topology independent verification of parameterized systems.
Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009

VMIL: workshop on virtual machines and intermediate languages.
Proceedings of the Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009

Slede: Framework for automatic verification of sensor network security protocol implementations.
Proceedings of the 31st International Conference on Software Engineering, 2009

Tisa: A Language Design and Modular Verification Technique for Temporal Policies in Web Services.
Proceedings of the Programming Languages and Systems, 2009

2008
Tisa: Toward Trustworthy Services in a Service-Oriented Architecture.
IEEE Trans. Serv. Comput., 2008

Slede: a domain-specific verification framework for sensor network security protocol implementations.
Proceedings of the First ACM Conference on Wireless Network Security, 2008

Virtual machines and intermediate languages for emerging modularization mechanisms.
Proceedings of the Companion to the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008

Ptolemy: A Language with Quantified, Typed Events.
Proceedings of the ECOOP 2008, 2008

Nu: a dynamic aspect-oriented intermediate language model and virtual machine for flexible runtime adaptation.
Proceedings of the 7th International Conference on Aspect-Oriented Software Development, 2008

2007
Predictive thread-to-core assignment on a heterogeneous multi-core processor.
Proceedings of the 4th workshop on Programming languages and operating systems, 2007

Monitoring the monitor: an approach towards trustworthiness in service oriented architecture.
Proceedings of the 2nd International Workshop on Service Oriented Software Engineering: in conjunction with the 6th ESEC/FSE joint meeting, 2007

A case for explicit join point models for aspect-oriented intermediate languages.
Proceedings of the 1st Workshop on Virtual Machines and Intermediate Languages for Emerging Modularization Mechanisms, 2007

2006
Modular Software Design with Crosscutting Interfaces.
IEEE Softw., 2006

Osiris: generating concern models from source code.
ACM SIGSOFT Softw. Eng. Notes, 2006

SLEDE: event-based specification of sensor network security protocols.
ACM SIGSOFT Softw. Eng. Notes, 2006

Nu: preserving design modularity in object code.
ACM SIGSOFT Softw. Eng. Notes, 2006

2005
Information hiding interfaces for aspect-oriented design.
Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005

Classpects: unifying aspect- and object-oriented language design.
Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

Aspect language features for concern coverage profiling.
Proceedings of the 4th International Conference on Aspect-Oriented Software Development, 2005

2004
Understanding Aspects via Implicit Invocation.
Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 2004

One More Step in the Direction of Modularized Integration Concerns.
Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

2003
<i>Eos</i>: instance-level aspects for integrated system design.
Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, 2003

Effects of Applying Mobility Localization on Source Routing Algorithms for Mobile Ad Hoc Network.
Proceedings of the Eighth IEEE Symposium on Computers and Communications (ISCC 2003), 30 June, 2003


  Loading...