Department of Computer & Information Science

Departmental Papers (CIS)

Browse by Year:   2008 2007 2006 2005 2004 2003 2002 2001 2000 1999 1998 1997 1996 1995 1994 1993 1992 1991 1990 1989 1988 1987 1984

Author Last Name:

---

PAPERS FROM 2008

• 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

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

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

• Checking Traces for Regulatory Conformance, 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

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

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

• 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

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

• 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

• 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

• 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

• Towards a Model of Provenance and User Views in Scientific Workflows, Shirley Cohen, Sarah Cohen-Boulakia, and Susan B. Davidson

• 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

• 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

• 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

• 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

• Reconciling while Tolerating Disagreement in Collaborative Data Sharing, Nicholas E. Taylor and Zachary G. Ives

• 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

• Crimson: A Data Management System to Support Evaluating Phylogenetic Tree Reconstruction Algorithms, Yifeng Zheng, Stephen Fisher, Shirley Cohen, Sheng Guo, Junhyong Kim, and Susan B. Davidson

• Streamwise Feature Selection, Jing Zhou, Dean P. Foster, Robert A. Stine, and Lyle H. Ungar

PAPERS FROM 2005

• Synthesis of Interface Specifications for Java Classes, Rajeev Alur, Pavol Cerný, P. Madhusudan, and Wonhong Nam

• Dispatch Sequences for Embedded Control Models, Rajeev Alur and Arun Chandrashekharapuram

• Compression of Partially Ordered Strings, Rajeev Alur, Swarat Chaudhuri, Kousha Etessami, Sudipto Guha, and Mihalis Yannakakis

• On-the-fly Reachability and Cycle Detection for Recursive State Machines, Rajeev Alur, Swarat Chaudhuri, Kousha Etessami, and P. Madhusudan

• Realizability and verification of MSC graphs, Rajeev Alur, Kousha Etessami, and Mihalis Yannakakis

• Congruences for Visibly Pushdown Languages, Rajeev Alur, Viraj Kumar, P. Madhusudan, and Mahesh Viswanathan

• Perturbed Timed Automata, Rajeev Alur, Salvatore La Torre, and P. Madhusudan

• Symbolic Compositional Verification by Learning Assumptions, Rajeev Alur, P. Madhusudan, and Wonhong Nam

• Symbolic Computational Techniques for Solving Games, Rajeev Alur, P. Madhusudan, and Wonhong Nam

• Distributed-Code Generation from Hybrid Systems Models for Time-delayed Multirate Systems, Madhukar Anand, Sebastian Fischmeister, Jesung Kim, and Insup Lee

• Quantifying Eavesdropping Vulnerability in Sensor Networks, Madhukar Anand, Zachary G. Ives, and Insup Lee

• Code Generation from Hybrid Systems Models for Distributed Embedded Systems, Madhukar Anand, Jesung Kim, and Insup Lee

• Mechanized Metatheory for the Masses: The POPLMARK Challenge, Brian E. Aydemir, Aaron Bohannon, Matthew Fairbairn, J. Nathan Foster, Benjamin C. Pierce, Peter Sewell, Dimitrios Vytiniotis, Geoffrey Washburn, Stephanie C. Weirich, and Stephan A. Zdancewic

• Extending XPath to Support Linguistic Queries, Steven Bird, Yi Chen, Susan B. Davidson, Haejoong Lee, and Yifeng Zheng

• Verifying Safety of a Token Coherence Implementation by Parametric Compositional Refinement, Sebastian Burckhardt, Rajeev Alur, and Milo M.K. Martin

• Visualization of Low Dimensional Structure in Tonal Pitch Space, J. Ashley Burgoyne and Lawrence K. Saul

• A PTAS for the Multiple Knapsack Problem, Chandra Chekuri and Sanjeev Khanna

• A Linear Programming Formulation and Approximation Algorithms for the Metric Labeling Problem, Chandra Chekuri, Sanjeev Khanna, Joseph Naor, and Leonid Zosin

• ViteX : a Streaming XPath Processing System, Yi Chen, Susan B. Davidson, and Yifeng Zheng

