- Advanced Program Analyses for Object-oriented Systems
- DR-OSGi: Hardening Distributed Components with Network Volatility Resiliency
- Sonification Design Guidelines to Enhance Program Comprehension Khaled Hussein1
- Reusable Enterprise Metadata with Pattern-Based Structural Expressions
- Overcoming JVM HotSwap Constraints via Binary Rewriting
- 66 I E E E S O F T WA R E Pu b l i s h e d b y t h e I EEE C o m p u t e r S o c i e t y 0 74 0 -74 5 9 / 10 / $ 2 6 . 0 0 2 0 10 I E E E Thus, a set of unit tests is a prerequisite for any
- A Schema for Interprocedural Modification SideE#ect Analysis
- Online FeedbackDirected Optimization of Java Matthew Arnold +# Michael Hind # Barbara G. Ryder +
- Report on the Second ACM Workshop on
- Constructing Accurate Application Call Graphs For Java To Model Library Callbacks
- Quantitatively Analyzing Stealthy Communication Channels
- Automated Adaptive Software Maintenance: A Methodology and Its Applications
- On Improving the Performance of Role-Based Cascaded Delegation in Ubiquitous Computing
- A Semantics-Based Definition For Interclass Test Dependence
- An Ad Hoc Trust Inference Model for Flexible and Controlled Information Sharing
- Compact and Anonymous Role-Based Authorization Chain
- Keystroke-Dynamics Authentication Against Synthetic Forgeries
- Technical Report DCS-TR-469 , Department of Computer Science, Rutgers University Online Instrumentation and
- Reusable Enterprise Metadata with Pattern-Based Structural Expressions
- 0018-9162/00/$10.00 2000 IEEE July 2000 57 R E S E A R C H F E A T U R E
- Privacy-Preserving Computation and Verification of Aggregate Queries on
- ACACES-4 July 2007 BG Ryder Advanced Program Analyses
- A Framework for Reducing the Cost of Instrumented Code Matthew Arnold Barbara G. Ryder
- Parameterized Object Sensitivity for Pointsto and SideEffect Analyses for Java
- Pointsto and Sidee#ect Analyses for Programs Built with Precompiled Libraries
- Interprocedural Query Extraction for Transparent Persistence Ben Wiedermann, Ali Ibrahim, and William R. Cook
- Transparent Program Transformations in the Presence of Opaque Code
- Remote Batch Invocation for Compositional Object Services
- Efficient Automated Marshaling of C++ Data Structures for MPI Applications Wesley Tansey and Eli Tilevich
- DataFlow Analysis of Program Fragments # Atanas Rountev 1 , Barbara G. Ryder 1 , and William Landi 2
- Annotation Refactoring: Inferring Upgrade Transformations for Legacy Applications
- ACACES-3 July 2007 BG Ryder 1 Advanced Program Analyses
- User-Behavior Based Detection of Infection Onset Department of Computer Science
- CS5114: Theory of Algorithms Spring, 2010
- Flexible and Efficient In-Vivo Enhancement for Grid Applications Dong Kwan Kim, Yang Jiao, Eli Tilevich
- Finding Failure-Inducing Changes using Change Classification
- CONCURRENCY AND COMPUTATION: PRACTICE AND EXPERIENCE Concurrency Computat.: Pract. Exper.
- Privacy-aware Identity Management for Client-side Mashup Applications
- O#line Variable Substitution for Scaling Pointsto Analysis Atanas Rountev
- Reusable Software Components for Accelerator-based Clusters
- Precise Call Graph Construction in the Presence of Function Pointers # Ana Milanova Atanas Rountev Barbara G. Ryder
- Role-Based Cascaded Delegation Roberto Tamassia
- Noname manuscript No. (will be inserted by the editor)
- Language Design for Distributed Objects William R. Cook
- Efficient signature schemes supporting redaction, pseudonymization, and data deidentification
- Dr. Barbara Gershon Ryder J. Byron Maupin Professor of Engineering
- Using a Trust Inference Model for Flexible and Controlled
- ID-Based Encryption for Complex Hierarchies with Applications to Forward Security and Broadcast
- Inferring Protocol State Machine from Network Traces: A Probabilistic Approach
- ETAPS 4/03, BG Ryder 1 Dimensions of Precision in
- Snowbird'00 panel -BGRyder 1 Reshaping Doctoral Education
- To Upgrade or Not to Upgrade Impact of Online Upgrades across Multiple Administrative Domains
- DJ: Bridging Java and Deductive Databases Andrew B. Hall
- Incremental Analysis of Side E#ects for C Software Systems #
- Constructing Precise Object Relation Diagrams Ana Milanova Atanas Rountev Barbara G. Ryder
- Intl School SE, Salerno, Sept'06, B G Ryder-1 1 Practical Program Analysis of
- NSEFS 5/03 BG Ryder 1 Mapping out a Research
- Exception-chain Analysis: Revealing Exception Handling Architecture in Java Server Applications
- Applying Dynamic Software Updates to Computationally-Intensive Applications
- Effective Null Pointer Check Elimination Utilizing Hardware Trap
- Timing-and Termination-Sensitive Secure Information Flow: Exploring a New Approach
- Modular String-Sensitive Permission Analysis with Demand-Driven Precision Emmanuel Geay
- Chianti: A Tool for Change Impact Analysis of Java Xiaoxia Ren1
- A Schema for Interprocedural Modification Side-Effect Analysis
- ETAPS 4/03, BG Ryder 1 Dimensions of Precision in
- ACACES-2 July 2007 BG Ryder 1 Advanced Program Analyses
- NSEFS 5/05 BG Ryder 1 Teaching and Mentoring Students
- Extracting Queries by Static Analysis of Transparent Persistence Ben Wiedermann and William R. Cook
- A Unifying Framework for Describing the Space of Pointer Analysis Approximations (Extended Version)
- Expressive and Extensible Parameter Passing for Distributed Object Systems
- Dynamic Software Updates for Accelerating Scientific Discovery
- DeXteR -An Extensible Framework for Declarative Parameter Passing in
- Code Generation on Steroids: Enhancing COTS Code Generators via Generative Aspects
- An Extensible Framework for Annotation-based Parameter Passing in Distributed Object Systems
- DANFENG (DAPHNE) YAO Curriculum Vitae
- User-Assisted Host-Based Detection of Outbound Malware Traffic
- Towards Automatic Privacy Management in Web 2.0 with Semantic Analysis on Annotations
- Poster: CompareView -A Provenance Verification Framework for Detecting Rootkit-Based Malware
- Detection and Prevention of Insider Threats in Database Driven Web Services
- The Union-Split Algorithm and Cluster-Based Anonymization of Social Networks
- SelectAudit: A Secure and Efficient Audit Framework for Networked Virtual Environments
- OMOS: A Framework for Secure Communication in Mashup Applications Saman Zarandioon Danfeng (Daphne) Yao Vinod Ganapathy
- Securing Location Aware Services over VANET using Geographical Secure Path Routing
- Proceedings of the 2006 IEEE Workshop on Information Assurance
- Notarized Federated Identity Management for Web Services
- Efficient and Secure Content Processing and Distribution by Cooperative Intermediaries
- Single Region vs. Multiple Regions: A Comparison of Different Compiler-Directed
- Ultra-fast Aliasing Analysis using CLA: A Million Lines of C Code in a Second
- Jiazzi: New-Age Components for Old-Fashioned Java Sean McDirmid, Matthew Flatt, Wilson C. Hsieh
- Software Profiling for Hot Path Prediction: Less is More
- Tools for the generation of code from model descriptions are valuable in helping developers maintain consistency between a
- A Dynamic Optimization Framework for a Java Just-in-Time Compiler
- Dynamic Software Updating Michael Hicks
- DataFlowBased Virtual Function Resolution ? Hemant D. Pande 1 and Barbara G. Ryder 2
- Coordinating Database and Programming Language Research
- Enhancing Source-Level Programming Tools with An Awareness of Transparent Program Transformations
- Benjamin Alan Wiedermann The Dissertation Committee for Benjamin Alan Wiedermann
- Detecting the Onset of Infection for Secure Hosts , Qiang Ma2
- Change Impact Analysis for Object-Oriented Programs Barbara G. Ryder and Frank Tip
- VT Bus Tracker Initial Release Announcement The VT Bus Tracker team is delighted to announce the initial release of our application. Funded by the VT
- Appletizing: Running Legacy Java Code Remotely From a Web Browser Eli Tilevich, Yannis Smaragdakis Marcus Handte
- Point-Based Trust: Define How Much Privacy Is Worth Danfeng Yao Keith B. Frikken Mikhail J. Atallah Roberto Tamassia
- Complexity of Concrete Typeinference in the Presence of Exceptions ?
- Dataflowbased Testing of ObjectOriented Libraries Ramkrishna Chatterjee
- Know your place: Selectively executing statements based on context
- JUnitMX --A Change-aware Unit Testing Tool , Barbara G. Ryder
- Maintainable and Reusable Scientific Software Adaptation Democratizing Scientific Software Adaptation
- International Symposium on Software Testing and Analysis (ISSTA) ... http://issta08.rutgers.edu/cfp2pdf.html 1 of 1 1/26/2008 6:56 AM
- ACACES-5 July 2007 BG Ryder 1 Advanced Program Analyses
- Visualization of Automated Trust Negotiation Danfeng Yao
- J-Orchestra: Enhancing Java Programs with Distribution Capabilities
- Dimensions of Precision in Reference Analysis of Object-oriented Programming Languages
- Forward-Secure Hierarchical IBE with Applications to Broadcast Encryption 1
- ACACES References, July 2007 BG Ryder G. Aigner and U. Hozle, Eliminating Virual Function Calls in C++
- IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS 1 NRMI: Natural and Efficient Middleware
- Program Decomposition for Pointer Aliasing: A Step toward Practical Analyses \Lambda
- Constructing Precise Object Relation Diagrams Ana Milanova Atanas Rountev Barbara G. Ryder
- An Incremental Flow and Contextsensitive Pointer Aliasing Analysis #
- Private Distributed Scalar Product Protocol With Application To Privacy-Preserving Computation of
- Decentralized Authorization and Data Security in Web Content Delivery
- Complexity of Pointsto Analysis of Java in the Presence of Exceptions #
- Precise Call Graph Construction in the Presence of Function Pointers # Ana Milanova Atanas Rountev Barbara G. Ryder
- Privacy-Preserving Schema Matching Using Mutual Information
- Towards Publishing Recommendation Data With Predictive Anonymization
- Technical Report DCS-TR-470 , Department of Computer Science, Rutgers University Thin Guards: A Simple and E ective Technique
- An Assessment of Middleware Platforms for Accessing Remote Services Young-Woo Kwon and Eli Tilevich
- Point-Based Trust: Define How Much Privacy Is Worth Danfeng Yao1
- Knowing Where Your Input is From: Kernel-Level Data-Provenance Verification
- Sonifying Performance Data to Facilitate Tuning of Complex Systems
- Intl School SE, Salerno, Sept'06, B G Ryder-2 1 Practical Program Analysis of
- Thin Guards: A Simple and E ective Technique for Reducing the Penalty of Dynamic Class
- HI-C: Diagnosing Object Churn in Framework-Based Applications
- Detecting Infection Onset With Behavior-Based Kui Xu Danfeng (Daphne) Yao
- A Declarative Approach to Hardening Services Against QoS Vulnerabilities
- Virginia Tech Gaming Project Robert C. Senkbeil
- Data-Provenance Verification For Secure Hosts Kui Xu, Huijun Xiong, Chehai Wu, Deian Stefan, Danfeng Yao Member, IEEE
- Reverse-Engineering User Interfaces to Facilitate Porting to and across Mobile Devices and Platforms
- Accepted to AOSD 2012 Reusing Non-Functional Concerns Across Languages
- Metadata Invariants: Checking and Inferring Metadata Coding Conventions Myoungkyu Song and Eli Tilevich
- CloudSeal: End-to-End Content Protection in Cloud-based Storage and Delivery Services
- Identifying Native Applications with High Assurance Hussain M. J. Almohri
- Towards End-to-End Secure Content Storage and Delivery with Public Cloud
- Power-Efficient and Fault-Tolerant Distributed Mobile Execution Young-Woo Kwon and Eli Tilevich
