Interprocedural Constant Propagation
|
|
- Randolph Montgomery
- 7 years ago
- Views:
Transcription
1 RETROSPECTIVE: Interprocedural Constant Propagation David Callahan Keith D. Cooper Ken Kennedy Linda Torczon Cray Research, Inc. Department of Computer Department of Computer Department of Computer 411 First Avenue South Science Science Science Suite 600 Rice University Rice University Rice University Seattle, WA Houston, TX Houston, TX Houston, TX INTRODUCTION The notion that the compiler could discover constant-valued variables and use that knowledge to improve programs goes back to the earliest days of compilation. Early work focused on propagating constant values in expressions [14] and, later, in single procedures [17, 25, 20, 26]. Constant propagation was well studied in the literature on data-flow analysis because it is fundamentally harder than most of the classic single-procedure data-flow problems [16]. This paper presents the first standalone algorithm for approximate solution of the interprocedural constant propagation problem. It abstracts the solver into an interprocedural propagation framework and a set of functions that model the intraprocedural propagation of values. We called these latter models jump functions, after an idea that John Cocke had proposed in a different context. As part of her thesis work, Linda Torczon developed the algorithms for interprocedural constant propagation that appear in this paper [24]. David Callahan did the first implementation of these ideas in the PFC (Parallel Fortran Converter) project at Rice. This paper presents one of the first practical solutions for approximating the answers to a flow-sensitive interprocedural problem. 2. BACKGROUND This work has its origins in the R n Programming Environment project at Rice. One of its goals was to attack the problems associated with performing interprocedural analysis and optimization in a compiler. The environment supported Fortran 77. At that time, few compilers employed interprocedural techniques because of the conflict between the programmer s need for separate compilation and the compiler s need for information about the internals of every procedure in the program. Collecting this information required, at least, a linear pass over the entire program a much higher price than one would incur with separate compilation. One of the central ideas in R n was that the environment could perform per-procedure analysis when the programmer saved code from the environment s editor. This avoids the cost of re-analyzing the code on each compilation. It also creates a situation where recompilation analysis can limit the amount of compilation required in response to an editing change [12, 8]. Two major factors influenced our decision to tackle interprocedural constant propagation. First, several recent papers had focused on improvements due to procedure integration. Scheifler studied procedure integration in CLU [23]. Ball showed a simple method for predicting the improvement possible with inline substitution, 20 Years of the ACM/SIGPLAN Conference on Programming Language Design and Implementation ( ): A Selection, Copyright 2003 ACM $5.00. based on knowledge of the constant-valued parameters at a call site [4]. Allen, et al. showed the potential for interprocedural improvement in their influential Experimental Compiling System [2]. Second, a growing body of evidence suggested that many call sites pass constant values as actual parameters, particularly to library routines [2, 13]. Interprocedural constant propagation was an obvious next step after computing flow-insensitive summary sets [11]. The formulation in the paper uses an optimistic, worklist-driven, iterative data-flow algorithm to compute sets of constants that hold on entry to each procedure. Our goal was an algorithm that captured the style and insights of the single-procedure algorithm operating on def-use chains, without paying the full cost of abstract interpretation each time it examined a procedure. The final algorithm uses an iterative solver to model the flow of values between procedures. It uses abstract jump function to model the flow of values through a procedure. These jump functions play the role of complex instructions that summarize the behavior of an entire procedure, capturing the flow of values into and out of the procedure. The precision of the jump functions can vary with the amount of effort spent computing them. We proposed several ways to implement jump functions; in the R n framework, the editor would produce them. The iterative interprocedural solver would call on jump functions as needed to propagate values drawn from the usual constant propagation lattice. The set of constants that the algorithm discovered depended on the precision of the computed jump functions. 3. INFLUENCE The first papers to explicitly discuss interprocedural constant propagation were our paper and the companion paper in the same session by Burke and Cytron [7]. Earlier systems had addressed the issue through a combination of inline substitution and global constant propagation [2, 26]. Interprocedural constant propagation has become an important analysis tool in aggressive optimizing compilers, particularly systems that try to automatically discover parallelism [6]. The algorithms described in this paper were implemented in the PFC system [3] and the Convex Applications Compiler [18]. The PTRAN system used an algorithm that propagated literal constant arguments along parameter binding chains in the program [1]. The ParaScope system used an early version of the FIAT analyzer to perform interprocedural constant propagation [10]. A later version of FIAT was used in the SUIF system; today, SUIF performs constant propagation as part of a general interprocedural symbolic analysis [19]. Since this paper appeared, many papers on interprocedural constant propagation have appeared. Allen, et al. described the flowinsensitive algorithm used in PTRAN [1]. Wegman and Zadeck ACM SIGPLAN 155 Best of PLDI
2 showed how to combine their intraprocedural algorithm with inline substitution to capture interprocedural constants [27]. Grove and Torczon published a study of the effectiveness of different jumpfunction implementations [15]. Binkley proposed an algorithm that performs interprocedural analysis over a variant on the programdependence graph [5]. Carini and Hind developed an algorithm that performs flow-sensitive constant propagation, with support for general recursion, while using only one flow-sensitive analysis of each procedure [9]. Sagiv, Reps, and Horwitz describe contextsensitive algorithms for two important subsets of interprocedural constant propagation [22, 21]. 4. ACKNOWLEDGMENTS The research described in the paper was supported by both the National Science Foundation and by IBM Corporation. Our many colleagues who worked on the R n environment created a software system and a climate in which we could tackle problems like this one. To all these people, we owe a debt of thanks. REFERENCES [1] F. Allen, M. Burke, P. Charles, R. Cytron, and J. Ferrante. An overview of the PTRAN analysis systems for multiprocessing. Journal of Parallel and Distributed Computation, 5(5): , [2] F. Allen, J. Carter, J. Fabri, J. Ferrante, W. Harrison, P. Loewner, and L. Trevillyan. The experimental compiling system. IBM Journal of Research and Development, 24(6): , Nov [3] J. Allen and K. Kennedy. PFC: a program to convert FORTRAN to parallel form. In K. Hwang, editor, Supercomputers: Design and Applications. IEEE Computer Society Press, [4] J. E. Ball. Predicting the effects of optimization on a procedure body. SIGPLAN Notices, 14(8): , Aug Proceedings of the ACM SIGPLAN 79 Symposium on Compiler Construction. [5] D. Binkley. Interprocedural constant propagation using dependence graphs and a data-flow model. In Proceedings of the 5 th International Conference on Compiler Construction, pages , Springer Verlag LNCS 786. [6] W. Blume and R. Eigenmann. An overview of symbolic analysis techniques needed for the effective parallelization of the Perfect benchmarks. In Proceedings of the 23 rd International Conference on Parallel Processing, Volume 2: Software, pages CRC Press, Aug [7] M. Burke and R. Cytron. Interprocedural dependence analysis and parallelization. SIGPLAN Notices, 21(7): , July Proceedings of the ACM SIGPLAN 86 Symposium on Compiler Construction. [8] M. Burke and L. Torczon. Interprocedural optimization: Eliminating unnecessary recompilation. ACMTransactions on Programming Languages and Systems, 15(3): , July [9] P. R. Carini and M. Hind. Flow-sensitive interprocedural constant propagation. SIGPLAN Notices, 30(6):23 31, June Proceedings of the ACM SIGPLAN 95 Conference on Programming Language Design and Implementation. [10] A. Carle, M. Hall, J. Mellor-Crummey, and R. Rodriguez. FIAT: A framework for interprocedural analysis and transformation. In Proceedings of the Sixth Workshop on Langauges and Compilers for Parallel Computing, pages , Aug [11] K. D. Cooper and K. Kennedy. Interprocedural side-effect analysis in linear time. SIGPLAN Notices, 23(7):57 66, July Proceedings of the ACM SIGPLAN 88 Conference on Programming Language Design and Implementation. [12] K. D. Cooper, K. Kennedy, and L. Torczon. Interprocedural optimization: Eliminating unnecessary recompilation. SIGPLAN Notices, 21(7):58 67, July Proceedings of the ACM SIGPLAN 86 Symposium on Compiler Construction. [13] J. Dongarra. LINPACK working note #3: FORTRAN BLAS timing. Technical Report ANL-80-24, Argonne National Laboratory, Feb [14] R. Floyd. An algorithm for coding efficient arithmetic expressions. Communications of the ACM, 22(5):42 51, Jan [15] D. Grove and L. Torczon. Interprocedural constant propagation: A study of jump function implementations. SIGPLAN Notices, 28(6):90 99, June Proceedings of the ACM SIGPLAN 93 Conference on Programming Language Design and Implementation. [16] J. B. Kam and J. D. Ullman. Monotone data flow analysis frameworks. Acta Inf., 7: , [17] G. A. Kildall. A unified approach to global program optimization. In Conference Record of the ACM Symposium on Principles of Programming Languages, pages , Boston, MA, USA, Oct [18] R. Metzger and P. Smith. The CONVEX application compiler. Fortran Journal, 3(1):8 10, [19] B. R. Murphy. Frameworks for Precise Program Analysis. PhD thesis, Department of Computer Science, Stanford University, Dec [20] J. H. Reif and H. R. Lewis. Symbolic evaluation and the global value graph. In Conference Record of the Fourth ACM Symposium on Principles of Programming Languages, pages , Los Angeles, CA, USA, Jan [21] T. Reps, S. Horwitz, and M. Sagiv. Precise interprocedural dataflow analysis via graph reachability. In Conference Record of POPL 95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 49 61, San Francisco, CA, USA, Jan [22] M. Sagiv, T. Reps, and S. Horwitz. Precise interprocedural dataflow analysis with application to constant propagation. In Proceedings of the 6 th International Conference on Theory and Practice of Software Development (TAPSOFT), pages , [23] R. W. Scheifler. An analysis of inline substitution for a structured programming language. Communications of the ACM, 20(9): , [24] L. Torczon. Compilation Dependences in an Ambitious Optimizing Compiler. PhD thesis, Department of Computer Science, Rice University, May [25] B. Wegbreit. Property extraction in well-founded sets. IEEE Transactions on Software Engineering, 1(3), Sept [26] M. N. Wegman and F. K. Zadeck. Constant propagation with conditional branches. In Conference Record of the Twelfth Annual ACM Symposium on Principles of Programming Languages, pages , New Orleans, LA, USA, Jan [27] M. N. Wegman and F. K. Zadeck. Constant propagation with conditional branches. ACM Transactions on Programming Languages and Systems, 13(2): , Apr ACM SIGPLAN 156 Best of PLDI
3 ACM SIGPLAN 157 Best of PLDI
4 ACM SIGPLAN 158 Best of PLDI
5 ACM SIGPLAN 159 Best of PLDI
6 ACM SIGPLAN 160 Best of PLDI
7 ACM SIGPLAN 161 Best of PLDI
8 ACM SIGPLAN 162 Best of PLDI
9 ACM SIGPLAN 163 Best of PLDI
10 ACM SIGPLAN 164 Best of PLDI
11 ACM SIGPLAN 165 Best of PLDI
12 ACM SIGPLAN 166 Best of PLDI
General Flow-Sensitive Pointer Analysis and Call Graph Construction
General Flow-Sensitive Pointer Analysis and Call Graph Construction Endre Horváth, István Forgács, Ákos Kiss, Judit Jász and Tibor Gyimóthy University of Szeged 4D Soft Ltd. Aradi Vértanúk tere 1. Soroksári
More informationKEEP THIS COPY FOR REPRODUCTION PURPOSES. I ~~~~~Final Report
MASTER COPY KEEP THIS COPY FOR REPRODUCTION PURPOSES 1 Form Approved REPORT DOCUMENTATION PAGE I OMS No. 0704-0188 Public reoorting burden for this collection of information is estimated to average I hour
More informationAn Exception Monitoring System for Java
An Exception Monitoring System for Java Heejung Ohe and Byeong-Mo Chang Department of Computer Science, Sookmyung Women s University, Seoul 140-742, Korea {lutino, chang@sookmyung.ac.kr Abstract. Exception
More informationThe Performance of Scalar Replacement on the HP 715/50
The Performance of Scalar Replacement on the HP 715/5 1 Introduction Steve Carr Qunyan Wu Department of Computer Science Michigan Technological University Houghton MI 49931-1295 It has been shown that
More informationµz An Efficient Engine for Fixed points with Constraints
µz An Efficient Engine for Fixed points with Constraints Kryštof Hoder, Nikolaj Bjørner, and Leonardo de Moura Manchester University and Microsoft Research Abstract. The µz tool is a scalable, efficient
More informationWrite Barrier Removal by Static Analysis
Write Barrier Removal by Static Analysis Karen Zee and Martin Rinard Laboratory for Computer Science Massachusetts Institute of Technology Cambridge, MA 02139 {kkz, rinard@lcs.mit.edu ABSTRACT We present
More informationCurriculum Vitae Michael M. Zavlanos
Curriculum Vitae Michael M. Zavlanos Home Address Work Address 2114 Pine Street 3330 Walnut Street Apartment 1 Front GRASP Laboratory, Levine Hall 465 Philadelphia, PA 19103 Dept. of Electrical and Systems
More informationAnalysis One Code Desc. Transaction Amount. Fiscal Period
Analysis One Code Desc Transaction Amount Fiscal Period 57.63 Oct-12 12.13 Oct-12-38.90 Oct-12-773.00 Oct-12-800.00 Oct-12-187.00 Oct-12-82.00 Oct-12-82.00 Oct-12-110.00 Oct-12-1115.25 Oct-12-71.00 Oct-12-41.00
More informationAT&T Global Network Client for Windows Product Support Matrix January 29, 2015
AT&T Global Network Client for Windows Product Support Matrix January 29, 2015 Product Support Matrix Following is the Product Support Matrix for the AT&T Global Network Client. See the AT&T Global Network
More informationContinuous Code-Quality Assurance with SAFE
Continuous Code-Quality Assurance with SAFE Emmanuel Geay Eran Yahav Stephen Fink IBM T.J. Watson Research Center {egeay,eyahav,sjfink}@us.ibm.com http://www.research.ibm.com/safe ABSTRACT This paper presents
More informationROBERT SALCIDO CONFERENCE PRESENTATIONS
ROBERT SALCIDO CONFERENCE PRESENTATIONS Maryland, Topic: The Compliance Conundrum: What to Do When a Potential Whistleblower Appears in Your Office? (Sept. 30-Oct. 2, 2012). American Bar Association s
More informationSharareh Noorbaloochi Department of Psychology New York University 6 Washington Place, 559, New York, NY 10003 noorbaloochi@nyu.
Sharareh Noorbaloochi Department of Psychology New York University 6 Washington Place, 559, New York, NY 10003 noorbaloochi@nyu.edu (650) 919-3485 EDUCATION AND EMPLOYMENT Postdoctoral Associate, Department
More informationCOMPARISON OF FIXED & VARIABLE RATES (25 YEARS) CHARTERED BANK ADMINISTERED INTEREST RATES - PRIME BUSINESS*
COMPARISON OF FIXED & VARIABLE RATES (25 YEARS) 2 Fixed Rates Variable Rates FIXED RATES OF THE PAST 25 YEARS AVERAGE RESIDENTIAL MORTGAGE LENDING RATE - 5 YEAR* (Per cent) Year Jan Feb Mar Apr May Jun
More informationCOMPARISON OF FIXED & VARIABLE RATES (25 YEARS) CHARTERED BANK ADMINISTERED INTEREST RATES - PRIME BUSINESS*
COMPARISON OF FIXED & VARIABLE RATES (25 YEARS) 2 Fixed Rates Variable Rates FIXED RATES OF THE PAST 25 YEARS AVERAGE RESIDENTIAL MORTGAGE LENDING RATE - 5 YEAR* (Per cent) Year Jan Feb Mar Apr May Jun
More informationAddress Taken FIAlias, which is equivalent to Steensgaard. CS553 Lecture Alias Analysis II 2
Alias Analysis Last time Alias analysis I (pointer analysis) Address Taken FIAlias, which is equivalent to Steensgaard Today Alias analysis II (pointer analysis) Anderson Emami Next time Midterm review
More information9700 South Cass Avenue, Lemont, IL 60439 URL: www.mcs.anl.gov/ fulin
Fu Lin Contact information Education Work experience Research interests Mathematics and Computer Science Division Phone: (630) 252-0973 Argonne National Laboratory E-mail: fulin@mcs.anl.gov 9700 South
More informationLecture 10 Partial Redundancy Elimination
References Lecture 10 Partial Redundancy Elimination Global code motion optimization Remove partially redundant expressions Loop invariant code motion Can be extended to do Strength Reduction No loop analysis
More informationF CUS your recruitment dollars on top scientists and engineers.
F CUS your recruitment dollars on top scientists and engineers. PHYSICS TODAY Recruitment Products and Rates 2016 WHY PHYSICISTS? Physicists, as well as scientists and engineers with training in first
More informationStatic Single Assignment Form. Masataka Sassa (Tokyo Institute of Technology)
Static Single Assignment Form Masataka Sassa (Tokyo Institute of Technology) Background Static single assignment (SSA) form facilitates compiler optimizations. Outline 1. SSA form 2. Translation into SSA
More informationSubject to Change 1 As of 8/13/14
Atlanta Hawks Wed. 29-Oct-14 @ Toronto 7:30 PM Mon. 19-Jan-15 Detroit 2:30 PM Sat. 1-Nov-14 Indiana 7:30 PM Wed. 21-Jan-15 Indiana 7:30 PM Wed. 5-Nov-14 @ San Antonio 8:30 PM Fri. 23-Jan-15 Oklahoma City
More informationReview; questions Discussion of Semester Project Arbitrary interprocedural control flow Assign (see Schedule for links)
Class 9 Review; questions Discussion of Semester Project Arbitrary interprocedural control flow Assign (see Schedule for links) Readings on pointer analysis Problem Set 5: due 9/22/09 Project proposal
More informationCHILDREN AND YOUNG PEOPLE'S PLAN: PLANNING AND PERFORMANCE MANAGEMENT STRATEGY
CHILDREN AND YOUNG PEOPLE'S PARTNERSHIP BOARD CHILDREN AND YOUNG PEOPLE'S PLAN: PLANNING AND PERFORMANCE MANAGEMENT STRATEGY 1 Introduction 1.1 The purposes of this strategy are to set out: i) the arrangements
More informationA Thread Monitoring System for Multithreaded Java Programs
A Thread Monitoring System for Multithreaded Java Programs Sewon Moon and Byeong-Mo Chang Department of Computer Science Sookmyung Women s University, Seoul 140-742, Korea wonsein@nate.com, chang@sookmyung.ac.kr
More informationCurriculum Vitae. Shan Shan Huang
Curriculum Vitae Shan Shan Huang College of Computing Georgia Institute of Technology 266 Ferst Drive Atlanta, GA 30332-0765 Phone: (404)275-3312 Email: ssh@cc.gatech.edu http://www.freeflygeek.com Research
More informationGerald Roth. Department of Electrical Engineering and Computer Science School of Engineering Vanderbilt University Nashville, TN j.roth@vanderbilt.
Gerald Roth Department of Electrical Engineering and Computer Science School of Engineering Vanderbilt University Nashville, TN j.roth@vanderbilt.edu Education Ph.D., Computer Science, Rice University,
More informationAmerican Payroll Association PAYROLL TRAINING PROGRAM
American Payroll Association PayTrain 2016 PAYROLL TRAINING PROGRAM In-depth, web-based elearning payroll training ideal for all levels of payroll staff. With APA s PayTrain 2016, you can: Decide when
More informationBreen Elementary School
Breen Elementary School Day: Monday Time: 1:40 pm to 3:10 pm (90 minutes) Session A Sept 21, Sept28, Oct 5, Oct 19, Oct 26, Nov 2 No class on Oct 12 Session B Nov 30, Dec 7, Dec 14, Jan 4, Jan 11, Jan
More informationComprehensive Course Schedule
Comprehensive Course Schedule The following designation and certificate courses are sponsored by BOMI International and BOMA Local Associations. Note that all BOMI International courses are also available
More informationVariable Neighbourhood Search for the Global Optimization of Constrained NLPs
ProceedingsofGO2005,pp.1 5. Variable Neighbourhood Search for the Global Optimization of Constrained NLPs LeoLiberti, 1 andmilandražić 2 1 DEI,PolitecnicodiMilano,P.zzaL.daVinci32,20133Milano,Italy, liberti@elet.polimi.it
More informationCase 2:08-cv-02463-ABC-E Document 1-4 Filed 04/15/2008 Page 1 of 138. Exhibit 8
Case 2:08-cv-02463-ABC-E Document 1-4 Filed 04/15/2008 Page 1 of 138 Exhibit 8 Case 2:08-cv-02463-ABC-E Document 1-4 Filed 04/15/2008 Page 2 of 138 Domain Name: CELLULARVERISON.COM Updated Date: 12-dec-2007
More informationCENTERPOINT ENERGY TEXARKANA SERVICE AREA GAS SUPPLY RATE (GSR) JULY 2015. Small Commercial Service (SCS-1) GSR
JULY 2015 Area (RS-1) GSR GSR (LCS-1) Texarkana Incorporated July-15 $0.50690/Ccf $0.45450/Ccf $0.00000/Ccf $2.85090/MMBtu $17.52070/MMBtu Texarkana Unincorporated July-15 $0.56370/Ccf $0.26110/Ccf $1.66900/Ccf
More informationStudents summarize a data set using box plots, the median, and the interquartile range. Students use box plots to compare two data distributions.
Student Outcomes Students summarize a data set using box plots, the median, and the interquartile range. Students use box plots to compare two data distributions. Lesson Notes The activities in this lesson
More informationBoolean Expressions, Conditions, Loops, and Enumerations. Precedence Rules (from highest to lowest priority)
Boolean Expressions, Conditions, Loops, and Enumerations Relational Operators == // true if two values are equivalent!= // true if two values are not equivalent < // true if left value is less than the
More informationComprehensive Course Schedule
Comprehensive Course Schedule The following designation and certificate courses are sponsored by BOMI International and BOMA Local Associations. Note that all BOMI International courses are also available
More informationNational Special Security Events
Order Code RS22754 November 6, 2007 Summary National Special Security Events Shawn Reese Analyst in Emergency Management and Homeland Security Government and Finance Division Major events that are considered
More informationComponents for Operating System Design
Components for Operating System Design Alan Messer and Tim Wilkinson SARC, City University, London, UK. Abstract Components are becoming used increasingly in the construction of complex application software.
More informationBob Boothe. Education. Research Interests. Teaching Experience
Bob Boothe Computer Science Dept. University of Southern Maine 96 Falmouth St. P.O. Box 9300 Portland, ME 04103--9300 (207) 780-4789 email: boothe@usm.maine.edu 54 Cottage Park Rd. Portland, ME 04103 (207)
More informationIEEE Citation style guide
IEEE Citation style guide What This Guide Does This style guide covers commonly-used cases for citations using the IEEE citation system. Certain IEEE sections have slightly different citation styles: please
More informationProtocol for the Systematic Literature Review on Web Development Resource Estimation
Protocol for the Systematic Literature Review on Web Development Resource Estimation Author: Damir Azhar Supervisor: Associate Professor Emilia Mendes Table of Contents 1. Background... 4 2. Research Questions...
More informationAspect Refactoring Verifier
Aspect Refactoring Verifier Charles Zhang and Julie Waterhouse Hans-Arno Jacobsen Centers for Advanced Studies Department of Electrical and IBM Toronto Lab Computer Engineering juliew@ca.ibm.com and Department
More informationKeywords- Program Slicing, PDG, Data dependence, Control dependence, Static Slice, Dynamic Slice.
Volume 3, Issue 11, November 2013 ISSN: 2277 128X International Journal of Advanced Research in Computer Science and Software Engineering Research Paper Available online at: www.ijarcsse.com An Overview
More informationChia-Yen Lee ( 李 家 岩 )
Chia-Yen Lee ( 李 家 岩 ) Assistant Professor Institute of Manufacturing Information and Systems National Cheng Kung University, Taiwan No.1, University Road, Email: cylee@mail.ncku.edu.tw Tainan City 701,
More informationIEEE Style Guidelines & Examples NAIT Library. Table of Contents
IEEE Style Guidelines & Examples NAIT Library Table of Contents IN-TEXT CITATIONS... 2 PRINT SOURCES... 3 Book... 3 Article or Book Chapter in Edited Book or Anthology... 4 Journal Article... 5 Handbooks
More informationCurriculum Vitae. Vladimír Guzma. Flat 16, Moore Court, 2 Dodd Road, WD24 5DA, Watford, United Kingdom Telephone(s) +44 (0)7581 342 766
Curriculum Vitae Personal information Surname(s) / First name(s) Address(es) Flat 16, Moore Court, 2 Dodd Road, WD24 5DA, Watford, United Kingdom Telephone(s) +44 (0)7581 342 766 Email(s) Nationality(-ies)
More informationPreschool Science Curriculum Map
Month & Ideas AUG. Help each child explore the room Unit Family KY EC Standards & Benchmarks Science Standard 1: Demonstrates scientific ways of thinking and working (with wonder and curiosity) Benchmark
More informationThe Use of Traces for Inlining in Java Programs
The Use of Traces for Inlining in Java Programs Borys J. Bradel and Tarek S. Abdelrahman Edward S. Rogers Sr. Department of Electrical and Computer Engineering University of Toronto, Toronto, Ontario,
More informationInteger Operations. Overview. Grade 7 Mathematics, Quarter 1, Unit 1.1. Number of Instructional Days: 15 (1 day = 45 minutes) Essential Questions
Grade 7 Mathematics, Quarter 1, Unit 1.1 Integer Operations Overview Number of Instructional Days: 15 (1 day = 45 minutes) Content to Be Learned Describe situations in which opposites combine to make zero.
More informationWays We Use Integers. Negative Numbers in Bar Graphs
Ways We Use Integers Problem Solving: Negative Numbers in Bar Graphs Ways We Use Integers When do we use negative integers? We use negative integers in several different ways. Most of the time, they are
More informationIncremental Slicing Based on Data-Dependences Types
Proceedings of the International Conference on Software Maintenance (ICSM 01), IEEE Copyright Incremental Slicing Based on Data-Dependences Types Alessandro Orso, Saurabh Sinha, and Mary Jean Harrold College
More informationEnhanced Vessel Traffic Management System Booking Slots Available and Vessels Booked per Day From 12-JAN-2016 To 30-JUN-2017
From -JAN- To -JUN- -JAN- VIRP Page Period Period Period -JAN- 8 -JAN- 8 9 -JAN- 8 8 -JAN- -JAN- -JAN- 8-JAN- 9-JAN- -JAN- -JAN- -JAN- -JAN- -JAN- -JAN- -JAN- -JAN- 8-JAN- 9-JAN- -JAN- -JAN- -FEB- : days
More informationCaring by Nature. Distinguished by Experience. Qualified by Degree. Bellevue University RN to BSN Guide
Caring by Nature. Distinguished by Experience. Qualified by Degree. Bellevue University RN to BSN Guide Complete Your Credentials With a Professional Degree Your attention to detail is precise. Your actions
More informationAn On-Line Algorithm for Checkpoint Placement
An On-Line Algorithm for Checkpoint Placement Avi Ziv IBM Israel, Science and Technology Center MATAM - Advanced Technology Center Haifa 3905, Israel avi@haifa.vnat.ibm.com Jehoshua Bruck California Institute
More informationFast Sequential Summation Algorithms Using Augmented Data Structures
Fast Sequential Summation Algorithms Using Augmented Data Structures Vadim Stadnik vadim.stadnik@gmail.com Abstract This paper provides an introduction to the design of augmented data structures that offer
More informationEditorial to the special issue of Computers & Operations Research on Search-Based Software Engineering
Editorial to the special issue of Computers & Operations Research on Search-Based Software Engineering This focused issue of Computers and Operations Research contains seven excellent papers on the application
More informationROYAL REHAB COLLEGE AND THE ENTOURAGE EDUCATION GROUP. UPDATED SCHEDULE OF VET UNITS OF STUDY AND VET TUITION FEES Course Aug 1/2015
UPDATED SCHEDULE OF UNITS OF STUDY AND TUITION FEES Course Aug 1/2015 Course Name: Delivery Mode: BSB50215 Diploma of Business Online DBTEU01 01/08/2015 19/08/2015 31/10/2015 0.25 $4245 $3265 DBTEU02 01/11/2015
More informationWorking Capital and the Financing Decision C H A P T E R S I X
Working Capital and the Financing Decision C H A P T E R S I X Limited 2000 Figure 6-1a The nature of asset growth A. Stage I: Limited or no Growth PPT 6-1 Dollars Temporary current assets Capital assets
More informationVITA Charles David SKIPTON. 10810 Kempton Court Dept of Economics / Sykes COB
VITA Charles David SKIPTON Personal Information Home Address Office Address 10810 Kempton Court Dept of Economics / Sykes COB Tampa, FL 33626 University of Tampa TEL: (813) 541-5637 401 W. Kennedy Blvd.
More informationGraphing and Interpreting CBM Scores
28 Student Progress Monitoring & Data-Based Instruction in Special Education Graphing and Interpreting CBM Scores An overview (Sample presentation to present to students) How to Graph Scores Graphing student
More informationFood Bank Inventory Tracking. Rachel Barnecut Lucia Huntting Jeremy Lenz Ashley Riel Kelly Schalow Christiana Wu
Food Bank Inventory Tracking Rachel Barnecut Lucia Huntting Jeremy Lenz Ashley Riel Kelly Schalow Christiana Wu Beth Kolko Gaetano Borriello HCDE 419/CSE 490 Winter 2011 Introduction During hard economic
More informationThe Role of Controlled Experiments in Software Engineering Research
The Role of Controlled Experiments in Software Engineering Research Victor R. Basili 1 The Experimental Discipline in Software Engineering Empirical studies play an important role in the evolution of the
More informationHillgrove High School 2016-2017 Fall Parking Schedule and Application
Hillgrove High School 2016-2017 Fall Parking Schedule and Application PARKING APPLICATION STEPS 1. Download and complete the 4 page application from the Hillgrove home web page. (or pick one up in the
More informationSoftware Tamper Resistance: Obstructing Static Analysis of Programs
Software Tamper Resistance: Obstructing Static Analysis of Programs Abstract Chenxi Wang, Jonathan Hill, John Knight, Jack Davidson Department of Computer Science University of Virginia{cw2e jch8f knight
More informationHow To Write A Program Design Article
Software Engineering PhD Qualifying Examination October 28, 2010 Rules: Answer six of the following nine questions including questions 1 and 2. Include citations for relevant literature where appropriate,
More informationCraig A. Damon. Education. Academic Positions. Teaching Experience. Ph.D., Carnegie Mellon University, Pittsburgh, PA
Craig A. Damon http://web.vtc.edu/users/cad03090 Education Ph.D., Carnegie Mellon University, Pittsburgh, PA August 1994 - August, 2000, School of Computer Science Advisors: Daniel Jackson and Jeannette
More informationAshley Institute of Training Schedule of VET Tuition Fees 2015
Ashley Institute of Training Schedule of VET Fees Year of Study Group ID:DECE15G1 Total Course Fees $ 12,000 29-Aug- 17-Oct- 50 14-Sep- 0.167 blended various $2,000 CHC02 Best practice 24-Oct- 12-Dec-
More informationState Annual Report Due Dates for Business Entities page 1 of 10
State Annual Report Due Dates for Business Entities page 1 of 10 If you form a formal business entity with the state, you may be required to file periodic reports on the status of your entity to preserve
More informationA!Team!Cymru!EIS!Report:!Growing!Exploitation!of!Small! OfCice!Routers!Creating!Serious!Risks!
ATeamCymruEISReport:GrowingExploitationofSmall OfCiceRoutersCreatingSeriousRisks PoweredbyTeamCymru sthreatintelligencegroup Page 1of 14www.team-cymru.com www.team-cymru.com Threat'Intelligence'Group EXECUTIVE
More informationINTERNET-BASED COLLABORATIVE PROGRAMMING TECHNIQUES AND ENVIRONMENTS
INTERNET-BASED COLLABORATIVE PROGRAMMING TECHNIQUES AND ENVIRONMENTS By Haifeng Shen A DISSERTATION SUBMITTED IN FULFILLMENT OF THE REQUIREMENTS OF THE DEGREE OF DOCTOR OF PHILOSOPHY AT THE SCHOOL OF COMPUTING
More informationPOLICY FOR COLLABORATIVE RESEARCH DEGREES. Policy for Split-Site PhD Arrangements. October 2005. August 2013. Research Office Graduate Education Team
POLICY FOR COLLABORATIVE RESEARCH DEGREES October 2005 Policy for Split-Site PhD Arrangements Research Office Graduate Education Team CONTENTS 1 INTRODUCTION AND DEFINITION OF A SPLIT-SITE PHD... 3 2 RATIONALE
More informationCURRICULUM VITAE Herbert L. Dershem
CURRICULUM VITAE Visiting Professor of Computer Science United States Air Force Academy USAF Academy, CO 80840 Phone: (719) 472-3590 Education: B.S. University of Dayton, 1965 M.S. (Computer Science) Purdue
More informationResource Allocation Schemes for Gang Scheduling
Resource Allocation Schemes for Gang Scheduling B. B. Zhou School of Computing and Mathematics Deakin University Geelong, VIC 327, Australia D. Walsh R. P. Brent Department of Computer Science Australian
More informationWriting the basic meeting-announcement news release
Writing the basic meeting-announcement news release Guidelines on formatting news releases When it comes to creating paragraphs in your news releases, forget what you learned in high school English. Long
More informationIndependent Accountants Report on Applying Agreed-Upon Procedures
Independent Accountants Report on Applying Agreed-Upon Procedures Board of Trustees We have performed the procedures, as discussed below, with respect to the employer contributions remitted by to the in
More informationTime to fill jobs in the US January 2015. 30day. The. tipping point
Time to fill jobs in the US January 2015 The 30day tipping point Time to fill jobs in the US Key Findings For businesses that fail to fill job openings within the first month, there is a 57% chance that
More informationLinda M. Callahan 407 N. Sixth Street 81 S. Main Street Shelton, WA, 98584 Seattle, WA, 98401 360.426.8788 877.384.2679
Linda M. Callahan 407 N. Sixth Street 81 S. Main Street Shelton, WA, 98584 Seattle, WA, 98401 360.426.8788 877.384.2679 callahan@dui defender.net Summary Highest ranking possible on avvo.com, a lawyer
More informationUniversity of Illinois at Chicago Office: SEO 521 Department of Mathematics, Statistics, (312) 413-2605 and Computer Science
Andrew Suk Contact Information Research Interests Employment University of Illinois at Chicago Office: SEO 521 Department of Mathematics, Statistics, (312) 413-2605 and Computer Science suk@math.uic.edu
More informationFY 2015 Schedule at a Glance
Coaching and Mentoring for Excellence Oct 21 23, 2014 $2,950 Residential Coaching and Mentoring for Excellence Apr 7 9, 2015 $2,400 Non-residential Coaching and Mentoring for Excellence May 27 29, 2015
More informationDimensionalizing Big Data. WA State vs. peers. Building on strengths CONTENTS. McKinsey & Company 1
CONTENTS Building on strengths 1 Printed 2/26/2015 12:55 PM Pacific Standard Time WA State vs. peers Last Modified 3/2/2015 10:17 AM Pacific Standard Time Dimensionalizing Big Data Big Data: big and getting
More informationA Robust Dynamic Load-balancing Scheme for Data Parallel Application on Message Passing Architecture
A Robust Dynamic Load-balancing Scheme for Data Parallel Application on Message Passing Architecture Yangsuk Kee Department of Computer Engineering Seoul National University Seoul, 151-742, Korea Soonhoi
More informationP/T 2B: 2 nd Half of Term (8 weeks) Start: 24-AUG-2015 End: 18-OCT-2015 Start: 19-OCT-2015 End: 13-DEC-2015
2015-2016 SPECIAL TERM ACADEMIC CALENDAR For Scranton Education Online (SEOL), Masters of Business Administration Online, Masters of Accountancy Online, Health Administration Online, Health Informatics
More informationLili Luo @ SLIS, SJSU
School of Library and Information Science One Washington Square 95192 San Jose, CA Phone: 408-9242502 Email: lili.luo@sjsu.edu Education Ph.D. 2007 School of Information and Library Science Master of Information
More informationA Fresh Look at Optimizing Array Bound Checking
A Fresh Look at Optimizing Array Bound Checking Rajiv Gupta Philips Laboratories North American Philips Corporation 345 Scarborough Road Briarcliff Manor, NY 10510 E-mail: gupta@philabs.philips.com Abstract
More informationVictoria Kostina Curriculum Vitae - September 6, 2015 Page 1 of 5. Victoria Kostina
Victoria Kostina Curriculum Vitae - September 6, 2015 Page 1 of 5 Victoria Kostina Department of Electrical Engineering www.caltech.edu/~vkostina California Institute of Technology, CA 91125 vkostina@caltech.edu
More informationTime Management II. http://lbgeeks.com/gitc/pmtime.php. June 5, 2008. Copyright 2008, Jason Paul Kazarian. All rights reserved.
Time Management II http://lbgeeks.com/gitc/pmtime.php June 5, 2008 Copyright 2008, Jason Paul Kazarian. All rights reserved. Page 1 Outline Scheduling Methods Finding the Critical Path Scheduling Documentation
More informationJune Zhang (Zhong-Ju Zhang)
(Zhong-Ju Zhang) Carnegie Mellon University Dept. Electrical and Computer Engineering, 5000 Forbes Ave. Pittsburgh, PA 15213 Phone: 678-899-2492 E-Mail: junez@andrew.cmu.edu http://users.ece.cmu.edu/~junez
More informationDepartment of Political Science Phone: (805) 893-5902 University of California, Santa Barbara Fax: (805) 893-3309
NEIL NARANG Department of Political Science Phone: (805) 893-5902 University of California, Santa Barbara Fax: (805) 893-3309 Ellison Hall, Office 3710 Email: narangn@polsci.ucsb.edu Santa Barbara, CA
More informationRegister Allocation and Optimal Spill Code Scheduling in Software Pipelined Loops Using 0-1 Integer Linear Programming Formulation
Register Allocation and Optimal Spill Code Scheduling in Software Pipelined Loops Using -1 Integer Linear Programming Formulation Santosh G. Nagarakatte 1 and R. Govindarajan 1,2 1 Department of Computer
More informationThe BBP Algorithm for Pi
The BBP Algorithm for Pi David H. Bailey September 17, 2006 1. Introduction The Bailey-Borwein-Plouffe (BBP) algorithm for π is based on the BBP formula for π, which was discovered in 1995 and published
More informationREPORTING ORGANIZATIONS
Ensuring Human Rights Implementation at the Federal, State and Local Levels in the United States Submission to the U.N. Working Group on People of African Descent REPORTING ORGANIZATIONS The Human Rights
More informationGORMAN MANUFACTURING COMPANY INC SAN FRANCISCO CA United States. (see Corporate Structure for other trading names)
1/9 Customer reference: Sample Report D&B Comprehensive Report KENTMORE CLOTHING DUNS: 75-468-3795 Subsidiary of: Trading as: GORMAN MANUFACTURING COMPANY INC SAN FRANCISCO CA United States KENTMORE GOODFIT
More informationVirtual Machine Learning: Thinking Like a Computer Architect
Virtual Machine Learning: Thinking Like a Computer Architect Michael Hind IBM T.J. Watson Research Center March 21, 2005 CGO 05 Keynote 2005 IBM Corporation What is this talk about? Virtual Machines? 2
More informationVivek Sarkar Rice University. vsarkar@rice.edu. Work done at IBM during 1991-1993
Automatic Selection of High-Order Transformations in the IBM XL Fortran Compilers Vivek Sarkar Rice University vsarkar@rice.edu Work done at IBM during 1991-1993 1 High-Order Transformations Traditional
More informationPROJECT MANAGEMENT. Seminars in. Powerful skills for today s toughest PM challenges. save. off any AMA Seminar $200. www.amanet.
www.amanet.org Seminars in PROJET MANAGEMENT Powerful skills for today s toughest PM challenges save $200 off any AMA Seminar See inside for details When the stakes get higher, your project skills need
More informationNordica A. MacCarty, Ph.D.
Nordica A. MacCarty, Ph.D. Assistant Professor of Mechanical Engineering School of Mechanical, Industrial, and Manufacturing Engineering Oregon State University 204 Rogers Hall Corvallis, OR 97331 Nordica.MacCarty@oregonstate.edu
More informationHow To Forecast Solar Power
Forecasting Solar Power with Adaptive Models A Pilot Study Dr. James W. Hall 1. Introduction Expanding the use of renewable energy sources, primarily wind and solar, has become a US national priority.
More informationTHE RETURN-ON-INVESTMENT (ROI) OF CRM SOLUTIONS
THE RETURN-ON-INVESTMENT (ROI) OF CRM SOLUTIONS Russ Lombardo PEAK Sales Consulting, LLC russ@peaksalesconsulting.com www.peaksalesconsulting.com THE RETURN-ON-INVESTMENT (ROI) OF CRM SOLUTIONS Measurements
More informationITIL Foundation. Learn about process improvements, benefits, and challenges of ITIL, and get your ITIL Foundation certification.
ITIL Foundation Learn about process improvements, benefits, and challenges of ITIL, and get your ITIL Foundation certification. In this exciting and dynamic course, you will get an introduction to the
More informationACADEMIC CALENDAR FOR 2014-2015. DIVISION OF MEDICAL SCIENCES AT HARVARD MEDICAL SCHOOL GRADUATE SCHOOL OF ARTS AND SCIENCES Ph.D.
ACADEMIC CALENDAR FOR 2014-2015 DIVISION OF MEDICAL SCIENCES AT HARVARD MEDICAL SCHOOL GRADUATE SCHOOL OF ARTS AND SCIENCES Ph.D. Programs When an official deadline falls on a holiday observed by the University,
More informationAdding Examples into Java Documents
2009 IEEE/ACM International Conference on Automated Software Engineering Adding Examples into Java Documents Jinhan Kim, Sanghoon Lee, Seung-won Hwang Pohang University of Science and Technology Pohang,
More informationNew Experimental Experience Rating (NEER) User Guide
New Experimental Experience Rating (NEER) User Guide Table of Contents Section 1 Basic Principles.... 4 How NEER Works.... 4 Actual Claims Costs.... 5 Expected Claim Costs.... 5 Section 2 NEER at Work....
More information