Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Dan Grossman

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Zachary Tatlock

> Home > Persons > Dan Grossman

Publications

2021
[j17]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/NandiWZWSASGT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/NandiWZWSASGT21
Chandrakana Nandi, Max Willsey, Amy Zhu, Yisu Remy Wang, Brett Saiki, Adam Anderson, Adriana Schulz, Dan Grossman, Zachary Tatlock:
Rewrite rule inference using equality saturation. Proc. ACM Program. Lang. 5(OOPSLA): 1-28 (2021)
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2108-10436
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2108-10436
Chandrakana Nandi, Max Willsey, Amy Zhu, Yisu Remy Wang, Brett Saiki, Adam Anderson, Adriana Schulz, Dan Grossman, Zachary Tatlock:
Rewrite Rule Inference Using Equality Saturation. CoRR abs/2108.10436 (2021)
2020
[c64]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/NandiWAWDGT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/NandiWAWDGT20
Chandrakana Nandi, Max Willsey, Adam Anderson, James R. Wilcox, Eva Darulova, Dan Grossman, Zachary Tatlock:
Synthesizing structured CAD models with equality saturation and inverse transformations. PLDI 2020: 31-44
2019
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1909-12252
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1909-12252
Chandrakana Nandi, Adam Anderson, Max Willsey, James R. Wilcox, Eva Darulova, Dan Grossman, Zachary Tatlock:
Using E-Graphs for CAD Parameter Inference. CoRR abs/1909.12252 (2019)
2018
[j14]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/NandiWPBGT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/NandiWPBGT18
Chandrakana Nandi, James R. Wilcox, Pavel Panchekha, Taylor Blau, Dan Grossman, Zachary Tatlock:
Functional programming for compiling and decompiling computer-aided design. Proc. ACM Program. Lang. 2(ICFP): 99:1-99:31 (2018)
[c61]
- view
  authority control:
- export record
  dblp key:
  - conf/cpp/MullenPWTG18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpp/MullenPWTG18
Eric Mullen, Stuart Pernsteiner, James R. Wilcox, Zachary Tatlock, Dan Grossman:
Œuf: minimizing the Coq extraction TCB. CPP 2018: 172-185
2017
[c58]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/snapl/NandiCGT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/snapl/NandiCGT17
Chandrakana Nandi, Anat Caspi, Dan Grossman, Zachary Tatlock:
Programming Language Tools and Techniques for 3D Printing. SNAPL 2017: 10:1-10:12
2016
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/MullenZTG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/MullenZTG16
Eric Mullen, Daryl Zuniga, Zachary Tatlock, Dan Grossman:
Verified peephole optimizations for CompCert. PLDI 2016: 448-461
2015
[c49]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/snapl/ErnstGJLPTTW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/snapl/ErnstGJLPTTW15
Michael D. Ernst, Dan Grossman, Jon Jacky, Calvin Loncaric, Stuart Pernsteiner, Zachary Tatlock, Emina Torlak, Xi Wang:
Toward a Dependability Case Language and Workflow for a Radiation Therapy System. SNAPL 2015: 103-112

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.