• A User-centric Framework for Accessing Biological Sources and Tools, Sarah Cohen-Boulakia, Susan B. Davidson, and Christine Froidevaux

• Selecting biomedical data sources according to user preferences, Sarah Cohen-Boulakia, Severine Lair, Nicolas Stransky, Stephane Graziani, Francois Radvanyi, Emmanuel Barillot, and Christine Froidevaux

• Low-Overhead Interactive Debugging via Dynamic Instrumentation with DISE, Marc L. Corliss, E. Christopher Lewis, and Amir Roth

• Spectral Segmentation with Multiscale Graph Decomposition, Timothée Cour, Florence Bénézit, and Jianbo Shi

• Automatically annotating documents with normalized gene lists, Jeremiah Crim, Ryan McDonald, and Fernando Pereira

• Steering of Discrete Event Systems: Control Theory Approach, Arvind Easwaran, Sampath Kannan, and Oleg Sokolsky

• On Graph Problems in a Semi-Streaming Model, Joan Feigenbaum, Sampath Kannan, Andrew McGregor, Siddharth Suri, and Jian Zhang

• Combinators for Bi-Directional Tree Transformations: A Linguistic Approach to the View Update Problem, J. Nathan Foster, Michael B. Greenwald, Jonathan T. Moore, Benjamin C. Pierce, and Alan Schmitt

• XML Goes Native: Run-time Representations for XTATIC, Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce, and Alan Schmitt

• Do You See What Eyes See? Implementing Inattentional Blindness, Erdan Gu, Catherine Stocker, and Norman I. Badler

• Generating Sequence of Eye Fixations Using Decision-theoretic Attention Model, Erdan Gu, Jingbin Wang, and Norman I. Badler

• Schema Mediation for Large-Scale Semantic Data Sharing, Alon Y. Halevy, Zachary G. Ives, Dan Suciu, and Igor Tatarinov

• Regular Expression Types for XML, Haruo Hosoya, Jerome Vouillon, and Benjamin C. Pierce

• The Architecture of PIER: an Internet-Scale Query Processor, Ryan Huebsch, Brent Chun, Joseph M. Hellerstein, Boon Thau Loo, Petros Maniatis, Timothy Roscoe, Scott Shenker, Ion Stoica, and Aydan R. Yumerefendi

• Randomized Pursuit–Evasion in a Polygonal Environment, Volkan Isler, Sampath Kannan, and Sanjeev Khanna

• End-to-end Application Performance Impact on Scheduler in CDMA-1XRTT Wireless System, Bong Ho Kim, Insup Lee, and Kelvin Chu

• Practical Information-flow Control in Web-based Information Systems, Peng Li and Stephan A. Zdancewic

• Implementing Declarative Overlays, Boon Thau Loo, Tyson Condie, Joseph M. Hellerstein, Petros Maniatis, Timothy Roscoe, and Ion Stoica

• Declarative Routing: Extensible Routing with Declarative Queries, Boon Thau Loo, Joseph M. Hellerstein, Ion Stoica, and Raghu Ramakrishnan

• Correspondenceless Ego-Motion Estimation Using an IMU, Ameesh Makadia and Kostas Daniilidis

• Radon-based Structure from Motion Without Correspondences, Ameesh Makadia, Christopher Geyer, Shankar Sastry, and Kostas Daniilidis

• DHARMA: Distributed Home Agent for Robust Mobile Access, Yun Mao, Björn Knutsson, Honghui Lu, and Jonathan M. Smith

• Formal Verification and its Impact on the Snooping versus Directory Protocol Debate, Milo Martin

• Improving Multiple-CMP Systems Using Token Coherence, Michael R. Marty, Jesse D. Bingham, Mark D. Hill, Alan J. Hu, Milo M.K. Martin, and David A. Wood

• Identifying gene and protein mentions in text using conditional random fields, Ryan McDonald and Fernando C.N. Pereira

• Animation of Human Locomotion Using Sagittal Elevation Angles, Dimitris Metaxas and Harold C. Sun

• Energy-Effectiveness of Pre-Execution and Energy-Aware P-Thread Selection, Vlad Petric and Amir Roth

