Garrin Kimmell
According to our database1,
Garrin Kimmell
authored at least 20 papers
between 2005 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
2006
2008
2010
2012
2014
2016
2018
2020
2022
0
1
2
3
4
5
2
1
3
1
2
1
2
3
1
1
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2022
Proceedings of the ISCA '22: The 49th Annual International Symposium on Computer Architecture, New York, New York, USA, June 18, 2022
The Groq Software-defined Scale-out Tensor Streaming Multiprocessor : From chips-to-systems architectural overview.
Proceedings of the 2022 IEEE Hot Chips 34 Symposium, 2022
Challenges/Opportunities to Enable Dependable Scale-out System with Groq Deterministic Tensor-Streaming Processors.
Proceedings of the 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2022
2020
Think Fast: A Tensor Streaming Processor (TSP) for Accelerating Deep Learning Workloads.
Proceedings of the 47th ACM/IEEE Annual International Symposium on Computer Architecture, 2020
2012
Types and associated type families for hardware simulation and synthesis - The internals and externals of Kansas Lava.
High. Order Symb. Comput., 2012
Proceedings of the Proceedings Fourth Workshop on Mathematically Structured Functional Programming, 2012
Equational reasoning about programs with general recursion and call-by-value semantics.
Proceedings of the sixth workshop on Programming Languages meets Program Verification, 2012
2011
Proceedings of the 22nd International Conference on Rewriting Techniques and Applications, 2011
2010
Sci. Comput. Program., 2010
Types and Type Families for Hardware Simulation and Synthesis - The Internals and Externals of Kansas Lava.
Proceedings of the Trends in Functional Programming - 11th International Symposium, 2010
Proceedings of the Trends in Functional Programming - 11th International Symposium, 2010
2009
Proceedings of the Software Composition - 8th International Conference, 2009
Proceedings of the Implementation and Application of Functional Languages, 2009
Model-Driven Engineering from Modular Monadic Semantics: Implementation Techniques Targeting Hardware and Software.
Proceedings of the Domain-Specific Languages, IFIP TC 2 Working Conference, 2009
2008
Proceedings of the Forum on specification and Design Languages, 2008
2007
Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007
2005
Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005
Proceedings of the 12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 2005