Hridesh Rajan

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

Manas: Mining Software Repositories to Assist AutoML.

[BibT_eX]

[DOI]

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

The Art and Practice of Data Science Pipelines: A Comprehensive Study of Data Science Pipelines In Theory, In-The-Small, and In-The-Large.

[BibT_eX]

[DOI]

Sumon Biswas

Mohammad Wardat

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

A global convergence theory for deep ReLU implicit networks via over-parameterization.

[BibT_eX]

[DOI]

Proceedings of the Tenth International Conference on Learning Representations, 2022

2021

Semantics and Anomaly Preserving Sampling Strategy for Large-Scale Time Series Data.

[BibT_eX]

[DOI]

Shibbir Ahmed

Md Johirul Islam

Trans. Data Sci., 2021

Manas: Mining Software Repositories to Assist AutoML.

[BibT_eX]

[DOI]

CoRR, 2021

Fair preprocessing: towards understanding compositional fairness of data transformers in machine learning pipeline.

[BibT_eX]

[DOI]

Sumon Biswas

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

DeepLocalize: Fault Localization for Deep Neural Networks.

[BibT_eX]

[DOI]

Mohammad Wardat

Wei Le

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

2020

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

[BibT_eX]

[DOI]

Hamid Bagheri

Andrew J. Severin

Bioinform., 2020

On decomposing a deep neural network into modules.

[BibT_eX]

[DOI]

Rangeet Pan

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.

[BibT_eX]

[DOI]

Sumon Biswas

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

CoRR, 2019

Identifying Classes Susceptible to Adversarial Attacks.

[BibT_eX]

[DOI]

CoRR, 2019

Inferring Concise Specifications of APIs.

[BibT_eX]

[DOI]

CoRR, 2019

Shared data science infrastructure for genomics data.

[BibT_eX]

[DOI]

BMC Bioinform., 2019

A comprehensive study on deep learning bug characteristics.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 16th International Conference on Mining Software Repositories, 2019

2018

On Accelerating Source Code Analysis at Massive Scale.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2018

Special issue on software engineering technology and applications.

[BibT_eX]

[DOI]

W. K. Chan

Xiaodong Liu

J. Syst. Softw., 2018

A Cyberinfrastructure for BigData Transportation Engineering.

[BibT_eX]

[DOI]

Md Johirul Islam

Anuj Sharma

Syeda Khairunnesa Samantha

CoRR, 2018

On the significance of contract-based typestate specification.

[BibT_eX]

[DOI]

Hoan Anh Nguyen

Proceedings of the 1st ACM SIGSOFT International Workshop on Automated Specification Inference, 2018

Towards combining usage mining and implementation analysis to infer API preconditions.

[BibT_eX]

[DOI]

Proceedings of the 1st ACM SIGSOFT International Workshop on Automated Specification Inference, 2018

Large-scale study of substitutability in the presence of effects.

[BibT_eX]

[DOI]

Jackson Maddox

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

Collective program analysis.

[BibT_eX]

[DOI]

Syeda Khairunnesa Samantha

Proceedings of the 40th International Conference on Software Engineering, 2018

An algorithm and tool to infer practical postconditions.

[BibT_eX]

[DOI]

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

Hybrid traversal: efficient source code analysis at scale.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 40th International Conference on Software Engineering, 2018

2017

Exploiting implicit beliefs to resolve sparse usage problem in usage-based specification mining.

[BibT_eX]

[DOI]

Hoan Anh Nguyen

Tien N. Nguyen

Proc. ACM Program. Lang., 2017

Candoia: a platform for building and sharing mining software repositories tools as apps.

[BibT_eX]

[DOI]

Proceedings of the 14th International Conference on Mining Software Repositories, 2017

On Accelerating Ultra-Large-Scale Mining.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Alexander Bolotov

Chang Xu

Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

Order types: static reasoning about message races in asynchronous message passing concurrency.

[BibT_eX]

[DOI]

Mehdi Bagherzadeh

Proceedings of the 7th ACM SIGPLAN International Workshop on Programming Based on Actors, 2017

2016

Modular Reasoning in the Presence of Event Subtyping.

[BibT_eX]

[DOI]

LNCS Trans. Modul. Compos., 2016

First-class effect reflection for effect-guided programming.

[BibT_eX]

[DOI]

Yu David Liu

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

Specifying and Verifying Advanced Control Features.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Nitin M. Tiwari

Proceedings of the 38th International Conference on Software Engineering, 2016

Message from the SETA Organizing Committee.

[BibT_eX]

