Departmental Papers (CIS)
Papers from 2008
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
Schedulability Analysis of Hierarchical Real-Time Systems, Arvind Easwaran, Insik Shin, Oleg Sokolsky, and Insup Lee
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
CCGbank: A Corpus of CCG Derivations and Dependency Structures Extracted from the Penn Treebank, Julia Hockenmaier and Mark Steedman
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
PATAXÓ: A Framework to Allow Updates Through XML Views, Vanessa P. Braganholo, Susan B. Davidson, and Carlos A. Heuser
Bounded Model Checking of Concurrent Data Types on Relaxed Memory Models: A Case Study, Sebastian Burckhardt, Rajeev Alur, and Milo Martin
Structure from Motion with Known Camera Positions, Rodrigo Carceroni, Ankita Kumar, and Kostas Daniilidis
The Steiner k-Cut Problem, Chandra Chekuri, Sudipto Guha, and Joseph Naor
A Polynomial Time Approximation Scheme for the Multiple Knapsack Problem, Chandra Chekuri and Sanjeev Khanna
Path-based systems to guide scientists in the maze of biological data sources, Sarah Cohen-Boulakia, Susan B. Davidson, Christine Froidevaux, Zoe Lacroix, and Maria-Esther Vidal
Selecting Biological Data Sources and Tools with XPR, a Path Language for RDF, Sarah Cohen-Boulakia, Christine Froidevaux, and Emmanuel Pietriga
Towards a Model of Provenance and User Views in Scientific Workflows, Shirley Cohen, Sarah Cohen-Boulakia, and Susan B. Davidson
On the Reliability of Current Generation Network Eavesdropping Tools, Eric Cronin, Micah Sherr, and Matthew A. Blaze
Incremental Schedulability Analysis of Hierarchical Real-Time Components, Arvind Easwaran, Insik Shin, Oleg Sokolsky, and Insup Lee
Temporal Logic Verification Using Simulation, Georgios E. Fainekos, Antoine Girard, and George J. Pappas
Network-Code Machine: Programmable Real-Time Communication Schedules, Sebastian Fischmeister, Oleg Sokolsky, and Insup Lee
Models for Incomplete and Probabilistic Information, Todd J. Green and Val Tannen
Models for Incomplete and Probabilistic Information, Todd J. Green and Val Tannen
Cooperative Air and Ground Surveillance, Ben Grocholsky, James Keller, R. Vijay Kumar, and George J. Pappas
Visual Attention and Eye Gaze During Multiparty Conversations with Distractions, Erdan Gu and Norman I. Badler
Jointly optimal transmission and probing strategies for multichannel wireless systems, Sudipto Guha, Kamesh Munagala, and Saswati Sarkar
Patterns of Sequence Conservation in Presynaptic Neural Genes, Dexter Hadley, Tara Murphy, Otto Valladares, Sridhar Hannenhalli, Lyle H. Ungar, Junhyong Kim, and Maja Bucan
Randomized Pursuit-Evasion with Local Visibility, Volkan Isler, Sampath Kannan, and Sanjeev Khanna
SMART C: A Semantic Macro Replacement Translator for C, Matthew Jacobs and E. Christopher Lewis
Automated Recognition of Malignancy Mentions in Biomedical Literature, Yang Jin, Ryan T. McDonald, Kevin Lerman, Mark A. Mandel, Steven Carroll, Mark Y. Liberman, Fernando C.N. Pereira, Raymond S. Winters, and Peter S. White
R-Charon, a Modeling Language for Reconfigurable Hybrid Systems , Fabian Kratz, Oleg Sokolsky, George Pappas, and Insup Lee
High-Confidence Medical Device Software and Systems, Insup Lee, George J. Pappas, Rance Cleaveland, John Hatcliff, Bruce H. Krogh, Peter Lee, Harvey Rubin, and Lui Sha
Encoding Information Flow in Haskell, Peng Li and Stephan A. Zdancewic
Declarative Networking: Language, Execution and Optimization, Boon Thau Loo, Tyson Condie, Minos Garofalakis, David E. Gay, Joseph M. Hellerstein, Petros Maniatis, Raghu Ramakrishnan, Timothy Roscoe, and Ion Stoica
Rotation Recovery from Spherical Images without Correspondences, Ameesh Makadia and Kostas Daniilidis
Fully Automatic Registration of 3D Point Clouds, Ameesh Makadia, Alexander Patterson, and Kostas Daniilidis
Privacy APIs: Access Control Techniques to Analyze and Verify Legal Privacy Policies, Michael J. May, Carl A. Gunter, and Insup Lee
Securing the Drop-Box Architecture for Assisted Living, Michael J. May, Wook Shin, Carl A. Gunter, and Insup Lee
An Automated Procedure to Identify Biomedical Articles that Contain Cancer-associated Gene Variants, Ryan McDonald, Raymond Scott Winters, Claire K. Ankuda, Joan A. Murphy, Amy E. Rogers, Fernando C.N. Pereira, Mark S. Greenblatt, and Peter S. White
Modeling Crowd and Trained Leader Behavior during Building Evacuation, Nuria Pelechano and Norman I. Badler
Process-Algebraic Analysis of Timing and Schedulability Properties, Anna Philippou and Oleg Sokolsky
NoSQ: Store-Load Communication without a Store Queue, Tingting Sha, Milo Martin, and Amir Roth
Simulation-Based Graph Similarity, Oleg Sokolsky, Sampath Kannan, and Insup Lee
Schedulability Analysis of AADL models, Oleg Sokolsky, Insup Lee, and Duncan Clark
Efficient Generation of Shape-Based Reference Frames for the Corpus Callosum for DTI-based Connectivity Analysis, Hui Sun, Paul A. Yushkevich, Hui Zhang, James C. Gee, and Tony J. Simon
Reconciling while Tolerating Disagreement in Collaborative Data Sharing, Nicholas E. Taylor and Zachary G. Ives
An APRIORI-based Method for Frequent Composite Event Discovery in Videos, Alexander Toshev, Francois Bremond, and Monique Thonnat
Boxy Types: Inference for Higher-Rank Types and Impredicativity, Dimitrios Vytiniotis, Stephanie C. Weirich, and Simon Peyton Jones
RepLib: A library for derivable type classes, Stephanie Weirich