1 On Writing Well Kathryn McKinley The University of Texas at Austin based on Style: Toward Clarity...

44
1 On Writing Well Kathryn McKinley The University of Texas at Austin based on Style: Toward Clarity and Grace by Joseph Williams slides by William Cook & Richard Gabriel

Transcript of 1 On Writing Well Kathryn McKinley The University of Texas at Austin based on Style: Toward Clarity...

Page 1: 1 On Writing Well Kathryn McKinley The University of Texas at Austin based on Style: Toward Clarity and Grace by Joseph Williams slides by William Cook.

1

On Writing WellKathryn McKinley

The University of Texas at Austin

based on Style: Toward Clarity and Grace

by Joseph Williams slides by William Cook & Richard

Gabriel

Page 2: 1 On Writing Well Kathryn McKinley The University of Texas at Austin based on Style: Toward Clarity and Grace by Joseph Williams slides by William Cook.

2

Page 3: 1 On Writing Well Kathryn McKinley The University of Texas at Austin based on Style: Toward Clarity and Grace by Joseph Williams slides by William Cook.

3

FocusAbstract & Introduction

MechanicsSentences

Linking SentencesEmphasis

Page 4: 1 On Writing Well Kathryn McKinley The University of Texas at Austin based on Style: Toward Clarity and Grace by Joseph Williams slides by William Cook.

4

Abstract & introduction

ContributionResult

“This paper introduces a new pointer alias analysis that provides control-flow and context sensitivity. We show that it is one hundred times faster than the prior state of the art.”

Page 5: 1 On Writing Well Kathryn McKinley The University of Texas at Austin based on Style: Toward Clarity and Grace by Joseph Williams slides by William Cook.

5

Abstract & introduction

Problem statementContribution

ResultMeaning

Page 6: 1 On Writing Well Kathryn McKinley The University of Texas at Austin based on Style: Toward Clarity and Grace by Joseph Williams slides by William Cook.

6

Is this abstract better? Why?

“Precise flow and context sensitive pointer analysis is currently limited to programs with 100,000 or fewer lines of code. Pointer analysis clients, such as verification and testing, are consequently limited to small programs because they need high precision. This paper introduces a new pointer alias analysis that provides control-flow and context sensitivity. We show that it is one hundred times faster than prior algorithms and can analyze programs up to 1 million lines of code. Future work should investigate its effects on the precision and scalability of client analysis.”

Page 7: 1 On Writing Well Kathryn McKinley The University of Texas at Austin based on Style: Toward Clarity and Grace by Joseph Williams slides by William Cook.

7

Is this abstract better? Why?

“Precise flow and context sensitive pointer analysis is currently limited to programs with 100,000 or fewer lines of code. Pointer analysis clients, such as verification and testing, are consequently limited to small programs because they need high precision. This paper introduces a new pointer alias analysis that provides control-flow and context sensitivity. We show that it is one hundred times faster than prior algorithms and can analyze programs up to 1 million lines of code. Future work should investigate its effects on the precision and scalability of client analysis.”

More Precise

Page 8: 1 On Writing Well Kathryn McKinley The University of Texas at Austin based on Style: Toward Clarity and Grace by Joseph Williams slides by William Cook.

8

What could be improved?

“Precise flow and context sensitive pointer analysis is currently limited to programs with 100,000 or fewer lines of code. Pointer analysis clients, such as verification and testing, are consequently limited to small programs because they need high precision. This paper introduces a new pointer alias analysis that provides control-flow and context sensitivity. We show that it is one hundred times faster than prior algorithms and can analyze programs up to 1 million lines of code. Future work should investigate its effects on the precision and scalability of client analysis.”

Page 9: 1 On Writing Well Kathryn McKinley The University of Texas at Austin based on Style: Toward Clarity and Grace by Joseph Williams slides by William Cook.

9

FocusAbstract & Introduction

MechanicsSentences

Linking SentencesEmphasis

Page 10: 1 On Writing Well Kathryn McKinley The University of Texas at Austin based on Style: Toward Clarity and Grace by Joseph Williams slides by William Cook.

10

•Subjects of sentencesname cast of characters

•Verbs name actions involving characters

Page 11: 1 On Writing Well Kathryn McKinley The University of Texas at Austin based on Style: Toward Clarity and Grace by Joseph Williams slides by William Cook.

11

Missing Subjects

“Termination occurred after 23 iterations”

Page 12: 1 On Writing Well Kathryn McKinley The University of Texas at Austin based on Style: Toward Clarity and Grace by Joseph Williams slides by William Cook.

