Toward a progress indicator for program compilation

@article{Luo2007TowardAP,
  title={Toward a progress indicator for program compilation},
  author={Gang Luo and Tong Chen and Hao Yu},
  journal={Software: Practice and Experience},
  year={2007},
  volume={37}
}
For user‐friendliness purposes, many modern software systems provide progress indicators for long‐running tasks. These progress indicators continuously estimate the percentage of the task that has been completed and when the task will finish. However, none of the existing program compilation tools provide a non‐trivial progress indicator, although it often takes minutes or hours to build a large program. In this paper, we investigate the problem of supporting such progress indicators. We first… Expand
The design of a query monitoring system
TLDR
A query monitoring system from the ground up is presented, describing various new techniques for query monitoring, their implementation inside a real database system, and a novel interface that presents the observed and predicted information in an accessible manner. Expand
Progress Indication for Machine Learning Model Building: A Feasibility Demonstration
  • Gang Luo
  • Computer Science, Medicine
  • SKDD
  • 2018
TLDR
This paper describes detailed progress indicator implementation techniques for three major, supervised machine learning algorithms and reports an implementation of these techniques in Weka. Expand
Pricing Python parallelism: a dynamic language cost model for heterogeneous platforms
TLDR
It is shown that a comparatively simple, staged analytical model can accurately determine during execution when it is profitable to offload a loop nest, and the results show small misprediction intervals and a mean slowdown of just 13.6%, relative to the optimal offload strategy. Expand
Progress Indication for Deep Learning Model Training: A Feasibility Demonstration
TLDR
This paper presents the first set of techniques to support non-trivial progress indicators for deep learning model training when early stopping is allowed, and reports an implementation of these techniques in TensorFlow and the evaluation results for both convolutional and recurrent neural networks. Expand
PredicT-ML: a tool for automating machine learning model building with big clinical data
  • Gang Luo
  • Computer Science, Medicine
  • Health Inf. Sci. Syst.
  • 2016
TLDR
PredicT-ML will open the use of big clinical data to thousands of healthcare administrators and researchers and increase the ability to advance clinical research and improve healthcare. Expand

References

SHOWING 1-10 OF 27 REFERENCES
Toward a progress indicator for program compilation
TLDR
This paper presents a set of techniques that are sufficient for implementing a simple yet useful progress indicator for program compilation, and reports on an initial implementation of these techniques in GNU Make. Expand
Toward a progress indicator for database queries
TLDR
This paper presents a set of techniques sufficient for implementing a simple yet useful progress indicator for a large subset of RDBMS queries and reports an initial implementation of these techniques in PostgreSQL. Expand
Monitoring an Algorithm's Execution
TLDR
This paper introduces a paradigm which is called dynamic bound evaluation for monitoring the progress of a wide class of recursive algorithms that need not be linear that has been implemented in the SetPlayer system for symbolic set manipulation. Expand
Make — a program for maintaining computer programs
TLDR
A program that can keep track of the relationships between parts of a program, and issue the commands needed to make the parts consistent after changes are made is described. Expand
Multi-query SQL Progress Indicators
TLDR
A multi-query progress indicator is explored, which explicitly considers concurrently running queries and even queries predicted to arrive in the future when producing its estimates, and it is demonstrated that multi-Query progress indicators can provide more accurate estimates than single- query progress indicators. Expand
Automating program analysis
TLDR
The first part of the paper shows that previous theoretical work on the semantics of probabilistic programs and on the correctness of performance annotated programs can be used to automate the average-case analysis of simple programs containing assignments, conditionals, and loops and presents an original method that generalizes the previous approach and is applicable to functional programs that make use of recursion and complex data structures. Expand
A Software Science Model of Compile Time
TLDR
The research suggests that the discrimination rate of a compiler is a valuable performance index and is preferred to average compile-time statistics. Expand
Estimating compilation time of a query optimizer
TLDR
A compilation time estimator that provides a quantified estimate of the optimizer compilation time for a given query, useful for automatically choosing the right level of optimization in commercial database systems and for judicious design and tuning of an optimizer. Expand
Mechanical program analysis
TLDR
The reasons for mechanizing program analysis are presented, a system, Metric, which is able to analyze simple Lisp programs and produce closed-form expressions for their running time expressed in terms of size of input is described. Expand
The importance of percent-done progress indicators for computer-human interfaces
TLDR
Practical experience and formal experiments show that prograss indicators are an important and useful user-interface tool, and that they enhance the attractiveness and effectiveness of programs that incorporate them. Expand
...
1
2
3
...