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