[DOI]

Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016

A type-and-effect system for asynchronous, typed events.

[BibT_eX]

[DOI]

Proceedings of the 15th International Conference on Modularity, 2016

On ordering problems in message passing software.

[BibT_eX]

[DOI]

Proceedings of the 15th International Conference on Modularity, 2016

2015

Boa: Ultra-Large-Scale Software Repository and Source-Code Mining.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2015

Effectively mapping linguistic abstractions for message-passing concurrency to threads on the Java virtual machine.

[BibT_eX]

[DOI]

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

Consensus-based mining of API preconditions in big code.

[BibT_eX]

[DOI]

Proceedings of the Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, 2015

Demonstrating programming language feature mining using Boa.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Capsule-Oriented Programming.

[BibT_eX]

[DOI]

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Intensional Effect Polymorphism.

[BibT_eX]

[DOI]

Yu David Liu

Proceedings of the 29th European Conference on Object-Oriented Programming, 2015

Panini: a concurrent programming model for solving pervasive and oblivious interference.

[BibT_eX]

[DOI]

Mehdi Bagherzadeh

Ricardo Massa Ferreira Lima

Proceedings of the 14th International Conference on Modularity, 2015

Boa.

[BibT_eX]

[DOI]

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

2014

Mining preconditions of APIs in large-scale code corpus.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 36th International Conference on Software Engineering, 2014

AspectJML: modular specification and runtime checking for crosscutting contracts.

[BibT_eX]

[DOI]

Daniel M. Zimmerman

Márcio Cornélio

Thomas Thüm

Proceedings of the 13th International Conference on Modularity, 2014

Modularizing crosscutting contracts with AspectJML.

[BibT_eX]

[DOI]

Ricardo Massa Ferreira Lima

Daniel M. Zimmerman

Márcio Cornélio

Thomas Thüm

Proceedings of the 13th International Conference on Modularity, 2014

An Automatic Actors to Threads Mapping Technique for JVM-Based Actor Frameworks.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Yuanfang Cai

LNCS Trans. Aspect Oriented Softw. Dev., 2013

Panini: a capsule-oriented programming language for implicitly concurrent program design.

[BibT_eX]

[DOI]

Eric Lin

Proceedings of the SPLASH'13, 2013

Mining source code repositories with boa.

[BibT_eX]

[DOI]

Proceedings of the SPLASH'13, 2013

A study of repetitiveness of code changes in software evolution.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Tien N. Nguyen

Proceedings of the Generative Programming: Concepts and Experiences, 2013

On exceptions, events and observer chains.

[BibT_eX]

[DOI]

Mehdi Bagherzadeh

Mohammad Ali Darvish Darab

Proceedings of the Aspect-Oriented Software Development, 2013

2012

Frances: A Tool for Understanding Computer Architecture and Assembly Language.

[BibT_eX]

[DOI]

Kian L. Pokorny

ACM Trans. Comput. Educ., 2012

