Not logged in Leveraging AI for Productive and Trustworthy HPC Software: Challenges and Research Directions Teranishi, Keita; Menon, Harshitha; Godoy, William F.; Balaprakash, Prasanna; Bau, David; Ben-Nun, Tal; Bhatele, Abhinav; Franchetti, Franz; Franusich, Michael; Gamblin, Todd; Georgakoudis, Giorgis; Goldstein, Tom; Guha, Arjun; Hahn, Steven E.; Iancu, Costin; Jin, Zheming; Jones, Terry; Low, Tze Meng; Mankad, Het; Miniskar, Narasinga Rao; Monil, Mohammad Alaul Haque; Nichols, Daniel; Parasyris, Konstantinos; Pophale, Swaroop; Valero-Lara, Pedro; Vetter, Jeffrey S.; Williams, Samuel; Young, Aaron Share Save
Share Save
Share Save
High-Assurance SPIRAL END-TO-END GUARANTEES FOR ROBOT AND CAR CONTROL Franchetti, Franz; Low, Tze Meng; Mitsch, Stefan; Mendoza, Juan Pablo; Gui, Liangyan; Phaosawasdi, Amarin; Padua, David; Kar, Soummya; Moura, Jose M. F.; Franusich, Michael; Johnson, Jeremy; Platzer, Andre; Veloso, Manuela M. Share Save
Share Save
Share Save
Bluegene/L applications:: Parallelism on a massive scale De Supinski, Bronis R.; Schulz, Martin; Bulatov, Vasily V.; Cabot, William; Chan, Bor; Cook, Andrew W.; Draegerl, Erik W.; Glosli, James N.; Greenough, Jeffrey A.; Henderson, Keith; Kubota, Alison; Louis, Steve; Miller, Brian J.; Patel, Mehul V.; Spelce, Thomas E.; Streitz, Frederick H.; Williams, Peter L.; Yates, Robert K.; Yoo, Andy; Almasi, George; Bhanot, Gyan; Gara, Alan; Gunnels, John A.; Gupta, Manish; Moreira, Jose; Sexton, James; Walkup, Bob; Archer, Charles; Gygi, Francois; Germann, Timothy C.; Kadau, Kai; Lomdahl, Peter S.; Rendleman, Charles; Welcome, Michael L.; McLendon, William; Hendrickson, Bruce; Franchetti, Franz; Kraig, Stefan; Lorenz, Juergen; Ueberhuber, Christoph W.; Chow, Edmond; Catalyuerek, Uemit Share Save
SPIRAL:: Code generation for DSP transforms Püschel, M; Moura, JMF; Johnson, JR; Padua, D; Veloso, MM; Singer, BW; Xiong, JX; Franchetti, F; Gacic, A; Voronenko, Y; Chen, K; Johnson, RW; Rizzolo, N Share Save
Share Save