Vernon Austel

Publication Activity (10 Years)

Years Active: 1991-2023
Publications (10 Years): 5

Top Topics

Neural Network Training

Nonlinear Optimization

Top Venues

ACM Trans. Math. Softw.

IEEE Trans. Pattern Anal. Mach. Intell.

Publications

Ibrahim Abdelaziz, Maxwell Crouse, Bassem Makni, Vernon Austel, Cristina Cornelio, Shajith Ikbal, Pavan Kapanipathi, Ndivhuwo Makondo, Kavitha Srinivas, Michael Witbrock, Achille Fokoue
Learning to Guide a Saturation-Based Theorem Prover. IEEE Trans. Pattern Anal. Mach. Intell. 45 (1) (2023)
Cristina Cornelio, Sanjeeb Dash, Vernon Austel, Tyler R. Josephson, Joao Goncalves, Kenneth L. Clarkson, Nimrod Megiddo, Bachir El Khadir, Lior Horesh
Integration of Data and Theory for Accelerated Derivable Symbolic Discovery. CoRR (2021)
Vernon Austel, Cristina Cornelio, Sanjeeb Dash, Joao Goncalves, Lior Horesh, Tyler R. Josephson, Nimrod Megiddo
Symbolic Regression using Mixed-Integer Nonlinear Optimization. CoRR (2020)
I-Hsin Chung, Tara N. Sainath, Bhuvana Ramabhadran, Michael Picheny, John A. Gunnels, Vernon Austel, Upendra V. Chaudhari, Brian Kingsbury
Parallel Deep Neural Network Training for Big Data on Blue Gene/Q. IEEE Trans. Parallel Distributed Syst. 28 (6) (2017)
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
The BLIS Framework: Experiments in Portability. ACM Trans. Math. Softw. 42 (2) (2016)
Tara N. Sainath, I-Hsin Chung, Bhuvana Ramabhadran, Michael Picheny, John A. Gunnels, Brian Kingsbury, George Saon, Vernon Austel, Upendra V. Chaudhari
Parallel deep neural network training for LVCSR tasks using blue gene/Q. INTERSPEECH (2014)
I-Hsin Chung, Tara N. Sainath, Bhuvana Ramabhadran, Michael Picheny, John A. Gunnels, Vernon Austel, Upendra V. Chaudhari, Brian Kingsbury
Parallel Deep Neural Network Training for Big Data on Blue Gene/Q. SC (2014)
François Gygi, Erik W. Draeger, Martin Schulz, Bronis R. de Supinski, John A. Gunnels, Vernon Austel, James C. Sexton, Franz Franchetti, Stefan Kral, Christoph W. Ueberhuber, Juergen Lorenz
Gordon Bell finalists I - Large-scale electronic structure calculations of high-Z metals on the BlueGene/L platform. SC (2006)
Hiroshi Akiba, Tomonobu Ohyama, Yoshinoir Shibata, Kiyoshi Yuyama, Yoshikazu Katai, Ryuichi Takeuchi, Takeshi Hoshino, Shinobu Yoshimura, Hirohisa Noguchi, Manish Gupta, John A. Gunnels, Vernon Austel, Yogish Sabharwal, Rahul Garg, Shoji Kato, Takashi Kawakami, Satoru Todokoro, Junko Ikeda
Gordon Bell finalists I - Large scale drop impact analysis of mobile phone using ADVC on Blue Gene/L. SC (2006)
Gerhard Schellhorn, Wolfgang Reif, Axel Schairer, Paul A. Karger, Vernon Austel, David C. Toll
Verified Formal Security Models for Multiapplicative Smart Cards. J. Comput. Secur. 10 (4) (2002)
Gerhard Schellhorn, Wolfgang Reif, Axel Schairer, Paul A. Karger, Vernon Austel, David C. Toll
Verification of a Formal Security Model for Multiapplicative Smart Cards. ESORICS (2000)
Sean W. Smith, Vernon Austel
Trusting Trusted Hardware: Towards a Formal Model for Programmable Secure Coprocessors. USENIX Workshop on Electronic Commerce (1998)
Indranil Chakravarty, Michael F. Kleyn, Thomas Y. C. Woo, Rajive L. Bagrodia, Vernon Austel
UNITY to UC: A Case Study in the Derivation of Parallel Programs. Research Directions in High-Level Parallel Programming Languages (1991)