STUDENT PUBLICATIONS - 1995

This report lists publications authored or co-authored by University of Virginia graduate students in Computer Science in 1995. Included are papers that appeared in journals and conference proceedings in 1995 as well as other works that were finished in 1995 and will appear at a later date.

Advisor: JAMES COHOON

J. Karro, and C. Li, "A Unified Elementry Approach to Canonical Forms of Matrices", to appear in SIAM Review.
M. Alexander, J. Cohoon, J. Colflesh , J. Karro, and G. Robins, "Three-Dimensional Field Programmable Gate Arrays", Proc. IEEE International ASIC Conference, Austin, TX, pp. 253-256, September 1995.

Advisor: JACK DAVIDSON

M. Bailey and J. Davidson, "Target-Sensitive Construction of Diagnostic Programs for Procedure Calling Sequence Generators", University of Virginia Technical Report CS-95-44. To appear in SIGPLAN '96: Conference on Programming Language Design and Implementation (PLDI). Philidelphia, PA. May 1996.
M. Bailey and J. Davidson, "Reusable Application-dependent Machine Descriptions". To appear in WCSSS'96: Workshop on Compiler Support for System Software. Tucson, AZ. Feb 1996.
M. Bailey and J. Davidson, "Computing System Descriptions for Systems Software", University of Virginia Technical Report CS-95-10.
J. Davidson and S. Jinturkar, "Improving Instruction-Level Parallelism by Loop Unrolling and Dynamic Memory Disambiguation", Proceedings of the 28th International Symposium on Microarchitecture, Ann Arbor, MI, pp. 125-134, 1995.
J. Davidson and S. Jinturkar, "Aggressive Loop Unrolling in a Retargetable, Optimizing Compiler", to appear in the Proceedings of the Compiler Construction Conference, Linkoping, Sweeden, March 1996.

Advisor: JAMES FRENCH

J. Barros , J. French, W. Martin and P. Kelly, "System for Indexing Multi-spectral Satellite Images for Efficient Content-based Retrieval", Proceedings of IST/SPIE: Storage and Retrieval for Image and Video Databases III, San Jose, CA., February 1995.
J. Barros , J. French and W. Martin, "Trading Efficiency for Effectiveness in Similarity-based Indexing for Image Databases", Proceedings of SPIE: Digital Image Storage and Archiving Systems, November 1995.
J. Barros , J. French, W. Martin, P. Kelly and M. Cannon, "Using the Triangle Inequality to Reduce the Number of Comparisons Required for Similarity-Based Retrieval", Proceedings of IST/SPIE: Storage and Retrieval for Image and Video Databases IV, San Jose, CA., to appear.
A. Powell , J. French and J. Knight, "A Systematic Approach to Creating and Maintaining Software Documentation", to appear in the Proceedings of the Symposium on Applied Computing, 1996.
C. Viles and J. French, "Availability and Latency of World Wide Web Information Servers", Computing Systems 8(1), pp. 61-91, 1995.
C. Viles and J. French, "Dissemination of Collection Wide Information in Distributed Information Retrieval Systems", SIGIR95, Seattle, WA July 9-13, 1995.
C. Viles and J. French, "TREC-4 Experiments using Drift", Fourth Text Retrieval Conference (TREC-4), Gaithersburg, MD, November 1-3, 1995.
C. Viles and J. French, "On the Update of Term Weights in Dynamic Information Retrieval Systems", CIKM95, Baltimore MD, Nov 29 - Dec 2, 1995.
J. French and C. Viles, "Ensuring Retrieval Effectiveness in Distributed Digital Libraries", Journal of Visual Communication and Image Representation (Special Issue on Digital Libraries), to appear.

Advisor: ANDREW GRIMSHAW

