재정 지원 요구사항을 통해 공개된 자료 - Dan Grossman자세히 알아보기
제공된 곳이 있음: 16
Optimizing synthesis with metasketches
J Bornholt, E Torlak, D Grossman, L Ceze
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2016
재정 지원 요구사항 정책: US National Science Foundation
Synthesizing structured CAD models with equality saturation and inverse transformations
C Nandi, M Willsey, A Anderson, JR Wilcox, E Darulova, D Grossman, ...
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020
재정 지원 요구사항 정책: US National Science Foundation
Œuf: minimizing the Coq extraction TCB
E Mullen, S Pernsteiner, JR Wilcox, Z Tatlock, D Grossman
Proceedings of the 7th ACM SIGPLAN International Conference on Certified …, 2018
재정 지원 요구사항 정책: US National Science Foundation
Rewrite rule inference using equality saturation
C Nandi, M Willsey, A Zhu, YR Wang, B Saiki, A Anderson, A Schulz, ...
Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-28, 2021
재정 지원 요구사항 정책: US National Science Foundation
Adapting proof automation to adapt proofs
T Ringer, N Yazdani, J Leo, D Grossman
Proceedings of the 7th ACM SIGPLAN International Conference on Certified …, 2018
재정 지원 요구사항 정책: US National Science Foundation
Proof repair across type equivalences
T Ringer, RD Porter, N Yazdani, J Leo, D Grossman
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021
재정 지원 요구사항 정책: US National Science Foundation
REPLica: REPL instrumentation for Coq analysis
T Ringer, A Sanchez-Stern, D Grossman, S Lerner
Proceedings of the 9th ACM SIGPLAN International Conference on Certified …, 2020
재정 지원 요구사항 정책: US National Science Foundation
Ornaments for proof reuse in Coq
T Ringer, N Yazdani, J Leo, D Grossman
10th International Conference on Interactive Theorem Proving (ITP 2019), 2019
재정 지원 요구사항 정책: US National Science Foundation
Staccato: A bug finder for dynamic configuration updates
J Toman, D Grossman
30th European Conference on Object-Oriented Programming (ECOOP 2016), 2016
재정 지원 요구사항 정책: US National Science Foundation
Concerto: a framework for combined concrete and abstract interpretation
J Toman, D Grossman
Proceedings of the ACM on Programming Languages 3 (POPL), 1-29, 2019
재정 지원 요구사항 정책: US Department of Defense
A solver-aided language for test input generation
T Ringer, D Grossman, D Schwartz-Narbonne, S Tasiran
Proceedings of the ACM on Programming Languages 1 (OOPSLA), 1-24, 2017
재정 지원 요구사항 정책: US National Science Foundation
Reticle: A virtual machine for programming modern FPGAs
L Vega, J McMahan, A Sampson, D Grossman, L Ceze
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021
재정 지원 요구사항 정책: US National Science Foundation, US Department of Defense
Instrumentation bias for dynamic data race detection
BP Wood, M Cao, MD Bond, D Grossman
Proceedings of the ACM on Programming Languages 1 (OOPSLA), 1-31, 2017
재정 지원 요구사항 정책: US National Science Foundation
Legato: An at-most-once analysis with applications to dynamic configuration updates
J Toman, D Grossman
32nd European Conference on Object-Oriented Programming (ECOOP 2018), 2018
재정 지원 요구사항 정책: US Department of Defense
A roadmap towards parallel printing for desktop 3d printers
MA Carton, C Nandi, A Anderson, H Zhao, E Darulova, D Grossman, ...
University of Texas at Austin, 2021
재정 지원 요구사항 정책: US National Science Foundation
Sinking point: Dynamic precision tracking for floating-point
B Zorn, D Grossman, Z Tatlock
Proceedings of the Conference for Next Generation Arithmetic 2019, 1-8, 2019
재정 지원 요구사항 정책: US Department of Defense
발행인 및 자금 지원 정보는 컴퓨터 프로그램에서 자동으로 결정됩니다.