• RENO: A Rename-Based Instruction Optimizer, Vlad Petric, Tingting Sha, and Amir Roth

• Store Vulnerability Window (SVW): Re-Execution Filtering for Enhanced Load Optimization, Amir Roth

• Checking Correctness At Runtime using Real-Time Java, Usa Sammapun, Insup Lee, and Oleg Sokolsky

• RT-MaC: Runtime Monitoring and Checking of Quantitative and Probabilistic Properties, Usa Sammapun, Insup Lee, and Oleg Sokolsky

• Abstract Slicing: A New Approach to Program Slicing Based on Abstract Interpretation and Model Checking, Hyoung Seok Hong, Insup Lee, and Oleg Sokolsky

• Scalable Store-Load Forwarding via Store Queue Index Prediction, Tingting Sha, Milo Martin, and Amir Roth

• Signaling Vulnerabilities in Wiretapping Systems, Micah Sherr, Eric Cronin, Sandy Clark, and Matthew A. Blaze

• Crowd Simulation Incorporating Agent Psychological Models, Roles and Communication, Barry G. Silverman, Norman I. Badler, Nuria Pelechano, and Kevin O'Brien

• Run-Time Checking of Dynamic Properties, Oleg Sokolsky, Usa Sammapun, Insup Lee, and Jesung Kim

• Opportunities and obligations for physical computing systems, John A. Stankovic, Insup Lee, Aloysius Mok, and Raj Rajkumar

• A Bisimulation for Type Abstraction and Recursion, Eijiro Sumii and Benjamin C. Pierce

• A Design for a Security-typed Language with Certificate-based Declassification, Stephen Tse and Stephan A. Zdancewic

• Relative compositionality of multi-word expressions: a study of verb-noun (V-N) collocations, Sriram Venkatapathy and Aravind K. Joshi

• Generalizing Parametricity Using Information-flow, Geoffrey Washburn and Stephanie C. Weirich

• A Design for Type-Directed Programming in Java, Stephanie C. Weirich and Liang Huang

PAPERS FROM 2004

• Formal Specifications and Analysis of the Computer Assisted Resuscitation Algorithm (CARA) Infusion Pump Control System, Rajeev Alur, David Arney, Elsa L. Gunter, Insup Lee, Jaime Lee, Wonhong Nam, Frederick Pearce, Steve Van Albert, and Jiaxiang Zhou

• Optimal Reachability for Weighted Timed Games, Rajeev Alur, Mikhail Bernadsky, and P. Madhusudan

• A Temporal Logic of Nested Calls and Returns , Rajeev Alur, Kousha Etessami, and P. Madhusudan

• Optimal paths in weighted timed automata, Rajeev Alur, Salvatore La Torre, and George J. Pappas

• Visibly Pushdown Languages, Rajeev Alur and P. Madhusudan

• Decision Problems for Timed Automata : A Survey, Rajeev Alur and Madhusudan Parthasarathy

• Reconstructing Strings from Random Traces, Tugkan Batu, Sampath Kannan, Sanjeev Khanna, and Andrew McGregor

• Structured Modeling of Concurrent Stochastic Hybrid Systems, Mikhail Bernadsky, Raman Sharykin, and Rajeev Alur

• Approximating Longest Directed Paths and Cycles, Andreas Björklund, Thore Husfeldt, and Sanjeev Khanna

• Hierarchical Distributed Representations for Statistical Language Modeling, John Blitzer, Kilian Q. Weinberger, Lawrence K. Saul, and Fernando C.N. Pereira

• Dataflow Mini-Graphs: Amplifying Superscalar Capacity and Bandwidth, Anne Bracy, Prashant Prahlad, and Amir Roth

• Experiments in Multirobot Air-Ground Coordination, Luiz Chaimowicz, Ben Grocholsky, James F. Keller, R. Vijay Kumar, and Camillo J. Taylor

• Multi-processor Scheduling to Minimize Flow Time with epsilon Resource Augmentation, Chandra Chekuri, Ashish Goel, Sanjeev Khanna, and Amit Kumar

• On Multi-dimensional Packing Problems, Chandra Chekuri and Sanjeev Khanna

