137 Rinard PPTs View free & download

Martin Rinard PowerPoint PPT Presentation

Martin Rinard - Expr Open Expr Close. Production Game. have a current string. start with Start nonterminal ... [0-9] [0-9]* Open = Close = Start Expr. Expr Expr AddOp Term ...

Expr Open Expr Close. Production Game. have a current string. start with Start nonterminal ... [0-9] [0-9]* Open = Close = Start Expr. Expr Expr AddOp Term ...

| PowerPoint PPT presentation | free to view

Martin Rinard - Op Op - Op * Today's Lecture. How generated parser works. How parser generator produces parser ... Op Expr. Expr (Expr) Expr - Expr. Expr num. Op Op - Op ...

Op Op - Op * Today's Lecture. How generated parser works. How parser generator produces parser ... Op Expr. Expr (Expr) Expr - Expr. Expr num. Op Op - Op ...

| PowerPoint PPT presentation | free to view

Symbolic Bounds Analysis of Pointers, Array Indices, and Accessed Memory Regions Radu Rugina and Martin Rinard PowerPoint PPT Presentation

Symbolic Bounds Analysis of Pointers, Array Indices, and Accessed Memory Regions Radu Rugina and Martin Rinard - Symbolic Bounds Analysis of Pointers, Array Indices, and Accessed Memory Regions Radu Rugina and Martin Rinard 6/6 AMO M1

Symbolic Bounds Analysis of Pointers, Array Indices, and Accessed Memory Regions Radu Rugina and Martin Rinard 6/6 AMO M1

| PowerPoint PPT presentation | free to download

Secure software and COTS group Steve Gribble, Somesh Jha, Angelos Keromytis, Carl Landwehr, Peter Lee, Martin Rinard PowerPoint PPT Presentation

Secure software and COTS group Steve Gribble, Somesh Jha, Angelos Keromytis, Carl Landwehr, Peter Lee, Martin Rinard - IT/business opportunities are often unique. advantages in fast custom response ... a form of business-rule discovery ... describing / modeling business rules ...

IT/business opportunities are often unique. advantages in fast custom response ... a form of business-rule discovery ... describing / modeling business rules ...

| PowerPoint PPT presentation | free to view

Eliminating Synchronization Bottlenecks in Object-Based Programs Using Adaptive Replication PowerPoint PPT Presentation

Eliminating Synchronization Bottlenecks in Object-Based Programs Using Adaptive Replication - Eliminating Synchronization Bottlenecks in Object-Based Programs Using Adaptive Replication Martin Rinard Laboratory for Computer Science Massachusetts Institute of ...

Eliminating Synchronization Bottlenecks in Object-Based Programs Using Adaptive Replication Martin Rinard Laboratory for Computer Science Massachusetts Institute of ...

| PowerPoint PPT presentation | free to download

Specification-Based Error Localization PowerPoint PPT Presentation

Specification-Based Error Localization - Specification-Based Error Localization Brian Demsky Martin Rinard Laboratory for Computer Science Massachusetts Institute of Technology

Specification-Based Error Localization Brian Demsky Martin Rinard Laboratory for Computer Science Massachusetts Institute of Technology

| PowerPoint PPT presentation | free to download

Automatic Data Structure Repair for Self-Healing Systems PowerPoint PPT Presentation

Automatic Data Structure Repair for Self-Healing Systems - Automatic Data Structure Repair for. Self-Healing Systems. Brian Demsky. Martin Rinard. Laboratory for Computer Science. Massachusetts Institute of Technology ...

Automatic Data Structure Repair for. Self-Healing Systems. Brian Demsky. Martin Rinard. Laboratory for Computer Science. Massachusetts Institute of Technology ...

| PowerPoint PPT presentation | free to download

Symbolic Bounds Analysis of Pointers, Array Indices, and Accessed Memory Regions PowerPoint PPT Presentation

Symbolic Bounds Analysis of Pointers, Array Indices, and Accessed Memory Regions - Title: Is Symbolic Analysis Healthy? Author: Radu Rugina Last modified by: rinard Created Date: 3/9/1999 12:43:56 AM Document presentation format

Title: Is Symbolic Analysis Healthy? Author: Radu Rugina Last modified by: rinard Created Date: 3/9/1999 12:43:56 AM Document presentation format

| PowerPoint PPT presentation | free to download

