pl techniques for 3d printing
play

PL Techniques for 3D Printing Zachary Chandakana Anat Dan Tatlock - PowerPoint PPT Presentation

Nov 27, 2023 •321 likes •824 views

PL Techniques for 3D Printing Zachary Chandakana Anat Dan Tatlock Nandi Caspi Grossman Compilers generate our environment. Computerized Manufacturing CNC Computerized Manufacturing CNC Mold Making Robotic Assembly Computerized

  1. PL Techniques for 3D Printing Zachary Chandakana Anat Dan Tatlock Nandi Caspi Grossman

  2. Compilers generate our environment.

  7. Computerized Manufacturing CNC

  8. Computerized Manufacturing CNC Mold Making Robotic Assembly

  9. Computerized Manufacturing

  10. Computerized Manufacturing CAM Machine Instructions

  11. Computerized Manufacturing CAD IR CAM Machine Instructions

  12. Computerized Manufacturing CAD IR CAM Machine Instructions

  13. CAD/CAM : Idea → Part CAD CAM

  14. CAD/CAM : Idea → Part Where is the PL theory? - semantics - equivalence - refinement CAD - approximation CAM

  15. CAD/CAM : Idea → Part Where is the PL theory? - semantics - equivalence - refinement CAD - approximation CAM Already worthy challenge, but recently…

  16. Democratized Manufacturing

  17. 3DP: PL Opportunity 3D Printing Background Challenge: CAD Synthesis Challenge: Slicing Framework

  18. Idea

  19. CAD STL 1. Design Idea

  20. CAD STL 1. Design Idea 2. Slice G-code

  21. CAD STL 1. Design Idea 2. Slice 3. Print Part G-code

  22. CAD STL 1. Design Idea 2. Slice 4. OK? 3. Print Part G-code

  23. CAD STL 1. Design Idea 2. Slice 4. OK? iterate 3. Print Part G-code

  24. 3DP: PL Opportunity 3D Printing Background Challenge: CAD Synthesis Challenge: Slicing Framework

  25. Challenge: CAD Synthesis : CAD → STL : STL → G-code : G-code → Part

  26. Challenge: CAD Synthesis : Idea → CAD ??? : CAD → STL : STL → G-code : G-code → Part

  27. Today: Crowdsource Designs : Internet → Idea → STL

  28. Today: Crowdsource Designs : Internet → Idea → STL + Easy

  29. Today: Crowdsource Designs : Internet → Idea → option STL + Easy - Incomplete

  30. Today: Crowdsource Designs : Internet → Idea → option STL + Easy - Incomplete - Hard to modify

  31. Today: Crowdsource Designs : Internet → Idea → option STL Goal For idea i , even when: ( , i) = None there often exists similar i’ such that: ( , i’) = Some s So: adapt “almost” design s to a design for i !

  32. Example “Almost” Designs Rotated Hex Hole Broken Chicken Legs

  33. Inferring CAD to fix hex holder

  34. Inferring CAD to fix hex holder Bent wrench not seating parallel :(

  35. Inferring CAD to fix hex holder Bent wrench not seating parallel :( Simple mesh editing broke model.

  36. Inferring CAD to fix hex holder

  37. Inferring CAD to fix hex holder Infer (manual)

  38. Inferring CAD to fix hex holder Infer (manual) Tweak (small)

  39. Inferring CAD to fix hex holder Infer (manual) Tweak (small) Print (success)

  40. Inferring CAD to fix chicken Legs too thing => broke! Expanding leg in STL tedious.

  41. Inferring CAD to fix chicken Infer (manual) Tweak (small) Print (success)

  42. Challenge: CAD Synthesis decompiler : Internet → Idea → CAD : CAD → STL : STL → G-code : G-code → Part

  43. 3DP: PL Opportunity 3D Printing Background Challenge: CAD Synthesis Challenge: Slicing Framework

  44. Exploring Slicing Strategies Partitioning [Chopper 12] Curved Layer FDM [CAD 08] Parallelization Multi-material [OpenFab 13] Approx [Wireprint 14]

  45. 3DP Slicing Framework Today: roll your own framework Goal: LLVM / CIL for 3D Printing Should enable exploring many new strategies: - error compensation - G-code synthesis with Z3 - parallelizing peepholes - cross-part constraint - …

  46. 3DP: PL Opportunity Solid foundation: Goals: compiler theory fab theory - - fast solvers efficiency - - diverse synthesis self-stabilize - - num. methods tools - -

  47. Compilers generate our environment.

  48. Compilers generate our environment. PL folk can develop the tools to make it better.

  49. Thank You! Compilers generate our environment. PL folk can develop the tools to make it better.

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

The pad printing process Pad printing The origins of the pad printing process are rooted in the

The pad printing process Pad printing The origins of the pad printing process are rooted in the

During the past twenty years, colour absorption. The pad What is pad printing? pad printing machines Introduction mark on any product. a high-quality decoration or marking process that provides printing process is a direct and because it is

469 views • 7 slides
Product presentation est. 1993 INTRODUCTION TABLE OF CONTENTS About us Printing techniques and

Product presentation est. 1993 INTRODUCTION TABLE OF CONTENTS About us Printing techniques and

Product presentation est. 1993 INTRODUCTION TABLE OF CONTENTS About us Printing techniques and materials we use At Velprom, we know that an idea and its realization Print are not enough to sell a product it also needs an eye-

456 views • 17 slides
What is 3D Printing? 3D Printing: Additive Manufacturing The 3D printing technology is based

What is 3D Printing? 3D Printing: Additive Manufacturing The 3D printing technology is based

11/07/2018 The impacts of 3D printing implementation on business performance: Moderation effect of knowledge management competences Di Li, Birmingham City University, Di.Li@bcu.ac.uk Ruoqi Geng, Cardiff University, GengR@cardiff.ac.uk John

639 views • 8 slides
Risograph Printing Today Im going to be discussing the technique of Risograph Printing, which

Risograph Printing Today Im going to be discussing the technique of Risograph Printing, which

Kate Wixley , 31233 Risograph Printing Today Im going to be discussing the technique of Risograph Printing, which is used by many designers and art students to achieve an effect similar to screen printing through using a printer. I thought

217 views • 4 slides
PRINTING COMES TO EUROPE Typography With the migration of woodblock printing from Asia to

PRINTING COMES TO EUROPE Typography With the migration of woodblock printing from Asia to

PRINTING COMES TO EUROPE Typography With the migration of woodblock printing from Asia to Europe, a new form of printing developed with movable type known as Typography . During the Middle Ages, the demand for knowledge was huge. But book

1.01k views • 89 slides
OFFSET PRINTING Only the best image will do Quality, definition and speed for your packaging.

OFFSET PRINTING Only the best image will do Quality, definition and speed for your packaging.

OFFSET PRINTING Only the best image will do Quality, definition and speed for your packaging. SP GROUP brings you offset printing With offset printing, our flexible material printing takes a revolutionary step forward to complete a range of

133 views • 10 slides
About us The Kella printing house was founded in 1991 as a small silkscreen printing business.

About us The Kella printing house was founded in 1991 as a small silkscreen printing business.

About us The Kella printing house was founded in 1991 as a small silkscreen printing business. Nowadays it is a modern hightech printing production, awarded dozens of professional awards, laureate of international competitions. Kella has

82 views • 6 slides
Matthew Miller KK4NDE WHAT IS 3D PRINTING? 3D printing is NOT: Instant creation of

Matthew Miller KK4NDE WHAT IS 3D PRINTING? 3D printing is NOT: Instant creation of

Matthew Miller KK4NDE WHAT IS 3D PRINTING? 3D printing is NOT: Instant creation of pieces Near-zero-cost creation of everything you could want A replicator from Sci -Fi WHAT IS 3D PRINTING? 3D printing IS:

570 views • 16 slides
BOOKS ETC. PRINTING COMPANY Facts about B OOKS E TC . Among the Top 4 printing facilities in

BOOKS ETC. PRINTING COMPANY Facts about B OOKS E TC . Among the Top 4 printing facilities in

BOOKS ETC. PRINTING COMPANY Facts about B OOKS E TC . Among the Top 4 printing facilities in Ukraine In operation since 2008 200 000 sq feet of own premises 250 employees 154 000 000 printed copies as of Jan 1 2018 12 000

705 views • 21 slides
IFRS 16: Example 1 Company A requires printing services for its day-to-day printing requirements.

IFRS 16: Example 1 Company A requires printing services for its day-to-day printing requirements.

IFRS 16: Example 1 Company A requires printing services for its day-to-day printing requirements. They enter into a printing supply agreement with Company B (a printing company) for 3 years. In terms of this agreement, Company B will set aside a

339 views • 7 slides
Publishing and Printing with SVG By Anthony Grasso Software Engineer, CiSRA 6 September 2007 6

Publishing and Printing with SVG By Anthony Grasso Software Engineer, CiSRA 6 September 2007 6

Publishing and Printing with SVG By Anthony Grasso Software Engineer, CiSRA 6 September 2007 6 September 2007 Problems Faced in Printing Scenario 1: Large printing company Printing with specific kind of inks Require advanced color

711 views • 50 slides
Smart Printing Solutions LTD Smart Printing Solutions LTD The system is an

Smart Printing Solutions LTD Smart Printing Solutions LTD The system is an

Smart Printing Solutions LTD Smart Printing Solutions LTD The system is an innovative product, designed for organizations who need better control over their printing array. The system enables: Control Management

369 views • 11 slides
CAD and 3D Printing: The Digital Fabrication of Your Robot A Guide on how to Get CADdy With It

CAD and 3D Printing: The Digital Fabrication of Your Robot A Guide on how to Get CADdy With It

CAD and 3D Printing: The Digital Fabrication of Your Robot A Guide on how to Get CADdy With It by The Ponytail Posse Outline 1. The Basics of CAD in FTC 2. Pointers on designing for 3D printing 3. Situations where 3D printing do and

704 views • 28 slides
3D Printing of multicolor dental products Fieldlab Multi-material 3D Printing INTRODUCTION 3D

3D Printing of multicolor dental products Fieldlab Multi-material 3D Printing INTRODUCTION 3D

3D Printing of multicolor dental products Fieldlab Multi-material 3D Printing INTRODUCTION 3D printing of dental crowns HOW IT WAS DONE Hand-made process for > 70 years ADVANCEMENT OF DIGITAL WORKFLOW IN DENTAL Building blocks for digital

660 views • 20 slides
DECO 2003 Nashville, Tennessee. SCREEN PRINTING INNOVATIONS FOR FLAT GLASS APPLICATIONS. The

DECO 2003 Nashville, Tennessee. SCREEN PRINTING INNOVATIONS FOR FLAT GLASS APPLICATIONS. The

DECO 2003 Nashville, Tennessee. SCREEN PRINTING INNOVATIONS FOR FLAT GLASS APPLICATIONS. The screen printing process is a very simple but extremely versatile printing method. Unlike other established printing systems it uses a stencil which

625 views • 18 slides
3D Printing 3D Printing is a method whereby 3 dimensional objects are created in a layering

3D Printing 3D Printing is a method whereby 3 dimensional objects are created in a layering

3D Printing 3D Printing is a method whereby 3 dimensional objects are created in a layering process. There are both commercial and Hobbyist versions of the tools needed. 1 15 May 2019 Limited only by your imagination 2 15 May 2019 What do

375 views • 25 slides
Anatomy of an HTML document This is the DOCTYPE declaration . It indicates <!DOCTYPE html>

Anatomy of an HTML document This is the DOCTYPE declaration . It indicates <!DOCTYPE html>

Anatomy of an HTML document This is the DOCTYPE declaration . It indicates <!DOCTYPE html> what kind of document this is. <html lang="en"> <head> <meta charset="utf-8"> <title>Hello

771 views • 27 slides
Anatomy of a full-stack Scala/Scala.js Web App Intro to Self Previous at Dropbox Currently at

Anatomy of a full-stack Scala/Scala.js Web App Intro to Self Previous at Dropbox Currently at

Anatomy of a full-stack Scala/Scala.js Web App Intro to Self Previous at Dropbox Currently at Bright Technology , a Data-Science/Scala consultancy We do training and consulting projects around Python / Numpy / Scipy , Scala & related tech

389 views • 10 slides
1 UCSF Vascular & Endovascular Symposium 2015 UCSF Vascular & Endovascular

1 UCSF Vascular & Endovascular Symposium 2015 UCSF Vascular & Endovascular

UCSF Vascular & Endovascular Symposium 2015 UCSF Vascular & Endovascular Symposium 2015 UC SF UC SF TBAD Anatomy & Pathophysiology TBAD Anatomy & Pathophysiology DISCLOSURES INDIVIDUAL CURRENT UNDERSTANDING:

371 views • 9 slides
The he Ran angifer fer Anat atom omy y Pro roje ject: ct: Deve velopi loping ng Tools

The he Ran angifer fer Anat atom omy y Pro roje ject: ct: Deve velopi loping ng Tools

The he Ran angifer fer Anat atom omy y Pro roje ject: ct: Deve velopi loping ng Tools for Communic nicati ating ng Community nity and Scien entif ific ic Approach roaches es to Caribou bou Structu cture re and Function on

298 views • 9 slides
Multimodal Integration Outline Spatial Transformation Motion Correction

Multimodal Integration Outline Spatial Transformation Motion Correction

freesurfer.net Multimodal Integration Outline Spatial Transformation Motion Correction Registration, Automatic and Manual MultiModal Integration DTI Integration fMRI Integration Viewing on Volume and

721 views • 47 slides
THE ANATOMY OF GAMER MOTIVATIONS WHAT WE LEARNED FROM 250,000 GAMERS PREVIOUSLY ON QUANTIC

THE ANATOMY OF GAMER MOTIVATIONS WHAT WE LEARNED FROM 250,000 GAMERS PREVIOUSLY ON QUANTIC

THE ANATOMY OF GAMER MOTIVATIONS WHAT WE LEARNED FROM 250,000 GAMERS PREVIOUSLY ON QUANTIC FOUNDRY SAMPLE NOTES 283,384 gamers (unique IP addresses) Gender: 80% Male / 19% Female / 1% Non-Binary Age: Median = 25, Range = 13-80

813 views • 66 slides
Strassens Algorithm for Tensor Contraction Jianyu Huang Joint work with Devin A. Matthews and

Strassens Algorithm for Tensor Contraction Jianyu Huang Joint work with Devin A. Matthews and

Strassens Algorithm for Tensor Contraction Jianyu Huang Joint work with Devin A. Matthews and Robert A. van de Geijn The University of Texas at Austin September 18-19, 2017 BLIS Retreat 2017 Marry Strassen with Tensor Contraction M 0 := (

756 views • 34 slides
JSON hijacking For the modern web About me Im a researcher at PortSwigger I love

JSON hijacking For the modern web About me Im a researcher at PortSwigger I love

JSON hijacking For the modern web About me Im a researcher at PortSwigger I love hacking JavaScript let : let { let :[x=1]}=[alert(1)] I love breaking browsers @garethheyes History of JSON hijacking Array constructor attack

630 views • 44 slides

More recommend