Vernon Austel

14 papers A 5Journal 6Unranked 3
YearRankTypeTitle / Venue / Authors
2024 — conf
API-BLEND: A Comprehensive Corpora for Training and Benchmarking API LLMs.
ACL (1)
Kinjal Basu, Ibrahim Abdelaziz, Subhajit Chaudhury, Soham Dan, Maxwell Crouse, Asim Munawar, Vernon Austel, Sadhana Kumaravel, Vinod Muthusamy, Pavan Kapanipathi, Luis A. Lastras
2023 J jnl
Learning to Guide a Saturation-Based Theorem Prover.
IEEE Trans. Pattern Anal. Mach. Intell.
Ibrahim Abdelaziz, Maxwell Crouse, Bassem Makni, Vernon Austel, Cristina Cornelio, Shajith Ikbal, Pavan Kapanipathi, Ndivhuwo Makondo, Kavitha Srinivas, Michael Witbrock, Achille Fokoue
2021 J jnl
Integration of Data and Theory for Accelerated Derivable Symbolic Discovery.
CoRR
Cristina Cornelio, Sanjeeb Dash, Vernon Austel, Tyler R. Josephson, Joao Goncalves, Kenneth L. Clarkson, Nimrod Megiddo, Bachir El Khadir, Lior Horesh
2020 J jnl
Symbolic Regression using Mixed-Integer Nonlinear Optimization.
CoRR
Vernon Austel, Cristina Cornelio, Sanjeeb Dash, Joao Goncalves, Lior Horesh, Tyler R. Josephson, Nimrod Megiddo
2017 J jnl
Parallel Deep Neural Network Training for Big Data on Blue Gene/Q.
IEEE Trans. Parallel Distributed Syst.
I-Hsin Chung, Tara N. Sainath, Bhuvana Ramabhadran, Michael Picheny, John A. Gunnels, Vernon Austel, Upendra V. Chaudhari, Brian Kingsbury
2016 J jnl
The BLIS Framework: Experiments in Portability.
ACM Trans. Math. Softw.
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
2014 A conf
Parallel Deep Neural Network Training for Big Data on Blue Gene/Q.
SC
I-Hsin Chung, Tara N. Sainath, Bhuvana Ramabhadran, Michael Picheny, John A. Gunnels, Vernon Austel, Upendra V. Chaudhari, Brian Kingsbury
2014 A conf
Parallel deep neural network training for LVCSR tasks using blue gene/Q.
INTERSPEECH
Tara N. Sainath, I-Hsin Chung, Bhuvana Ramabhadran, Michael Picheny, John A. Gunnels, Brian Kingsbury, George Saon, Vernon Austel, Upendra V. Chaudhari
2006 A conf
Gordon Bell finalists I - Large scale drop impact analysis of mobile phone using ADVC on Blue Gene/L.
SC
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
2006 A conf
Gordon Bell finalists I - Large-scale electronic structure calculations of high-Z metals on the BlueGene/L platform.
SC
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
2002 J jnl
Verified Formal Security Models for Multiapplicative Smart Cards.
J. Comput. Secur.
Gerhard Schellhorn, Wolfgang Reif, Axel Schairer, Paul A. Karger, Vernon Austel, David C. Toll
2000 A conf
Verification of a Formal Security Model for Multiapplicative Smart Cards.
ESORICS
Gerhard Schellhorn, Wolfgang Reif, Axel Schairer, Paul A. Karger, Vernon Austel, David C. Toll
1998 — conf
Trusting Trusted Hardware: Towards a Formal Model for Programmable Secure Coprocessors.
USENIX Workshop on Electronic Commerce
Sean W. Smith, Vernon Austel
1991 — conf
UNITY to UC: A Case Study in the Derivation of Parallel Programs.
Research Directions in High-Level Parallel Programming Languages
Indranil Chakravarty, Michael F. Kleyn, Thomas Y. C. Woo, Rajive L. Bagrodia, Vernon Austel