Program Analysis Techniques for Memory Disambiguation PowerPoint PPT Presentation

Program Analysis Techniques for Memory Disambiguation - Program Analysis Techniques. for Memory Disambiguation. Radu Rugina and Martin Rinard ... (write v into the memory location that p points to) What memory ...

Program Analysis Techniques. for Memory Disambiguation. Radu Rugina and Martin Rinard ... (write v into the memory location that p points to) What memory ...

| PowerPoint PPT presentation | free to download

A Parameterized Type System for Race-Free Java Programs PowerPoint PPT Presentation

A Parameterized Type System for Race-Free Java Programs - A Parameterized Type System for Race-Free Java Programs Chandrasekhar Boyapati Martin Rinard Laboratory for Computer Science Massachusetts Institute of Technology

A Parameterized Type System for Race-Free Java Programs Chandrasekhar Boyapati Martin Rinard Laboratory for Computer Science Massachusetts Institute of Technology

| PowerPoint PPT presentation | free to download

Efficient ObjectBased Software Transactions PowerPoint PPT Presentation

Efficient ObjectBased Software Transactions - C. Scott Ananian and Martin Rinard. Computer Science and Artificial ... This research supported by DARPA/AFRL Contract ... of object bloat. Solution: ...

C. Scott Ananian and Martin Rinard. Computer Science and Artificial ... This research supported by DARPA/AFRL Contract ... of object bloat. Solution: ...

| PowerPoint PPT presentation | free to download

Unit 4: Lesson 3 Kids Did It! in Business PowerPoint PPT Presentation

