@ARTICLE{marty2020safe,
  author={Thibaut Marty and Tomofumi Yuki and Steven Derrien},
  journal={IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems}, 
  title={Safe Overclocking for {CNN} Accelerators through Algorithm-Level Error Detection}, 
  year={2020},
  volume={},
  number={},
  pages={1-1},
  doi = {10.1109/TCAD.2020.2981056}
}
  

@inproceedings{mohammadi2019sparse,
	author = {Mohammadi, Mahdi Soltan and Yuki, Tomofumi and Cheshmi, Kazem and Davis, Eddie C. and Hall, Mary and Dehnavi, Maryam Mehri and Nandy, Payal and Olschanowsky, Catherine and Venkat, Anand and Strout, Michelle Mills},
	title = {Sparse Computation Data Dependence Simplification for Efficient Compiler-generated Inspectors},
	booktitle = {Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation},
	series = {PLDI '19},
	year = 2019,
	month = Jun,
	pages = {594--609},
	numpages = {16},
	doi = {10.1145/3314221.3314646},
}
  

@inproceedings{yuki2019limit,
	author = {Yuki, Tomofumi},
	title = {The Limit of Polynomials},
	booktitle = {Proceedings of the 9th International Workshop on Polyhedral Compilation Techniques},
	series = {IMPACT '19},
	year   = 2019,
	month  = Jan,
}
  

@inproceedings{marty2018enabling,
  title={Enabling Overclocking with HLS Tools through Algorithm-Level Error Detection},
  author={Thibaut Marty, Tomofumi Yuki, and Steven Derrien},
  booktitle={Proceedings of the 2018 International Conference on Field-Programmable Technology (to appear)},
  series={ICFPT '18},
  location={Naha, Japan},
  month=Dec,
  year={2018},
}
    
  

@inproceedings{mohammadi2018extending,
  title={Extending Index-Array Properties for Data Dependence Analysis},
  authors={Mahdi Soltan Mohammadi and Kazem Cheshmi and Maryam Mehri Dehnavi and Anand Venkat and Tomofumi Yuki and Michelle Mills Strout},
  booktitle={Proceedings of the 31st International Workshop on Languages and Compilers for Parallel Computing},
  series={LCPC '18},
  month=Oct,
  year={2018}
}
    
  

@inproceedings{deest2017onesize,
  title={One Size Does Not Fit All: Implementation Trade-offs for Iterative Stencil Computations on FPGAs},
  author={Ga\"{e}l Deest, Tomofumi Yuki, Sanjay Rajopadhye, and Steven Derrien},
  booktitle={Proceedings of the 27th International Conference on Field-Programmable Logic and Applications},
  series={FPL '17},
  year={2017},
  month=Sep,
  location={Ghent, Belgium},
}
    
  

@INPROCEEDINGS{niu2016eureca, 
author={Xinyu Niu and Nicholas Ng and Tomofumi Yuki and Shaojun Wang and Nobuko Yoshida and Wayne Luk}, 
title={{EURECA} compilation: Automatic optimisation of cycle-reconfigurable circuits}, 
booktitle={Proceedings of the 26th International Conference on Field Programmable Logic and Applications}, 
series={FPL '16}
year={2016}, 
pages={1-4}, 
doi={10.1109/FPL.2016.7577359}, 
month={Aug}
}
    
  

@inproceedings{darte2016extended,
 author = {Darte, Alain and Isoard, Alexandre and Yuki, Tomofumi},
 title = {Extended Lattice-based Memory Allocation},
 booktitle = {Proceedings of the 25th International Conference on Compiler Construction},
 series = {CC '16},
 year = {2016},
 location = {Barcelona, Spain},
 pages = {218--228},
 numpages = {11},
 doi = {10.1145/2892208.2892213},
} 
    
  

@inproceedings{yuki2015revisiting,
 author = {Tomofumi Yuki},
 title = {Revisiting Loop Transformations with {X10} Clocks},
 booktitle = {Proceedings of the ACM SIGPLAN Workshop on {X10}},
 series = {X10'15},
 year = {2015},
 location = {Portland, OR, USA},
 pages = {1--6},
 numpages = {6},
 doi = {10.1145/2771774.2771778}
}
    
  

@inproceedings{deest2014derivation,
  title={Toward Scalable Source Level Accuracy Analysis for Floating-point to Fixed-point Conversion},
  author={Ga\"{e}l Deest, Tomofumi Yuki, Olivier Sentieys, and Steven Derrien},
  booktitle={Proceedings of the 2014 International Conference on Computer-Aided Design},
  series={ICCAD '14},
  year={2014},
  pages={726--733},
  month=Nov,
  location={San Jose, CA},
}
    
  

@inproceedings{yuki2014understanding,
	author = {Yuki, Tomofumi},
	title = {Understanding {PolyBench/C} 3.2 Kernels},
	booktitle = {Proceedings of the 4th International Workshop on Polyhedral Compilation Techniques},
	series = {IMPACT '14},
	year   = 2014,
	month  = Jan,
}
  

@inproceedings{yuki2013derivation,
  title={Derivation of Efficient {FSM} from Loop Nests},
  author={Tomofumi Yuki and Antoine Morvan and Steven Derrien},
  booktitle={Proceedings of the 2013 International Conference on Field-Programmable Technology},
  series={ICFPT '13},
  pages={286--293},
  location={Kyoto, Japan},
  month=Dec,
  year={2013},
  doi={10.1109/FPT.2013.6718367}
}
    
  

@inproceedings{yuki2013folklore,
  title={Folklore Confirmed: Compiling for Speed = Compiling for Energy},
  author={Tomofumi Yuki and Sanjay Rajopadhye},
  booktitle={Proceedings of the 26th International Workshop on Languages and Compilers for Parallel Computing},
  series={LCPC '13},
  month=Sep,
  year={2013}
}
    
  

@INPROCEEDINGS{alma2013coarse, 
author={Goulas, G. and Valouxis, C. and Alefragis, P. and Voros, N.S. and Oey, O. and Stripf, T. and Bruckschloegl, T. and Becker, J. and Gogos, C. and El Moussawi, A. and Naullet, M. and Yuki, T.}, 
   booktitle={Proceedings of the 2013 Euromicro Conference on Digital System Design}, 
   title={Coarse-Grain Optimization and Code Generation for Embedded Multicore Systems},
   month=Sep,
   year={2013}, 
   pages={379-386}, 
   doi={10.1109/DSD.2013.48}
}
    
  

@inproceedings{floch2013gecos,
  title={{GeCoS}: A Framework for Prototyping Custom Hardware Design Flows},
  author={Antoine Floc'h and Tomofumi Yuki and Ali El-Moussawi and Antoine Morvan and Kevin Martin and Maxime Naullet and 
Mythri Alle and Ludovic L'Hours and Nicolas Simon and Steven Derrien and Fran\c{c}ois Charot and Christophe Wolinski and Olivier Sentieys},
  booktitle={Proceedings of the 13th IEEE International Working Conference on Source Code Analysis and Manipulation},
  series={SCAM'13},
  location={Eindhoven, Netherlands},
  pages={100--105},
  month=Sep,
  year={2013},
  doi={10.1109/SCAM.2013.6648190}
}
    
  

@inproceedings{ketterlin2013determinacy,
  title={Determinacy Analysis of Polyhedral X10 Programs},
  author={Alain Ketterlin and Eric Violard and Paul Feautrier and Tomofumi Yuki and Sanjay Rajopadhye and Vijay Saraswat},
  booktitle={Proceedings of the 17th Workshop on Compilers for Parallel Computing},
  month=Jul,
  year={2013}
}
     
  

@inproceedings{yuki2013array,
  title={Array Dataflow Analysis for Polyhedral {X10} Programs},
  author={Tomofumi Yuki and Paul Feautrier and Sanjay Rajopadhye and Vijay Saraswat},
  booktitle={Proceedings of the 18th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming},
  series = {PPoPP '13},
  location = {Shenzhen, China},
  pages = {23--34},
  month= Feb,
  year = {2013},
  doi  = {10.1145/2442516.2442520}
}
    
  

@inproceedings{yuki2012equational,
  title={{AlphaZ and the Polyhedral Equational Model}},
  author={Tomofumi Yuki and Sanjay Rajopadhye},
  booktitle={Proceedings of the 2nd International Workshop on Domain-Specific Languages and High-Level Frameworks for High Performance Computing},
  year={2012}
}
    
  

@inproceedings{yuki2012alphaz,
  title={{AlphaZ}: A System for Design Space Exploration in the Polyhedral Model},
  author={Tomofumi Yuki and Gautam Gupta and DaeGon Kim and Tanveer Pathan and Sanjay Rajopadhye},
  booktitle={Proceedings of the 25th International Workshop on Languages and Compilers for Parallel Computing},
  series = {LCPC '12},
  location ={Tokyo, Japan},
  pages={17--31},
  month=Sep,
  year={2012},
  doi={10.1007/978-3-642-37658-0_2},
}
    
  

@inproceedings{floch2011model,
  title={Model-Driven Engineering and Optimizing Compilers: A bridge too far?},
  author={Floch, Antoine and Yuki, Tomofumi and Guy, Clement and Derrien, Steven and Combemale, Benoit and Rajopadhye, Sanjay and France, Robert},
  booktitle={Proceedings of the 14th International Conference on Model Driven Engineering Languages and Systems},
  series = {MODELS '11},
  location = {Wellington, New Zealand},
  pages = {608--622},
  month = Oct,
  year={2011},
  doi={10.1007/978-3-642-24485-8_45}
}
    
  

@inproceedings{basupalli2011ompverify,
   title={{ompVerify}: Polyhedral Analysis for the {OpenMP} Programmer},
   author={Basupalli, Vamshi and Yuki, Tomofumi and Rajopadhye, Sanjay and Morvan, Antoine and Derrien, Steven and Quinton, Patrice and Wonnacott, Dave},
   booktitle = {Proceedings of the 7th International Workshop on OpenMP},
   series={IWOMP '11},
   location={Chicago, IL},
   pages={37--53},
   month=Jun,
   year={2011},
   doi={10.1007/978-3-642-21487-5_4}
}
    
  

@inproceedings{yuki2010automatic,
  title={Automatic Creation of Tile Size Selection Models},
  author={Yuki, Tomofumi and Renganarayanan, Lakshminarayanan and Rajopadhye, Sanjay and Anderson, Charles and Eichenberger, Alex E. and O'Brien, Kevin},
  booktitle={Proceedings of the 8th IEEE ACM International symposium on Code Generation and Optimization},
  series = {CGO '10},
  location ={Tronto, Canada},
  pages={190--199},
  month=Apr,
  year={2010},
  doi={10.1145/1772954.1772982}
}
    
  

@article{mohammadi2018sparse,
     author = {Mahdi Soltan Mohammadi and Kazem Cheshmi and Ganesh Gopalakrishnan and Mary Hall and Maryam Mehri Dehnavi and Anand Venkat and Tomofumi Yuki and Michelle Mills Strout},
     title = {Sparse Matrix Code Dependence Analysis Simplification at Compile Time},
     journal = {ArXiv e-prints},
     archivePrefix = "arXiv",
     eprint = {1807.10852},
     primaryClass = "cs.PL",
     year = 2018,
     month = jul,
     url={https://arxiv.org/abs/1807.10852}
     adsurl = {http://adsabs.harvard.edu/abs/2018arXiv180710852S},
     adsnote = {Provided by the SAO/NASA Astrophysics Data System}
}
    
  

@techreport{yuki2013checking,
  title={Checking Race Freedom of Clocked X10 Programs},
  author={Yuki, Tomofumi and Feautrier, Paul and Rajopadhye, Sanjay and Saraswat, Vijay},
  year=2013,
  institution={arxiv/1311.4305},
  version=1,
  date={2013-11-18},
  eprinttype = "arXiv",
  eprint = {1311.4305},
  url={http://arxiv.org/abs/1311.4305},
}
    
  

@techreport{yuki2013dvfsTR,
  title={Diminishing Returns of Frequency Scaling},
  author={Yuki, Tomofumi and Rajopadhye, Sanjay},
  year={2013},
  institution={CS-13-107, Colorado State University}
}
    
  

@techreport{yuki2013mpiTR,
  title={Parametrically Tiled Distributed Memory Parallelization of Polyhedral Programs},
  author={Yuki, Tomofumi and Rajopadhye, Sanjay},
  year={2013},
  institution={CS-13-105, Colorado State University}
}
    
  

@techreport{rajopadhye2013gpgpuTR,
  title={The Stencil Processing Unit: {GPGPU} Done Right},
  author={Rajopadhye, Sanjay and Iooss, Guillaume and Yuki, Tomofumi and Connors, Dan},
  year={2013},
  institution={CS-13-103, Colorado State University}
}
    
  

@techreport{yuki2012alphazTR,
  title={{AlphaZ}: A System for Analysis, Transformation, and Code Generation in
                  the Polyhedral Equational Model},
  author={Yuki, Tomofumi and Basupalli, Vamshi and Gupta, Gautam and Iooss, Guillaume and 
                  Kim, DaeGon and Pathan, Tanveer and Srinivasa, Pradeep. and Zou, Yun. and
                  Rajopadhye, Sanjay},
  year={2012},
  institution={CS-12-101, Colorado State University}
}
    
  

@techreport{yuki2012unafold,
  title={Systematic Implementation of fast-i-loop in {UNAfold} using {AlphaZ}},
  author={Yuki, Tomofumi and Gupta, Gautam and Pathan, Tanveer and  Rajopadhye, Sanjay},
  year={2012},
  institution={CS-12-102, Colorado State University}
}
    
  

@techreport{yuki2011canonic,
    title={Canonic Multi-Projection: Memory Allocation for Distributed Memory Parallelization},
    author={Tomofumi Yuki and Sanjay Rajopadhye},
    year={2011},
    institution={Technical Report CS-11-106, Colorado State University}
}