pubs.bib

@string{micro = {{IEEE/ACM} International Symposium on Microarchitecture
    (MICRO)}}
@string{pldi = {{ACM} Conference on Programming Language Design and
    Implementation (PLDI)}}
@string{oopsla = {{ACM} Conference on Object-Oriented Programming, Systems,
    Languages, and Applications (OOPSLA)}}
@string{isca = {International Symposium on Computer Architecture (ISCA)}}
@string{icfp = {{ACM SIGPLAN} International Conference on Functional
    Programming (ICFP)}}
@string{popl = {{ACM SIGPLAN--SIGACT} Symposium on Principles of Programming Languages (POPL)}}
@string{asplos = {International Conference on Architectural Support for
    Programming Languages and Operating Systems (ASPLOS)}}
@string{snapl = {Summit on Advances in Programming Languages (SNAPL)}}
@string{icse-seip = {International Conference on Software Engineering: Software Engineering in Practice (ICSE SEIP)}}
@string{hpca = {IEEE International Symposium on High-Performance Computer Architecture (HPCA)}}

@inproceedings{DBLP:conf/asplos/VanHattumPFSB24,
  author       = {Alexa VanHattum and
                  Monica Pardeshi and
                  Chris Fallin and
                  Adrian Sampson and
                  Fraser Brown},
  title        = {Lightweight, Modular Verification for WebAssembly-to-Native Instruction
                  Selection},
  booktitle    = asplos,
  year         = {2024},
}

@article{DBLP:journals/pacmpl/NigamAS23,
  author       = {Rachit Nigam and
                  Pedro Henrique Azevedo de Amorim and
                  Adrian Sampson},
  title        = {Modular Hardware Design with Timeline Types},
  number       = pldi,
  year         = {2023},
}

@inproceedings{DBLP:conf/asplos/BerlsteinNGS23,
  author       = {Griffin Berlstein and
                  Rachit Nigam and
                  Christophe Gyurgyik and
                  Adrian Sampson},
  title        = {Stepwise Debugging for Hardware Accelerators},
  booktitle    = asplos,
  year         = {2023},
}

@article{DBLP:journals/micro/AditS22,
  author       = {Neil Adit and
                  Adrian Sampson},
  title        = {Performance Left on the Table: An Evaluation of Compiler Autovectorization
                  for {RISC-V}},
  journal      = micro,
  year         = {2022},
}

@inproceedings{DBLP:conf/hpca/LiYNS22,
  author       = {Zhijing Li and
                  Yuwei Ye and
                  Stephen Neuendorffer and
                  Adrian Sampson},
  title        = {Compiler-Driven Simulation of Reconfigurable Hardware Accelerators},
  booktitle    = hpca,
  year         = {2022},
}

@inproceedings{DBLP:conf/icse/VanHattumSCS22,
  author       = {Alexa VanHattum and
                  Daniel Schwartz{-}Narbonne and
                  Nathan Chong and
                  Adrian Sampson},
  title        = {Verifying Dynamic Trait Objects in Rust},
  booktitle    = icse-seip,
  year         = {2022},
}

@inproceedings{trillium,
    title = {Software-Defined Vector Processing on Manycore Fabrics},
    author = {Philip Bedoukian and Neil Adit and Edwin Peguero and Adrian Sampson},
    booktitle = micro,
    year = 2021,
}

@inproceedings{reticle,
    title = {Reticle: A Virtual Machine for Programming Modern {FPGAs}},
    author = {Luis Vega and Joseph McMahan and Adrian Sampson and Dan Grossman
        and Luis Ceze},
    booktitle = pldi,
    year = 2021,
}

@inproceedings{lfogl,
    author =	{Adrian Sampson},
    title =	{Let's Fix {OpenGL}},
    booktitle = snapl,
    year =	{2017},
}

@inproceedings{braid,
    title = {Static Stages for Heterogeneous Programming},
    author = {Adrian Sampson and
              Kathryn S McKinley and
              Todd Mytkowicz},
    booktitle = oopsla,
    year = 2017,
}

@inproceedings{gator,
    author = {Dietrich Geisler and
              Irene Yoon and
              Aditi Kabra and
              Horace He and
              Yinnon Sanders and
              Adrian Sampson},
    title = {Geometry Types for Graphics Programming},
    year = {2020},
    booktitle = oopsla,
}

@inproceedings{calyx,
    title = {A Compiler Infrastructure for Accelerator Generators},
    author = {Rachit Nigam and Samuel Thomas and Zhijing Li and Adrian Sampson},
    booktitle = asplos,
    year = 2021,
}

@inproceedings{diospyros,
    title = {Vectorization for Digital Signal Processors via Equality Saturation},
    author = {Alexa VanHattum and Rachit Nigam and Vincent T. Lee and James
        Bornholt and Adrian Sampson},
    booktitle = asplos,
    year = 2021,
}

@inproceedings{dahlia,
    title = {Predictable Accelerator Design with Time-Sensitive Affine Types},
    author = {Rachit Nigam and Sachille Atapattu and Samuel Thomas and Zhijing
        Li and Theodore Bauer and Yuwei Ye and Apurva Koti and Adrian Sampson
        and Zhiru Zhang},
    year = 2020,
    booktitle = pldi,
}

@inproceedings{eva2,
	author = {Mark Buckler and Philip Bedoukian and Suren Jayasuriya and Adrian Sampson},
	booktitle = {International Symposium on Computer Architecture (ISCA)},
	title = {{EVA}²: Exploiting Temporal Redundancy in Live Computer Vision},
	year = {2018}
}

@inproceedings{visionmode,
    author = {Mark Buckler and Suren Jayasuriya and Adrian Sampson},
    title = {Reconfiguring the Imaging Pipeline for Computer Vision},
    booktitle = {The IEEE International Conference on Computer Vision (ICCV)},
    year = {2017},
}

@inproceedings{pathind,
    author = {Aditi Kabra and Dietrch Geisler and Adrian Sampson},
    title = {Online Verification of Commutativity},
    year = 2020,
    booktitle = {Tools for Automatic Program Analysis (TAPAS)},
}

@inproceedings{deepjpeg,
    title = {Optimizing {JPEG} Quantization for Classification Networks},
    author = {Zhijing Li and Christopher De Sa and Adrian Sampson},
    booktitle = {Resource-Constrained Machine Learning (ReCoML) Workshop of MLSys},
    year = 2020,
}

@inproceedings{lambdalab,
    title = {LambdaLab: An Interactive λ-Calculus Reducer for Learning},
    author = {Daniel Sainati and Adrian Sampson},
    booktitle = {SPLASH-E},
    year = 2018,
}