12

Missing Subjects

“Termination occurred after 23 iterations”

“The analysis terminated after 23 iterations”

Page 13: 1 On Writing Well Kathryn McKinley The University of Texas at Austin based on Style: Toward Clarity and Grace by Joseph Williams slides by William Cook.

13

Weak Verbs“The algorithm supports effective garbage collection in distributed

systems”

Page 14: 1 On Writing Well Kathryn McKinley The University of Texas at Austin based on Style: Toward Clarity and Grace by Joseph Williams slides by William Cook.

14

Weak Verbs“The algorithm supports effective garbage collection in distributed

systems”

Stronger Verbs“The algorithm collects garbage

effectively in distributed systems”

Page 15: 1 On Writing Well Kathryn McKinley The University of Texas at Austin based on Style: Toward Clarity and Grace by Joseph Williams slides by William Cook.

15

Verb Nominalization

Verb Nominalization

discover discoverymove movement

collaborate collaboration

Page 16: 1 On Writing Well Kathryn McKinley The University of Texas at Austin based on Style: Toward Clarity and Grace by Joseph Williams slides by William Cook.

16

Adjective Nominalization

Adjective Nominalization

difficult difficultyapplicable applicabilitydifferent difference

Page 17: 1 On Writing Well Kathryn McKinley The University of Texas at Austin based on Style: Toward Clarity and Grace by Joseph Williams slides by William Cook.

17

empty verb + NOM“We conducted an investigation of the

tradeoffs.”

Page 18: 1 On Writing Well Kathryn McKinley The University of Texas at Austin based on Style: Toward Clarity and Grace by Joseph Williams slides by William Cook.

18

empty verb + NOM“We conducted an investigation of the

tradeoffs.”Verb=Action“We investigated

the precision and efficiency tradeoffs.”

Page 19: 1 On Writing Well Kathryn McKinley The University of Texas at Austin based on Style: Toward Clarity and Grace by Joseph Williams slides by William Cook.

19

“there is” + NOM“There is a need for further

study of this analysis”

Page 20: 1 On Writing Well Kathryn McKinley The University of Texas at Austin based on Style: Toward Clarity and Grace by Joseph Williams slides by William Cook.

20

“there is” + NOM“There is a need for further

study of this analysis”

Name the actor“Researchers should study this analysis further in the

context of its clients.”

Page 21: 1 On Writing Well Kathryn McKinley The University of Texas at Austin based on Style: Toward Clarity and Grace by Joseph Williams slides by William Cook.

21

NOM + verb + NOM

“The formation of cycles during alias analysis

prevents further improvements to this

algorithm.”

Page 22: 1 On Writing Well Kathryn McKinley The University of Texas at Austin based on Style: Toward Clarity and Grace by Joseph Williams slides by William Cook.

22

“Because the alias analysis creates cycles, we cannot improve it

further.”

Omit needless nominalization

Page 23: 1 On Writing Well Kathryn McKinley The University of Texas at Austin based on Style: Toward Clarity and Grace by Joseph Williams slides by William Cook.

23

Useful Nominalizations

Page 24: 1 On Writing Well Kathryn McKinley The University of Texas at Austin based on Style: Toward Clarity and Grace by Joseph Williams slides by William Cook.

24

Name an action

“I do not understand her meaning or

his intention”

(what she meanswhat he intends)

Page 25: 1 On Writing Well Kathryn McKinley The University of Texas at Austin based on Style: Toward Clarity and Grace by Joseph Williams slides by William Cook.

25

Common concepts

“Taxation without representation was not the central cause of the

revolution”

Page 26: 1 On Writing Well Kathryn McKinley The University of Texas at Austin based on Style: Toward Clarity and Grace by Joseph Williams slides by William Cook.

26

compilationdependencyinheritance

implementation

Page 27: 1 On Writing Well Kathryn McKinley The University of Texas at Austin based on Style: Toward Clarity and Grace by Joseph Williams slides by William Cook.

Noun+Noun+..

Early childhood thought disorder misdiagnosis often occurs in state-

funded labs.

Page 28: 1 On Writing Well Kathryn McKinley The University of Texas at Austin based on Style: Toward Clarity and Grace by Joseph Williams slides by William Cook.

Noun+Noun+..Early childhood thought

disorder misdiagnosis often occurs in state-funded labs.

State-funded labs often misdiagnosis disordered

thought in young children.

Page 29: 1 On Writing Well Kathryn McKinley The University of Texas at Austin based on Style: Toward Clarity and Grace by Joseph Williams slides by William Cook.