• Edge-Disjoint Paths in Planar Graphs, Chandra Chekuri, Sanjeev Khanna, and F. Bruce Shepherd

• The All-or-Nothing Multicommodity Flow Problem, Chandra Chekuri, Sanjeev Khanna, and F. Bruce Shepherd

• BLAS : An Efficient XPath Processing System, Yi Chen, Susan B. Davidson, and Yifeng Zheng

• L-Tree: a Dynamic Labeling Structure for Ordered XML Data, Yi Chen, George Mihaila, Rajesh Bordawekar, and Sriram Padmanabhan

• EXPedite: A System for Encoded XML Processing, Yi Chen, George A. Mihaila, Susan B. Davidson, and Sriram Padmanabhan

• Optimizing Taxonomic Semantic Web Queries using Labeling Schemes, Vassilis Christophides, Grigoris Karvounarakis, Dimitris Plexousakis, Vassilika Vouton, Michel Scholl, and Sotiris Tourtounis

• Querying at Internet Scale, Brent Chun, Joseph M. Hellerstein, Ryan Huebsch, Shawn R. Jeffery, Boon Thau Loo, Sam Mardanbeigi, Timothy Roscoe, Sean Rhea, Scott Shenker, and Ion Stoica

• Asymmetric k-Center is log^* n-Hard to Approximate, Julia Chuzhoy, Sudipto Guha, Eran Halperin, Sanjeev Khanna, Guy Kortsarz, Robert Krauthgamer, and Joseph Naor

• Machine Minimization for Scheduling Jobs with Interval Constraints, Julia Chuzhoy, Sudipto Guha, Sanjeev Khanna, and Joseph Naor

• Distributed Sensor Databases for Multi-Robot Teams, Anthony Cowley, Hwa-Chow Hsu, and Camillo J. Taylor

• Multiple Frame Motion Inference Using Belief Propagation, Jiang Gao and Jianbo Shi

• Processing XML Streams with Deterministic Automata and Stream Indexes, Todd J. Green, Ashish Gupta, Gerome Miklau, Makoto Onizuka, and Dan Suciu

• Power-Conserving Computation of Order-Statistics over Sensor Networks, Michael B. Greenwald and Sanjeev Khanna

• Synergies in Feature Localization by Air-Ground Robot Teams, Ben Grocholsky, Selcuk Bayraktar, R. Vijay Kumar, Camillo J. Taylor, and George J. Pappas

• The Piazza peer data management system, Alon Y. Halevy, Zachary G. Ives, Jayant Madhavan, Peter Mork, Dan Suciu, and Igor Tatarinov

• Constructing Radio Signal Strength Maps with Multiple Robots, Mong-ying A. Hsieh, R. Vijay Kumar, and Camillo J. Taylor

• Sound Code Generation from Communicating Hybrid Models, Yerang Hur, Jesung Kim, Insup Lee, and Jin-Young Choi

• Hybrid Control for Visibility-Based Pursuit-Evasion Games, Volkan Isler, Calin Belta, Kostas Daniilidis, and George J. Pappas

• VC-Dimension of Exterior Visibility, Volkan Isler, Sampath K. Kannan, Kostas Daniilidis, and Pavel Valtr

• Randomized Pursuit-Evasion with Limited Visibility, Volkan Isler, Sampath K. Kannan, and Sanjeev Khanna

• Piazza: Mediation and Integration Infrastructure for Semantic Web Data, Zachary G. Ives, Alon Y. Halevy, Peter Mork, and Igor Tatarinov

• Adapting to Source Properties in Processing Data Integration Queries, Zachary G. Ives, Alon Y. Halevy, and Daniel S. Weld

• Exploratory analysis and visualization of speech and music by locally linear embedding, Viren Jain and Lawrence K. Saul

• Java-MaC: A Run-time Assurance Approach for Java Programs, Moonjoo Kim, Mahesh Viswanathan, Sampath Kannan, Insup Lee, and Oleg V. Sokolsky

• Nonnegative deconvolution for time of arrival estimation, Yuanqing Lin, Daniel D. Lee, and Lawrence K. Saul

• Querying and Routing in Next-Generation Networks, Boon Thau Loo