Unit 4: Lesson 3 Kids Did It! in Business - Unit 4: Lesson 3 Kids Did It! in Business By, Judith E. Rinard What do these words have in common? Line 1: newspaper software worldwide microwave (they are all ...

Unit 4: Lesson 3 Kids Did It! in Business By, Judith E. Rinard What do these words have in common? Line 1: newspaper software worldwide microwave (they are all ...

| PowerPoint PPT presentation | free to download

Program Analysis and Design Conformance PowerPoint PPT Presentation

Program Analysis and Design Conformance - Program Analysis and Design Conformance. Martin Rinard. Laboratory for Computer Science ... Pointer-based loads and stores: use pointer analysis results to derive the ...

Program Analysis and Design Conformance. Martin Rinard. Laboratory for Computer Science ... Pointer-based loads and stores: use pointer analysis results to derive the ...

| PowerPoint PPT presentation | free to download

MIT 6'035 Course Overview PowerPoint PPT Presentation

MIT 6'035 Course Overview - MIT 6.035. Course Overview. Martin Rinard. Laboratory for ... Compiler Derby (15%) Project grading. Public tests (33 ... 9 Compiler Derby. Lectures as ...

MIT 6.035. Course Overview. Martin Rinard. Laboratory for ... Compiler Derby (15%) Project grading. Public tests (33 ... 9 Compiler Derby. Lectures as ...

| PowerPoint PPT presentation | free to view

Compositional Pointer and Escape Analysis for Java Programs PowerPoint PPT Presentation

Compositional Pointer and Escape Analysis for Java Programs - Compositional Pointer and Escape Analysis for Java Programs. Martin Rinard. Laboratory for ... Read in database of employee records. Extract statistics like max salary ...

Compositional Pointer and Escape Analysis for Java Programs. Martin Rinard. Laboratory for ... Read in database of employee records. Extract statistics like max salary ...

| PowerPoint PPT presentation | free to download

A Parameterized Type System for RaceFree Java Programs - A Parameterized Type System for Race-Free Java Programs. Chandrasekhar Boyapati Martin Rinard ... Statically verifiable race-free program. a1 is locked before ...

A Parameterized Type System for Race-Free Java Programs. Chandrasekhar Boyapati Martin Rinard ... Statically verifiable race-free program. a1 is locked before ...

| PowerPoint PPT presentation | free to view

Distributed Event Processing With Java Shared Object Spaces PowerPoint PPT Presentation

Distributed Event Processing With Java Shared Object Spaces - Martin Rinard, Daniel Jackson, MIT Laboratory for Computer Science. Basic Idea ... variety of communication patterns, enables rapid integration of new components ...

Martin Rinard, Daniel Jackson, MIT Laboratory for Computer Science. Basic Idea ... variety of communication patterns, enables rapid integration of new components ...

| PowerPoint PPT presentation | free to download

Pointer Analysis for Multithreaded Programs PowerPoint PPT Presentation

Pointer Analysis for Multithreaded Programs - is the union of points-to edges created by all other concurrent threads ... if the concurrent threads do not (pointer-)interfere then this ...

is the union of points-to edges created by all other concurrent threads ... if the concurrent threads do not (pointer-)interfere then this ...

| PowerPoint PPT presentation | free to download

Volcano Studies in Hawaii PowerPoint PPT Presentation

Volcano Studies in Hawaii - Volcano Studies in Hawaii. May 15-26, 2005. A 3-hour course for Geology and Earth Science students ... Geology, Earth Science, or Science Education major ...

Volcano Studies in Hawaii. May 15-26, 2005. A 3-hour course for Geology and Earth Science students ... Geology, Earth Science, or Science Education major ...

| PowerPoint PPT presentation | free to view

Ownership Types for Safe Programming: Preventing Data Races and Deadlocks PowerPoint PPT Presentation

Ownership Types for Safe Programming: Preventing Data Races and Deadlocks - ... least one access is a write No synchronization to separate accesses Avoiding Data Races Avoiding Data Races Associate locks with shared mutable data Acquire ...

... least one access is a write No synchronization to separate accesses Avoiding Data Races Avoiding Data Races Associate locks with shared mutable data Acquire ...

| PowerPoint PPT presentation | free to download

A Survey of VM PowerPoint PPT Presentation

A Survey of VM - Title: 1 Author: kaneda Last modified by: kaneda Created Date: 10/12/2004 12:17:41 AM Document presentation format:

Title: 1 Author: kaneda Last modified by: kaneda Created Date: 10/12/2004 12:17:41 AM Document presentation format:

| PowerPoint PPT presentation | free to download

Agent-Based%20Acceptability-Oriented%20Computing PowerPoint PPT Presentation

Agent-Based%20Acceptability-Oriented%20Computing - Takes actions to restore system to an acceptable state. Example: ... Re-engineering an entire system for greater reliability may not be practical in ...

Takes actions to restore system to an acceptable state. Example: ... Re-engineering an entire system for greater reliability may not be practical in ...

| PowerPoint PPT presentation | free to download

6. klases dienasgrāmata - 6. klases dienasgrāmata

6. klases dienasgrāmata

| PowerPoint PPT presentation | free to download

Chandrasekhar Boyapati PowerPoint PPT Presentation

Chandrasekhar Boyapati - Ownership Types for Safe Programming Chandrasekhar Boyapati Laboratory for Computer Science Massachusetts Institute of Technology

Ownership Types for Safe Programming Chandrasekhar Boyapati Laboratory for Computer Science Massachusetts Institute of Technology

| PowerPoint PPT presentation | free to download

Ownership Types for Object Encapsulation PowerPoint PPT Presentation

Ownership Types for Object Encapsulation - Title: Preventing Encapsulation errors Subject: POPL 2003 Author: Chandra Boyapati Last modified by: Chandrasekhar Boyapati Created Date: 7/17/2002 10:50:18 PM

Title: Preventing Encapsulation errors Subject: POPL 2003 Author: Chandra Boyapati Last modified by: Chandrasekhar Boyapati Created Date: 7/17/2002 10:50:18 PM

| PowerPoint PPT presentation | free to download

A Parameterized Type System for Race-Free Java Programs - A Parameterized Type System for Race-Free Java ... require almost no programming overhead Outline Motivation ... game server stock quote server ...

A Parameterized Type System for Race-Free Java ... require almost no programming overhead Outline Motivation ... game server stock quote server ...

| PowerPoint PPT presentation | free to download

Ownership Types for Safe Programming: Preventing Data Races and Deadlocks - Thread n holds Lock n, waits for Lock 1. Deadlocks in ... Threads must acquire locks in descending order of lock levels. Lock Level Based Partial Orders ...

Thread n holds Lock n, waits for Lock 1. Deadlocks in ... Threads must acquire locks in descending order of lock levels. Lock Level Based Partial Orders ...

| PowerPoint PPT presentation | free to view

- For years, Adam, who lives in Newton, Massachusetts, has ... Every spring and fall our family cleans out the closets and donates clothes to a local shelter. ...

For years, Adam, who lives in Newton, Massachusetts, has ... Every spring and fall our family cleans out the closets and donates clothes to a local shelter. ...

| PowerPoint PPT presentation | free to download

Hierarchical Pointer Analysis for Distributed Programs PowerPoint PPT Presentation

Hierarchical Pointer Analysis for Distributed Programs - ... the payoff is large Future Work Scientific programs tend to use a lot of array-based data structures Need array index ... amr 7581 Adaptive mesh ...

... the payoff is large Future Work Scientific programs tend to use a lot of array-based data structures Need array index ... amr 7581 Adaptive mesh ...

| PowerPoint PPT presentation | free to view

Compositional Pointer and Escape Analysis for Java Programs - Extract statistics like max salary. Employee Database Example ... { int max = 0; Enumeration enum = database.elements(); while (enum.hasMoreElements ...

Extract statistics like max salary. Employee Database Example ... { int max = 0; Enumeration enum = database.elements(); while (enum.hasMoreElements ...

| PowerPoint PPT presentation | free to download

Multimodality small animal imaging: registration of functional EPR images with MRI anatomy PowerPoint PPT Presentation

Multimodality small animal imaging: registration of functional EPR images with MRI anatomy - 600 times stronger coupling to magnetic field, environment (vs MRI) ... Mouse Image using OX063 spin probe. PC3 human prostate cancer xenograft on nude mouse ...

600 times stronger coupling to magnetic field, environment (vs MRI) ... Mouse Image using OX063 spin probe. PC3 human prostate cancer xenograft on nude mouse ...

| PowerPoint PPT presentation | free to view

Leak Pruning PowerPoint PPT Presentation

Leak Pruning - Michael Bond Kathryn McKinley The University of Texas at Austin

Michael Bond Kathryn McKinley The University of Texas at Austin

| PowerPoint PPT presentation | free to download

DieHard: Probabilistic Memory Safety for Unsafe Programming Languages PowerPoint PPT Presentation

DieHard: Probabilistic Memory Safety for Unsafe Programming Languages - DieHard: Probabilistic Memory Safety for Unsafe Programming Languages Emery Berger University of Massachusetts Amherst Ben Zorn Microsoft Research

DieHard: Probabilistic Memory Safety for Unsafe Programming Languages Emery Berger University of Massachusetts Amherst Ben Zorn Microsoft Research

| PowerPoint PPT presentation | free to download

Recursion Unrolling for Divide and Conquer Programs PowerPoint PPT Presentation

Recursion Unrolling for Divide and Conquer Programs - Use recursion as primary control structure. Base case computation terminates the recursion when ... Increasing the size of the base case alleviates the problem ...

Use recursion as primary control structure. Base case computation terminates the recursion when ... Increasing the size of the base case alleviates the problem ...

| PowerPoint PPT presentation | free to download

Unit 4: Lesson 3 Kids Did It! in Business - Being able to do things like take my mom on a vacation to Walt Disney World, says Marc. Sent 4: It s true that ostriches can t fly high in the air.

Being able to do things like take my mom on a vacation to Walt Disney World, says Marc. Sent 4: It s true that ostriches can t fly high in the air.

| PowerPoint PPT presentation | free to view

The Design and Test of a Pulsed 250 MHz EPR Spectrometer - The Design and Test of a Pulsed 250 MHz EPR Spectrometer

The Design and Test of a Pulsed 250 MHz EPR Spectrometer

| PowerPoint PPT presentation | free to view

Maximizing Intel PowerPoint PPT Presentation

Maximizing Intel - P2OPT_recover_lexical. P1OPT_il0_trace. ... P2OPT_mini_bool_prop. P2OPT_cache_line_size. ... P2OPT_hpo_cost_analyzer. P2OPT_hpo_openmp_gnu.

P2OPT_recover_lexical. P1OPT_il0_trace. ... P2OPT_mini_bool_prop. P2OPT_cache_line_size. ... P2OPT_hpo_cost_analyzer. P2OPT_hpo_openmp_gnu.

| PowerPoint PPT presentation | free to download

Automatically Proving the Correctness of Compiler Optimizations PowerPoint PPT Presentation

Automatically Proving the Correctness of Compiler Optimizations - Title: Slide 1 Author: Sorin Lerner Last modified by: Sorin Lerner Created Date: 2/24/2003 7:58:32 AM Document presentation format: On-screen Show Company

Title: Slide 1 Author: Sorin Lerner Last modified by: Sorin Lerner Created Date: 2/24/2003 7:58:32 AM Document presentation format: On-screen Show Company

| PowerPoint PPT presentation | free to download

A Type System for Preventing Data Races and Deadlocks in the Java Virtual Machine Language PowerPoint PPT Presentation

A Type System for Preventing Data Races and Deadlocks in the Java Virtual Machine Language - A Type System for Preventing Data Races and Deadlocks in the Java Virtual Machine Language Pratibha Permandla Michael Roberson Chandrasekhar Boyapati

A Type System for Preventing Data Races and Deadlocks in the Java Virtual Machine Language Pratibha Permandla Michael Roberson Chandrasekhar Boyapati

| PowerPoint PPT presentation | free to download

A Parameterized Type System for Race-Free Java Programs - Two threads concurrently access same data. At least one access is a write ... Problem: Locking is not enforced! Inadvertent programming errors... Our solution ...

Two threads concurrently access same data. At least one access is a write ... Problem: Locking is not enforced! Inadvertent programming errors... Our solution ...

| PowerPoint PPT presentation | free to download

RADARBOR: Automatic Detection and Repair of Buffer Overflow Attacks PowerPoint PPT Presentation

RADARBOR: Automatic Detection and Repair of Buffer Overflow Attacks - Buffer overflows allow a remote attacker to hijack control ... glibc pointer arithmetic: eax src, esi - dest. mov %esi, ìx. sub êx, ìx. mov êx, íx ...

Buffer overflows allow a remote attacker to hijack control ... glibc pointer arithmetic: eax src, esi - dest. mov %esi, ìx. sub êx, ìx. mov êx, íx ...

| PowerPoint PPT presentation | free to view

Automated Soundness Proofs for Dataflow Analyses and Transformations via Local Rules - Automated Soundness Proofs for Dataflow Analyses and Transformations via Local Rules

Automated Soundness Proofs for Dataflow Analyses and Transformations via Local Rules

| PowerPoint PPT presentation | free to download

Incrementalized Pointer and Escape Analysis - Incrementalized Pointer and Escape Analysis

Incrementalized Pointer and Escape Analysis

| PowerPoint PPT presentation | free to download

A Parameterized Type System for RaceFree Java Programs - Basic type system: Locks, thread-local objects. Object ownership. Type system. Type inference ... Necessary and sufficient to lock its root owner ...

Basic type system: Locks, thread-local objects. Object ownership. Type system. Type inference ... Necessary and sufficient to lock its root owner ...

| PowerPoint PPT presentation | free to view

Algorithmique parall PowerPoint PPT Presentation

Algorithmique parall - Construction et analyse d'algorithmes B. Le Cun. Synth se par transformation S. Rajopadhye ... courante c t appelant == future c t appel . courante. future. Avant ...

Construction et analyse d'algorithmes B. Le Cun. Synth se par transformation S. Rajopadhye ... courante c t appelant == future c t appel . courante. future. Avant ...

| PowerPoint PPT presentation | free to download

Atomicity: A powerful concept for analyzing concurrent software PowerPoint PPT Presentation

Atomicity: A powerful concept for analyzing concurrent software - does program behaves correctly for ... GE Energy's Mike Unum. Race conditions ... Savage et al. 97 (Eraser tool) Cheng et al. 98. Choi et al. 02. int balance; ...

does program behaves correctly for ... GE Energy's Mike Unum. Race conditions ... Savage et al. 97 (Eraser tool) Cheng et al. 98. Choi et al. 02. int balance; ...

| PowerPoint PPT presentation | free to download

Role-Based Exploration of Object-Oriented Programs PowerPoint PPT Presentation

Role-Based Exploration of Object-Oriented Programs - ... Alias ... manages refers to the heap alias to the object. Vector is the class ... Heap Aliases: SalesPerson.salesperson. Non-null Fields: manages ...

... Alias ... manages refers to the heap alias to the object. Vector is the class ... Heap Aliases: SalesPerson.salesperson. Non-null Fields: manages ...

| PowerPoint PPT presentation | free to download

Self-defending software: Automatically patching errors in deployed software PowerPoint PPT Presentation

Self-defending software: Automatically patching errors in deployed software - Self-defending software: Automatically patching errors in deployed software Michael Ernst University of Washington Joint work with: Saman Amarasinghe, Jonathan ...

Self-defending software: Automatically patching errors in deployed software Michael Ernst University of Washington Joint work with: Saman Amarasinghe, Jonathan ...

| PowerPoint PPT presentation | free to download

Eric Roberts PowerPoint PPT Presentation

Eric Roberts - Restoring the Passion, Beauty, Joy and Awe: Making Computing Fun Again Eric Roberts Professor of Computer Science Stanford University University of Auckland

Restoring the Passion, Beauty, Joy and Awe: Making Computing Fun Again Eric Roberts Professor of Computer Science Stanford University University of Auckland

| PowerPoint PPT presentation | free to download

Java Alias Analysis for Online Environments PowerPoint PPT Presentation

Java Alias Analysis for Online Environments - ... type system for coarse alias info. Whole-program Andersen too slow ... Track Car objects if placed in container. 7. Summaries through CFL paths. class ListElem ...

... type system for coarse alias info. Whole-program Andersen too slow ... Track Car objects if placed in container. 7. Summaries through CFL paths. class ListElem ...

| PowerPoint PPT presentation | free to download

Type-Safe Multithreading in Cyclone PowerPoint PPT Presentation

Type-Safe Multithreading in Cyclone - Type-Safe Multithreading in Cyclone Dan Grossman Cornell University TLDI 2003 18 Jan 2003 Cyclone + threads = ? Cyclone is a safe language at the C level Target ...

Type-Safe Multithreading in Cyclone Dan Grossman Cornell University TLDI 2003 18 Jan 2003 Cyclone + threads = ? Cyclone is a safe language at the C level Target ...

| PowerPoint PPT presentation | free to download

DieHard: Probabilistic Memory Safety for Unsafe Programming Languages - Bitmap-based, segregated size classes. Bit represents one object of given size ... randomly probe bitmap for zero-bit (free) Fast: runtime O(1) M=2 ) E[# of ...

Bitmap-based, segregated size classes. Bit represents one object of given size ... randomly probe bitmap for zero-bit (free) Fast: runtime O(1) M=2 ) E[# of ...

| PowerPoint PPT presentation | free to download

Dr. Jay Brockman / University of Notre Dame. Dr. Keit PowerPoint PPT Presentation

Dr. Jay Brockman / University of Notre Dame. Dr. Keit - Dr. Jay Brockman / University of Notre Dame. Dr. Keith Bromley / SPAWAR Systems Center ... Ms. Sara Peterson. Ms. Terry Retherford. Ms. Lori Tsoulas. Ms. ...

Dr. Jay Brockman / University of Notre Dame. Dr. Keith Bromley / SPAWAR Systems Center ... Ms. Sara Peterson. Ms. Terry Retherford. Ms. Lori Tsoulas. Ms. ...

| PowerPoint PPT presentation | free to view

Pipa: A Behavioral Interface Specification Language for AspectJ PowerPoint PPT Presentation

Pipa: A Behavioral Interface Specification Language for AspectJ - Behavioral interface specification language (BISL) tailored to AspectJ. ... Pipa is the first BISL tailored to AspectJ that can be used to specify AspectJ programs. ...

Behavioral interface specification language (BISL) tailored to AspectJ. ... Pipa is the first BISL tailored to AspectJ that can be used to specify AspectJ programs. ...

| PowerPoint PPT presentation | free to view

Design-Driven Compilation PowerPoint PPT Presentation

Design-Driven Compilation - d and t point to different memory blocks. First two calls to merge ... Points-to and region information is (implicitly) part of the interface of each procedure ...

d and t point to different memory blocks. First two calls to merge ... Points-to and region information is (implicitly) part of the interface of each procedure ...

| PowerPoint PPT presentation | free to download

Types for Atomicity in Multithreaded Software PowerPoint PPT Presentation

Types for Atomicity in Multithreaded Software - A race condition occurs if two threads access a shared variable at the same time, ... 'String buffers are safe for use by multiple threads. ...

A race condition occurs if two threads access a shared variable at the same time, ... 'String buffers are safe for use by multiple threads. ...

| PowerPoint PPT presentation | free to download

Rinard PowerPoint PPT Presentations