Follow

Submissions from 2017

PDF

Combining Event-driven and Capsule-oriented Programming to Improve Integrated System Design, Jackson Maddox

PDF

On Accelerating Source Code Analysis At Massive Scale, Ganesha Upadhyaya and Hridesh Rajan

Submissions from 2016

PDF

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

Submissions from 2015

PDF

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

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

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

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

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

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

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

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

PDF

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

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

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

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

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

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

PDF

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

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

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

Submissions from 2007

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

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

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

Submissions from 2006

PDF

A Model Checking based Converter Synthesis Approach for Embedded Systems, Samik Basu, Roopak Sinha, and Partha S. Roop

PDF

Architecting Secure Software Systems Using an Aspect-Oriented Approach: : A Survey of Current Research, Josh Dehlinger and Nalin Subramanian

PDF

Modular Compilation Strategies for Aspect-Oriented Constructs, Robert Dyer and Hridesh Rajan

PDF

Lightweight Specification Language and Verification Framework for Sensor Network Security Protocols, Youssef Wasfy Hanna, Hridesh Rajan, and Zhang Wensheng

PDF

Executable Documentation of Template-Hook Interactions in Frameworks using JML, Neeraj S. Khanolkar and Gary T. Leavens

PDF

Following the Grammar, Gary T. Leavens

PDF

JML's Rich, Inherited Specifications for Behavioral Subtypes, Gary T. Leavens

PDF

Roadmap for Enhanced Languages and Methods to Aid Verification, Gary T. Leavens, Jean-Raymond Abrial, Don Batory, Michael Butler, Alessandro Coglio, Kathi Fisler, Eric Hehner, Cliff Jones, Dale Miller, Simon Peyton-Jones, Murali Sitaraman, Douglas R. Smith, and Aaron Stump

PDF

Roadmap for Enhanced Languages and Methods to Aid Verification, Gary T. Leavens, Jean-Raymond Abrial, Don Batory, Michael Butler, Alessandro Coglio, Kathi Fisler, Eric Hehner, Cliff Jones, Dale Miller, Simon Peyton-Jones, Murali Sitaraman, Douglas R. Smith, and Aaron Stump

PDF

Preliminary Design of JML: A Behavioral Interface Specification Language for Java, Gary T. Leavens, Albert L. Baker, and Clyde Ruby

PDF

Specification and verification challenges for sequential object-oriented programs, Gary T. Leavens, Rustan M. Leino, and Peter Müller

PDF

Information Hiding and Visibility in Interface Specifications, Gary T. Leavens and Peter Müller

PDF

Behavioral Subtyping is Equivalent to Modular Reasoning for Object-oriented Programs, Gary T. Leavens and David A. Naumann

PDF

Behavioral Subtyping, Specification Inheritance, and Modular Reasoning, Gary T. Leavens and David A. Naumann

PDF

Behavioral Subtyping, Specification Inheritance, and Modular Reasoning, Gary T. Leavens and David A. Naumann

PDF

Preserving Separation of Concerns Through Compilation, Hridesh Rajan, Robert Dyer, Youssef Wasfy Hanna, and Harish Narayanappa

PDF

Modular subclass verification: Safely creating correct subclasses without superclass code, Clyde Ruby

PDF

A Model Checking Approach to Protocol Conversion, Roopak Sinha, Partha S. Roop, and Samik Basu

PDF

Multi-protocol Attack: A Survey of Current Research, Nalin V. Subramanian and Josh Dehliger

PDF

Improving JML's assignable clause analysis, Cui Ye

Submissions from 2005

PDF

SAVCBS 2005 Proceedings: Specification and Verification of Component-Based Systems, Mike Barnett, Stephen H. Edwards, Dimitra Giannakopoulou, Gary T. Leavens, and Natasha Sharygina

PDF

A design discipline and language features for modular reasoning in aspect-oriented programs, Curtis Clifton

PDF

FOAL 2005 Proceedings: Foundations of Aspect-Oriented Languages Workshop at AOSD 2005, Curtis Clifton, Ralf Laemmel, and Gary T. Leavens

PDF

A Design Discipline and Language Features for Formal Modular Reasoning in Aspect-Oriented Programs, Curtis Clifton and Gary T. Leavens

PDF

MiniMAO1: Investigating the Semantics of Proceed, Curtis Clifton and Gary T. Leavens

PDF

Design and implementation of a reusable type inference engine and its application to Scheme, Brian Dorn

PDF

Learning Classifiers for Misuse and Anomaly Detection Using a Bag of System Calls Representation, Dae-Ki Kang, Doug Fuller, and Vasant Honavar

PDF

Demonstration of JML Tools, Gary T. Leavens, Yoonsik Cheon, and David R. Cok

PDF

A Type Notation for Scheme, Gary T. Leavens and Curtis Clifton

PDF

Lessons from the JML Project, Gary T. Leavens and Curtis Clifton

PDF

A Type Notation for Scheme, Gary T. Leavens, Curtis Clifton, and Brian Dorn

PDF

A Form-based Framework for Class Extensions, Markus Lumpe

PDF

Desugaring JML Method Specifications, Arun D. Raghavan and Gary T. Leavens

PDF

Nu: Enabling Modularity in Multilingual, Multienvironment, Distributed Systems, Hridesh Rajan

PDF

Classpects in Practice: A Test of the Unified Aspect Model, Hridesh Rajan and Kevin Sullivan

Submissions from 2004

PDF

SAVCBS 2004 Specification and Verification of Component-Based Systems: Workshop Proceedings, Mike Barnett, Stephen H. Edwards, Dimitra Giannakopoulou, Gary T. Leavens, and Natasha Sharygina

PDF

FOAL 2004 Proceedings: Foundations of Aspect-Oriented Languages Workshop at AOSD 2004, Curtis Clifton, Ralf Laemmel, and Gary T. Leavens

PDF

MultiJava: Design Rationale, Compiler Implementation, and Applications, Curtis Clifton, Todd Millstein, Gary T. Leavens, and Craig Chambers