• Querying Network Graphs with Recursive Queries, Boon Thau Loo

• Distributed Web Crawling over DHTs, Boon Thau Loo, Owen Cooper, and Sailesh Krishnamurthy

• Enhancing P2P File-Sharing with an Internet-Scale Query Processor, Boon Thau Loo, Joseph M. Hellerstein, Ryan Huebsch, Scott Shenker, and Ion Stoica

• Customizable Routing with Declarative Queries, Boon Thau Loo, Joseph M. Hellerstein, and Ion Stoica

• The Case for a Hybrid P2P Search Infrastructure, Boon Thau Loo, Ryan Huebsch, Ion Stoica, and Joseph M. Hellerstein

• Modeling Distances in Large-Scale Networks by Matrix Factorization, Yun Mao and Lawrence K. Saul

• Case-Factor Diagrams for Structured Probabilistic Modeling, David McAllester, Michael Collins, and Fernando C.N. Pereira

• A Model-Based Approach to Integrating Security Policies for Embedded Devices, Michael McDougall, Rajeev Alur, and Carl A. Gunter

• Stereo-Based Environment Scanning for Immersive Telepresence, Jane Mulligan, Xenophon Zabulis, Nikhil Kelshikar, and Kostas Daniilidis

• Enforcing Robust Declassification, Andrew C. Myers, Andrei Sabelfeld, and Stephan A. Zdancewic

• Cluster-based Concept Invention for Statistical Relational Learning, Alexandrin Popescul and Lyle H. Ungar

• Calibrating an Air-Ground Control System from Motion Correspondences, Rahul Rao, Camillo J. Taylor, and R. Vijay Kumar

• Simulation of Simultaneous Events in Regular Expressions for Run-Time Verification, Usa Sammapun, Arvind Easwaran, Insup Lee, and Oleg Sokolsky

• Multiband statistical learning for f₀ estimation in speech, Fei Sha, J. Ashley Burgoyne, and Lawrence K. Saul

• Real-Time Pitch Determination of One or More Voices by Nonnegative Matrix Factorization, Fei Sha and Lawrence K. Saul

• Flexible Margin Selection for Reranking with Full Pairwise Samples, Libin Shen and Aravind K. Joshi

• Compositional Real-Time Scheduling Framework, Insik Shin and Insup Lee

• A Design Approach for Real-Time Embedded Systems with Energy and Code Size Constraints, Insik Shin, Insup Lee, and Sang Lyul Min

• Active networking : one view of the past, present, and future, Jonathan M. Smith and Scott M. Nettles

• Resource Modeling for Embedded Systems Design, Oleg Sokolsky

• Platform-Independent Autonomy Modeling, Oleg Sokolsky and George J. Pappas

• Using Speculation to Simplify Multiprocessor Design, Daniel J. Sorin, Milo M.K. Martin, Mark D. Hill, and David A. Wood

• Model-Based Testing and Monitoring for Hybrid Embedded Systems, Li Tan, Jesung Kim, Oleg Sokolsky, and Insup Lee

• Specification-Based Testing with Linear Temporal Logic, Li Tan, Oleg Sokolsky, and Insup Lee

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

• Unsupervised learning of image manifolds by semidefinite programming, Kilian Q. Weinberger and Lawrence K. Saul

• Learning a kernel matrix for nonlinear dimensionality reduction, Kilian Q. Weinberger, Fei Sha, and Lawrence K. Saul

• Variable Reuse for Efficient Image Computation, Zijiang Yang and Rajeev Alur

• Segmentation Given Partial Grouping Constraints, Stella X. Yu and Jianbo Shi

• Detecting Unusual Activity in Video, Hua Zhong, Jianbo Shi, and Mirko Visontai

PAPERS FROM 2003

• Time-Constrained Scheduling of Weighted Packets On Trees and Meshes, Micah Adler, Sanjeev Khanna, Rajmohan Rajaraman, and Adi Rosén

• Simulating a $2M Commercial Server on a $2K PC, Alaa R. Alameldeen, Milo Martin, Carl J. Mauer, Kevin E. Moore, Min Xu, Mark D. Hill, David A. Wood, and Daniel J. Sorin

