Verification and Parallelism in Intro CS. Dan Licata Wesleyan University
|
|
- Simon McCoy
- 5 years ago
- Views:
Transcription
1 Verification and Parallelism in Intro CS Dan Licata Wesleyan University
2 Starting in 2011, Carnegie Mellon revised its intro CS curriculum Computational thinking [Wing] Specification and verification Parallelism
3 CMU Intro Courses Fundamentals of Computing Imperative Computation Functional Computation Computer Systems Data Structures and Algorithms Software Construction
4 CMU Intro Courses Fundamentals of Computing Imperative Computation Functional Computation Computer Systems Data Structures and Algorithms Software Construction
5 Course Design Imperative computation (Fa 11): Frank Pfenning, Tom Cortina, William Lovas Functional computation (Sp 11): me, Bob Harper Data structures and algorithms (Fa 12): Guy Blelloch, Margaret Reid-Miller, Kanat Tangwongsan taught and refined by many people since!
6 Status First group of students just graduated Courses are generally well-liked Anecdotally, students seemed stronger than before in some upper-level classes Preliminary studies by Carol Frieze indicate they preserve the women-cs fit at CMU
7 My role Designed Functional Computation Taught Spring 11, Fall 11, Spring 12 Now at Wesleyan Taught Imperative Computation this spring; teaching Imperative next fall and Functional next spring
8 CMU Wesleyan Premier tech school Students admitted to CS ~600 students per year in intro ~150 CS majors per year Liberal arts school, strong in sciences Not ~100 students per year in intro ~30 CS majors per year
9 Imperative has a basic programming prereq CMU Imperative has a math co-req Functional has a math prereq Wesleyan Many students have never programmed before No math pre/co-reqs, though many students have it
10 Hypothesis CMU courses can work elsewhere, with some adaptation to context Wesleyan this spring: 2/3rds of CMU Imperative less programming background shorter semester fewer student hours per week
11 Course Design Imperative Computation Functional Computation Data Structures and Algorithms
12 Course Design parallelism Imperative Computation Functional Computation Data Structures and Algorithms
13 Course Design parallelism Imperative Computation Functional Computation Data Structures and Algorithms verification
14 Trade-offs Breadth vs depth Outward vs inward Motivation vs skills Short- vs long-term Systems vs theory Jump in vs training wheels
15 Trade-offs Breadth vs depth Outward vs inward Motivation vs skills Short- vs long-term Systems vs theory Jump in vs training wheels
16 Objectives computational thinking imperative and functional programming algorithm design and analysis specification and verification
17 Computational Thinking what vs how correctness and safety efficiency parallelism randomness self-reference modularity functions as data ephemerality vs persistence
18 Objectives computational thinking imperative and functional programming algorithm design and analysis specification and verification
19 Imperative C0: teaching language based on C, designed by Frank Pfenning and Rob Arnold functions, variables, loops, arrays, pointers&structs rudimentary interfaces type safe, bounds checked, garbage collected
20 Imperative Then transition to C memory management void* and casting function pointers
21 Imperative
22 Arrays
23 Search
24 Pointers and structs
25 Data structures
26 Functional Standard ML numbers, pairs, lists, trees, datatypes functions as arguments and results signatures, structures, functors exceptions, mutation, IO
27 Functional Why not Ocaml: no parallel implementation (Manticore for SML) Haskell: laziness complicates cost analysis F#: want the ML module system
28 Functional
29 Functional
30 Objectives computational thinking imperative and functional programming algorithm design and analysis specification and verification
31 Imperative ephemeral data structures arrays searching in-place sorting linked lists stacks queues unbounded arrays priority queues hash tables DFS/BFS balanced BSTs tries spanning trees union find
32 Imperative ephemeral data structures arrays searching in-place sorting unbounded arrays priority queues hash tables DFS/BFS linked lists stacks queues
33 Analysis big-o worst case amortized expected case
34 Functional persistent data structures lists trees sorting regular expression matching n-body simulation balanced BSTs game tree search
35 Analysis recurrence relations closed forms log
36 Data structures and algorithms divide and conquer sequences sets and tables randomization dynamic programming BFS/DFS shortest paths treaps leftist heaps k-grams
37 Functional DS&A lists trees sorting n-body simulation game tree search divide and conquer sequences sets and tables randomization BFS/DFS shortest paths treaps dynamic programming leftist heaps
38 Functional DS&A lists trees sorting n-body simulation game tree search divide and conquer sequences sets and tables randomization BFS/DFS shortest paths treaps dynamic programming leftist heaps always have parallelism in mind!
39 Imperative mutable data structures arrays searching in-place sorting linked lists stacks queues unbounded arrays priority queues hash tables DFS/BFS tries spanning trees union find Functional/ DS&A lists trees sorting n-body simulation game tree search divide and conquer sequences sets and tables randomization BFS/DFS shortest paths treaps dynamic programming leftist heaps
40 Imperative mutable data structures arrays searching in-place sorting linked lists stacks queues unbounded arrays priority queues hash tables DFS/BFS tries spanning trees union find Functional/ DS&A lists trees sorting n-body simulation game tree search divide and conquer sequences sets and tables randomization BFS/DFS shortest paths treaps dynamic programming leftist heaps always have verification in mind!
41 Objectives computational thinking imperative and functional programming parallel algorithm design and analysis specification and verification
42 Specification and Verification
43 Specification and Verification Imperative: pre/post-conditions and loop invariants, expressed using boolean-valued functions Functional: mathematical statements about calculational behavior of programs
44 Slogans proof-oriented programming deliberate programming proof-directed debugging
45 Imperative
46 Specifications safety behavioral data structure invariants
47 Safety
48 Behavior
49 Behavior
50 Proofs Loop invariants hold initially Loop invariants preserved by one iteration Loop invariants imply the postcondition
51
52 Preservation of LI A[s] 0 lower i upper A[lower,i) sorted A[lower,i) <= A[i,upper) A[s] <= A[i+1,upper) A[lower,i+1) sorted A[lower,i+1) <= A[i+1,upper)
53 Binary Search
54 Binary Search Assignment: binary search for first occurrence
55 Data structure invs
56 Data structure invs
57 Representation invs
58 Preservation
59 Data structure invs
60 Heaps
61 Data structure invs
62 Contracts
63 Functional
64 Specifications Beyond requires/ensures Specs relating multiple functions Propositions, not booleans
65 Computing by calculation
66 Contextual equivalence
67
68 Props, not bools
69 Props, not bools
70 Props, not bools want to reason logically about existential, not about try-all-splits implementation
71 Props, not bools inner inductive definition of L*
72 Props, not bools
73 Regexp
74 Regexp
75 Regexp termination bug
76 Proof-directed debugging
77 Modularity
78 Representation invs
79 Representation invs
80
81 Verification safety behavioral specifications representation invariants + modularity booleans and propositions contracts
82 Slogans proof-oriented programming deliberate programming proof-directed debugging
83 Parallelism
84 Parallelism recognize the dependencies deterministic parallelism language-based cost model asymptotic analysis
85 Parallelism!= Concurrency parallelism: multiple processors/cores. property of the machine. concurrency: interleaving of threads. property of the application.
86 Parallelism!= Concurrency sequential concurrent serial traditional algorithms traditional OS parallel deterministic parallelism general parallelism
87 Parallel Calculation
88 Parallel Calculation verification is the same as without parallelism
89 Work and span work is usual serial time complexity work <e1,e2> = work(e1) + work(e2) span is parallel time complexity span <e1,e2> = max(span(e1), span(e2))
90 Mergesort
91 Work [7,1,3,6,8,4,2,5]
92 Work [7,1,3,6,8,4,2,5] [7,1,3,6] [8,4,2,5]
93 Work [7,1,3,6,8,4,2,5] [7,1,3,6] [8,4,2,5] [7,1] [3,6] [8,4] [2,5]
94 Work [7,1,3,6,8,4,2,5] [7,1,3,6] [8,4,2,5] [7,1] [3,6] [8,4] [2,5] [7] [1] [3] [6] [8] [4] [2] [5]
95 Work [7,1,3,6,8,4,2,5] [7,1,3,6] [8,4,2,5] [7,1] [3,6] [8,4] [2,5] [7] [1] [3] [6] [8] [4] [2] [5] W(n) = n + 2 W(n/2) is O(n log n)
96 Span [7,1,3,6,8,4,2,5] [7,1,3,6] [8,4,2,5] [7,1] [3,6] [8,4] [2,5] [7] [1] [3] [6] [8] [4] [2] [5]
97 Span [7,1,3,6,8,4,2,5] [7,1,3,6] [8,4,2,5] [7,1] [3,6] [8,4] [2,5] [7] [1] [3] [6] [8] [4] [2] [5]
98 Span [7,1,3,6,8,4,2,5] [7,1,3,6] [8,4,2,5] [7,1] [3,6] [8,4] [2,5] [7] [1] [3] [6] [8] [4] [2] [5] S(n) = n + S(n/2) is O(n)
99 Mergesort on lists: O(n log n) work O(n) span on trees: O(n log n) work O( (log n) 3 ) span
100
101 Design principles keep work low (ideally work-efficient) then minimize span
102 Brent s principle: time to run on p processors is O(max(work/p,span))
103 Sequences
104 n-body simulation quadratic work logarithmic span
105 Barnes-Hut divide space recursively into quadrants, approximating contribution of bodies that are too far away by their center of mass O(n log(n)) work logarithmic span
106 Game tree search Minimax: at each node, work is O(children) span is O(log children) Alpha-beta pruning: work is better but span is linear Jamboree: trade work for span
107 Data structures and algorithms divide and conquer sequences sets and tables randomization dynamic programming BFS/DFS shortest paths graph contractability treaps leftist heaps
108 Implementation Nested parallelism can be realized in Nesl Manticore (SML) Parallel Haskell Cilk TPL (C#/F#) OpenMP
109 Parallelism recognize the dependencies deterministic parallelism language-based cost model asymptotic analysis
110 Objectives computational thinking imperative and functional programming parallel algorithm design and analysis specification and verification
111 Trade-offs Breadth vs depth Outward vs inward Motivation vs skills Short- vs long-term Systems vs theory Jump in vs training wheels
112 CMU Intro Courses Fundamentals of Computing Imperative Computation Functional Computation Computer Systems Data Structures and Algorithms Software Construction
113 Activities lecture lab/recitation homework lots of TA homework help time lots of TA grading time
114 Experiment CMU courses can work elsewhere, with some adaptation to context Wesleyan this spring: 2/3 of CMU Imperative Wesleyan next year: 3/4 of CMU Functional?
COMP 250. Lecture 36 MISC. - beyond COMP final exam comments
COMP 250 Lecture 36 MISC - beyond COMP 250 - final exam comments Dec 5, 2016 1 202 Intro Program MATH (prereqs for many upper level COMP courses) 206 Software Systems 273 Computer Systems 250 Intro Comp
More informationParallel and Sequential Data Structures and Algorithms Lecture (Spring 2012) Lecture 16 Treaps; Augmented BSTs
Lecture 16 Treaps; Augmented BSTs Parallel and Sequential Data Structures and Algorithms, 15-210 (Spring 2012) Lectured by Margaret Reid-Miller 8 March 2012 Today: - More on Treaps - Ordered Sets and Tables
More informationCS/ENGRD 2110 Object-Oriented Programming and Data Structures Spring 2012 Thorsten Joachims. Lecture 25: Review and Open Problems
CS/ENGRD 2110 Object-Oriented Programming and Data Structures Spring 2012 Thorsten Joachims Lecture 25: Review and Open Problems Course Overview Programming Concepts Object-Oriented Programming Interfaces
More information15-853:Algorithms in the Real World. Outline. Parallelism: Lecture 1 Nested parallelism Cost model Parallel techniques and algorithms
:Algorithms in the Real World Parallelism: Lecture 1 Nested parallelism Cost model Parallel techniques and algorithms Page1 Andrew Chien, 2008 2 Outline Concurrency vs. Parallelism Quicksort example Nested
More informationData Structures and Algorithm Analysis in C++
INTERNATIONAL EDITION Data Structures and Algorithm Analysis in C++ FOURTH EDITION Mark A. Weiss Data Structures and Algorithm Analysis in C++, International Edition Table of Contents Cover Title Contents
More information1 Ordered Sets and Tables
Lecture 21 Fun With Trees Parallel and Sequential Data Structures and Algorithms, 15-210 (Fall 2013) Lectured by Danny Sleator Nov 7, 2013 Today: - Ordered Sets - Augmenting Balanced Trees 1 Ordered Sets
More informationCSE 100 Advanced Data Structures
CSE 100 Advanced Data Structures Overview of course requirements Outline of CSE 100 topics Review of trees Helpful hints for team programming Information about computer accounts Page 1 of 25 CSE 100 web
More informationAnnouncements. Last modified: Thu Nov 29 16:15: CS61B: Lecture #40 1
Announcements Lab sections on December 5, 6, and 7 will be organized as follows: Students will work on an exam-like set of exercises covering linked lists, stacks, queues, binary trees, binary search trees.
More informationCourse Review for Finals. Cpt S 223 Fall 2008
Course Review for Finals Cpt S 223 Fall 2008 1 Course Overview Introduction to advanced data structures Algorithmic asymptotic analysis Programming data structures Program design based on performance i.e.,
More informationSchool of Computing and Information Sciences. Course Title: Data Structures Date: 3/30/2010 Course Number: COP 3530 Number of Credits: 3
Course Title: Date: 3/30/2010 Course Number: Number of Credits: 3 Subject Area: Programming Subject Area Coordinator: Tim Downey email: downeyt@cis.fiu.edu Catalog Description: Basic concepts of data organization,
More information1 Binary Search Trees (BSTs)
Lecture 19-20 Binary Search Trees Parallel and Sequential Data Structures and Algorithms, 15-210 (Fall 2013) Lectured by Danny Sleator 31 Oct (Halloween!) and Nov 5 2013 Today: - Binary Search Trees (BST)
More informationLecture Notes on Binary Search Trees
Lecture Notes on Binary Search Trees 15-122: Principles of Imperative Computation Tom Cortina Lecture 15 October 14, 2010 1 Introduction In the previous two lectures we have seen how to exploit the structure
More informationChapter 1 Introduction
Preface xv Chapter 1 Introduction 1.1 What's the Book About? 1 1.2 Mathematics Review 2 1.2.1 Exponents 3 1.2.2 Logarithms 3 1.2.3 Series 4 1.2.4 Modular Arithmetic 5 1.2.5 The P Word 6 1.3 A Brief Introduction
More informationCIS 1.5 Course Objectives. a. Understand the concept of a program (i.e., a computer following a series of instructions)
By the end of this course, students should CIS 1.5 Course Objectives a. Understand the concept of a program (i.e., a computer following a series of instructions) b. Understand the concept of a variable
More informationLecture 15 Binary Search Trees
Lecture 15 Binary Search Trees 15-122: Principles of Imperative Computation (Fall 2017) Frank Pfenning, André Platzer, Rob Simmons, Iliano Cervesato In this lecture, we will continue considering ways to
More informationLecture 4 Searching Arrays
Lecture 4 Searching Arrays 15-122: Principles of Imperative Computation (Spring 2018) Frank Pfenning One of the fundamental and recurring problems in computer science is to find elements in collections,
More informationCS 445: Data Structures Final Examination: Study Guide
CS 445: Data Structures Final Examination: Study Guide Java prerequisites Classes, objects, and references Access modifiers Arguments and parameters Garbage collection Self-test questions: Appendix C Designing
More informationCSE373: Data Structures & Algorithms Lecture 28: Final review and class wrap-up. Nicki Dell Spring 2014
CSE373: Data Structures & Algorithms Lecture 28: Final review and class wrap-up Nicki Dell Spring 2014 Final Exam As also indicated on the web page: Next Tuesday, 2:30-4:20 in this room Cumulative but
More informationCourse Name: B.Tech. 3 th Sem. No of hours allotted to complete the syllabi: 44 Hours No of hours allotted per week: 3 Hours. Planned.
Course Name: B.Tech. 3 th Sem. Subject: Data Structures No of hours allotted to complete the syllabi: 44 Hours No of hours allotted per week: 3 Hours Paper Code: ETCS-209 Topic Details No of Hours Planned
More informationCourse Review. Cpt S 223 Fall 2009
Course Review Cpt S 223 Fall 2009 1 Final Exam When: Tuesday (12/15) 8-10am Where: in class Closed book, closed notes Comprehensive Material for preparation: Lecture slides & class notes Homeworks & program
More informationLecture 6 Sequences II. Parallel and Sequential Data Structures and Algorithms, (Fall 2013) Lectured by Danny Sleator 12 September 2013
Lecture 6 Sequences II Parallel and Sequential Data Structures and Algorithms, 15-210 (Fall 2013) Lectured by Danny Sleator 12 September 2013 Material in this lecture: Today s lecture is about reduction.
More informationCpt S 223 Course Overview. Cpt S 223, Fall 2007 Copyright: Washington State University
Cpt S 223 Course Overview 1 Course Goals Learn about new/advanced data structures Be able to make design choices on the suitable data structure for different application/problem needs Analyze (objectively)
More informationCSE 332: Data Structures & Parallelism Lecture 12: Comparison Sorting. Ruth Anderson Winter 2019
CSE 332: Data Structures & Parallelism Lecture 12: Comparison Sorting Ruth Anderson Winter 2019 Today Sorting Comparison sorting 2/08/2019 2 Introduction to sorting Stacks, queues, priority queues, and
More informationLecture 17 Priority Queues
Lecture 17 Priority Queues 15-122: Principles of Imperative Computation (Spring 2018) Frank Pfenning, Rob Simmons In this lecture we will look at priority queues as an abstract type and discuss several
More informationCSCE 321/3201 Analysis and Design of Algorithms. Prof. Amr Goneid. Fall 2016
CSCE 321/3201 Analysis and Design of Algorithms Prof. Amr Goneid Fall 2016 CSCE 321/3201 Analysis and Design of Algorithms Prof. Amr Goneid Course Resources Instructor: Prof. Amr Goneid E-mail: goneid@aucegypt.edu
More informationLecture Notes on Binary Search Trees
Lecture Notes on Binary Search Trees 15-122: Principles of Imperative Computation Frank Pfenning Lecture 17 1 Introduction In the previous two lectures we have seen how to exploit the structure of binary
More informationLecture Notes on Tries
Lecture Notes on Tries 15-122: Principles of Imperative Computation Thomas Cortina, Frank Pfenning, Rob Simmons, Penny Anderson Lecture 22 June 20, 2014 1 Introduction In the data structures implementing
More informationHash Tables. CS 311 Data Structures and Algorithms Lecture Slides. Wednesday, April 22, Glenn G. Chappell
Hash Tables CS 311 Data Structures and Algorithms Lecture Slides Wednesday, April 22, 2009 Glenn G. Chappell Department of Computer Science University of Alaska Fairbanks CHAPPELLG@member.ams.org 2005
More informationLecture #40: Course Summary
Lecture #40: Course Summary Autograder will start running this weekend. Please use git-bug for problems with submission, your code, the skeleton, or any of our software. Readers and lab assistants needed.
More informationCSCE 210/2201 Data Structures and Algorithms. Prof. Amr Goneid
CSCE 20/220 Data Structures and Algorithms Prof. Amr Goneid Fall 208 / Spring 209 CSCE 20/220 DATA STRUCTURES AND ALGORITHMS Prof. Amr Goneid Instructor: Prof. Amr Goneid E-mail: goneid@aucegypt.edu Office:
More informationCS 361 Data Structures & Algs Lecture 9. Prof. Tom Hayes University of New Mexico
CS 361 Data Structures & Algs Lecture 9 Prof. Tom Hayes University of New Mexico 09-21-2010 1 Today Orderings Searching Sorting Priority Queues & Heaps 2 Order Relation We say a binary relation R is an
More informationCS-301 Data Structure. Tariq Hanif
1. The tree data structure is a Linear data structure Non-linear data structure Graphical data structure Data structure like queue FINALTERM EXAMINATION Spring 2012 CS301- Data Structure 25-07-2012 2.
More informationLecture Notes on Sorting
Lecture Notes on Sorting 15-122: Principles of Imperative Computation Frank Pfenning Lecture 4 September 2, 2010 1 Introduction Algorithms and data structures can be evaluated along a number of dimensions,
More informationSIR C R REDDY COLLEGE OF ENGINEERING
SIR C R REDDY COLLEGE OF ENGINEERING DEPARTMENT OF INFORMATION TECHNOLOGY Course Outcomes II YEAR 1 st SEMESTER Subject: Data Structures (CSE 2.1.1) 1. Describe how arrays, records, linked structures,
More informationLecture Notes on Tries
Lecture Notes on Tries 15-122: Principles of Imperative Computation Thomas Cortina Notes by Frank Pfenning Lecture 24 April 19, 2011 1 Introduction In the data structures implementing associative arrays
More informationCSCI-1200 Data Structures Fall 2018 Lecture 23 Priority Queues II
Review from Lecture 22 CSCI-1200 Data Structures Fall 2018 Lecture 23 Priority Queues II Using STL s for_each, Function Objects, a.k.a., Functors STL s unordered_set (and unordered_map) Hash functions
More informationMidterm II Exam Principles of Imperative Computation Frank Pfenning. March 31, 2011
Midterm II Exam 15-122 Principles of Imperative Computation Frank Pfenning March 31, 2011 Name: Sample Solution Andrew ID: fp Section: Instructions This exam is closed-book with one sheet of notes permitted.
More informationLecture Notes on Priority Queues
Lecture Notes on Priority Queues 15-122: Principles of Imperative Computation Frank Pfenning Lecture 16 October 18, 2012 1 Introduction In this lecture we will look at priority queues as an abstract type
More informationSorting L7.2 Recall linear search for an element in an array, which is O(n). The divide-and-conquer technique of binary search divides the array in ha
Lecture Notes on Sorting 15-122: Principles of Imperative Computation Frank Pfenning Lecture 7 February 1, 2011 1 Introduction We have seen in the last lecture that sorted arrays drastically reduce the
More informationAP Computer Science 4325
4325 Instructional Unit Algorithm Design Techniques -divide-and-conquer The students will be -Decide whether an algorithm -classroom discussion -backtracking able to classify uses divide-and-conquer, -worksheets
More informationLecture Notes on Linear Search
Lecture Notes on Linear Search 15-122: Principles of Imperative Computation Frank Pfenning Lecture 5 January 28, 2014 1 Introduction One of the fundamental and recurring problems in computer science is
More information1 Leaffix Scan, Rootfix Scan, Tree Size, and Depth
Lecture 17 Graph Contraction I: Tree Contraction Parallel and Sequential Data Structures and Algorithms, 15-210 (Spring 2012) Lectured by Kanat Tangwongsan March 20, 2012 In this lecture, we will explore
More informationLecture Notes on Tries
Lecture Notes on Tries 15-122: Principles of Imperative Computation Thomas Cortina, Frank Pfenning, Rob Simmons, Penny Anderson Lecture 21 November 10, 2014 1 Introduction In the data structures implementing
More informationCSC2100-Data Structures
CSC2100-Data Structures Final Remarks Department of Computer Science and Engineering The Chinese University of Hong Kong, Shatin, New Territories Interesting Topics More Graph Algorithms Finding cycles,
More informationCS/SE 2C03 Data Structures & Algorithms Graduate Attributes and Indicators
CS/SE 2C03 Data Structures & Algorithms Graduate Attributes and Indicators George Karakostas January 12, 2015 1 What the students should know and be able to do 1. Students should know and understand (a)
More informationOverview of the ECE Computer Software Curriculum. David O Hallaron Associate Professor of ECE and CS Carnegie Mellon University
Overview of the ECE Computer Software Curriculum David O Hallaron Associate Professor of ECE and CS Carnegie Mellon University The Fundamental Idea of Abstraction Human beings Applications Software systems
More informationLecture 15 Notes Binary Search Trees
Lecture 15 Notes Binary Search Trees 15-122: Principles of Imperative Computation (Spring 2016) Frank Pfenning, André Platzer, Rob Simmons 1 Introduction In this lecture, we will continue considering ways
More information«Computer Science» Requirements for applicants by Innopolis University
«Computer Science» Requirements for applicants by Innopolis University Contents Architecture and Organization... 2 Digital Logic and Digital Systems... 2 Machine Level Representation of Data... 2 Assembly
More informationCSE373: Data Structure & Algorithms Lecture 18: Comparison Sorting. Dan Grossman Fall 2013
CSE373: Data Structure & Algorithms Lecture 18: Comparison Sorting Dan Grossman Fall 2013 Introduction to Sorting Stacks, queues, priority queues, and dictionaries all focused on providing one element
More informationCSCE 210/2201 Data Structures and Algorithms. Prof. Amr Goneid. Fall 2018
CSCE 20/220 Data Structures and Algorithms Prof. Amr Goneid Fall 208 CSCE 20/220 DATA STRUCTURES AND ALGORITHMS Dr. Amr Goneid Course Goals To introduce concepts of Data Models, Data Abstraction and ADTs
More informationLecture 21: Red-Black Trees
15-150 Lecture 21: Red-Black Trees Lecture by Dan Licata April 3, 2012 Last time, we talked about the signature for dictionaries: signature ORDERED = sig type t val compare : t * t -> order signature DICT
More informationVirtual University of Pakistan
Virtual University of Pakistan Department of Computer Science Course Outline Course Instructor Dr. Sohail Aslam E mail Course Code Course Title Credit Hours 3 Prerequisites Objectives Learning Outcomes
More informationYou must include this cover sheet. Either type up the assignment using theory4.tex, or print out this PDF.
15-122 Assignment 4 Page 1 of 12 15-122 : Principles of Imperative Computation Fall 2012 Assignment 4 (Theory Part) Due: Thursday, October 18, 2012 at the beginning of lecture Name: Andrew ID: Recitation:
More informationCSE 373: Data Structures and Algorithms
CSE 373: Data Structures and Algorithms Lecture 19: Comparison Sorting Algorithms Instructor: Lilian de Greef Quarter: Summer 2017 Today Intro to sorting Comparison sorting Insertion Sort Selection Sort
More informationLecture Notes on Memory Layout
Lecture Notes on Memory Layout 15-122: Principles of Imperative Computation Frank Pfenning André Platzer Lecture 11 1 Introduction In order to understand how programs work, we can consider the functions,
More informationCOMP251: Algorithms and Data Structures. Jérôme Waldispühl School of Computer Science McGill University
COMP251: Algorithms and Data Structures Jérôme Waldispühl School of Computer Science McGill University About Me Jérôme Waldispühl Associate Professor of Computer Science I am conducting research in Bioinformatics
More informationCS 4349 Lecture October 18th, 2017
CS 4349 Lecture October 18th, 2017 Main topics for #lecture include #minimum_spanning_trees. Prelude Homework 6 due today. Homework 7 due Wednesday, October 25th. Homework 7 has one normal homework problem.
More information/633 Introduction to Algorithms Lecturer: Michael Dinitz Topic: Sorting lower bound and Linear-time sorting Date: 9/19/17
601.433/633 Introduction to Algorithms Lecturer: Michael Dinitz Topic: Sorting lower bound and Linear-time sorting Date: 9/19/17 5.1 Introduction You should all know a few ways of sorting in O(n log n)
More informationCS152: Programming Languages. Lecture 11 STLC Extensions and Related Topics. Dan Grossman Spring 2011
CS152: Programming Languages Lecture 11 STLC Extensions and Related Topics Dan Grossman Spring 2011 Review e ::= λx. e x e e c v ::= λx. e c τ ::= int τ τ Γ ::= Γ, x : τ (λx. e) v e[v/x] e 1 e 1 e 1 e
More informationLecture 5 Sorting Arrays
Lecture 5 Sorting Arrays 15-122: Principles of Imperative Computation (Spring 2018) Frank Pfenning, Rob Simmons We begin this lecture by discussing how to compare running times of functions in an abstract,
More informationCITS3001. Algorithms, Agents and Artificial Intelligence. Semester 2, 2016
CITS3001 Algorithms, Agents and Artificial Intelligence Semester 2, 2016 Tim French School of Computer Science & Software Eng. The University of Western Australia 2. Review of algorithmic concepts CLRS,
More informationPlease consult the Department of Engineering about the Computer Engineering Emphasis.
COMPUTER SCIENCE Computer science is a dynamically growing discipline. ABOUT THE PROGRAM The Department of Computer Science is committed to providing students with a program that includes the basic fundamentals
More informationCpt S 223 Fall Cpt S 223. School of EECS, WSU
Course Review Cpt S 223 Fall 2012 1 Final Exam When: Monday (December 10) 8 10 AM Where: in class (Sloan 150) Closed book, closed notes Comprehensive Material for preparation: Lecture slides & class notes
More informationCS2013 Course Syllabus Spring 2018 Lecture: Mon/Wed 2:00 P.M. 2:50 P.M. SH C259 Lab: Mon/Wed 2:50 P.M. 4:00 P.M. SH C259
CS2013 Course Syllabus Spring 2018 Lecture: Mon/Wed 2:00 P.M. 2:50 P.M. SH C259 Lab: Mon/Wed 2:50 P.M. 4:00 P.M. SH C259 Instructor Course name Credits Contact hours Text book Course Information Course
More informationCMSC132, Practice Questions
CMSC132, Practice Questions Notice the final exam can include material not covered by the practice questions. You should practice beyond what is covered in this document. Although solutions will not be
More informationLecture 17 Notes Priority Queues
Lecture 17 Notes Priority Queues 15-122: Principles of Imperative Computation (Summer 1 2015) Frank Pfenning, Rob Simmons 1 Introduction In this lecture we will look at priority queues as an abstract type
More informationCourse Review. Cpt S 223 Fall 2010
Course Review Cpt S 223 Fall 2010 1 Final Exam When: Thursday (12/16) 8-10am Where: in class Closed book, closed notes Comprehensive Material for preparation: Lecture slides & class notes Homeworks & program
More informationLecture 11 Unbounded Arrays
Lecture 11 Unbounded Arrays 15-122: Principles of Imperative Computation (Spring 2018) Rob Simmons, Frank Pfenning Arrays have efficient O(1) access to elements given an index, but their size is set at
More informationDATA STRUCTURES AND PROBLEM SOLVING USING JAVA
DATA STRUCTURES AND PROBLEM SOLVING USING JAVA Second Edition MARK ALLEN WEISS Florida International University Addison Wesley Boston San Francisco New York London Toronto Sydney Tokyo Singapore Madrid
More informationReview for Midterm Exam
Review for Midterm Exam 1 Policies and Overview midterm exam policies overview of problems, algorithms, data structures overview of discrete mathematics 2 Sample Questions on the cost functions of algorithms
More informationLecture 7 Quicksort : Principles of Imperative Computation (Spring 2018) Frank Pfenning
Lecture 7 Quicksort 15-122: Principles of Imperative Computation (Spring 2018) Frank Pfenning In this lecture we consider two related algorithms for sorting that achieve a much better running time than
More informationPrinciples of Software Construction: Objects, Design, and Concurrency. The Perils of Concurrency Can't live with it. Cant live without it.
Principles of Software Construction: Objects, Design, and Concurrency The Perils of Concurrency Can't live with it. Cant live without it. Spring 2014 Charlie Garrod Christian Kästner School of Computer
More informationSystems I: Programming Abstractions
Systems I: Programming Abstractions Course Philosophy: The goal of this course is to help students become facile with foundational concepts in programming, including experience with algorithmic problem
More informationMIPS Assembly Recursion: Fibonacci, Binary Search, Mergesort
MIPS Assembly Recursion: Fibonacci, Binary Search, Mergesort CptS 260 Intro to Computer Architecture Week 7.2 Wed 2013/10/02 A Computer Scientist s Perspective of Recursion Don t worry about what a function
More informationECE 250 Algorithms and Data Structures
ECE 250 Algorithms and Data Structures Sections 001 and 002 FINAL EXAMINATION Douglas Wilhelm Harder dwharder@uwaterloo.ca EIT 4018 x37023 2015-4-15T16:00/18:30 Rooms: PAC 6, 7 IF YOU ARE NOT ENROLLED
More informationCSCI-1200 Data Structures Spring 2016 Lecture 22 Priority Queues, part II (& Functors)
CSCI-1200 Data Structures Spring 2016 Lecture 22 Priority Queues, part II (& Functors) Review from Lecture 21 What s a Priority Queue? Definition of a Binary Heap: A binary tree where: The value at each
More informationLecture Notes on Binary Search Trees
Lecture Notes on Binary Search Trees 15-122: Principles of Imperative Computation Frank Pfenning André Platzer Lecture 16 March 17, 2015 1 Introduction In this lecture, we will continue considering ways
More informationLecture Notes for Advanced Algorithms
Lecture Notes for Advanced Algorithms Prof. Bernard Moret September 29, 2011 Notes prepared by Blanc, Eberle, and Jonnalagedda. 1 Average Case Analysis 1.1 Reminders on quicksort and tree sort We start
More informationWho are we? Andre Platzer Out of town the first week GHC TAs Alex Crichton, senior in CS and ECE Ian Gillis, senior in CS
15-411 Compilers Who are we? Andre Platzer Out of town the first week GHC 9103 TAs Alex Crichton, senior in CS and ECE Ian Gillis, senior in CS Logistics symbolaris.com/course/compiler12.html symbolaris.com
More informationParallel and Sequential Data Structures and Algorithms Lecture (Spring 2012) Lecture 25 Suffix Arrays
Lecture 25 Suffix Arrays Parallel and Sequential Data Structures and Algorithms, 15-210 (Spring 2012) Lectured by Kanat Tangwongsan April 17, 2012 Material in this lecture: The main theme of this lecture
More informationBinary Search Trees Treesort
Treesort CS 311 Data Structures and Algorithms Lecture Slides Friday, November 13, 2009 Glenn G. Chappell Department of Computer Science University of Alaska Fairbanks CHAPPELLG@member.ams.org 2005 2009
More informationW4231: Analysis of Algorithms
W4231: Analysis of Algorithms From Binomial Heaps to Fibonacci Heaps Fibonacci Heaps 10/7/1999 We first prove that in Binomial Heaps insert and find-min take amortized O(1) time, while still having insert,
More information9. Heap : Priority Queue
9. Heap : Priority Queue Where We Are? Array Linked list Stack Queue Tree Binary Tree Heap Binary Search Tree Priority Queue Queue Queue operation is based on the order of arrivals of elements FIFO(First-In
More informationCSE373: Data Structures & Algorithms Lecture 5: Dictionary ADTs; Binary Trees. Linda Shapiro Spring 2016
CSE373: Data Structures & lgorithms Lecture 5: Dictionary DTs; Binary Trees Linda Shapiro Spring 2016 Today s Outline nnouncements - Homework 1 due TODY at 11:59 pm - Homework 2 out (paper and pencil assignment)
More informationLecture 12 Hash Tables
Lecture 12 Hash Tables 15-122: Principles of Imperative Computation (Spring 2018) Frank Pfenning, Rob Simmons Dictionaries, also called associative arrays as well as maps, are data structures that are
More informationDesign and Analysis of Algorithms. Comp 271. Mordecai Golin. Department of Computer Science, HKUST
Design and Analysis of Algorithms Revised 05/02/03 Comp 271 Mordecai Golin Department of Computer Science, HKUST Information about the Lecturer Dr. Mordecai Golin Office: 3559 Email: golin@cs.ust.hk http://www.cs.ust.hk/
More informationVisualizing Data Structures. Dan Petrisko
Visualizing Data Structures Dan Petrisko What is an Algorithm? A method of completing a function by proceeding from some initial state and input, proceeding through a finite number of well defined steps,
More informationLecture 6: Sequential Sorting
15-150 Lecture 6: Sequential Sorting Lecture by Dan Licata February 2, 2012 Today s lecture is about sorting. Along the way, we ll learn about divide and conquer algorithms, the tree method, and complete
More informationFINALTERM EXAMINATION Fall 2009 CS301- Data Structures Question No: 1 ( Marks: 1 ) - Please choose one The data of the problem is of 2GB and the hard
FINALTERM EXAMINATION Fall 2009 CS301- Data Structures Question No: 1 The data of the problem is of 2GB and the hard disk is of 1GB capacity, to solve this problem we should Use better data structures
More informationTotal Score /15 /20 /30 /10 /5 /20 Grader
NAME: NETID: CS2110 Fall 2009 Prelim 2 November 17, 2009 Write your name and Cornell netid. There are 6 questions on 8 numbered pages. Check now that you have all the pages. Write your answers in the boxes
More information9. Which situation is true regarding a cascading cut that produces c trees for a Fibonacci heap?
1 1 Name Test 1 - Closed Book Student ID # Multiple Choice. Write your answer to the LEFT of each problem. points each 1. During which operation on a leftist heap may subtree swaps be needed? A. DECREASE-KEY
More informationMidterm I Exam Principles of Imperative Computation Frank Pfenning, Tom Cortina, William Lovas. September 30, 2010
Midterm I Exam 15-122 Principles of Imperative Computation Frank Pfenning, Tom Cortina, William Lovas September 30, 2010 Name: Andrew ID: Instructions This exam is closed-book with one sheet of notes permitted.
More informationHeaps, stacks, queues
Heaps, stacks, queues Dan S. Wallach and Mack Joyner, Rice University Copyright 216 Dan Wallach, All Rights Reserved Where was Prof. Wallach on Tuesday? Two hours of scintillating Congressional testimony:
More informationCS 206 Introduction to Computer Science II
CS 206 Introduction to Computer Science II 01 / 21 / 2015 Instructor: Michael Eckmann Today s Topics Introduction of myself Review the syllabus List of Topics we'll cover Start Java review Who is your
More informationYou must include this cover sheet. Either type up the assignment using theory3.tex, or print out this PDF.
15-122 Assignment 3 Page 1 of 12 15-122 : Principles of Imperative Computation Fall 2012 Assignment 3 (Theory Part) Due: Thursday, October 4 at the beginning of lecture. Name: Andrew ID: Recitation: The
More informationMore PRAM Algorithms. Techniques Covered
More PRAM Algorithms Arvind Krishnamurthy Fall 24 Analysis technique: Brent s scheduling lemma Techniques Covered Parallel algorithm is simply characterized by W(n) and S(n) Parallel techniques: Scans
More informationCourse Review for. Cpt S 223 Fall Cpt S 223. School of EECS, WSU
Course Review for Midterm Exam 1 Cpt S 223 Fall 2011 1 Midterm Exam 1 When: Friday (10/14) 1:10-2pm Where: in class Closed book, closed notes Comprehensive Material for preparation: Lecture slides & in-class
More informationExercise 1 : B-Trees [ =17pts]
CS - Fall 003 Assignment Due : Thu November 7 (written part), Tue Dec 0 (programming part) Exercise : B-Trees [+++3+=7pts] 3 0 3 3 3 0 Figure : B-Tree. Consider the B-Tree of figure.. What are the values
More informationTreaps. 1 Binary Search Trees (BSTs) CSE341T/CSE549T 11/05/2014. Lecture 19
CSE34T/CSE549T /05/04 Lecture 9 Treaps Binary Search Trees (BSTs) Search trees are tree-based data structures that can be used to store and search for items that satisfy a total order. There are many types
More informationData Structures and Algorithms
CS 3114 Data Structures and Algorithms 1 Trinity College Library Univ. of Dublin Instructors and Course Information 2 William D McQuain Email: Office: Office Hours: wmcquain@cs.vt.edu 634 McBryde Hall
More information