Follow

Submissions from 2017

PDF

Identifying Policy Agenda Sub-Topics in Political Tweets based on Community Detection, Rohit Iyer, Johnny S. Wong, Wallapak Tavanapong, and David A. M. Peterson

PDF

Social Media in State Politics: Mining Policy Agendas Topics, Lei Qi, Rihui Li, Johnny S. Wong, Wallapak Tavanapong, and David A. M. Peterson

PDF

Candoia: a platform for building and sharing mining software repositories tools as apps, Nitin M. Tiwari, Ganesha Upadhyaya, Hoan Anh Nguyen, and Hridesh Rajan

PDF

On accelerating ultra-large-scale mining, Ganesha Upadhyaya and Hridesh Rajan

Submissions from 2016

PDF

Modular Reasoning in the Presence of Event Subtyping, Mehdi Bagherzadeh, Robert Dyer, Rex D. Fernado, Jose Sanchez, and Hridesh Rajan

PDF

On Ordering Problems in Message Passing Software, Yuheng Long, Mehdi Bagherzadeh, Eric Lin, Ganesha Upadhyaya, and Hridesh Rajan

PDF

First-class effect reflection for effect-guided programming, Yuheng Long, Yu David Liu, and Hridesh Rajan

PDF

A type-and-effect system for asynchronous, typed events, Yuheng Long and Hridesh Rajan

Submissions from 2015

PDF

Enhancing Informative Frame Filtering by Water and Bubble Detection in Colonoscopy Videos, Ashok Dahal, JungHwan Oh, Wallapak Tavanapong, Johnny S. Wong, and Piet C. de Groen

PDF

Intensional Effect Polymorphism, Yuheng Long, Yu David Liu, and Hridesh Rajan

PDF

Capsule-oriented programming, Hridesh Rajan

PDF

Panini: a concurrent programming model for solving pervasive and oblivious interference, Hridesh Rajan and Mehdi Bagherzadeh

PDF

Inferring behavioral specifications from large-scale repositories by leveraging collective intelligence, Hridesh Rajan, Tien N. Nguyen, Gary T. Leavens, and Robert Dyer

PDF

Effectively mapping linguistic abstractions for message-passing concurrency to threads on the Java virtual machine, Ganesha Upadhyaya and Hridesh Rajan

PDF

Cable Footprint History: Spatio-Temporal Technique for Instrument Detection in Gastrointestinal Endoscopic Procedures, Chuanhai Zhang, Wallapak Tavanapong, Johnny S. Wong, Piet C. de Groen, and JungHwan Oh

Submissions from 2014

PDF

Mining billions of AST nodes to study actual and potential usage of Java language features, Robert Dyer, Hridesh Rajan, Hoan Anh Nguyen, and Tien N. Nguyen

PDF

Mining preconditions of APIs in large-scale code corpus, Hoan Anh Nguyen, Robert Dyer, Tien N. Nguyen, and Hridesh Rajan

PDF

AspectJML: modular specification and runtime checking for crosscutting contracts, Henrique Rebêlo, Gary T. Leavens, Mehdi Bagherzadeh, Hridesh Rajan, Ricardo Lima, Daniel M. Zimmerman, Marcio Cornelio, and Thomas Thüm

PDF

An Automatic Actors to Threads Mapping Technique for JVM-Based Actor Frameworks, Ganesha Upadhyaya and Hridesh Rajan

Submissions from 2013

Link

On exceptions, events and observer chains, Mehdi Bagherzadeh, Hridesh Rajan, and Ali Darvish

PDF

Declarative visitors to ease fine-grained source code mining with full history on billions of AST nodes, Robert Dyer, Tien N. Nguyen, and Hridesh Rajan

PDF

A study of repetitiveness of code changes in software evolution, Hoan Anh Nguyen, Anh Tuan Nguyen, Tung Thanh Nguyen, Tien N. Nguyen, and Hridesh Rajan

Submissions from 2012

PDF

Event type polymorphism, Robert Dyer, Rex D. Fernando, and Hridesh Rajan

PDF

An exploratory study of the design impact of language features for aspect-oriented interfaces, Robert Dyer, Hridesh Rajan, and Yuanfang Cai

Submissions from 2011

PDF

Implicit invocation meets safe, implicit concurrency, Yuheng Long, Sean L. Mooney, Tyler Sondag, and Hridesh Rajan

Translucid contracts: expressive specification and modular verification for aspect-oriented interfaces, Hridesh Rajan, Megdi Bagherzadeh, Gary T. Leavens, and Sean Moody

PDF

Analyzing Software Updates: Should You Build a Dynamic Updating Infrastructure?, Hridesh Rajan, Bashar Gharaibeh, and Morris Chang

PDF

Phase-based tuning for better utilization of performance-asymmetric multicore processors, Hridesh Rajan and Tyler Sondag

Submissions from 2010

PDF

Property-aware program sampling, Harish Narayanappa, Hridesh Rajan, and Mukul S. Bansal

PDF

Building scalable software systems in the multicore era, Hridesh Rajan

PDF

Concurrency by modularity: design patterns, a case in point, Hridesh Rajan, Steven M. Kautz, and Wayne Rowcliffe

PDF

Frances: a tool for understanding code generation, Tyler Sondag, Kian L. Pokorny, and Hridesh Rajan

PDF

A More Precise Abstract Domain for Multi-level Caches for Tighter WCET Analysis, Tyler Sondag and Hridesh Rajan

Submissions from 2009

PDF

Behavioral automata composition for automatic topology independent verification of parameterized systems, Youssef Hanna, Samik Basu, and Hridesh Rajan

Tisa: A Language Design and Modular Verification Technique for Temporal Policies in Web Services, Hridesh Rajan, Jia Tao, Steve Shaner, and Gary T. Leavens

Submissions from 2008

PDF

A decision tree-based approach to dynamic pointcut evaluation, Robert Dyer and Hridesh Rajan

PDF

Nu: a dynamic aspect-oriented intermediate language model and virtual machine for flexible runtime adaptation, Robert Dyer and Hridesh Rajan

PDF

Slede: a domain-specific verification framework for sensor network security protocol implementations, Youssef Hanna, Hridesh Rajan, and Wensheng Zhang

PDF

Ptolemy: A Language with Quantified, Typed Events, Hridesh Rajan and Gary T. Leavens

Submissions from 2007

PDF

Monitoring the monitor: an approach towards trustworthiness in service oriented architecture, Mahantesh Hosamani, Harish Narayanappa, and Hridesh Rajan

PDF

A case for explicit join point models for aspect-oriented intermediate languages, Hridesh Rajan

PDF

Design pattern implementations in Eos, Hridesh Rajan

PDF

Predictive thread-to-core assignment on a heterogeneous multi-core processor, Tyler Sondag, Viswanath Krishnamurthy, and Hridesh Rajan

Submissions from 2003

PDF

Enhancing Patching Performance Through Double Patching, Ying Cai, Wallapak Tavanapong, and Kien A. Hua