Follow

Submissions from 2016

PDF

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

PDF

A Region-Centric Analysis of the Internet Peering Ecosystem, Rajesh Putta Venkata and Lu Ruan

Submissions from 2015

PDF

Automatic Choreography Repair, Samik Basu and Tevfik Bultan

PDF

Boa: Ultra-Large-Scale Software Repository and Source Code Mining, Robert Dyer, Hoan Anh Nguyen, Hridesh Rajan, and Tien N. Nguyen

PDF

GP-ORAM: A Generalized Partition ORAM, Zhang Jinsheng, Zhang Wensheng, and Daji Qiao

PDF

Duck Futures: A Generative Approach to Transparent Futures, Eric Lin, Ganesha Upadhyaya, Sean L. Mooney, and Hridesh Rajan

PDF

Gang-of-Four Design Patterns: A Case Study of the Unified Model and the Eos Programming Language, Hridesh Rajan

PDF

Design, Semantics and Implementation of the Ptolemy Programming Language: A Language with Quantified Typed Events, Hridesh Rajan and Gary T. Leavens

PDF

Staged Tuning: A Hybrid (Compile/Install-time) Technique for Improving Utilization of Performance-asymmetric Multicores, Tyler Sondag and Hridesh Rajan

PDF

Runtime Power-Aware Energy-Saving Scheme for Parallel Applications, Vaibhav Sundriyal and Masha Sosonkina

PDF

A Machine Learning Approach to Edge Type Prediction in Internet AS Graphs, Jinu Susan Varghese and Lu Ruan

PDF

Candoia: A Platform and an Ecosystem for Building and Deploying Versatile Mining Software Repositories Tools, Nitin M. Tiwari, Dalton D. Mills, Ganesha Upadhyaya, Eric Lin, and Hridesh Rajan

PDF

Effectively Mapping Linguistic Abstractions for Message-passing Concurrency to Threads on the Java Virtual Machine, Ganesha Upadhyaya and Hridesh Rajan

PDF

Privacy-Preserving Accountable Cloud Storage, Ka Yang, Jinsheng Zhang, Wensheng Zhang, and Daji Qiao

Submissions from 2014

PDF

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

PDF

Panini: A Concurrent Programming Model for Solving Pervasive & Oblivious Interference, Mehdi Bagherzadeh and Hridesh Rajan

PDF

Computing Posterior Probabilities of Ancestor Relations in Bayesian Networks, Yetian Chen and Jin Tian

PDF

A Multi-user Oblivious RAM for Outsourced Data, Zhang Jinsheng, Zhang Wensheng, and Daji Qiao

PDF

Energy Evaluation for Applications with Different Thread Affinities on the Intel Xeon Phi, Gary Lawson, Masha Sosonkina, and Yuzhong Shen

PDF

Quantification of Sequential Consistency in Actor-like Systems: An Exploratory Study, Yuheng Long, Mehdi Bagherzadeh, Eric Lin, Ganesha Upadhyaya, and Hridesh Rajan

PDF

Open Effects: A Hybrid Type-and-Effect System to Tackle Open World Assumption and its Application to Optimistic Concurrency, Yuheng Long, Mehdi Bagherzadeh, and Hridesh Rajan

PDF

Capsule-oriented Programming in the Panini Language, Hridesh Rajan, Steven M. Kautz, Eric Lin, Sean L. Mooney, Yuheng Long, and Ganesha Upadhayaya

PDF

Computing Observed Autonomous System Relationships in the Internet, Lu Ruan and Jinu Susan Varghese

PDF

ParaSCAN: A Static Profiler to Help Parallelization, Ganesha Upadhyaya, Hridesh Rajan, and Tyler Sondag

Submissions from 2013

PDF

On Exceptions, Events and Observer Chains, Mehdi Bagherzadeh, Hridesh Rajan, and Ali Darvish

PDF

EvoMiner: Frequent Subtree Mining in Phylogenetic Databases, Akshay Deepak, David Fernández-Baca, Srikanta Tirthapura, Michael J. Sanderson, and Michelle M. McMahon

PDF

A Large-scale Empirical Study of Java Language Feature Usage, Robert Dyer, Hridesh Rajan, Hoan Anh Nguyen, and Tien N. Nguyen

PDF

S-ORAM: A Segmentation-based Oblivious RAM, Zhang Jinsheng, Zhang Wensheng, and Daji Qiao

PDF

Open Effects: Programmer-guided Effects for Open World Concurrent Programs, Yuheng Long, Mehdi Bagherzadeh, and Hridesh Rajan

PDF

An Accountability Scheme for Oblivious RAMs, Ka Yang, Zhang Jinsheng, Zhang Wensheng, and Daji Qiao

Submissions from 2012

PDF

Enumerating All Maximal Frequent Subtrees, Akshay Deepak and David Fernández-Baca

PDF

Open Effects, Yuheng Long

PDF

Open Effects: Optimistic Effects for Dynamic Dispatch, Yuheng Long and Hridesh Rajan

PDF

