summaryrefslogtreecommitdiffstats
path: root/conference.bib
blob: 6d65750f29c0929620ac5b19f2256c85d619e430 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
@article{canis13_legup,
  author          = {Canis, Andrew and Choi, Jongsok and Aldham, Mark and Zhang, Victor and
                  Kammoona, Ahmed and Czajkowski, Tomasz and Brown, Stephen D. and Anderson, Jason
                  H.},
  title           = {Legup: an Open-Source High-Level Synthesis Tool for Fpga-Based
                  Processor/accelerator Systems},
  journal         = {ACM Trans. Embed. Comput. Syst.},
  volume          = {13},
  number          = {2},
  year            = {2013},
  doi             = {10.1145/2514740},
  address         = {New York, NY, USA},
  articleno       = {24},
  issn            = {1539-9087},
  issue_date      = {September 2013},
  month           = {9},
  numpages        = {27},
  publisher       = {Association for Computing Machinery},
}

@misc{xilinx20_vivad_high_synth,
  author          = {Xilinx},
  title           = {Vivado High-level Synthesis},
  url             = {https://bit.ly/39ereMx},
  urldate         = {2020-07-20},
  year            = 2020,
}

@misc{intel20_sdk_openc_applic,
  author          = {Intel},
  title           = {{SDK} for {OpenCL} Applications},
  url             = {https://intel.ly/30sYHz0},
  urldate         = {2020-07-20},
  year            = 2020,
}

@misc{mentor20_catap_high_level_synth,
  author          = {Mentor},
  title           = {Catapult High-Level Synthesis},
  url             = {https://bit.ly/32xhADw},
  urldate         = {2020-06-06},
  year            = 2020,
}

@inproceedings{yang11_findin_under_bugs_c_compil,
  author =       {Yang, Xuejun and Chen, Yang and Eide, Eric and Regehr, John},
  title =        {Finding and Understanding Bugs in C Compilers},
  booktitle =    {Proceedings of the 32nd ACM SIGPLAN Conference on Programming
                  Language Design and Implementation},
  year =         2011,
  pages =        {283--294},
  doi =          {10.1145/1993498.1993532},
  acmid =        1993532,
  address =      {New York, NY, USA},
  isbn =         {978-1-4503-0663-8},
  location =     {San Jose, California, USA},
  numpages =     12,
  publisher =    {ACM},
  series =       {PLDI '11},
}

@inproceedings{lidbury15_many_core_compil_fuzzin,
  author          = {Lidbury, Christopher and Lascu, Andrei and Chong, Nathan and Donaldson,
                  Alastair F.},
  title           = {Many-Core Compiler Fuzzing},
  booktitle       = {Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design
                  and Implementation},
  year            = 2015,
  pages           = {65-76},
  doi             = {10.1145/2737924.2737986},
  address         = {New York, NY, USA},
  isbn            = 9781450334686,
  location        = {Portland, OR, USA},
  numpages        = 12,
  publisher       = {Association for Computing Machinery},
  series          = {PLDI '15},
}

@misc{hls_fintech,
  author = {EE Journal},
  title = {Silexica Expands Into FinTech Industry Bringing Next-Generation Compute Acceleration},
  year = {2020},
  month = {June},
  url = {https://bit.ly/hls-fintech},
  howpublished = {Press Release},
}

@misc{hls_objdetect,
  author = {PR Newswire},
  title = {Mentor's Catapult HLS enables Chips\&Media to deliver deep learning hardware accelerator IP in half the time},
  year = {2019},
  month = {January},
  url = {https://bit.ly/hls-objdetect},
  howpublished = {Press Release},
}

@misc{hls_controller,
  author = {LegUp Computing},
  title = {Migrating Motor Controller {C++} Software
from a Microcontroller to a PolarFire {FPGA}
with {LegUp} High-Level Synthesis},
  year = {2020},
  month = {June},
  url = {https://bit.ly/hls-controller},
  howpublished = {White Paper},
}

@inproceedings {verismith,
  author = {Yann Herklotz and
               John Wickerson},
  title = {Finding and Understanding Bugs in {FPGA} Synthesis Tools},
  booktitle = {{FPGA}},
  pages = {277-287},
  doi = {10.1145/3373087.3375310},
  publisher = {{ACM}},
  year = {2020}
}