6th workshop on virtual machines and intermediate languages (VMIL'12).

[BibT_eX]

[DOI]

Proceedings of the SPLASH'12, 2012

Boa: analyzing ultra-large-scale code corpus.

[BibT_eX]

[DOI]

Proceedings of the SPLASH'12, 2012

Analyzing ultra-large-scale code corpus with boa.

[BibT_eX]

[DOI]

Proceedings of the SPLASH'12, 2012

Event type polymorphism.

[BibT_eX]

[DOI]

Rex D. Fernando

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.

[BibT_eX]

[DOI]

Mohammad Ali Darvish Darab

Yuanfang Cai

Proceedings of the 11th International Conference on Aspect-oriented Software Development, 2012

2011

Modularizing crosscutting concerns with ptolemy.

[BibT_eX]

[DOI]

Bryan Welter

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.

[BibT_eX]

[DOI]

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?

[BibT_eX]

[DOI]

Bashar Gharaibeh

J. Morris Chang

Proceedings of the Fundamental Approaches to Software Engineering, 2011

Phase-based tuning for better utilization of performance-asymmetric multicore processors.

[BibT_eX]

[DOI]

Proceedings of the CGO 2011, 2011

Modularizing crosscutting concerns with Ptolemy.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Aspect-Oriented Software Development, 2011

2010

Modular aspect-oriented design with XPIs.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2010

Supporting dynamic aspect-oriented features.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2010

Feature Volatility Assessment.

[BibT_eX]

[DOI]

Proceedings of the Software Product Lines - 14th International Conference, 2010

Building scalable software systems in the multicore era.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Future of Software Engineering Research, 2010

Frances: a tool for understanding code generation.

[BibT_eX]

[DOI]

Kian L. Pokorny

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.

[BibT_eX]

[DOI]

Proceedings of the 31st IEEE Real-Time Systems Symposium, 2010

Property-aware program sampling.

[BibT_eX]

[DOI]

Harish Narayanappa

Mukul S. Bansal

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.

[BibT_eX]

[DOI]

Steven M. Kautz

Wayne Rowcliffe

Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

VMIL 2010: 4th workshop on virtual machines and intermediate languages.

[BibT_eX]

[DOI]

Proceedings of the Companion to the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

Almost free concurrency! (using GOF patterns).

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Sean L. Mooney

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.

[BibT_eX]

[DOI]

Proceedings of the Companion to the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

Automating Cut-off for Multi-parameterized Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2010

Implicit invocation meets safe, implicit concurrency.

[BibT_eX]

[DOI]

Proceedings of the Generative Programming And Component Engineering, 2010

2009

Unifying aspect- and object-oriented design.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2009

Behavioral automata composition for automatic topology independent verification of parameterized systems.

[BibT_eX]

[DOI]

Samik Basu

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.

[BibT_eX]

[DOI]

Proceedings of the Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009

Phase-guided thread-to-core assignment for improved utilization of performance-asymmetric multi-core processors.

[BibT_eX]

[DOI]

Proceedings of the 2009 ICSE Workshop on Multicore Software Engineering, 2009

Slede: Framework for automatic verification of sensor network security protocol implementations.

[BibT_eX]

[DOI]

Proceedings of the 31st International Conference on Software Engineering, 2009

Tisa: A Language Design and Modular Verification Technique for Temporal Policies in Web Services.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2009

2008

Tisa: Toward Trustworthy Services in a Service-Oriented Architecture.

[BibT_eX]

[DOI]

Mahantesh Hosamani

IEEE Trans. Serv. Comput., 2008

Slede: a domain-specific verification framework for sensor network security protocol implementations.

[BibT_eX]

[DOI]

Wensheng Zhang

Proceedings of the First ACM Conference on Wireless Network Security, 2008

Virtual machines and intermediate languages for emerging modularization mechanisms.

[BibT_eX]

[DOI]

Proceedings of the Companion to the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008

A decision tree-based approach to dynamic pointcut evaluation.

[BibT_eX]

[DOI]

Proceedings of the VMIL@OOPSLA 2008: Proceedings of the 2nd Workshop on Virtual Machines and Intermediate Languages for emerging modularization mechanisms, Nashville, Tennessee, USA, October 21, 2008

Ptolemy: A Language with Quantified, Typed Events.

[BibT_eX]

[DOI]

Gary T. Leavens

Proceedings of the ECOOP 2008, 2008

Nu: a dynamic aspect-oriented intermediate language model and virtual machine for flexible runtime adaptation.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on Aspect-Oriented Software Development, 2008

2007

Predictive thread-to-core assignment on a heterogeneous multi-core processor.

[BibT_eX]

[DOI]

Viswanath Krishnamurthy

Proceedings of the 4th workshop on Programming languages and operating systems, 2007

Monitoring the monitor: an approach towards trustworthiness in service oriented architecture.

[BibT_eX]

[DOI]

Mahantesh Hosamani

Harish Narayanappa

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.

[BibT_eX]

[DOI]

Proceedings of the 1st Workshop on Virtual Machines and Intermediate Languages for Emerging Modularization Mechanisms, 2007

2006

Modular Software Design with Crosscutting Interfaces.

[BibT_eX]

[DOI]

IEEE Softw., 2006

Osiris: generating concern models from source code.

[BibT_eX]

[DOI]

Juri Memmert

ACM SIGSOFT Softw. Eng. Notes, 2006

SLEDE: event-based specification of sensor network security protocols.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2006

Nu: preserving design modularity in object code.

[BibT_eX]

[DOI]

Harish Narayanappa

ACM SIGSOFT Softw. Eng. Notes, 2006

2005

Information hiding interfaces for aspect-oriented design.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

Aspect language features for concern coverage profiling.

[BibT_eX]

[DOI]

Proceedings of the 4th International Conference on Aspect-Oriented Software Development, 2005

2004

Understanding Aspects via Implicit Invocation.

[BibT_eX]

[DOI]

Jia Xu

Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 2004

One More Step in the Direction of Modularized Integration Concerns.

[BibT_eX]

[DOI]

Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

2003

<i>Eos</i>: instance-level aspects for integrated system design.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]