Trust, but verify: Optimistic Effect Analysis for Reusable Code, Yuheng Long and Hridesh Rajan

Submissions from 2011

PDF

EvoMiner: Frequent Subtree Mining in Phylogenetic Databases, Akshay Deepak, David Fernández-Baca, Srikanta Tirthapura, Michael J. Sanderson, and Michelle M. McMahon

PDF

Golok: Push-button Verification of Parameterized Systems, Youssef Wasfy Hanna, David Samuelson, Samik Basu, and Hridesh Rajan

PDF

Automating Analysis of Qualitative Preferences in Goal-Oriented Requirements Engineering, Zachary James Oster, Ganesh Ram Santhanam, and Samik Basu

PDF

Abstraction Super-structuring Normal Forms: Towards a Theory of Structural Induction, Adrian Silvescu and Vasant Honavar

PDF

Non-uniform Memory Affinity Strategy in Multi-Threaded Sparse Matrix Computations, Avinash Srivinasa and Masha Sosonkina

PDF

Per-call Energy Saving Strategies in All-to-all Communications, Vaibhav Sundriyal and Masha Sosonkina

PDF

On the Utility of Curricula in Unsupervised Learning of Probabilistic Grammars (Supplementary Material), Kewei Tu and Vasant G. Honavar

Submissions from 2010

PDF

Translucid Contracts: Expressive Specification and Modular Verification for Aspect-Oriented Interfaces, Mehdi Bagherzadeh, Hridesh Rajan, Gary T. Leavens, and Sean L. Mooney

PDF

Towards Efficient Java Virtual Machine Support for Dynamic Deployment of Inter-type Declarations, Bashar Gharaibeh, Hridesh Rajan, and J. Morris Chang

PDF

Panini: Reconciling Concurrency and Modularity in Design, Yuheng Long, Sean L. Mooney, Tyler Sondag, and Hridesh Rajan

PDF

A Type-and-Effect System for Shared Memory, Concurrent Implicit Invocation Systems, Yuheng Long and Hridesh Rajan

PDF

Frances: A Tool For Understanding Computer Architecture and Assembly Language, Tyler Sondag, Kian L. Pokorny, and Hridesh Rajan

PDF

An Abstract Domain for Multi-level Caches, Tyler Sondag and Hridesh Rajan

PDF

A PSpace Tableau Algorithm for Acyclic Modalized ALC, Jia Tao, Giora Slutzki, and Vasant Honavar

PDF

Secrecy-preserving Query Answering for Instance Checking in EL, Jia Tao, Giora Slutzki, and Vasant Honavar

PDF

Categorical Abstract Algebraic Logic: Equivalence of Closure Systems, George Voutsadakis

Submissions from 2009

PDF

A Quantitative Cost/Benefit Analysis for Dynamic Updating, Bashar Gharaibeh, Hridesh Rajan, and J. Morris Chang

PDF

Behavioral Automata Composition for Automatic Topology Independent Verification of Parameterized Systems, Youssef Wasfy Hanna, Samik Basu, and Hridesh Rajan

PDF

Enhancing a behavioral interface specification language with temporal logic features, Faraz Hussain

PDF

A Framework for Estimating the Applicability of GAs for Real‐World Optimization Problems, Hsin-yi Jiang

PDF

A Framework for Estimating the Applicability of GAs for Real‐World Optimization Problems, Hsin-yi Jiang

PDF

Determining the Statistical Significance of Rules for Rule-based Knowledge-extraction Algorithms, Sushain Pandit, Sateesh Kumar Kodavali, and Krishnakumar Sridharan

PDF

Motif Recognition, Sushain Pandit, Susan R. VanderPlas, and Chaoliang Zhang

PDF

Motif Recognition, Sushain Pandit, Susan R. VanderPlas, and Chaoliang Zhang

PDF

Reconciling Trust and Modularity Goals in Web Services, Hridesh Rajan, Jia Tao, Steve M. Shaner, and Gary T. Leavens

PDF

A Dominance Relation for Unconditional Multi-Attribute Preferences, Ganesh Ram Santhanam, Samik Basu, and Vasant Honavar

PDF

Modular verification of higher-order methods with mandatory calls specified by model programs, Steve M. Shaner

PDF

Frances: A Tool For Understanding Code Generation, Tyler Sondag, Kian L. Pokorny, and Hridesh Rajan

PDF

Phase-based Tuning for Better Utilized Multicores, Tyler Sondag and Hridesh Rajan

PDF

Automata-Based Verification of Non-Functional Requirements in Web Service Composition, Hongyu Sun

Submissions from 2008

PDF

Instance-level Quantified, Typed Events for Integrated System Design, Mehdi Bagherzadeh, Robert Dyer, Yuheng Long, and Hridesh Rajan

PDF

Package-based Description Logics, Jie Bao, George Voutsadakis, Giora Slutzki, and Vasant Honavar

PDF

Discussion of Design Alternatives for JML Java 5 Annotations, Kristina P. Boysen and Gary T. Leavens

PDF

