towards typesafe join points for modular reasoning in
play

Towards Typesafe Join Points for Modular Reasoning in - PowerPoint PPT Presentation

Sep 13, 2022 •374 likes •1.57k views

Towards Typesafe Join Points for Modular Reasoning in Aspect-Oriented Programs Eric Bodden joint work with Milton Inostroza, ric Tanter

  1. int monteCarloAlg() { long seed = System.currentTimeMillis(); int result; result = exhibit JP(long theSeed) { System.out.println(“seed was:”+theSeed); return monteCarlo(theSeed); }(seed); return result; } jpi int JP(long s); int around JP (long mySeed) { return proceed(0); } 20

  2. int monteCarloAlg() { long seed = System.currentTimeMillis(); int result; result = exhibit JP(long theSeed) { System.out.println(“seed was:”+theSeed); return monteCarlo(theSeed); }(seed); return result; } jpi int JP(long s); int around JP (long mySeed) { return proceed(0); } 20

  3. int monteCarloAlg() { long seed = System.currentTimeMillis(); int result; result = exhibit JP(long theSeed) { System.out.println(“seed was:”+theSeed); return monteCarlo(theSeed); }(seed); return result; } jpi int JP(long s); int around JP (long mySeed) { return proceed(0); } 20

  4. int monteCarloAlg() { long seed = System.currentTimeMillis(); int result; result = exhibit JP(long theSeed) { System.out.println(“seed was:”+theSeed); return monteCarlo(theSeed); }(seed); return result; } jpi int JP(long s); int around JP (long mySeed) { return proceed(0); } 20

  5. int monteCarloAlg() { long seed = System.currentTimeMillis(); int result; result = exhibit JP(long theSeed) { seed==<time> System.out.println(“seed was:”+theSeed); theSeed==0 return monteCarlo(theSeed); }(seed); return result; } jpi int JP(long s); int around JP (long mySeed) { return proceed(0); } 20

  6. int monteCarloAlg() { long seed = System.currentTimeMillis(); int result; result = exhibit JP(long theSeed) { seed==<time> System.out.println(“seed was:”+theSeed); theSeed==0 return monteCarlo(theSeed); }(seed); return result; } jpi int JP(long s); int around JP (long mySeed) { return proceed(0); } 20

  7. int monteCarloAlg() { long seed = System.currentTimeMillis(); int result; result = exhibit JP(long theSeed) { seed==<time> System.out.println(“seed was:”+theSeed); theSeed==0 return monteCarlo(theSeed); }(seed); return result; } jpi int JP(long s); int around JP (long mySeed) { return proceed(0); } 20

  8. int monteCarloAlg() { long seed = System.currentTimeMillis(); int result; result = exhibit JP(long theSeed) { System.out.println(“seed was:”+theSeed); return monteCarlo(theSeed); }(seed); result==??? return result; } jpi int JP(long s); int around JP (long mySeed) { new Thread() { public void run() { proceed(mySeed); } }.start(); } 20

  9. int monteCarloAlg() { long seed = System.currentTimeMillis(); int result; result = exhibit JP(long theSeed) { System.out.println(“seed was:”+theSeed); return monteCarlo(theSeed); }(seed); result==??? return result; } jpi int JP(long s); int around JP (long mySeed) { CJPs are new Thread() { public void run() { expressions, proceed(mySeed); } not statements! }.start(); } 20

  10. int monteCarloAlg() { long seed = System.currentTimeMillis(); int result; result = exhibit JP(long theSeed) { System.out.println(“seed was:”+theSeed); return monteCarlo(theSeed); }(seed); result==42 return result; } jpi int JP(long s); int around JP (long mySeed) { CJPs are new Thread() { public void run() { expressions, proceed(mySeed); } not statements! }.start(); return 42; } 20

  11. Closure joinpoints: aspect side JPIs, as before jpi int JP(long s); advice directly int around JP(long seed) { refers to that return proceed(0); } joinpoint type no pointcuts required 21

  12. Closure joinpoints: base-code side reference to jpi int JP(long s); same JPI base code result = exhibit JP(long theSeed) { println(“seed was:”+theSeed); exhibits joinpoint return monteCarlo(theSeed); as call to closure }(seed); 22

  13. Variable-access rules class C { Field f; void foo(Param fp) { Local l; final Local L; exhibit JP(Param cp) { }(..); } } 23

  14. Variable-access rules class C { Field f; void foo(Param fp) { Local l; final Local L; exhibit JP(Param cp) { f = null; }(..); } } May read and write fields 23

  15. Variable-access rules class C { Field f; void foo(Param fp) { Local l; final Local L; exhibit JP(Param cp) { println(cp); }(..); } } May read (and write) closure parameters 23

  16. Variable-access rules class C { Field f; void foo(Param fp) { Local l; final Local L; exhibit JP(Param cp) { println(L); }(..); } } May read final locals 23

  17. Variable-access rules class C { Field f; X void foo(Param fp) { Local l; X final Local L; exhibit JP(Param cp) { println(l); println(fp); }(..); } } May NOT access non-final locals 23

  18. Control-flow rules class C { void foo() { for(int i=0;i<5;i++) { exhibit JP(){ }(); println(i); } } } 24

  19. Control-flow rules class C { void foo() { for(int i=0;i<5;i++) { exhibit JP(){ return; }(); println(i); } } } 24

  20. Control-flow rules class C { void foo() { for(int i=0;i<5;i++) { exhibit JP(){ return; }(); println(i); } } } “upward FUNARG problem” void around JP() { new Thread() { (Weizenbaum 1968, public void run() { Moses 1970) proceed(); } }.start(); } 24

  21. Control-flow rules class C { prints: void foo() { for(int i=0;i<5;i++) { 1 exhibit JP(){ 2 return; 3 }(); 4 println(i); 5 } } } break / continue / return always bind to closure, not to declaring method! 24

  22. Control-flow rules class C { void foo() { for(int i=0;i<5;i++) { exhibit JP(){ break; }(); println(i); } } } break / continue / return always bind to closure, not to declaring method! 24

  23. Control-flow rules class C { void foo() { for(int i=0;i<5;i++) { exhibit JP(){ continue; }(); println(i); } } } break / continue / return always bind to closure, not to declaring method! 24

  24. Syntactic sugar exhibit JP{ exhibit JP(){ ≡ }; }(); 25

  25. CJPs and JPIs Tight integration: A closure joinpoint is just a special joinpoint and is processed like any other joinpoint. 26

  27. Will it blend?

  28. Will it blend? www.willitblend.com

  29. t y Will it blend? p e ?

  30. Checked Exceptions jpi void JPNone(); jpi void JPEx() throws Exception; 30

  31. Checked Exceptions jpi void JPNone(); jpi void JPEx() throws Exception; Will it before JPNone() throws Exception { } type? before JPEx() throws Exception { } 30

  32. Checked Exceptions jpi void JPNone(); jpi void JPEx() throws Exception; Will it before JPNone() throws Exception { } type? before JPEx() throws Exception { } 30

  33. Checked Exceptions jpi void JPNone(); jpi void JPEx() throws Exception; before JPNone() throws Exception { } before JPEx() throws Exception { } void foo() { ... exhibit JPNone() { ... } Will it } type? void bar() { ... exhibit JPEx() { ... } } 30

  34. Checked Exceptions jpi void JPNone(); jpi void JPEx() throws Exception; before JPNone() throws Exception { } before JPEx() throws Exception { } void foo() { ... exhibit JPNone() { ... } Will it } type? void bar() { ... exhibit JPEx() { ... } } 30

  35. Invariant Return Types public aspect TestCase { static void correct() { HashSet s = exhibit JP { ... }; } jpi HashSet JP(); Set around JP() { return new TreeSet(); } } 31

  36. Invariant Return Types public aspect TestCase { static void correct() { HashSet s = exhibit JP { ... }; } jpi HashSet JP(); Set around JP() { return new TreeSet(); } } 31

  37. Invariant Return Types public aspect TestCase { static void correct() { HashSet s = exhibit JP { ... }; } jpi HashSet JP(); Set around JP() { return new TreeSet(); } } 31

  38. Invariant Return Types public aspect TestCase { static void correct() { HashSet s = exhibit JP { ... }; } jpi HashSet JP(); Set around JP() { HashSet around JP() { return new TreeSet(); } } 31

  39. Invariant Return Types public aspect TestCase { static void correct() { HashSet s = exhibit JP { ... }; } jpi HashSet JP(); Set around JP() { HashSet around JP() { return new TreeSet(); } } ... the same applies to argument types. (Alternative: StrongAspectJ, De Fraine et al., AOSD 08) 31

  40. Invariant Pointcuts jpi ¡void ¡JP(Number ¡n); aspect ¡A{ ¡ ¡exhibits ¡void ¡JP(Number ¡n) ¡: ¡call(void ¡*(..)) ¡&& ¡args(n); ¡ ¡public ¡static ¡void ¡main(String[] ¡args){ ¡ ¡ ¡ ¡ ¡ ¡foo(new ¡Integer(2)); ¡ ¡} ¡ ¡void ¡around ¡JP(Number ¡l){ ¡ ¡ ¡ ¡ ¡ ¡proceed(new ¡Float(3)); ¡ ¡} ¡ ¡public ¡static ¡void ¡foo(Integer ¡a){} } 32

  41. Invariant Pointcuts jpi ¡void ¡JP(Number ¡n); aspect ¡A{ ¡ ¡exhibits ¡void ¡JP(Number ¡n) ¡: ¡call(void ¡*(..)) ¡&& ¡args(n); ¡ ¡public ¡static ¡void ¡main(String[] ¡args){ ¡ ¡ ¡ ¡ ¡ ¡foo(new ¡Integer(2)); ¡ ¡} ¡ ¡void ¡around ¡JP(Number ¡l){ AspectJ: match ¡ ¡ ¡ ¡ ¡ ¡proceed(new ¡Float(3)); ¡ ¡} ¡ ¡public ¡static ¡void ¡foo(Integer ¡a){} } 32

  42. Invariant Pointcuts jpi ¡void ¡JP(Number ¡n); aspect ¡A{ ¡ ¡exhibits ¡void ¡JP(Number ¡n) ¡: ¡call(void ¡*(..)) ¡&& ¡args(n); argsinv(n); ¡ ¡public ¡static ¡void ¡main(String[] ¡args){ ¡ ¡ ¡ ¡ ¡ ¡foo(new ¡Integer(2)); ¡ ¡} ¡ ¡void ¡around ¡JP(Number ¡l){ argsinv: no match ¡ ¡ ¡ ¡ ¡ ¡proceed(new ¡Float(3)); ¡ ¡} ¡ ¡public ¡static ¡void ¡foo(Integer ¡a){} } 32

  43. Invariant Pointcuts Same for thisinv and targetinv Warning if exhibits uses this/target/args Not nice but maybe AspectJ should have used different semantics in the first place... 33

  44. More flexible typing through type parameters void printSet(Set s) { ... } Set around LogMe() { Set ret = proceed(); printSet(ret); jpi Set LogMe(); return ret; } exhibits Set LogMe(): call(* foo()); HashSet foo() { .. } HashSet s = foo(); 34

  45. More flexible typing through type parameters void printSet(Set s) { ... } Set around LogMe() { Set ret = proceed(); printSet(ret); jpi Set LogMe(); return ret; new TreeSet(); } exhibits Set LogMe(): call(* foo()); HashSet foo() { .. } HashSet s = foo(); 34

  46. More flexible typing through type parameters void printSet(Set s) { ... } Set around LogMe() { Set ret = proceed(); printSet(ret); jpi Set LogMe(); return ret; new TreeSet(); } exhibits Set LogMe(): call(* foo()); HashSet foo() { .. } HashSet s = foo(); 34

  47. More flexible typing through type parameters void printSet(Set s) { ... } Prevent error by Set around LogMe() { not matching! Set ret = proceed(); printSet(ret); jpi Set LogMe(); return ret; new TreeSet(); } exhibits Set LogMe(): call(* foo()); HashSet foo() { .. } HashSet s = foo(); 34

  48. More flexible typing through type parameters StrongAspectJ, De Fraine et al., AOSD 08 void printSet(Set s) { ... } <S extends Set> S around LogMe() { S ret = proceed(); printSet(ret); jpi <S extends Set> S LogMe(); return ret; } <S extends Set> exhibits S LogMe(): call(* foo()); HashSet foo() { .. } HashSet s = foo(); 35

  49. More flexible typing through type parameters StrongAspectJ, De Fraine et al., AOSD 08 void printSet(Set s) { ... } <S extends Set> S around LogMe() { S ret = proceed(); printSet(ret); jpi <S extends Set> S LogMe(); return ret; } <S extends Set> exhibits S LogMe(): call(* foo()); HashSet foo() { .. } HashSet s = foo(); 35

  50. More flexible typing through type parameters StrongAspectJ, De Fraine et al., AOSD 08 void printSet(Set s) { ... } <S extends Set> S around LogMe() { S ret = proceed(); printSet(ret); jpi <S extends Set> S LogMe(); return ret; new TreeSet(); } <S extends Set> exhibits S LogMe(): call(* foo()); HashSet foo() { .. } HashSet s = foo(); 35

  51. More flexible typing through type parameters StrongAspectJ, De Fraine et al., AOSD 08 void printSet(Set s) { ... } <S extends Set> S around LogMe() { S ret = proceed(); printSet(ret); return ret; } 35

  52. Supporting logging-like concerns through global pointcuts <R> R around LogMe() { long timeBef = time(); R ret = proceed(); print(timeBef-time()); return ret; } class A { <R> exhibits R LogMe(): ... } class B { <R> exhibits R LogMe(): ... } class C { <R> exhibits R LogMe(): ... } ... 36

  53. Supporting logging-like concerns through global pointcuts jpi <R> R LogMe(): call(* *(..)); Introduces default: class A { } ≡ class A { <R> exhibits R LogMe(): call(* *(..)); } 37

  54. Do allow for refinements... Seal a class: class A { <R> exhibits R LogMe(); } Add joinpoints: class A { <R> exhibits R LogMe(): global() || set(* *); } 38

  55. Do allow for refinements... Seal a class: class A { <R> exhibits R LogMe(); } Refine joinpoints: class A { <R> exhibits R LogMe(): global() && call(* foo()); } 39

  56. Result of typing rules Invocation of a closure can never fail at runtime! Strong typing! 40

  57. Result of typing rules Invocation of a closure can never fail at runtime! 40

  58. Join Point Polymorphism jpi ¡CheckingOut jpi ¡Buying jpi ¡Renting jpi ¡void ¡CheckingOut(float ¡price, ¡Customer ¡c) 41

  59. Join Point Polymorphism jpi ¡CheckingOut jpi ¡Buying jpi ¡Renting jpi ¡void ¡CheckingOut(float ¡price, ¡Customer ¡c) jpi ¡void ¡Buying(Item ¡i, ¡float ¡price, ¡Customer ¡cust) extends ¡CheckingOut(price,cust); 41

  60. Join Point Polymorphism jpi ¡CheckingOut jpi ¡Buying jpi ¡Renting jpi ¡void ¡CheckingOut(float ¡price, ¡Customer ¡c) jpi ¡void ¡Buying(Item ¡i, ¡float ¡price, ¡Customer ¡cust) extends ¡CheckingOut(price,cust); “width subtyping” 41

  61. Join Point Polymorphism jpi ¡CheckingOut jpi ¡Buying jpi ¡Renting jpi ¡void ¡CheckingOut(float ¡price, ¡Customer ¡c) jpi ¡void ¡Buying(Item ¡i, ¡float ¡price, ¡Customer ¡cust) extends ¡CheckingOut(price,cust); jpi ¡void ¡Renting(float ¡price, ¡int ¡amt, ¡Customer ¡c) extends ¡CheckingOut(price,c); 41

  62. Advice-dispatch semantics Aspect Discount around CheckingOut Buying around Buying Join Point The most specific jpi ¡CheckingOut advice gets executed. jpi ¡Buying jpi ¡Renting 42

Download Presentation
Download Policy: The content available on the website is offered to you 'AS IS' for your personal information and use only. It cannot be commercialized, licensed, or distributed on other websites without prior consent from the author. To download a presentation, simply click this link. If you encounter any difficulties during the download process, it's possible that the publisher has removed the file from their server.

Recommend

Modular Reasoning for Actor Specification Diagrams Rigorous reasoning for open distributed

Modular Reasoning for Actor Specification Diagrams Rigorous reasoning for open distributed

Reasoning About Open Systems Project Collaboration with Agha, Mason, Smith, Talcott Modular Reasoning for Actor Specification Diagrams Rigorous reasoning for open distributed systems Scott F . Smith General multi-language framework

428 views • 10 slides
Verification of Parameterized Concurrent Programs By Modular Reasoning about Data and Control

Verification of Parameterized Concurrent Programs By Modular Reasoning about Data and Control

Verification of Parameterized Concurrent Programs By Modular Reasoning about Data and Control Zachary Kincaid Azadeh Farzan University of Toronto January 18, 2013 Z. Kincaid (U. Toronto) Modular Reasoning about Data and Control January 18,

751 views • 54 slides
enabled by Circular Economy Service Platform join CEP Be part of the future transformation join

enabled by Circular Economy Service Platform join CEP Be part of the future transformation join

New business from industrial waste &amp; side streams - enabled by Circular Economy Service Platform join CEP Be part of the future transformation join CEP Collaborate with your partners join CEP Create a new value cluster Modular and

223 views • 18 slides
Today. Summary: polynomials. Farewell (for now) to modular arithmetic... Set of d + 1 points

Today. Summary: polynomials. Farewell (for now) to modular arithmetic... Set of d + 1 points

Today. Summary: polynomials. Farewell (for now) to modular arithmetic... Set of d + 1 points determines degree d polynomial. Modular arithmetic modulo a prime. Encode secret using degree k 1 polynomial: Add, subtract, commutative,

431 views • 7 slides
Aspects and Modular Reasoning in Nonmonotonic Logic Klaus Ostermann Darmstadt University of

Aspects and Modular Reasoning in Nonmonotonic Logic Klaus Ostermann Darmstadt University of

Aspects and Modular Reasoning in Nonmonotonic Logic Klaus Ostermann Darmstadt University of Technology FOAL07 Background Many people have noted that programs should look like our thought

374 views • 23 slides
Independence of points on elliptic curves coming from modular curves Gregorio Baldi XXI

Independence of points on elliptic curves coming from modular curves Gregorio Baldi XXI

Independence of points on elliptic curves coming from modular curves Gregorio Baldi XXI Congresso dellunione Matematica Italiana, Sezione di Teoria dei Numeri Pavia, 06/09/2019 G. Baldi Independence of points 06/09/2019 1 / 17 Main

954 views • 59 slides
The rational group structure of modular Jacobians with applications to torsion points on elliptic

The rational group structure of modular Jacobians with applications to torsion points on elliptic

The rational group structure of modular Jacobians with applications to torsion points on elliptic curves over number fields Maarten Derickx 1 Algant (Leiden, Bordeaux and Milano) LMFDB Workshop 05-06-2014 Talk will only start after you opened:

861 views • 22 slides
modular forms of weight one, and Stark-Heegner points. Henri Darmon San Diego, September 20-22,

modular forms of weight one, and Stark-Heegner points. Henri Darmon San Diego, September 20-22,

Starks Conjecture and related topics p -adic iterated integrals , modular forms of weight one, and Stark-Heegner points. Henri Darmon San Diego, September 20-22, 2013 (Joint with Alan Lauder and Victor Rotger ) Starks conjectures

568 views • 41 slides
Sporadic points on modular curves David Zureick-Brown (Emory University) Anastassia Etropolski

Sporadic points on modular curves David Zureick-Brown (Emory University) Anastassia Etropolski

Sporadic points on modular curves David Zureick-Brown (Emory University) Anastassia Etropolski (Foursquare) Maarten Derickx (MIT) Jackson Morrow (Centre de Recherches Mathematiques, Berkeley) Mark van Hoeij (Florida State University) Slides

506 views • 38 slides
Rational Points on Modular Elliptic Curves I. Elliptic Curves Hedrick Lecture Series MAA

Rational Points on Modular Elliptic Curves I. Elliptic Curves Hedrick Lecture Series MAA

Rational Points on Modular Elliptic Curves I. Elliptic Curves Hedrick Lecture Series MAA MathFest Boulder, Colorado August 2003 http://www.math.mcgill.ca/darmon /slides/slides.html Elliptic Curves Definition : An elliptic curve over the

494 views • 26 slides
Rational points on curves over finite fields and Drinfeld modular varieties Alp Bassa Sabanc

Rational points on curves over finite fields and Drinfeld modular varieties Alp Bassa Sabanc

Rational points on curves over finite fields and Drinfeld modular varieties Alp Bassa Sabanc University Curves over Finite Fields Let C be smooth, projective, absolutely irreducible curve over F q . (alternatively F / F q an algebraic function

563 views • 34 slides
Thread-Modular Reasoning for Lock-Free Data Structures Roland Meyer based on joint work with

Thread-Modular Reasoning for Lock-Free Data Structures Roland Meyer based on joint work with

Thread-Modular Reasoning for Lock-Free Data Structures Roland Meyer based on joint work with Luk Holk, Tom Vojnar, and Sebastian Wol ff . Lock-Free Data Structures Key Take Aways: e ffi cient but complex correctness =

641 views • 53 slides
Continuation Join Points Yusuke Endoh, Hidehiko Masuhara, Akinori Yonezawa (University of Tokyo)

Continuation Join Points Yusuke Endoh, Hidehiko Masuhara, Akinori Yonezawa (University of Tokyo)

Continuation Join Points Yusuke Endoh, Hidehiko Masuhara, Akinori Yonezawa (University of Tokyo) 1 Background: Aspects are reusable in AspectJ (1) Example: A generic logging aspect can log user inputs in a CUI program by defining a

364 views • 33 slides
GADTs Practice Curtis Millar CSE, UNSW (and Data61) 22 July 2020 1 Exercise 5 GADTs TypeSafe

GADTs Practice Curtis Millar CSE, UNSW (and Data61) 22 July 2020 1 Exercise 5 GADTs TypeSafe

Exercise 5 GADTs TypeSafe printf More on Vectors Administrivia Software System Design and Implementation GADTs Practice Curtis Millar CSE, UNSW (and Data61) 22 July 2020 1 Exercise 5 GADTs TypeSafe printf More on Vectors Administrivia

762 views • 40 slides
CHAPTER-4 1 LOGIC AND REASONING ! Knowledge and ! Reasoning in Knowledge- Reasoning Based

CHAPTER-4 1 LOGIC AND REASONING ! Knowledge and ! Reasoning in Knowledge- Reasoning Based

CHAPTER-4 1 LOGIC AND REASONING ! Knowledge and ! Reasoning in Knowledge- Reasoning Based Systems ! syntax and semantics ! shallow and deep reasoning ! validity and satisfiability ! forward and backward ! logic languages chaining ! alternative

616 views • 23 slides
Without Resilience Nothing Else Matters Jonas Bonr CTO TypEsafe @jboner Without Resilience

Without Resilience Nothing Else Matters Jonas Bonr CTO TypEsafe @jboner Without Resilience

Without Resilience Nothing Else Matters Jonas Bonr CTO TypEsafe @jboner Without Resilience Nothing Else Matters Jonas Bonr CTO TypEsafe @jboner But it aint how hard youre hit; its about how hard you can get hit, and keep

1.5k views • 132 slides
The Royal Bank of Scotland Group Q1 2013 Results 3 rd May 2013 Important Information Certain

The Royal Bank of Scotland Group Q1 2013 Results 3 rd May 2013 Important Information Certain

The Royal Bank of Scotland Group Q1 2013 Results 3 rd May 2013 Important Information Certain sections in this document contain forward-looking statements as that term is defined in the United States Private Securities Litigation Reform Act

287 views • 25 slides
~ o ~v~:~~,i:~,:~urity Elltlrnicslturity indfifiproan ~~ United V Technologies Air

~ o ~v~:~~,i:~,:~urity Elltlrnicslturity indfifiproan ~~ United V Technologies Air

~ o ~v~:~~,i:~,:~urity Elltlrnicslturity indfifiproan ~~ United V Technologies Air conditning. hea~nii, Aircrit\iindspacesyslimsiind Indr.rrillrliliOfsyslems A United iiniiiniiiirllindu!ilriiiprucl V Technologies Operations in 180+

263 views • 4 slides
Welcome to RadioTraffic RadioTraffic 101 Were excited to have you on board! If you have any

Welcome to RadioTraffic RadioTraffic 101 Were excited to have you on board! If you have any

Welcome to RadioTraffic RadioTraffic 101 Were excited to have you on board! If you have any questions, feel free to contact support at 214.736.1166 or support@radiotraffic.com. Get started Thes ese e are e some e items s you u

671 views • 16 slides
February 19, 2016 1. CDPHE Program, Contract &amp; Fiscal Staff Introductions 2. Roles and

February 19, 2016 1. CDPHE Program, Contract &amp; Fiscal Staff Introductions 2. Roles and

February 19, 2016 1. CDPHE Program, Contract &amp; Fiscal Staff Introductions 2. Roles and Responsibilities 3. Amendment to Contract 4. Budgeting and Invoicing 5. Compliance Monitoring 6. WIWO Operations Funding Overview 7. Reporting Emily

567 views • 20 slides
Priorities for 2020 IOD MID-TERM SURVEY RESULTS 1 Priorities for 2020 Air and Sea Links

Priorities for 2020 IOD MID-TERM SURVEY RESULTS 1 Priorities for 2020 Air and Sea Links

Priorities for 2020 IOD MID-TERM SURVEY RESULTS 1 Priorities for 2020 Air and Sea Links Education Economic Diversification UK &amp; EU relationship Digital Connectivity Housing &amp; population law 0 10 20 30 40 50 60 70 80 90

248 views • 11 slides
Indian-Ocean decadal variability &amp; its interaction with the Pacific decadal mode Weiqing Han

Indian-Ocean decadal variability &amp; its interaction with the Pacific decadal mode Weiqing Han

Indian-Ocean decadal variability &amp; its interaction with the Pacific decadal mode Weiqing Han (ATOC, University of Colorado at Boulder) July 14-18, 2014, Pan-CLIVAR PP-IOP, The Hague Background: a) Pacific Decadal Variability Mode

263 views • 25 slides
UMBC A B M A L F T U M B C I O M Y O T R 1 (November 26, 2000 7:49 pm) I E S

UMBC A B M A L F T U M B C I O M Y O T R 1 (November 26, 2000 7:49 pm) I E S

Principles of VLSI Design Performance Estimation CMSC 491B/711 Transistor Sizing So far, we have assumed that to get symmetric rise and fall times: 2 3 ( ) Wp Wn Does this rule reduce overall delay ? = 2 Wn Wp Assume C eq

451 views • 14 slides
Augmenting the Social Space of an Academic Conference Joe McCarthy, David McDonald, Suzanne

Augmenting the Social Space of an Academic Conference Joe McCarthy, David McDonald, Suzanne

Augmenting the Social Space of an Academic Conference Joe McCarthy, David McDonald, Suzanne Soroczak, David Nguyen, Al M. Rashid 8 November 2004 www.proactivedisplays.org Outline Social Spaces at Academic Conferences Proactive

731 views • 31 slides

More recommend