• Engineering Privacy in Public: Confounding Face Recognition, James Alexander and Jonathan M. Smith

• Hierarchical modeling and analysis of embedded systems, Rajeev Alur, Thao Dang, Joel Esposito, Yerang Hur, Franjo Ivancic, R. Vijay Kumar, Insup Lee, Pradyumna Mishra, George J. Pappas, and Oleg V. Sokolsky

• Counter-Example Guided Predicate Abstraction of Hybrid Systems, Rajeev Alur, Thao Dang, and Franjo Invancic

• Progress on Reachability Analysis of Hybrid Systems using Predicate Abstraction, Rajeev Alur, Thao Dang, and Franjo Ivancic

• Generating Embedded Software from Hierarchical Hybrid Models, Rajeev Alur, Franjo Ivancic, Jesung Kim, Insup Lee, and Oleg V. Sokolsky

• Playing Games with Boxes and Diamonds, Rajeev Alur, Salvatore La Torre, and P. Madhusudan

• Modular Strategies for Infinite Games on Recursive Graphs, Rajeev Alur, Salvatore La Torre, and P. Madhusudan

• Modular Strategies for Recursive Game Graphs, Rajeev Alur, Salvatore La Torre, and P. Madhusudan

• Linear Pose Estimation from Points or Lines, Adnan Ansar and Kostas Daniilidis

• Feature preserving manifold mesh from an octree, Koji Ashida and Norman I. Badler

• A taxonomy and comparison of haptic actions for disassembly tasks, Aaron Samuel Bloomfield, Yu Deng, Jeff Wampler, Pascale Rondot, Dina Harth, Mary McManus, and Norman I. Badler

• ROCI: A Distributed Framework for Multi-Robot Perception and Control, Luiz Chaimowicz, Anthony Cowley, Vito Sabella, and Camillo J. Taylor

• The ICS-FORTH SWIM: A Powerful Semantic Web Integration Middleware, Vassilis Christophides, Grigoris Karvounarakis, I. Koffina, G. Kokkinidis, A. Magkanaraki, Dimitris Plexousakis, G. Serfiotis, and Val Tannen

• Propagating XML Constraints to Relations, Susan B. Davidson, Wenfei Fan, Carmem Hara, and Jing Qin

• MARS: A System for Publishing XML from Mixed and Redundant Storage , Alin Deutsch and Val Tannen

• Reformulation of XML Queries and Constraints, Alin Deutsch and Val Tannen

• Crossing the Structure Chasm , Oren Etzioni, Alon Halevy, Anhai Doan, Zachary G. Ives, Jayant Madhaven, Luke McDowell, and Igor Tatarinov

• Omnidirectional video, Christopher M. Geyer and Kostas Daniilidis

• Processing XML Streams with Deterministic Automata, Todd J. Green, Gerome Miklau, Makoto Onizuka, and Dan Suciu

• Processing XML Streams with Deterministic Automata, Todd J. Green, Gerome Miklau, Makoto Onizuka, and Dan Suciu

• Using policy gradient reinforcement learning on autonomous robot controllers, Gregory Z. Grudic, R. Vijay Kumar, and Lyle H. Ungar

• Near-Optimal Hardness Results and Approximation Algorithms for Edge-Disjoint Paths and Related Problems, Venkatesan Guruswami, Sanjeev Khanna, Rajmohan Rajaraman, F. Bruce Shepherd, and Mihalis Yannakakis

• Schema Mediation in Peer Data Management Systems, Alon Halevy, Zachary G. Ives, Dan Suciu, and Igor Tatarinov

• Piazza: Data Management Infrastructure for Semantic Web Applications, Alon Y. Halevy, Zachary G. Ives, Peter Mork, and Igor Tatarinov

• Learning High Dimensional Correspondences from Low Dimensional Manifolds, Ji Hun Ham, Daniel D. Lee, and Lawrence K. Saul

• A Secure PLAN, Michael Hicks, Angelos D. Keromytis, and Jonathan M. Smith

• Data Flow Testing as Model Checking, Hyoung Seok Hong, Sung Deok Cha, Insup Lee, Oleg Sokolsky, and Hasan Ural

