UNITY to UC: A Case Study in the Derivation of Parallel Programs. - Indranil Chakravarty; Michael F. Kleyn; Thomas Y. C. Woo; Rajive L. Bagrodia; Vernon Austel (Research Directions in High-Level Parallel Programming Languages, 1991)

Trusting Trusted Hardware: Towards a Formal Model for Programmable Secure Coprocessors. - Sean W. Smith; Vernon Austel (USENIX Workshop on Electronic Commerce, 1998)

Verification of a Formal Security Model for Multiapplicative Smart Cards. - Gerhard Schellhorn; Wolfgang Reif; Axel Schairer; Paul A. Karger; Vernon Austel; David C. Toll (ESORICS, 2000)

Verified Formal Security Models for Multiapplicative Smart Cards. - Gerhard Schellhorn; Wolfgang Reif; Axel Schairer; Paul A. Karger; Vernon Austel; David C. Toll (J. Comput. Secur., 2002)

Gordon Bell finalists I - Large scale drop impact analysis of mobile phone using ADVC on Blue Gene/L. - Hiroshi Akiba; Tomonobu Ohyama; Yoshinoir Shibata; Kiyoshi Yuyama; Yoshikazu Katai; Ryuichi Takeuchi; Takeshi Hoshino; Shinobu Yoshimura; Hirohisa Noguchi; Manish Gupta 002; John A. Gunnels; Vernon Austel; et al. (SC, 2006)

Gordon Bell finalists I - Large-scale electronic structure calculations of high-Z metals on the BlueGene/L platform. - François Gygi; Erik W. Draeger; Martin Schulz 001; Bronis R. de Supinski; John A. Gunnels; Vernon Austel; James C. Sexton; Franz Franchetti; Stefan Kral; Christoph W. Ueberhuber; Juergen Lorenz (SC, 2006)

Parallel deep neural network training for LVCSR tasks using blue gene/Q. - Tara N. Sainath; I-Hsin Chung; Bhuvana Ramabhadran; Michael Picheny; John A. Gunnels; Brian Kingsbury; George Saon; Vernon Austel; Upendra V. Chaudhari (INTERSPEECH, 2014)

The BLIS Framework: Experiments in Portability. - Field G. Van Zee; Tyler M. Smith; Bryan Marker; Tze Meng Low; Robert A. van de Geijn; Francisco D. Igual; Mikhail Smelyanskiy; Xianyi Zhang; Michael Kistler; Vernon Austel; John A. Gunnels; Lee Killough (ACM Trans. Math. Softw., 2016)

Parallel Deep Neural Network Training for Big Data on Blue Gene/Q. - I-Hsin Chung; Tara N. Sainath; Bhuvana Ramabhadran; Michael Picheny; John A. Gunnels; Vernon Austel; Upendra V. Chaudhari; Brian Kingsbury (IEEE Trans. Parallel Distributed Syst., 2017)

Symbolic Regression using Mixed-Integer Nonlinear Optimization. - Vernon Austel; Cristina Cornelio; Sanjeeb Dash; Joao Goncalves; Lior Horesh; Tyler R. Josephson; Nimrod Megiddo (CoRR, 2020)

Integration of Data and Theory for Accelerated Derivable Symbolic Discovery. - Cristina Cornelio; Sanjeeb Dash; Vernon Austel; Tyler R. Josephson; Joao Goncalves; Kenneth L. Clarkson; Nimrod Megiddo; Bachir El Khadir; Lior Horesh (CoRR, 2021)

Learning to Guide a Saturation-Based Theorem Prover. - Ibrahim Abdelaziz; Maxwell Crouse; Bassem Makni; Vernon Austel; Cristina Cornelio; Shajith Ikbal; Pavan Kapanipathi; Ndivhuwo Makondo; Kavitha Srinivas; Michael Witbrock; Achille Fokoue (IEEE Trans. Pattern Anal. Mach. Intell., 2023)

API-BLEND: A Comprehensive Corpora for Training and Benchmarking API LLMs. - Kinjal Basu 002; Ibrahim Abdelaziz; Subhajit Chaudhury; Soham Dan; Maxwell Crouse; Asim Munawar; Vernon Austel; Sadhana Kumaravel; Vinod Muthusamy; Pavan Kapanipathi; Luis A. Lastras (ACL (1), 2024)