29

Passive “The alias analysis was

added to gcc.”

Page 30: 1 On Writing Well Kathryn McKinley The University of Texas at Austin based on Style: Toward Clarity and Grace by Joseph Williams slides by William Cook.

30

Passive “The alias analysis was

added to gcc.”

Active voice“We implemented this

analysis in the gcc compiler.”

Page 31: 1 On Writing Well Kathryn McKinley The University of Texas at Austin based on Style: Toward Clarity and Grace by Joseph Williams slides by William Cook.

Concision• It is imperative to think

over in a punctilious manner each and every

suggestion that is offered to us.

Page 32: 1 On Writing Well Kathryn McKinley The University of Texas at Austin based on Style: Toward Clarity and Grace by Joseph Williams slides by William Cook.

Concision• It is imperative to think

over in a punctilious manner each and every

suggestion that is offered to us.

• We must consider each suggestion carefully.

Page 33: 1 On Writing Well Kathryn McKinley The University of Texas at Austin based on Style: Toward Clarity and Grace by Joseph Williams slides by William Cook.

33

FocusAbstract & Introduction

MechanicsSentences

Linking SentencesEmphasis

Page 34: 1 On Writing Well Kathryn McKinley The University of Texas at Austin based on Style: Toward Clarity and Grace by Joseph Williams slides by William Cook.

34

Linking Sentences

subject•ideas already mentioned

•familiar ideas

verb • action

object • new ideas

Page 35: 1 On Writing Well Kathryn McKinley The University of Texas at Austin based on Style: Toward Clarity and Grace by Joseph Williams slides by William Cook.

35

Linking Sentences

“Precise flow and context sensitive pointer analysis is currently limited to programs with 100,000 or fewer lines of code. Pointer analysis clients, such as verification and testing, are consequently limited to small programs because they need high precision. This paper introduces a new pointer alias analysis that provides control-flow and context sensitivity. We show that it is one hundred times faster than prior algorithms and can analyze programs up to 1 million lines of code. Future work should investigate its effects on the precision and scalability of client analysis.”

Page 36: 1 On Writing Well Kathryn McKinley The University of Texas at Austin based on Style: Toward Clarity and Grace by Joseph Williams slides by William Cook.

36

Topics form a logical sequence of ideas

old new

old new

old new

old new

Page 37: 1 On Writing Well Kathryn McKinley The University of Texas at Austin based on Style: Toward Clarity and Grace by Joseph Williams slides by William Cook.

37

The Point

Intro Discussion

The point(best)

…or here(intro para.)

Page 38: 1 On Writing Well Kathryn McKinley The University of Texas at Austin based on Style: Toward Clarity and Grace by Joseph Williams slides by William Cook.

38

Emphasis

Put important things at the end

sentence final wordsparagraph last sent.

section last para.

Page 39: 1 On Writing Well Kathryn McKinley The University of Texas at Austin based on Style: Toward Clarity and Grace by Joseph Williams slides by William Cook.

39

Paper

Section

Paragraph

Sentence

Containers

•Large-scale Structure

•Sequence of items

Specific rules

Page 40: 1 On Writing Well Kathryn McKinley The University of Texas at Austin based on Style: Toward Clarity and Grace by Joseph Williams slides by William Cook.

40

Section Titles

First sentence(or the point)

must include section title

(except the introduction or conclusion)

Page 41: 1 On Writing Well Kathryn McKinley The University of Texas at Austin based on Style: Toward Clarity and Grace by Joseph Williams slides by William Cook.

41

Intro Discussion

I D I D I D Intro Disc

paper

paragraphs sections

Intro Disc

I D I D I D

paragraphs

I D I D I D

paragraphs

I D I Dsentences

sentences

Page 42: 1 On Writing Well Kathryn McKinley The University of Texas at Austin based on Style: Toward Clarity and Grace by Joseph Williams slides by William Cook.

42

Thank you for your attention!

Questions?

Page 43: 1 On Writing Well Kathryn McKinley The University of Texas at Austin based on Style: Toward Clarity and Grace by Joseph Williams slides by William Cook.

43

Practicum

Page 44: 1 On Writing Well Kathryn McKinley The University of Texas at Austin based on Style: Toward Clarity and Grace by Joseph Williams slides by William Cook.

44

Improving an Abstract

Read it

Interview the writer: understand the• Problem statement

• Contribution

• Result

• Meaning

Top down sentence improvements

• Subject-action-object

• Link to next sentence