Vivek Sarkar
- Linear scan register allocation
1999/09/01 by Massimiliano Poletto, Vivek Sarkar · 5 citations
Computer Science · #Parallel Computing and Optimization Techniques #Software Testing and Debugging Techniques #Logic, programming, and type systems #Register allocation #Computer science #Allocator #Graph coloring #Compiler #Parallel computing #Compile time #Graph #Algorithm #Time complexity #Theoretical computer science #Programming language
- MISIM: A Neural Code Semantics Similarity System Using the Context-Aware Semantics Structure
2020/06/05 by Fangke Ye, Shengtian Zhou, Ye, Fangke +24 · 2 voices · 1 citation
Computer Science · Mathematics · #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Natural Language Processing Techniques #Software Engineering (cs.SE) #Topic Modeling #Web Data Mining and Analysis #cs.LG #cs.SE #stat.ML
- X10
2005/10/12 by Philippe Charles, Christian Grothoff, Vijay Saraswat +5 · 2 citations
Computer Science · #Distributed systems and fault tolerance #Distributed and Parallel Computing Systems #Parallel Computing and Optimization Techniques
- Marvel: A Data-centric Compiler for DNN Operators on Spatial Accelerators
2020/02/18 by Prasanth Chatarasi, Hyoukjun Kwon, Chatarasi, Prasanth +15 · 2 citations
Computer Science · Decision Sciences · #Computer Graphics and Visualization Techniques #Distributed #Distributed and Parallel Computing Systems #FOS: Computer and information sciences #Machine Learning (cs.LG) #Parallel #Performance (cs.PF) #Scientific Computing and Data Management #and Cluster Computing (cs.DC)
- Immutability specification and its applications
2005/02/22 by Igor Pechtchanski, Vivek Sarkar · 1 citation
Computer Science · #Formal Methods in Verification #Logic, programming, and type systems #Software Testing and Debugging Techniques
- Understanding Reuse, Performance, and Hardware Cost of DNN Dataflows: A Data-Centric Approach Using MAESTRO
2018/05/04 by Hyoukjun Kwon, Prasanth Chatarasi, Kwon, Hyoukjun +9 · 1 citation
Computer Science · #Advanced Data Storage Technologies #Advanced Neural Network Applications #Distributed #FOS: Computer and information sciences #Machine Learning (cs.LG) #Parallel #Parallel Computing and Optimization Techniques #and Cluster Computing (cs.DC)
- Foams with 3D Spatially Programmed Mechanics Enabled by Autonomous Active Learning on Viscous Thread Printing
2024/07/08 by Brett Addison Emery, Kelsey L. Snapp, Emery, Brett +11 · 2 citations
Engineering · #74Q99 #Additive Manufacturing and 3D Printing Technologies #Advanced Numerical Analysis Techniques #FOS: Physical sciences #Materials Science (cond-mat.mtrl-sci) #Soft Condensed Matter (cond-mat.soft)