• Regular expression pattern matching for XML, Haruo Hosoya and Benjamin C. Pierce

• Querying the Internet with PIER, Ryan Huebsch, Joseph M. Hellerstein, Nick Lanham, Boon Thau Loo, Scott Shenker, and Ion Stoica

• Design and Implementation of Virtual Private Services, Sotiris Ioannidis, Steven M. Bellovin, John Ioannidis, Angelos D. Keromytis, and Jonathan M. Smith

• Local Exploration: Online Algorithms and a Probabilistic Framework, Volkan Isler, Sampath K. Kannan, and Kostas Daniilidis

• Target Tracking with Distributed Sensors: The Focus of Attention Problem, Volkan Isler, John R. Spletzer, Sanjeev Khanna, and Camillo J. Taylor

• Selection with Monotone Comparison Costs, Sampath Kannan and Sanjeev Khanna

• The Penn-Lehman Automated Trading Project, Michael J. Kearns and Luis Ortiz

• The STRONGMAN Architecture, Angelos D. Keromytis, Sotiris Ioannidis, Michael B. Greenwald, and Jonathan M. Smith

• Modular Code Generation from Hybrid Automata based on Data Dependency, Jesung Kim and Insup Lee

• TinkerType: a language for playing with formal systems, Michael Y. Levin and Benjamin C. Pierce

• On the Feasibility of Peer-to-Peer Web Indexing and Search, Jiyang Li, Boon Thau Loo, Joseph M. Hellerstein, M Frans Kaashoek, David Karger, and Robert Morris

• Real-time reach planning for animated characters using hardware acceleration, Ying Liu and Norman I. Badler

• Measurement and Analysis of Ultrapeer-based P2P Search Networks, Boon Thau Loo, Joseph Hellerstein, Ryan Huebsch, Scott Shenker, and Ion Stoica

• Analyzing P2P Overlays with Recursive Queries, Boon Thau Loo, Ryan Huebsch, Joseph M. Hellerstein, Timothy Roscoe, and Ion Stoica

• Peer-To-Peer Backup for Personal Area Networks, Boon Thau Loo, Anthony LaMarca, and Gaetano Borriello

• Using Destination-Set Prediction to Improve the Latency/Bandwidth Tradeoff in Shared-Memory Multiprocessors, Milo Martin, Pacia J. Harper, Daniel J. Sorin, Mark D. Hill, and David A. Wood

• Token Coherence: A New Framework for Shared-Memory Multiprocessors , Milo Martin, Mark D. Hill, and David A. Wood

• Token Coherence: Decoupling Performance and Correctness, Milo Martin, Mark D. Hill, and David A. Wood

• Human Robot Interaction and Usability Studies for a Smart Wheelchair, Sarangi P. Parikh, Rahul Rao, Sang-Hack Jung, R. Vijay Kumar, James P. Ostrowski, and Camillo J. Taylor

• Statistical Relational Learning for Document Mining, Alexandrin Popescul, Lyle H. Ungar, Steve Lawrence, and David M. Pennock

• Structural Logistic Regression for Link Analysis, Alexandrin Popescul and Lyle H. Ungar

• Visual Servoing of a UGV from a UAV using Differential Flatness, Rahul Rao, R. Vijay Kumar, and Camillo J. Taylor

• Formalizing Java-MaC , Usa Sammapun, Raman Sharykin, Margaret DeLap, Myong Kim, and Stephan A. Zdancewic

• Regular Expressions for Run-Time Verification, Usa Sammapun and Oleg Sokolsky

• Think Globally, Fit Locally : Unsupervised Learning of Low Dimensional Manifolds, Lawrence K. Saul and Sam T. Roweis

• Statistical signal processing with nonnegativity constraints, Lawrence K. Saul, Fei Sha, and Daniel D. Lee

• Multiplicative Updates for Large Margin Classifiers, Fei Sha, Lawrence K. Saul, and Daniel D. Lee

• Periodic Resource Model for Compositional Real-Time Guarantees, Insik Shin and Insup Lee

• Application-Private Networks, Jonathan M. Smith

• Modeling and Analysis of Power-Aware Systems, Oleg Sokolsky, Anna Philippou, Insup Lee, and Kyriakos Christou