A. Ferrari and V. Sunderam, "TPVM: Distributed Concurrent Computing with Lightweight Processes", Tech Report CSTR-950201, Department of Mathematics and Computer Science, Emory University, February 1995.
A. Ferrari , "Distributed Interactive Simulation in the Legion System", 2nd Electronic Conference on Scalability in Training Simulation, April 10 - June 18, 1995.
A. Ferrari and V. Sunderam, "TPVM: Distributed Concurrent Computing with Lightweight Processes", in Proceedings of IEEE High Performance Distributed Computing 4, Washington, D.C., pp. 211-218, August 1995.
A. Ferrari , A. Filipi-Martin, and S. Viswanathan, "The NAS Parallel Benchmark Kernels in MPL", University of Virginia Technical Report CS-95-39, September 1995.
A. Ferrari and V. Sunderam, "Multiparadigm Distributed Computing with TPVM", Technical Report CSTR-951201, Department of Mathematics and Computer Science, Emory University, December 1995. Submitted to the Journal of Parallel and Distributed Computing, Special Issue on Multithreading for Multiprocessors.
A. Grimshaw, A. Ferrari , and E. West , "Mentat", Chapter to appear in "Parallel Programming Using C++", MIT Press, Cambridge, MA.
A. Nguyen-Tuong , A. S. Grimshaw and J. Karpovich , "Fault-Tolerance via Replication in Coarse Grain Data Flow", to be published in Springer-Verlag.
A. Natrajan and A. Nguyen-Tuong, "To Disaggregate or Not To Disaggregate, That is Not the Question", ELECSIM 95, Best Paper Award, May 1995.
A. Nguyen-Tuong , A. S. Grimshaw and J. Karpovich , "Fault-Tolerance in Coarse Grain Data Flow", University of Virginia Technical Report CS-95-38, August 1995.
A. S. Grimshaw, A. Nguyen-Tuong , W. A. Wulf, "Campus-Wide Computing: Early Results Using Legion at the University of Virginia", University of Virginia Technical Report CS-95-19, March 1995.
A. Natrajan and A. Nguyen-Tuong , "To Disaggregate or Not to Disaggregate, That is Not the Question," University of Virginia Technical Report CS-95-18, March 1995.
J. Weissman and A. Grimshaw, "A Framework for Partitioning Parallel Computations in Heterogeneous Environments", Concurrency: Practice and Experience , pp. 455-478, Vol. 7(5), August, 1995.
E. West and A. Grimshaw, "Briad: Integrating Task and Data Parallelism", Proceedings of Frontiers '95, pp. 211-219, February, 1995.

Advisor: JOHN KNIGHT

