Peer-Reviewed Articles (8)
Boa: Ultra-large-scale software repository and source-code mining
ACM Transactions on Software Engineering and Methodology (TOSEM) (2015)
In today’s software-centric world, ultra-large-scale software repositories, e.g. SourceForge, GitHub, and Google Code, are the new library of Alexandria. They ...
Language Features for Software Evolution and Aspect-Oriented Interfaces: An Exploratory ...
Transactions on Aspect-Oriented Software Development X (2013)
A variety of language features to modularize cross-cutting concerns have recently been discussed, e.g., open modules, annotation-based pointcuts, explicit join ...
A Cyberinfrastructure for Big Data Transportation Engineering
Journal of Big Data Analytics in Transportation (2019)
Big data-driven transportation engineering has the potential to improve utilization of road infrastructure, decrease traffic fatalities, improve fuel consumption, and ...
Conference Proceedings (46)
Candoia: a platform for building and sharing mining software repositories ...
Proceedings of the 14th International Conference on Mining Software Repositories (2017)
We propose Candoia, a novel platform and ecosystem for building and sharing Mining Software Repositories (MSR) tools. Using Candoia, MSR ...
On accelerating ultra-large-scale mining
Proceedings of the 39th International Conference on Software Engineering: New Ideas and Emerging Results Track (2017)
Ultra-large-scale mining has been shown to be useful for a number of software engineering tasks e.g. mining specifications, defect prediction. ...
First-class effect reflection for effect-guided programming
Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (2016)
This paper introduces a novel type-and-effect calculus, first-class effects, where the computational effect of an expression can be programmatically reflected, ...
A type-and-effect system for asynchronous, typed events
Proceedings of the 15th International Conference on Modularity (2016)
Implicit concurrency between handlers is important for event driven systems because it helps simultaneously promote modularity and scalability. Knowing the ...
Modular Reasoning in the Presence of Event Subtyping
Transactions on Modularity and Composition I. Lecture Notes in Computer Science (2016)
Separating crosscutting concerns while preserving modular reasoning is challenging. Type-based interfaces (event types) separate modularized crosscutting concerns (observers) and traditional ...