Burden of Renal Transplant among a Cohort of US Medicare Beneficiaries with Autosomal Dominant Polycystic Kidney Disease. Co-authored a poster reporting healthcare utilization by patients with autosomal dominant polycystic kidney disease before and after transplant.

Emergency Department Use among Autosomal Dominant Polycystic Kidney Disease Patients in the US. Co-authored a poster highlighting the costs for use of emergency departments by patients with autosomal dominant polycystic kidney disease.

The Pediatric End-Stage Liver Disease (PELD) Score Underestimates Pretransplant Mortality in Pediatric Liver Transplant Candidates. Co-authored a poster evaluating the accuracy of the Pediatric End-stage Liver Disease (PELD) score in predicting 90-day pretransplant mortality for children on the liver transplant waiting list.

Patient and Hospital Characteristics Related to Liver and Kidney Donations in the United States. Co-authored a poster reporting the important donor factors in liver and kidney transplants.

Scenario-Tree Decomposition: Bounds for Multistage Stochastic Mixed-Integer Programs (Working Paper). Co-authored a working paper that presents scenario-tree decomposition as a method for establishing bounds on multistage stochastic mixed-integer programs.

Gray’s Time-varying Coefficients Model for Posttransplant Survival of Pediatric Liver Transplant Recipients with a Diagnosis of Cancer (Publication). Co-authored a journal article that compares the results of using the Cox proportional hazards and Gray's piecewise-constant time-varying coefficients models in the analysis of liver posttransplant survival of pediatric patients with a diagnosis of cancer.

A Biologically Based Discrete-event Simulation Model of Liver Transplantation in the United States for Pediatric and Adult Patients (Publication). Co-authored a conference paper that describes our discrete-event simulation model of the national liver allocation system that incorporates the stochastic, disease-specific natural histories of pediatric and adult patients.

Towards Automated Oracles for GUI Input Validation (Publication). Co-authored a workshop paper that reports on our approach in automating the testing of input validation in a line of web applications.

Software Mythbusters Explore Formal Methods (Publication). Co-authored an article that reflects on Anthony Hall's IEEE Software article, "Seven Myths of Formal Methods."

Experiences in Engineering Active Replication into a Traditional Three-tiered Client-server System (Publication). Co-authored a workshop paper that reports on our experiences in incorporating active replication into a system following the three-tiered client-server architecture style.

RADAR-TM (Reflective Agents with Distributed Adaptive Reasoning-Task Management). Collaborated with a group to design an intelligent prioritizing action list that dynamically reorders tasks along changing time and activity contexts. The reordering behavior is learned from experts' usage of the RADAR action list.

ATGen-Arch (Architectural Test Generator: Architecture Specification Subsystem). Collaborated with a group to architect a subsystem to specify microprocessor properties relevant to architectural test generators. The project involved the selection of a microprocessor architecture description language (ADL) best suited for generating tests, the design of an efficient internal data model for storing microprocessor architectural properties, and the creation of an application programming interface (API) for querying those properties.

High-performance Fault-tolerant Distributed Banking System. Collaborated with a group to formally design and implement an efficient and actively replicated distributed banking system.

A Goal-directed Search for Hard Bin-packing Problem Instances (Term Paper). Presented an initial investigation of the hard instances of the bin-packing problem leveraging on previous work on the Satisfiability (SAT) problem.

XML Browser for the PalmOS. Created an XML Browser for the PalmOS patterned after the Microsoft Internet Explorer 5.5 XML Tree View.

Distributed Data Filtering System. Collaborated with a group to design and construct a framework for distributed data filtering in Java.

Connect: Java Data Conferencing. Managed a group to plan and build Connect, an Internet data conferencing solution to distance learning.