Departmental Papers (CIS)

Papers from 2009

Graph Sparsification in the Semi-Streaming Model, KookJin Ahn and Sudipto Guha

Resource Scopes: Toward Language Support for Compositional Determinism, Madhukar Anand, Sebastian Fischmeister, and Insup Lee

Network Infrastructure Configuration, P Anderson, C A. Gunter, C R. Kalmenek, S Narain, Jonathan M. Smith, R Talpade, G G. Xie, and M Steenstrup

Plug-and-Play for Medical Devices: Experiences from a Case Study, David Arney, Sebastian Fischmeister, Julian M. Goldman, Insup Lee, and Robert Trausmuth

Synchronizing an X-ray and Anesthesia Machine Ventilator: A Medical Device Interoperability Case Study, David Arney, Julian M. Goldman, Susan F. Whitehead, and Insup Lee

Dynamic Trust Management, Matt Blaze, Sampath Kannan, Insup Lee, Oleg Sokolsky, Jonathan M. Smith, Angelos D. Keromytis, and Wenke Lee

A Compositional Scheduling Framework for Digital Avionics Systems, Arvind Easwaran, Insup Lee, Oleg Sokolsky, and Steve Vestal

Prediction of HIV-1 virus-host protein interactions using virus and host sequence motifs, Perry Evans, William Dampier, Lyle Ungar, and Aydin Tozerin

Hardware Acceleration for Conditional State-Based Communication Scheduling on Real-Time Ethernet, Sebastian Fischmeister, Robert Trausmuth, and Insup Lee

Tight results for clustering and summarizing data streams, Sudipto Guha

Revisiting the Direct Sum Theorem and Space Lower Bounds in Random Order Streams, Sudipto Guha and Zhiyi Huang

Stream Order and Order Statistics: Quantile Estimation in Random-Order Streams, Sudipto Guha and Andrew Mcgregor

A Constant Factor Approximation for the Single Sink Edge Installation Problem, Sudipto Guha, Adam Meyerson, and Kamesh Munagala

iCFP: Tolerating all-level cache misses in in-order processors, Andrew D. Hilton, Santosh Nagarakatte, and Amir Roth

Recursive Computation of Regions and Connectivity in Networks, Mengmeng Liu, Nicholas E. Taylor, Wenchao Zhou, Zachary G. Ives, and Boon Thau Loo

Strong and Weak Policy Relations, Michael J. May, Carl A. Gunter, Insup Lee, and Steve Zdancewic

Scalable Link-Based Relay Selection for Anonymous Routing, Micah Sherr, Matthew Blaze, and Boon Thau Loo

RF-mobility gain: Concept, measurement campaign, and exploitation, Jonathan M. Smith, Marc Olivieri, Alex Lackpour, and Nicholas Hinnerschitz

Process-Algebraic Interpretation of AADL Models, Oleg Sokolsky, Insup Lee, and Duncan Clarke

QuanTM: A Quantitative Trust Management System, Andrew G. West, Adam J. Aviv, Jian Chang, Vinayak S. Prabhu, Matthew A. Blaze, Sampath Kannan, Insup Lee, Jonathan M. Smith, and Oleg Sokolsky

An Evaluation Framework for Reputation Management Systems, Andrew G. West, Sampath Kannan, Insup Lee, and Oleg Sokolsky

Unified Declarative Platform for Secure Networked Information Systems, Wenchao Zhou, Yun Mao, Boon Thau Loo, and Martin Abadi

Papers from 2008

First-Order and Temporal Logics for Nested Words, Rajeev Alur, Marcelo Arenas, Pablo Barcelo, Kousha Etessami, Neil Immerman, and Leonid Libkin

Compositional Feasibility Analysis for Conditional Real-Time Task Models, Madhukar Anand, Arvind Easwaran, Sebastian Fischmeister, and Insup Lee

Robust and Sustainable Schedulability Analysis of Embedded Software, Madhukar Anand and Insup Lee

Engineering Formal Metatheory, Brian Aydemir, Arthur Charguéraud, Benjamin C. Pierce, Randy Pollack, and Stephanie Weirich

Face Modeling and Editing with Statistical Local Feature Control Models, Norman I. Badler and Yu Zhang

Risking Communications Security: Potential Hazards of the Protect America Act, Steven M. Bellovin, Matthew A. Blaze, Whitefield Diffee, Susan Landau, Peter G. Neumann, and Jennifer Rexford

Robust and Scalable Transmission of Arbitrary 3D Models over Wireless Networks, Irene Wan Cheng, Lihang Ying, Kostas Daniilidis, and Anup Basu

Learning from Multiple Sources, Koby Crammer, Michael Kearns, and Jennifer Wortman

AspectML: A Polymorphic Aspect-Oriented Functional Programming Language, Daniel Dantas, David Walker, Geoffrey Washburn, and Stephanie Weirich