J. Knight and K. Wika , "Software Safety in Medial Applications", Journal of Image Guided Surgery, to appear.
M. Elder and J. Knight, "Specification of User Interfaces for Safety-Critical Systems", MRCAS:95, Second International Symposium on Medical Robotics and Computer Assisted Surgery, Baltimore, MD., November 1995.
K. Wika and J. Knight, "On the Enforcement of Software Safety Policies," 10th Annual IEEE Conference on Computer Assurance (COMPASS '95), Gaithersburg, MD., June 1995.
J. Knight, L. Nakano and A. Sarkar , "Eliciting Background Information for Safety-critical Software Specification", University of Virginia Technical Report CS-95-42, September 1995.
J. Knight, K. Wika and S. Wrege , "Exhaustive Testing as a Verification Technique", University of Virginia Technical Report CS-95-41, September 1995.
J. Knight and A. Cass , "Achieving Software Quality Through Reuse", University of Virginia Technical Report CS-95-40, September 1995.
M. Elder , "Specification of User Interfaces for Safety-Critical Systems", University of Virginia Technical Report CS-95-30, July 1995.
K. Wika , "Safety Kernel Enforcement of Software Safety Policies", University of Virginia Technical Report CS-95-24, May 1995.

Advisor: JORG LIEBEHERR

J. Liebeherr and D. Liao , "A Service with Bounded Degradation in Quality-of-Service Networks", Proc. IEEE Infocom '95, pp. 1103 - 1110, April 1995.
J. Sole-Pareta, D. Sarkar , J. Liebeherr, and I. Akyildiz, "An Adaptive Multipath Routing Scheme for Connectionless Traffic in an ATM Network", Journal of Network and Systems Management, Vol. 3, No. 4, pp. 355-370, December 1995.
I. Akyildiz, J. Liebeherr, and D. Sarkar , "Bandwidth Regulation of Real-Time Traffic Classes in Internetworks", To appear in Computer Networks and ISDN Systems, 1996.
J. Liebeherr, I. Akyildiz, and D. Sarkar , "A Policy-Based Bandwidth Control Protocol for Connectionless Traffic in ATM Networks", submitted to IEEE/ACM Transactions on Networking (in Revision).
J. Sole-Pareta, D. Sarkar , J. Liebeherr, and I. Akyildiz, "Adaptive Multipath Routing of Connectionless Traffic in an ATM Network", Proc. IEEE ICC`95 Conference, pp. 1626-1630, May 1995.
J. Liebeherr, I. Akyildiz, and D. Sarkar , "A New Protocol for Bandwidth Regulation of Real-Time Traffic Classes in Internetworks", Proc. 15th IEEE International Conference on Distributed Computer Systems, Vancouver, pp. 44-51, May/June 1995.
J. Liebeherr, and A. Tai , "A Protocol for Relative Quality-of-Service in TCP/IP-based Internetworks", Proc. 3rd IEEE Workshop on the Architecture and Implementation of High Performance Communication Subsystems (HPCS'95) , pp. 62-65, August 1995.
J. Liebeherr, I. Akyildiz, and A. Tai , "A Multi-level Explicit Rate Control Scheme for ABR Traffic with Heterogeneous Service Requirements", submitted to the 16th IEEE International Conference on Distributed Computing Systems, May 1996.
J. Liebeherr, D. Wrege , and D. Ferrari, "Exact Admission Control in Networks with Bounded Delay Services", to appear in IEEE/ACM Transactions on Networking.
D. Wrege , E. Knightly, H. Zhang, and J. Liebeherr, "Deterministic Delay Bounds for VBR Video in Packet-Switching Networks: Fundamental Limits and Practical Tradeoffs", to appear IEEE/ACM Transactions on Networking.
J. Liebeherr and D. Wrege , "A Versatile Packet Multiplexer for Quality-of-Service Networks", Proc. 4th International Symposium on High Performance Distributed Computing (HPDC-4) , pp. 148-155, August 1995.
E. Knightly, D. Wrege , J. Liebeherr, and H. Zhang, "Fundamental Limits and Tradeoffs of Providing Deterministic Guarantees to VBR Video Traffic", Proc. ACM Sigmetrics '95,, pp. 98-107, May 1995.
D. Wrege and J. Liebeherr, "Video Traffic Characterization for Multimedia Networks with a Deterministic Service", July 1995, to appear Proc. IEEE Infocom '96.

Advisor: WORTHY MARTIN

F. Brill , W. Martin, and T. Olson, "Markers Elucidated and Applied in Local 3-space", Proceedings of the 1995 IEEE Symposium on Computer Vision, pp. 49-54, 1995.
F. Brill , and G. Wasson , "Virtual Markers in the Real World", submitted to the 1996 IEEE International Conference on Robotics and Automation.
R. Craighurst and W. Martin, "Enhancing GA Performance through Crossover Prohibitions Based on Ancestry", Proceedings of the Sixth International Conference on Genetic Algorithms, pp. 130-135.
G. Ferrer and W. Martin, "Using Genetic Programming to Evolve Board Evaluation Functions", Proceedings of the IEEE Conference on Evolutionary Computation, 1995.
G. Wasson, F. Brill, G. Ferrer, W. Martin, "Local Space Representation Using Markers", video submission to the 1996 IEEE International Conference on Robotics and Automation.

Advisor: JAMES ORTEGA

M. DeLong and J. Ortega, "SOR as a Preconditioner", Applied Numerical Mathematics, 18, pp. 431-440, 1995.
M. DeLong , and J. Ortega, "SOR as a Parallel Preconditioner", Proceedings of the Conference on Conjugate Gradient Methods, Seattle, WA., August, 1995.

Advisor: RANDY PAUSCH

M. Conway , "The Alice Rapid Prototyping System: 3D Graphics Made Easy", SIGGRAPH 95, Technical Sketch , August, 1995
J. Durbin, R. Gossweiler , and R. Pausch, "Amortizing 3D Graphics Optimization Across Multiple Frames", Fourth Annual Symposium on User Interface Software and Technology, November, 1995.
J. Shochet , R. Pausch, and M. Conway , "On-The-Fly Behavioral Culling In The Alice System", SIGGRAPH 95 Technical Sketch, August 1995
R. Stoakley , M. Conway , R. Pausch, "Virtual Reality on a WIM: Interactive Worlds in Miniature", ACM CHI'95 Conference on Human Factors in Computing Systems, 1995.
R. Pausch, T. Burnette, A.C. Capeheart, M. Conway , D. Cosgrove, R. DeLine, J. Durbin, R. Gossweiler, S. Koga, J. White , "A Brief Architectural Overview of Alice, a Rapid Prototyping System for Vitrual Reality", IEEE Computer Graphics and Applications, May 1995.
J. Goble, K. Hinckley, R. Pausch, J. Snell, N. Kassell, "Two-Handed Spatial Interface Tools for Neurosurgical Planning", IEEE Computer, pp. 20-26, July 1995.

Advisor: JOHN PFALTZ

R. Haddleton , "An Implementation of a Parallel Object Oriented Database System", University of Virginia Technical Report CS-95-49.

Advisor: GABRIEL ROBINS

M. Alexander and G. Robins, "New Performance-Driven FPGA Routing Algorithms", IEEE Trans. Computer-Aided Design of Integrated Circuits and Systems (in revision).
M. Alexander , J. Cohoon, J. Ganley , and G. Robins, "Placement and Routing for Performance-Oriented FPGA Layout", VLSI Design Journal (to appear).
M. Alexander and G. Robins, "New Performance-Driven FPGA Routing Algorithms", in Proc. ACM/IEEE Design Automation Conf., San Francisco, CA, pp. 562-567, June 1995.
M. Alexander , J. Cohoon, J. Ganley , and G. Robins, "Performance-Oriented Placement and Routing for Field-Programmable Gate Arrays", in Proc. European Design Automation Conf., pp. 80-85, Brighton, England, September 1995.
M. Alexander , J. Cohoon, J. Coleflesh, J. Karro, E. Peters and G. Robins, "Physical Layout for Three-Dimensional FPGAs", submitted to Fifth ACM/SIGDA Physical Design Workshop.
M. Alexander , J. Cohoon, J. Ganley , G. Robins, "Placement and Routing for Performance-Oriented FPGA Layout", to appear in VLSI Design: an International Journal of Custom-Chip Design, Simulation, and Testing.
K. Boese, A. Kahng, B. McCoy , and G. Robins, "Near-Optimal Critical Sink Routing Tree Constructions", IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 14(12), pp. 1417-1436, December 1995.
B. McCoy , and G. Robins, "Non-Tree Routing", IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 14(6), pp. 780-784, June 1995.
W. Pearson, G. Robins, D. Wrege , and T. Zhang , "A New Approach to Primer Selection in Polymerase Chain Reaction Experiments", Proc. International Conference on Intelligent Systems for Molecular Biology, Cambridge, England, pp. 285-291, July 1995.
G. Robins, and B. Robinson , "Landmine Detection from Inexact Data", Proc. SPIE '95 International Symposium on Aerospace/Defense Sensing and Dual-Use Photonics, Volume 2496, Orlando, FL, pp. 568-574, April 1995.

Advisor: SANG SON

A. Burchard, J. Liebeherr, Y. Oh , and S. Son, "Assigning Real-Time Tasks to Homogeneous Multiprocessor Systems", IEEE Transactions on Computers, to appear.
Y. Oh and S. Son, "Allocating Fixed-Priority Periodic Tasks on Multiprocessor Systems", Journal of Real-Time Systems, vol. 9, no. 3, pp. 207-239, September 1995.
Y. Kim, M. Lehr, D. George, and S. Son, "Supporting Real-Time Transactions in Distributed Time-Critical Applications: Issues and Experiences", Journal of Mini and Microcomputers, Special Issue on Parallel and Distributed Real-Time Systems, vol. 17, no. 2, pp. 63-70, 1995.
J. Sklenar, N. Agarwal , J. Dent, S. Son, and S. Kaul, "Compression of Two-Dimentional Echocardiographic Images: How Far Can We Go?" Cardiovascular Imaging, vol. 7, pp. 49 - 53, 1995.
Y. Oh and S. Son, "Enhancing Fault Tolerance in Rate-Monotonic Scheduling", Responsive Computing, M. Malek (ed.), Kluwer Academic Publishers, 1995.
Y. Kim and S. Son, "Predictability and Consistency in Real-Time Database Systems", Advances in Real-Time Systems, S. H. Son (ed.), Prentice Hall, pp. 509-531, 1995.
M. Lehr, Y. Kim, and S. Son, "Managing Contention and Timing Constraints in a Real-Time Database System", 16th IEEE Real-Time Systems Symposium, Pisa, Italy, pp. 332-341, December 1995.
S. Shih, Y. Kim , and S. Son, "Performance Evaluation of a Firm Real-Time Database System", 2nd International Workshop on Real-Time Computing Systems and Applications, Tokyo, Japan, pp. 116-124, October 1995.
S. H. Son, R. David , and B. Thuraisingham, "An Adaptive Policy for Improved Timeliness in Secure Database Systems", Annual IFIP WG 11.3 Conference of Database Security, Rensselaerville, NY, pp. 223-233, August 1995.
M. Lehr , Y. Kim , and S. Son, "StarBase: A Firm Real-Time Database Manager for Time-Critical Applications", 7th Euromicro Workshop on Real-Time Systems, Odense, Denmark, pp. 317-322, June 1995.
S. Son, R. David , and R. Mukkamala, "Supporting Security Requirements in Multilevel Real-Time Databases", IEEE Symposium on Security and Privacy, Oakland, CA, pp. 199-210, May 1995.

Advisor: ALFRED WEAVER

M.Lucas , B. Dempsey, and A. Weaver, "Distributed Error Recovery for Continuous Media Data in Wide-Area Multicast", University of Virginia Technical Report CS-95-52, and submitted to INFOCOM'95.
J. Sublett , B. Dempsey, and A. Weaver, "Design and Implementation of a Digital Teleultrasound System for Real-Time Remote Diagnosis", Proceedings of the IEEE Computer-Based Medical Systems Conference, June 9-12, 1995.

Advisor: WILLIAM WULF

W. Wulf, C. Wang, and D. Kienzle , "A New Security Model for Distributed Systems", University of Virginia Technical Report CS-95-34 .
S. McKee and Wm.A. Wulf, "Access Ordering and Memory-Conscious Cache Utilization", Proceedings of the First IEEE Symposium on High Performance Computer Architecture, pp. 253-262, Raleigh, NC, January 1995.
S. McKee , W. Wulf, and T. Landon, "Bounds on Memory Bandwidth in Streamed Computations", Proceedings of Europar'95, Stockholm, Sweden, August 1995.
S. McKee and W. Wulf, "A Memory Controller for Improved Performance of Streamed Computations on Symmetric Multiprocessors", to appear in Proceedings International Parallel Processing Symposium, Honolulu, HI, April 1996.
S. McKee, C. Oliver, K. Wright, W. Wulf, and J. Aylor, "Evaluation of Dynamic Access Ordering Hardware", University of Virginia Technical Report CS-95-46, October 1995. To appear in Proceedings International Parallel Processing Symposium, Honolulu, HI, April 1996.
S. McKee , R. Klenke, W. Wulf, K. Wright, C. Oliver , S. Moyer, and J. Aylor, "High-Speed Memory Access for Streamed Computations", University of Virginia Technical Report CS-95-47, October 1995.
S. McKee, D. Weikle, K. Wright, C. Oliver , T. Landon, A. Voss, W. Wulf, and J. Aylor, "Avoiding Irreproducible Results: Modeling the Stream Memory Controller", University of Virginia Technical Report CS-95-50, October 1995.
R. Peri and W. Wulf, "A Framework for Specification and Verification of Information Flow Security Policies", Workshop on Formal Methods in Software Practice, January 1996.
A. Yasinsac and W. Wulf, "Evaluating Cryptographic Protocols", to appear in Cambridge Workshop on Cryptographic Protocols, April 1996.
W. Wulf and S. McKee , "Hitting the Wall: Implications of the Obvious", ACM SIGARCH Computer Architecture News, 23(1), pp. 20-24, March 1995.
W. Wulf and S. McKee, "Hitting the Wall: Implications of the Obvious", University of Virginia Technical Report CS-94-38, December 1994.