introduction
play

Introduction 1 INTRODUCTION Motivation - Graphs appear - PowerPoint PPT Presentation

Apr 23, 2023 •333 likes •596 views

GIRAPHE Dianya Jiang Minh Truong Tongyun Wu Vince Pallone Yoki Yuan ...a graph language Introduction 1 INTRODUCTION Motivation - Graphs appear naturally in many disciplines - Solutions to graph problems can be extremely useful -

  1. GIRAPHE Dianya Jiang Minh Truong Tongyun Wu Vince Pallone Yoki Yuan ...a graph language

  2. Introduction

  3. 1 INTRODUCTION Motivation - Graphs appear naturally in many disciplines - Solutions to graph problems can be extremely useful - Writing your own graph library can be difficult and waste time - Aiming for a language that can truly utilize and manipulate graphs with ease

  4. 1 INTRODUCTION Summary - Mathematical style without the object-oriented fuss - Native types for list, map, node, and graph built in - Compiles to LLVM IR for cross-platform functionality - Topological sort for scheduling and dependency checking - Search graphs and find shortest path easily

  5. Syntax

  6. 2 SYNTAX Comments Operators Keywords if else while main /* return int bool + - * / % < > Multiple line == != <= >= = ! float string list comment && || hashmap node edge */ graph null void

  7. 2 SYNTAX Conditionals Functions Loops int add(int a, int b) { if ( x == y ) { int i; return a + b; doSomething(); i = 0; } } while( i < 3 ) { doSomething(i); void endl() { i++; print(“\n”); if ( i <= j ) { } } doSomething(); }else{ int main(){ doSomethingElse(); int x, y; } x = 4; y = 12 print( add( x, y ) ); return 0; }

  8. 2 SYNTAX List Map int main(){ int main(){ list < int > stuff = [4]; hashmap < int > hash = int i = 0; {“cat” : 2, “dog” : 4}; while (i < 10) { hash.put(“mouse”, 5); stuff.add( stuff, i ); print( hash.get( “mouse” ); } } print( stuff ); }

  9. Implementation

  10. 3 IMPLEMENTATION Planning - Define exciting features we hope to implement - Identify roles and distribute initial workloads - Meet often to stay on the same page - Create rough deadlines and push back unnecessary features - Refine language usage and functionality

  11. 3 IMPLEMENTATION Roles - Dianya Jiang: Project planning, Test case, Scanner, Parser - Minh Truong: Scanner, Linking C Libraries, Code generation - Tongyun Wu: AST, Parser, Code generation, Writing C Libraries - Vince Pallone: Scanner, Linking C Libraries, Code generation - Yoki Yuan: Semantics, Parser, Sast, Checker, Writing C Library

  12. 3 IMPLEMENTATION Tools - Slack: Group communication - GitHub: Public code repo and version control kept us sane - Ubuntu: Consistent operating system for testing - VirtualBox: Software for running virtual environment - LLVM: The only reason we have a language

  13. 3 IMPLEMENTATION Architecture

  14. 3 IMPLEMENTATION Abstract Syntax Tree

  15. 3 IMPLEMENTATION Lessons Learned - Start early with something small that works - Use branches and add only one feature at a time - Start with tests, then make them work - Aim for a small set of highly focused features

  16. Features

  17. 4 FEATURES C Library - List and Map - List - Initialize List, Add, Get, Set, Contains, Remove Data, Push, Get Size, Print List - *Special: Concat List -> [1,2,3] + [4,5,6] = [1,2,3,4,5,6] - Remove Data -> [1,2,3,4,5] - 5 = [1,2,3,4] - HashMap - Put, Get, Contains, Remove, Keys,

  18. 4 FEATURES C Library - Queue and Minheap - Queue - Initialize, Push Back, Pop Front, get Size, print - Minheap - Initialize, Swap, Compare, Heapify, Insert, Get Min Value, Decrease Priority, Print

  19. 4 FEATURES C Library - Node and Edge - Node - Create Node , Print Node, Get Node Value,* Set Visited, * Get Visited - Add Node, Has Node, Remove Node - Edge - Create Edge, Print Edge, Get Edge Weight - Add Edge, Contains Edge, Remove Edge

  20. 4 FEATURES C Library - Graph - Graph - Graph Define: a->1$b->3$c + b->2$d + c -> 5$e - Graph Manipulation: Link Graph, Split Graph, Copy Graph, Get All Nodes, Set All Node Unvisited - * Cool Functions - Breadth First Search, Depth First Search - Dijkstra Algorithm

  21. Node & Edge Functions 4 FEATURES

  22. Graph Link 4 FEATURES + = +

  23. 4 FEATURES Topological Sort

  24. 4 FEATURES Filter - Find specific types of locations by using our filter - Will generate out the shortest path between the source and those specific locations

  26. THANK YOU

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

INTRODUCTION INTRODUCTION INTRODUCTION INTRODUCTION INTRODUCTION INTRODUCTION INTRODUCTION

INTRODUCTION INTRODUCTION INTRODUCTION INTRODUCTION INTRODUCTION INTRODUCTION INTRODUCTION

TRAINING COURSE ON SOCIAL PROTECTION &amp; FORMALIZATION TRINIDAD AND TOBAGO MARCH 15, 2017 INTRODUCTION INTRODUCTION INTRODUCTION INTRODUCTION INTRODUCTION INTRODUCTION INTRODUCTION INTRODUCTION Design of the NIS Assistance from the

547 views • 23 slides
INTRODUCTION Introduction 2/42 INTRODUCTION Alternations I am giving bread to the

INTRODUCTION Introduction 2/42 INTRODUCTION Alternations I am giving bread to the

Patterns of variation in the expression of case and agreement Andrs Brny Leiden University Centre for Linguistics 9 November 2019, BaSIS Workshop a.barany@hum.leidenuniv.nl INTRODUCTION Introduction 2/42 INTRODUCTION

1.37k views • 42 slides
Introduction Introduction Introduction Introduction Outline Motivation Failures

Introduction Introduction Introduction Introduction Outline Motivation Failures

Introduction Introduction Introduction Introduction Outline Motivation Failures Definition and concepts Process and product properties Principles SE Approaches Motivation Software and the economy The economies of

1.03k views • 49 slides
Introduction Introduction Introduction Nationwide Cause for Concern 1

Introduction Introduction Introduction Nationwide Cause for Concern 1

Introduction Introduction Introduction Nationwide Cause for Concern 1 https://www.cdc.gov/std/stats17/infographic.htm Introduction Epidemiology in Western Colorado CPHE Surveillance Data Report, May 2018 Chlamydia Epidemiology in Western

977 views • 39 slides
DAQ introduction Purpose of this talk : (1) Introduction for those who have not been in every

DAQ introduction Purpose of this talk : (1) Introduction for those who have not been in every

DAQ introduction Purpose of this talk : (1) Introduction for those who have not been in every meeting (2) Some ideas of diagrams for section 7.1 (Introduction) of TP. Giles Barr 25 Jan 2018, Pembroke College On DUNE, the reality is there is a

474 views • 10 slides
INTRODUCTION cf. Schneider, Chapter 1 INTRODUCTION THEY ARE OUT TO GET YOU INTRODUCTION WHAT

INTRODUCTION cf. Schneider, Chapter 1 INTRODUCTION THEY ARE OUT TO GET YOU INTRODUCTION WHAT

ADVANCED COMPUTER SECURITY INTRODUCTION cf. Schneider, Chapter 1 INTRODUCTION THEY ARE OUT TO GET YOU INTRODUCTION WHAT IS SECURITY? A systems security policies describe What the system is supposed to do Store and provide access

479 views • 16 slides
Overview Introduction to SMIL Introduction to W3C and XML Introduction to SMIL

Overview Introduction to SMIL Introduction to W3C and XML Introduction to SMIL

Overview Introduction to SMIL Introduction to W3C and XML Introduction to SMIL Writing a SMIL file Adding Media Objects Martin Halvey Clipping media files January 2008 Timing and Synchronising Layout World Wide

387 views • 14 slides
14 Introduction Introduction Bad guys can put malware into Example: hosts

14 Introduction Introduction Bad guys can put malware into Example: hosts

Introduction Introduction source Encapsulation ISO/OSI reference model message M application segment H t H t M transport network datagram H n H n H t M presentation: allow applications to frame link H l H n H t M interpret

583 views • 4 slides
Previous Lecture Introduction to SMIL 2 Introduction to W3C and XML Introduction to SMIL

Previous Lecture Introduction to SMIL 2 Introduction to W3C and XML Introduction to SMIL

Previous Lecture Introduction to SMIL 2 Introduction to W3C and XML Introduction to SMIL Writing a SMIL file Adding Media Objects Martin Halvey Clipping media files January 2008 Timing and Synchronising Layout

322 views • 8 slides
Lecture 1 Andreas Habegger Introduction Zynq Introduction Zynq Introduction Zynq PS vs. PL

Lecture 1 Andreas Habegger Introduction Zynq Introduction Zynq Introduction Zynq PS vs. PL

Introduction Zynq Lecture 1 Andreas Habegger Introduction Zynq Introduction Zynq Introduction Zynq PS vs. PL Processing System Processor Peripherals Data Buses AXI Bus Conclusion BTE5380 - Embedded Systems Octobre 2014 Andreas Habegger

1.81k views • 30 slides
2018.06 01 SMILE5 Introduction S E 5 02 Alpha Cloud M I L 03 Company Introduction 04

2018.06 01 SMILE5 Introduction S E 5 02 Alpha Cloud M I L 03 Company Introduction 04

2018.06 01 SMILE5 Introduction S E 5 02 Alpha Cloud M I L 03 Company Introduction 04 Project References S E 5 PART.1 SMILE5 Introduction M I L Introduction STORION-SMILE5 Residential Energy Storage System Inverter 5kW Output Input

1.06k views • 25 slides
Introduction to CICS Course introduction Course introduction What is CICS? What is an

Introduction to CICS Course introduction Course introduction What is CICS? What is an

Introduction to CICS Course introduction Course introduction What is CICS? What is an application server? Why use an application server? Course introduction Services provided by CICS How CICS applications are defined Scaling CICS to meet

1.84k views • 146 slides
Network Visualization Introduction Presented by Shahed Introduction Introduction Basic

Network Visualization Introduction Presented by Shahed Introduction Introduction Basic

Network Visualization Introduction Presented by Shahed Introduction Introduction Basic building blocks Node Links (relationship between nodes) Spatial information Network data

584 views • 9 slides
Introduction Introduction (1) Main argument of the paper: universities are not only

Introduction Introduction (1) Main argument of the paper: universities are not only

Le jugement des pairs comme outil de management des universits Peer-review as a management tool Christine Musselin (CSO, Sciences Po et CNRS) Avril 2013, Lirrsistible ascension du capitalisme acadmique Introduction Introduction (1)

590 views • 28 slides
Introduction Introduction to storage and to storage and filesystems filesystems Introduction

Introduction Introduction to storage and to storage and filesystems filesystems Introduction

Moreno Baricevic Gilberto Daz Axel Kohlmeyer Stefano Cozzini ULA ICTP CNR-IOM DEMOCRITOS Merida, VENEZUELA Trieste, ITALY Trieste, ITALY Introduction Introduction to storage and to storage and filesystems filesystems Introduction

1.19k views • 51 slides
JABLOTRON JA-100 introduction November 2011 Introduction Todays goals First introduction of

JABLOTRON JA-100 introduction November 2011 Introduction Todays goals First introduction of

JABLOTRON JA-100 introduction November 2011 Introduction Todays goals First introduction of the brand new JA-100 alarm system Visions Basic architecture System components Setting Help us with final validations You are the FIRST ones

1.69k views • 111 slides
Search Algorithms Mohamad Alsabbagh Department of Electrical Engineering and Computer Science

Search Algorithms Mohamad Alsabbagh Department of Electrical Engineering and Computer Science

Concurrent Depth-First Search Algorithms Mohamad Alsabbagh Department of Electrical Engineering and Computer Science York University, Toronto October 8, 2015 Problems Tarjans algorithms solve Tarjan's Algorithms solve three related

521 views • 13 slides
Maximizing Instructionally-Relevant Information from Interim Assessments Scott Marion, Center for

Maximizing Instructionally-Relevant Information from Interim Assessments Scott Marion, Center for

Maximizing Instructionally-Relevant Information from Interim Assessments Scott Marion, Center for Assessment Symposium on Learning-Focused Balanced Assessment Systems Presented at CCSSOs National Conference on Student Assessment June 28,

472 views • 20 slides
World Balanced Deep knowledge and long Innovative and dynamic experience management A team of

World Balanced Deep knowledge and long Innovative and dynamic experience management A team of

World Balanced Deep knowledge and long Innovative and dynamic experience management A team of professionals with a high degree of Zeus Capital SICAV works with managers and competence and a specific ability to select advisors of high

224 views • 10 slides
Water depth and water quality in Lake Apopka KARL HAVENS DIRECTOR, FLORIDA SEA GRANT

Water depth and water quality in Lake Apopka KARL HAVENS DIRECTOR, FLORIDA SEA GRANT

Water depth and water quality in Lake Apopka KARL HAVENS DIRECTOR, FLORIDA SEA GRANT PROFESSOR, UNIVERSITY OF FLORIDA / IFAS HARRIS CHAIN OF LAKES RESTORATION COUNCIL, SEPT 2018 1999-2016 SJRWMD data from Harris Chain Intent: determine

425 views • 21 slides
Combining Partial Order Reduction with Bounded Model Checking CPA 2009 Jos e Vander Meulen

Combining Partial Order Reduction with Bounded Model Checking CPA 2009 Jos e Vander Meulen

Combining Partial Order Reduction with Bounded Model Checking CPA 2009 Jos e Vander Meulen and Charles Pecheur UC Louvain p. 1 A Concurrent System Set of asynchronous and interacting processes Producer 1 Consumer 1 Producer 2

510 views • 22 slides
Graphics Pipeline (Slides courtesy of Tamar Shinar) Graphics Pipeline ff Transform ff

Graphics Pipeline (Slides courtesy of Tamar Shinar) Graphics Pipeline ff Transform ff

Graphics Pipeline (Slides courtesy of Tamar Shinar) Graphics Pipeline ff Transform ff Modelview Transformation Object World Eye coordinates coordinates coordinates Model View Project ff Projection: map 3D scene to 2D image

767 views • 21 slides
Software practical final presentation Niels Buwen David Sprengel Vulkan vs OpenGL Conceptual

Software practical final presentation Niels Buwen David Sprengel Vulkan vs OpenGL Conceptual

Software practical final presentation Niels Buwen David Sprengel Vulkan vs OpenGL Conceptual differences and performance 23.04.2018 2 / 24 'Vulkan is not well-suited to simple test applications; neither is it a suitable aid for teaching

526 views • 24 slides
4346 E Mercer Way Valentin Residence July 16 th , 2018 File No. CAO17-003 Valentin Critical

4346 E Mercer Way Valentin Residence July 16 th , 2018 File No. CAO17-003 Valentin Critical

4346 E Mercer Way Valentin Residence July 16 th , 2018 File No. CAO17-003 Valentin Critical Areas Determination ADDRESS ESA RECOMMENDATIONS TO CRITICAL AREAS 4346 E Mercer Way, Mercer Island, WA 98040 REPORT June 8 th , 2018 King County

674 views • 30 slides

More recommend