Efficient Feature Selection in the Presence of Multiple Feature Classes, Paramveer Singh Dhillon, Dean P. Foster, and Lyle H. Ungar

Checking Traces for Regulatory Conformance, Nikhil Dinesh, Aravind K. Joshi, Insup Lee, and Oleg Sokolsky

Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking, Nikhil Dinesh, Aravind K. Joshi, Insup Lee, and Oleg Sokolsky

Interface Algebra for Analysis of Hierarchical Real-Time Systems, Arvind Easwaran, Insup Lee, and Oleg Sokolsky

Graph Distances in the Data-Stream Model, Joan Feigenbaum, Sampth Kannan, Andrew Mcgregor, Siddarth Suri, and Jian Zhang

Hardware Acceleration for Verifiable, Adaptive Real-Time Communication, Sebastian Fischmeister, Insup Lee, and Robert Trausmuth

Quotient Lenses, J. Nathan Foster, Alexandre Pilkiewicz, and Benjamin C. Pierce

Approximation Algorithms for Wavelet Transform Coding of Data Streams, Sudipto Guha and Boulos Harb

Reranking candidate gene models with cross-species comparison for improved gene prediction, Qian Liu, Koby Crammer, Fernando CN Pereira, and David S. Roos

Sense Annotation in the Penn Discourse Treebank, Eleni Miltsakaki, Livio Robaldo, Alan Lee, and Aravind K. Joshi

Improving the Persistence of First-Year Undergraduate Women in Computer Science, Rita M. Powell

Physical Register Reference Counting, Amir Roth

Hierarchical Scheduling Framework for Virtual Clustering of Multiprocessors, Insik Shin, Arvind Easwaran, and Insup Lee

Topological Repairing of 3D Digital Images, Marcelo Siqueira, Longin Jan Latecki, Nicholas Tustisin, Jean H. Gallier, and James C. Gee

FPH: First-class Polymorphism for Haskell Declarative, Constraint-free Type Inference for Impredicative Polymorphism, Dimitrios Vytiniotis, Stephanie Weirich, and Simon Peyton Jones

Declarative Network Verification, Anduo Wang, Prithwish Basu, Boon Thau Loo, and Oleg Sokolsky

Provenance-aware Secure Networks, Wenchao Zhu, Eric Cronin, and Boon Thau Loo

Papers from 2007

Automated Analysis of Human Factors Requirements, Jan Allbeck and Norman I. Badler

A Dynamic Scheduling Approach to Designing Flexible Safety-Critical Systems, Luis Almeida, Madhukar Anand, Sebastian Fischmeister, and Insup Lee

Composition Techniques for Tree Communication Schedules, Madhukar Anand, Sebastian Fischmeister, and Insup Lee

Formal Methods Based Development of a PCA Infusion Pump Reference Model: Generic Infusion Pump (GIP) Project, David Arney, Raoul Jetley, Paul Jones, Insup Lee, and Oleg Sokolsky

Multivariate Normalization with Symmetric Diffeomorphisms for Multivariate Studies, Brian B. Avants, Jeffrey T. Duda, H. Zhang, and James C. Gee

Global Discriminative Learning for Higher-Accuracy Computational Gene Prediction, Axel Bernal, Koby Crammer, Artemis Hatzigeorgiou, and Fernando C.N. Pereira

Addressing the Provenance Challenge using ZOOM, Sarah Cohen-Boulakia, Olivier Biton, Shirley Cohen, and Susan B. Davidson

BioGuideSRS: Querying Multiple Sources with a user-centric perspective, Sarah Cohen-Boulakia, Olivier Biton, Susan B. Davidson, and Christine Froidevaux

Logic-based Regulatory Conformance Checking, Nikhil Dinesh, Aravind K. Joshi, Insup Lee, and Oleg Sokolsky

Compositional Analysis Framework using EDP Resource Models, Arvind Easwaran, Madhukar Anand, and Insup Lee

Compositional Schedulability Analysis of Hierarchical Real-Time Systems, Arvind Easwaran, Insup Lee, Insik Shin, and Oleg Sokolsky

A Verifiable Language for Programming Real-Time Communication Schedules, Sebastian Fischmeister, Oleg Sokolsky, and Insup Lee

Exploiting Schemas in Data Synchronization, J. Nathan Foster, Michael B. Greenwald, Christian Kirkegaard, Benjamin C. Pierce, and Alan Schmitt

Approximation Metrics for Discrete and Continuous Systems, Antoine Girard and George J. Pappas

Reasoning about Concurrency for Security Tunnels, Alwyn E. Goodloe and Carl A. Gunter

Provenance Semirings, Todd J. Green, Grigoris Karvounarakis, and Val Tannen

Orchestra: Facilitating Collaborative Data Sharing, Todd J. Green, Grigoris Karvounarakis, Nicholas E. Taylor, Olivier Biton, Zachary G. Ives, and Val Tannen

