Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Garrin Kimmell
@inproceedings{DBLP:conf/dsn/Abts0BBKKL22,
author = {Dennis Abts and
Ibrahim Ahmed and
Andrew Bitar and
Matthew Boyd and
John Kim and
Garrin Kimmell and
Andrew C. Ling},
title = {Challenges/Opportunities to Enable Dependable Scale-out System with
Groq Deterministic Tensor-Streaming Processors},
booktitle = {52nd Annual {IEEE/IFIP} International Conference on Dependable Systems
and Networks, {DSN} 2022, Supplemental Volume, Baltimore, MD, USA,
June 27-30, 2022},
pages = {19--22},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/DSN-S54099.2022.00016},
doi = {10.1109/DSN-S54099.2022.00016},
timestamp = {Wed, 03 Aug 2022 09:05:42 +0200},
biburl = {https://dblp.org/rec/conf/dsn/Abts0BBKKL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotchips/AbtsKKBKPLBAR22,
author = {Dennis Abts and
John Kim and
Garrin Kimmell and
Matthew Boyd and
Kris Kang and
Sahil Parmar and
Andrew C. Ling and
Andrew Bitar and
Ibrahim Ahmed and
Jonathan Ross},
title = {The Groq Software-defined Scale-out Tensor Streaming Multiprocessor
: From chips-to-systems architectural overview},
booktitle = {2022 {IEEE} Hot Chips 34 Symposium, {HCS} 2022, Cupertino, CA, USA,
August 21-23, 2022},
pages = {1--69},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/HCS55958.2022.9895630},
doi = {10.1109/HCS55958.2022.9895630},
timestamp = {Wed, 05 Oct 2022 17:46:21 +0200},
biburl = {https://dblp.org/rec/conf/hotchips/AbtsKKBKPLBAR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isca/AbtsKLKBBPADHTB22,
author = {Dennis Abts and
Garrin Kimmell and
Andrew C. Ling and
John Kim and
Matthew Boyd and
Andrew Bitar and
Sahil Parmar and
Ibrahim Ahmed and
Roberto DiCecco and
David Han and
John Thompson and
Michael Bye and
Jennifer Hwang and
Jeremy Fowers and
Peter Lillian and
Ashwin Murthy and
Elyas Mehtabuddin and
Chetan Tekur and
Thomas Sohmers and
Kris Kang and
Stephen Maresh and
Jonathan Ross},
editor = {Valentina Salapura and
Mohamed Zahran and
Fred Chong and
Lingjia Tang},
title = {A software-defined tensor streaming multiprocessor for large-scale
machine learning},
booktitle = {{ISCA} '22: The 49th Annual International Symposium on Computer Architecture,
New York, New York, USA, June 18 - 22, 2022},
pages = {567--580},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3470496.3527405},
doi = {10.1145/3470496.3527405},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isca/AbtsKLKBBPADHTB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isca/AbtsRSWBHBTKKHL20,
author = {Dennis Abts and
Jonathan Ross and
Jonathan Sparling and
Mark Wong{-}VanHaren and
Max Baker and
Tom Hawkins and
Andrew Bell and
John Thompson and
Temesghen Kahsai and
Garrin Kimmell and
Jennifer Hwang and
Rebekah Leslie{-}Hurd and
Michael Bye and
E. R. Creswick and
Matthew Boyd and
Mahitha Venigalla and
Evan Laforge and
Jon Purdy and
Purushotham Kamath and
Dinesh Maheshwari and
Michael Beidler and
Geert Rosseel and
Omar Ahmad and
Gleb Gagarin and
Richard Czekalski and
Ashay Rane and
Sahil Parmar and
Jeff Werner and
Jim Sproch and
Adrian Macias and
Brian Kurtz},
title = {Think Fast: {A} Tensor Streaming Processor {(TSP)} for Accelerating
Deep Learning Workloads},
booktitle = {47th {ACM/IEEE} Annual International Symposium on Computer Architecture,
{ISCA} 2020, Virtual Event / Valencia, Spain, May 30 - June 3, 2020},
pages = {145--158},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ISCA45697.2020.00023},
doi = {10.1109/ISCA45697.2020.00023},
timestamp = {Mon, 19 Feb 2024 07:32:24 +0100},
biburl = {https://dblp.org/rec/conf/isca/AbtsRSWBHBTKKHL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1211-0865,
author = {Aaron Stump and
Hans Zantema and
Garrin Kimmell and
Roba El Haj Omar},
title = {A Rewriting View of Simple Typing},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {1},
year = {2012},
url = {https://doi.org/10.2168/LMCS-9(1:4)2013},
doi = {10.2168/LMCS-9(1:4)2013},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1211-0865.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/GillBFKK12,
author = {Andy Gill and
Tristan Bull and
Andrew Farmer and
Garrin Kimmell and
Ed Komp},
title = {Types and associated type families for hardware simulation and synthesis
- The internals and externals of Kansas Lava},
journal = {High. Order Symb. Comput.},
volume = {25},
number = {2-4},
pages = {255--274},
year = {2012},
url = {https://doi.org/10.1007/s10990-013-9098-7},
doi = {10.1007/S10990-013-9098-7},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/GillBFKK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plpv/KimmellSEEFSWCSCA12,
author = {Garrin Kimmell and
Aaron Stump and
Harley D. Eades III and
Peng Fu and
Tim Sheard and
Stephanie Weirich and
Chris Casinghino and
Vilhelm Sj{\"{o}}berg and
Nathan Collins and
Ki Yung Ahn},
editor = {Koen Claessen and
Nikhil Swamy},
title = {Equational reasoning about programs with general recursion and call-by-value
semantics},
booktitle = {Proceedings of the sixth workshop on Programming Languages meets Program
Verification, {PLPV} 2012, Philadelphia, PA, USA, January 24, 2012},
pages = {15--26},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2103776.2103780},
doi = {10.1145/2103776.2103780},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/plpv/KimmellSEEFSWCSCA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1202-2923,
author = {Vilhelm Sj{\"{o}}berg and
Chris Casinghino and
Ki Yung Ahn and
Nathan Collins and
Harley D. Eades III and
Peng Fu and
Garrin Kimmell and
Tim Sheard and
Aaron Stump and
Stephanie Weirich},
editor = {James Chapman and
Paul Blain Levy},
title = {Irrelevance, Heterogeneous Equality, and Call-by-value Dependent Type
Systems},
booktitle = {Proceedings Fourth Workshop on Mathematically Structured Functional
Programming, MSFP@ETAPS 2012, Tallinn, Estonia, 25 March 2012},
series = {{EPTCS}},
volume = {76},
pages = {112--162},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.76.9},
doi = {10.4204/EPTCS.76.9},
timestamp = {Fri, 27 Dec 2019 21:15:10 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1202-2923.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/StumpKO11,
author = {Aaron Stump and
Garrin Kimmell and
Roba El Haj Omar},
editor = {Manfred Schmidt{-}Schau{\ss}},
title = {Type Preservation as a Confluence Problem},
booktitle = {Proceedings of the 22nd International Conference on Rewriting Techniques
and Applications, {RTA} 2011, May 30 - June 1, 2011, Novi Sad, Serbia},
series = {LIPIcs},
volume = {10},
pages = {345--360},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2011},
url = {https://doi.org/10.4230/LIPIcs.RTA.2011.345},
doi = {10.4230/LIPICS.RTA.2011.345},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/rta/StumpKO11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/FrisbyKWA10,
author = {Nicolas Frisby and
Garrin Kimmell and
Philip Weaver and
Perry Alexander},
title = {Constructing language processors with algebra combinators},
journal = {Sci. Comput. Program.},
volume = {75},
number = {7},
pages = {543--572},
year = {2010},
url = {https://doi.org/10.1016/j.scico.2009.12.007},
doi = {10.1016/J.SCICO.2009.12.007},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/FrisbyKWA10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/FarmerKG10,
author = {Andrew Farmer and
Garrin Kimmell and
Andy Gill},
editor = {Rex L. Page and
Zolt{\'{a}}n Horv{\'{a}}th and
Vikt{\'{o}}ria Zs{\'{o}}k},
title = {What's the Matter with Kansas Lava?},
booktitle = {Trends in Functional Programming - 11th International Symposium, {TFP}
2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6546},
pages = {102--117},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-22941-1\_7},
doi = {10.1007/978-3-642-22941-1\_7},
timestamp = {Mon, 03 Jan 2022 22:29:43 +0100},
biburl = {https://dblp.org/rec/conf/sfp/FarmerKG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/GillBFKK10,
author = {Andy Gill and
Tristan Bull and
Andrew Farmer and
Garrin Kimmell and
Ed Komp},
editor = {Rex L. Page and
Zolt{\'{a}}n Horv{\'{a}}th and
Vikt{\'{o}}ria Zs{\'{o}}k},
title = {Types and Type Families for Hardware Simulation and Synthesis - The
Internals and Externals of Kansas Lava},
booktitle = {Trends in Functional Programming - 11th International Symposium, {TFP}
2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6546},
pages = {118--133},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-22941-1\_8},
doi = {10.1007/978-3-642-22941-1\_8},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/GillBFKK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsl/HarrisonPAKA09,
author = {William L. Harrison and
Adam M. Procter and
Jason Agron and
Garrin Kimmell and
Gerard Allwein},
editor = {Walid Mohamed Taha},
title = {Model-Driven Engineering from Modular Monadic Semantics: Implementation
Techniques Targeting Hardware and Software},
booktitle = {Domain-Specific Languages, {IFIP} {TC} 2 Working Conference, {DSL}
2009, Oxford, UK, July 15-17, 2009, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5658},
pages = {20--44},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03034-5\_2},
doi = {10.1007/978-3-642-03034-5\_2},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/dsl/HarrisonPAKA09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/GillBKPKW09,
author = {Andy Gill and
Tristan Bull and
Garrin Kimmell and
Erik Perrins and
Ed Komp and
Brett Werling},
editor = {Marco T. Moraz{\'{a}}n and
Sven{-}Bodo Scholz},
title = {Introducing Kansas Lava},
booktitle = {Implementation and Application of Functional Languages - 21st International
Symposium, {IFL} 2009, South Orange, NJ, USA, September 23-25, 2009,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6041},
pages = {18--35},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-16478-1\_2},
doi = {10.1007/978-3-642-16478-1\_2},
timestamp = {Mon, 05 Feb 2024 20:35:40 +0100},
biburl = {https://dblp.org/rec/conf/ifl/GillBKPKW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soco/SnyderFKA09,
author = {Mark Snyder and
Nicolas Frisby and
Garrin Kimmell and
Perry Alexander},
editor = {Alexandre Bergel and
Johan Fabry},
title = {Writing Composable Software with InterpreterLib},
booktitle = {Software Composition - 8th International Conference, SC@TOOLS 2009,
Zurich, Switzerland, July 2-3, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5634},
pages = {160--176},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02655-3\_12},
doi = {10.1007/978-3-642-02655-3\_12},
timestamp = {Thu, 25 Jun 2020 18:42:49 +0200},
biburl = {https://dblp.org/rec/conf/soco/SnyderFKA09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/basesearch/Kimmell08,
author = {Garrin Kimmell},
title = {System Synthesis from a Monadic Functional Language},
school = {University of Kansas, {USA}},
year = {2008},
url = {https://hdl.handle.net/1808/4364},
timestamp = {Wed, 04 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/basesearch/Kimmell08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/KimmellKMEA08,
author = {Garrin Kimmell and
Ed Komp and
Gary J. Minden and
Joseph B. Evans and
Perry Alexander},
title = {Synthesizing Software Defined Radio Components from Rosetta (invited)},
booktitle = {Forum on specification and Design Languages, {FDL} 2008, September
23-25, 2008, Stuttgart, Germany, Proceedings},
pages = {148--153},
publisher = {{IEEE}},
year = {2008},
url = {https://doi.org/10.1109/FDL.2008.4641437},
doi = {10.1109/FDL.2008.4641437},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/fdl/KimmellKMEA08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpce/WeaverKFA07,
author = {Philip Weaver and
Garrin Kimmell and
Nicolas Frisby and
Perry Alexander},
editor = {Charles Consel and
Julia L. Lawall},
title = {Constructing language processors with algebra combinators},
booktitle = {Generative Programming and Component Engineering, 6th International
Conference, {GPCE} 2007, Salzburg, Austria, October 1-3, 2007, Proceedings},
pages = {155--164},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1289971.1289997},
doi = {10.1145/1289971.1289997},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gpce/WeaverKFA07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/WeaverKFA07,
author = {Philip Weaver and
Garrin Kimmell and
Nicolas Frisby and
Perry Alexander},
editor = {R. E. Kurt Stirewalt and
Alexander Egyed and
Bernd Fischer},
title = {Modular and generic programming with interpreterlib},
booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}},
pages = {473--476},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1321631.1321712},
doi = {10.1145/1321631.1321712},
timestamp = {Tue, 06 Nov 2018 16:58:23 +0100},
biburl = {https://dblp.org/rec/conf/kbse/WeaverKFA07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/KimmellKA05,
author = {Garrin Kimmell and
Ed Komp and
Perry Alexander},
title = {Building Compilers by Combining Algebras},
booktitle = {12th {IEEE} International Conference on the Engineering of Computer-Based
Systems {(ECBS} 2005), 4-7 April 2005, Greenbelt, MD, {USA}},
pages = {331--338},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ECBS.2005.23},
doi = {10.1109/ECBS.2005.23},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecbs/KimmellKA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/WardKA05,
author = {Justin Ward and
Garrin Kimmell and
Perry Alexander},
editor = {David F. Redmiles and
Thomas Ellman and
Andrea Zisman},
title = {Prufrock: a framework for constructing polytypic theorem provers},
booktitle = {20th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
pages = {423--426},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1101908.1101985},
doi = {10.1145/1101908.1101985},
timestamp = {Tue, 06 Nov 2018 16:58:23 +0100},
biburl = {https://dblp.org/rec/conf/kbse/WardKA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
last updated on 2024-04-21 17:11 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