Visualizing the MPI Programs: Using Continuous Semantic Zooming, Banda KalyanaChakravarthy

PDF

Generating Variation-point Obligations for Compositional Model Checking of Software Product Lines, Jing (Janet) Liu, Samik Basu, and Robyn R. Lutz

PDF

On a robust document classification approach using TF-IDF scheme with learned, context-sensitive semantics., Sushain Pandit

PDF

Quantified, Typed Events for Improved Separation of Concerns, Hridesh Rajan and Gary T. Leavens

PDF

Weave Now or Weave Later: A Test Driven Development Perspective on Aspect-oriented Deployment Models, Rakesh Bangalore Shivarudra Setty, Robert Dyer, and Hridesh Rajan

PDF

Secrecy-Preserving Reasoning using Secrecy Envelopes, Giora Slutzki, George Voutsadakis, and Vasant Honavar

PDF

The Methodology for Evaluating Response Cost for Intrusion Response Systems, Christopher Roy Strasburg, Natalia Stakhanova, Samik Basu, and Johnny S. Wong

PDF

A Specification Language Design for the Java Modeling Language (JML) Using Java 5 Annotations, Kristina B. Taylor

PDF

Adapting the Java Modeling Language for Java 5 Annotations, Kristina B. Taylor, Johannes Rieken, and Gary T. Leavens

PDF

Unsupervised Learning of Probabilistic Context-Free Grammar using Iterative Biclustering (Extended Version), Kewei Tu and Vasant Honavar

PDF

Secrecy-Preserving Reasoning Over Entailment Systems: Theory and Applications, George Voutsadakis, Giora Slutzki, and Vasant Honavar

Submissions from 2007

PDF

A Semantic Importing Approach to Reusing Knowledge from Multiple Autonomous Ontology Modules, Jie Bao, Giora Slutzki, and Vasant Honavar

PDF

Privacy-Preserving Reasoning on the Semantic Web, Jie Bao, Giora Slutzki, and Vasant Honavar

PDF

Improving the Reliability of Causal Discovery from Small Data Sets using the Argumentation Framework, Facundo Bromberg and Dimitris Margaritis

PDF

MAO: Ownership and Effects for more Effective Reasoning about Aspects, Curtis Clifton, Gary T. Leavens, and James Noble

PDF

MAO: Ownership and Effects for more Effective Reasoning about Aspects, Curtis Clifton, Gary T. Leavens, and James Noble

PDF

A Framework for Implementing Type Systems, Brian Dorn and Gary T. Leavens

PDF

Nu: Towards a Flexible and Dynamic Aspect-Oriented Intermediate Language Model, Robert Dyer, Rakesh Bangalore Shivarudra Setty, and Hridesh Rajan

PDF

MICCLLR: A Generalized Multiple-Instance Learning Algorithm Using Class Conditional Log Likelihood Ratio, Yasser Mohamed El-manzalawy and Vasant Honavar

PDF

SLEDE: A Domain-Specific Verification Framework for Sensor Network Security Protocol Implementations, Youssef Wasfy Hanna and Hridesh Rajan

PDF

Verifying Fault-Tolerance of Sensor Network Applications Using Auto-generated Fault Injection Mechanisms, Youssef Wasfy Hanna and Hridesh Rajan

PDF

Polynomial Constraints in Causal Bayesian Networks, Changsung Kang and Jin Tiang

PDF

Predictive Thread-to-Core Assignment on a Heterogeneous Multi-core Processor, Viswanath Krishnamurthy, Tyler Sondag, and Hridesh Rajan

PDF

Multiple Concerns in Aspect-Oriented Language Design: A Language Engineering Approach to Balancing Benefits, with Examples, Gary T. Leavens and Curtis Clifton

PDF

A Tool-supported Technique for Specification & Management of Model-checking Properties for Software Product Lines, Jing (Janet) Liu, Miriam Hauptman, Robyn Lutz, Birgit Geppert, and Frank Rößler

PDF

Monitoring the Monitor: An Approach Towards Trustworthiness in Service Oriented Architecture, Hosamani Mahantesh, Harish Narayanappa, and Hridesh Rajan

PDF

Design Patterns in Eos, Hridesh Rajan

PDF

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

PDF

Modular Verification of Higher-Order Methods with Mandatory Calls Specified by Model Programs, Steve M. Shaner, Gary T. Leavens, and David A. Naumann

PDF

Specification Synthesis for Monitoring and Analysis of MANET Protocols, Natalia Stakhanova, Samik Basu, Zhang Wensheng, Xia Wang, and Johnny S. Wong

PDF

Statistical Verification and Validation of an Energy-Balanced Model for Data Transmission in Sensor Networks, Nalin Subramanian and Arka Ghosh

Submissions from 2006

PDF

On the Semantics of Linking and Importing in Modular Ontologies, Jie Bao, Doina Caragea, and Vasant Honavar

PDF

Towards Collaborative Environments for Ontology Construction and Sharing, Jie Bao, Doina Caragea, and Vasant Honavar