Write a Blog >>
ICFP 2019
Sun 18 - Fri 23 August 2019 Berlin, Germany
Tue 20 Aug 2019 14:37 - 15:00 at Aurora Borealis - The Real World Chair(s): Robert Atkey

Algorithms for solid modeling, i.e., Computer-Aided Design (CAD) and computer graphics, are often specified on real numbers and then implemented with finite-precision arithmetic, such as floating-point. The result is that these implementations do not soundly compute the results that are expected from their specifications.

We present a new library, StoneWorks, that provides sound and robust solid modeling primitives. We have implemented this library in MarshallB, a language we have developed as an extension of Marshall. Marshall is a language for exact real arithmetic in which types denote topological spaces and functions denote continuous maps, ensuring that all programs are sound and robust.

We also define a new shape representation, compact representation (K-rep), that enables a user of our library to perform constructions such as Minkowski sum and analyses such as Hausdorff distance that are not possible with traditional representations.

With our library, language, and representation together, we show that short StoneWorks programs can specify and execute sound and robust solid modeling algorithms and tasks.

Tue 20 Aug

icfp-2019-papers
13:30 - 15:00: Research Papers - The Real World at Aurora Borealis
Chair(s): Robert AtkeyUniversity of Strathclyde
icfp-2019-papers13:30 - 13:52
Talk
Fei Wang, Dan ZhengPurdue University, Google Brain, James Decker, Xilun WuPurdue University, Gregory EssertelPurdue University, Tiark RompfPurdue University
Pre-print
icfp-2019-papers13:52 - 14:15
Talk
Amir ShaikhhaUniversity of Oxford, Andrew FitzgibbonMicrosoft Research, Cambridge, Dimitrios VytiniotisDeepMind, Simon Peyton JonesMicrosoft, UK
icfp-2019-papers14:15 - 14:37
Talk
Rajan WaliaIndiana University, Praveen NarayananIndiana University, USA, Jacques CaretteMcMaster University, Sam Tobin-HochstadtIndiana University, Chung-chieh ShanIndiana University, USA
Pre-print
icfp-2019-papers14:37 - 15:00
Talk
Benjamin ShermanMassachusetts Institute of Technology, USA, Jesse MichelMassachusetts Institute of Technology, Michael CarbinMassachusetts Institute of Technology
DOI Pre-print Media Attached