Vernon Austel

According to our database, Vernon Austel authored at least 12 papers between 1991 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2023

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

2021

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

2020

Symbolic Regression using Mixed-Integer Nonlinear Optimization.

Vernon Austel, Cristina Cornelio, Sanjeeb Dash, Joao Goncalves, Lior Horesh, Tyler R. Josephson, Nimrod Megiddo

CoRR, 2020

2017

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

2016

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

2014

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

Proceedings of the INTERSPEECH 2014, 2014

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, Bronis R. de Supinski, John A. Gunnels, Vernon Austel, James C. Sexton, Franz Franchetti, Stefan Kral, Christoph W. Ueberhuber, Juergen Lorenz

Proceedings of the ACM/IEEE SC2006 Conference on High Performance Networking and Computing, 2006

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, John A. Gunnels, Vernon Austel, Yogish Sabharwal, Rahul Garg, Shoji Kato, Takashi Kawakami, Satoru Todokoro, Junko Ikeda

Proceedings of the ACM/IEEE SC2006 Conference on High Performance Networking and Computing, 2006

2002

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

2000

Verification of a Formal Security Model for Multiapplicative Smart Cards.

Gerhard Schellhorn, Wolfgang Reif, Axel Schairer, Paul A. Karger, Vernon Austel, David C. Toll

Proceedings of the Computer Security, 2000

1998

Trusting Trusted Hardware: Towards a Formal Model for Programmable Secure Coprocessors.

Sean W. Smith, Vernon Austel

Proceedings of the 3rd USENIX Workshop on Electronic Commerce, Boston, Massachusetts, USA, August 31, 1998

1991

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

Proceedings of the Research Directions in High-Level Parallel Programming Languages, 1991