• A Bounded Uncertainty Approach to Multi-Robot Localization, John R. Spletzer and Camillo J. Taylor

• Testing and Monitoring Model-based Generated Program, Li Tan, Jesung Kim, and Insup Lee

• The Piazza Peer Data Management Project, Igor Tatarinov, Zachary G. Ives, Jayant Madhavan, Alon Halevy, Dan Suciu, Nilesh Dalvi, Xin (Luna) Dong, Yana Kadiyska, Gerome Miklau, and Peter Mork

• Observational Determinism for Concurrent Program Security, Stephan A. Zdancewic and Andrew C. Myers

• Cooperative Control for Localization of Mobile Sensor Networks, Fan Zhang, Ben Grocholsky, R. Vijay Kumar, and Max L. Mintz

• Using Replication and Partitioning to Build Secure Distributed Systems, Lantian Zheng, Stephen Chong, Andrew C. Myers, and Stephan A. Zdancewic

PAPERS FROM 2002

• A Hybrid Dynamical Systems Approach to Intelligent Low-Level Navigation, Eric Aaron, Harold Sun, Franjo Ivancic, and Dimitris Metaxas

• ACUMEN: Amplifying Control and Understanding of Multiple ENtities, Jan Allbeck, Karin Kipper, Charles Adams, William Schuler, Elena Zoubanova, Norman I. Badler, Martha Palmer, and Aravind K. Joshi

• Visual Programming for Modeling and Simulation of Biomolecular Regulatory Networks, Rajeev Alur, Calin Belta, Franjo Ivancic, R. Vijay Kumar, Harvey Rubin, Jonathan Schug, Oleg Sokolsky, and Jonathan Webb

• Modeling and Analyzing Biomolecular Networks, Rajeev Alur, Calin Belta, R. Vijay Kumar, Max L. Mintz, George J. Pappas, Harvey Rubin, and Jonathan Schug

• Reachability Analysis of Hybrid Systems via Predicate Abstraction, Rajeev Alur, Thao Dang, and Franjo Ivancic

• A Framework and Architecture for Multirobot Coordination, Rajeev Alur, Aveek J. Das, Joel Esposito, Rafael Fierro, Gregory Grudic, Yerang Hur, R. Vijay Kumar, Insup Lee, James Ostrowski, George J. Pappas, B. Southall, John R. Spletzer, and Camillo J. Taylor

• Exploiting Behavioral Hierarchy for Efficient Model Checking, Rajeev Alur, Michael McDougall, and Zijiang Yang

• Efficient Packet Monitoring for Network Management, Kostas G. Anagnostakis, Sotiris Ioannidis, Stefan Miltchev, Michael B. Greenwald, Jonathan M. Smith, and John Ioannidis

• XMLTK: An XML Toolkit for Scalable XML Stream Processing, Iliana Avila-Campillo, Todd J. Green, Ashish Gupta, Makoto Onizuka, Demian Raven, and Dan Suciu

• Representing and Parameterizing Agent Behaviors, Norman I. Badler, Jan Allbeck, Liwei Zhao, and Meeran Byun

• Eyes Alive, Norman I. Badler, Jeremy B. Badler, and Sooha Park Lee

• FacEMOTE: Qualitative Parametric Modifiers for Facial Animations, Norman I. Badler and Meeran Byun

• Virtual Humans for Validating Maintenance Procedures, Norman I. Badler, Charles A. Erignac, and Ying Liu

• Verisim: Formal Analysis of Network Simulations, Karthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim, Insup Lee, Davor Obradovic, Oleg Sokolsky, and Mahesh Viswanathan

• Archiving Scientific Data, Peter Buneman, Sanjeev Khanna, Keishi Tajima, and Wang-Chiew Tan

• On Propagation of Deletions and Annotations Through Views, Peter Buneman, Sanjeev Khanna, and Wang-Chiew Tan

• Approximation Schemes for Preemptive Weighted Flow Time, Chandra Chekuri and Sanjeev Khanna

• XKvalidator: A Constraint Validator For XML, Yi Chen, Susan B. Davidson, and Yifeng Zheng