Lower Bounds for Quantile Estimation in Random-Order and Multi-Pass Streaming, Sudipto Guha and Andrew McGregor

A Note on Linear Time Algorithms for Maximum Error Histograms, Sudipto Guha and Kyuseok Shim

Public Health for the Internet φ Towards A New Grand Challenge for Information Management, Joseph M. Hellerstein, Tyson Condie, Minos Garofalakis, Boon Thau Loo, Petros Maniatis, Timothy Roscoe, and Nina A. Taft

Robust Test Generation and Coverage for Hybrid Systems, Agung Julius, Georgios E. Fainekos, Madhukar Anand, Insup Lee, and George Pappas

Requirements for Scalable Access Control and Security Management Architectures, Angelos D. Keromytis and Jonathan M. Smith

Resources in process algebra, Insup Lee, Anna Philippou, and Oleg Sokolsky

Combining Events And Threads For Scalable Network Services: Implementation And Evaluation Of Monadic, Application-level Concurrency Primitives, Peng Li and Stephan A. Zdancewic

Correspondenceless Structure from Motion, Ameesh Makadia, Christopher Geyer, and Kostas Daniilidis

Automatic Detection of Contrastive Elements in Spontaneous Speech, Ani Nenkova and Dan Jurafsky

Practical Type Inference for Arbitrary-Rank Types, Simon Peyton Jones, Dimitrios Vytiniotis, Stephanie C. Weirich, and Mark Shields

Adventures in Bidirectional Programming, Benjamin C. Pierce

Statistical Runtime Checking of Probabilistic Properties, Usa Sammapun, Insup Lee, Oleg Sokolsky, and John Regehr

Active Learning for Logistic Regression: An Evaluation, Andrew I. Schein and Lyle H. Ungar

NoSQ: Store-Load Communication without a Store Queue, Tingting Sha, Milo Martin, and Amir Roth

Using Smart Cameras to Localize Self-Assembling Modular Robots, Babak Shirmohammadi, Camillo J. Taylor, Mark Yim, Jimmy Sastra, and Mike Park

Multi-start Method with Prior Learning for Image Registration, Gang Song, Brian B. Avants, and Jim C. Gee

Modelling Prominence and Emphasis Improves Unit-Selection Synthesis, Volker Strom, Ani Nenkova, Robert Clark, Yolanda Vazquez-Alvarez, Jason Brenier, Simon King, and Dan Jurafsky

Run-time Principals in Information-flow Type Systems, Stephen Tse and Stephan A. Zdancewic

MetaProm: a neural network based meta-predictor for alternative human promoter prediction, Junweng Wang, Lyle H. Ungar, Hung Tseng, and Sridhar Hannenhalli

Papers from 2006

Preserving Secrecy under Refinement, Rajeev Alur, Pavol Cerný, and Stephan A. Zdancewic

Languages of Nested Trees, Rajeev Alur, Swarat Chaudhuri, and P. Madhusudan

Compositional modeling for refinement for heirarchical hybrid systems, Rajeev Alur, Radu Grosu, Insup Lee, and Oleg Sokolsky

Adding Nesting Structure to Words, Rajeev Alur and P. Madhusudan

Flexible Network Monitoring with FLAME, Kostas G. Anagnostakis, Michael B. Greenwald, Sotiris Ioannidis, Dekai Li, and Jonathan M. Smith

Sensor Network Security: More Interesting Than You Think, Madhukar Anand, Eric Cronin, Micah Sherr, Matthew A. Blaze, Zachary G. Ives, and Insup Lee

Formal Modeling and Analysis of AFDX Frame Management Design, Madhukar Anand, Samar Dajani-Brown, Steve Vestal, and Insup Lee

An Analysis Framework for Network-Code Programs, Madhukar Anand, Sebastian Fischmeister, and Insup Lee

Generating Sound and Resource-Aware Code from Hybrid System Models, Madhukar Anand, Jesung Kim, Sebastian Fischmeister, and Insup Lee

Unit & Dynamic Typing in Hybrid Systems Modeling with CHARON, Madhukar Anand, Insup Lee, George Pappas, and Oleg Sokolsky

RIVET: Rapid Interactive Visualization for Extensible Training, Norman I. Badler, Jan Allbeck, Abe Megahed, and Mihriban Whitmore

Implementing Mapping Composition, Philip A. Bernstein, Todd J. Green, Sergey Melnik, and Alan Nash

Designing and Evaluating an XPath Dialect for Linguistic Queries, Steven Bird, Yi Chen, Susan B. Davidson, Haejoong Lee, and Yifeng Zheng

Toward a Broader View of Security Protocols, Matthew A. Blaze

Subtleties of Transactional Memory Atomicity Semantics, Colin Blundell, E. Christopher Lewis, and Milo Martin

A Model for User-Oriented Data Provenance in Pipelined Scientific Workflows, Shawn Bowers, Timothy McPhillips, Bertram Ludascher, Shirley Cohen, and Susan B. Davidson