George K. Thiruvathukal
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
34
Venues
20
Active years
1994–2026
Best venue rank
A*
Where they publish
Papers
34 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ICSoft | Can LLMs Write Correct TLA + Specifications? Evaluating Natural-Language-to-TLA + Generation. | Arslan Bisharat, Brian Ortiz, Eric Spencer, Khushboo Bhadauria, TaiNing Wang, George K. Thiruvathukal, Konstantin Lufer, Mohammed Abuhamad |
| 2026 | ICSoft | TLA-Prover: Verifiable TLA+ Specification Synthesis via Preference-Optimized Low-Rank Adaptation. | Eric Spencer, Arslan Bisharat, Brian Ortiz, Mujtaba Nazari, Khushboo Bhadauria, TaiNing Wang, George K. Thiruvathukal, Konstantin Lufer, Mohammed Abuhamad |
| 2025 | SC | An Interactive Agentic HPC Tutor for Lesson Planning, Teaching, and Assessment. | Erik Pautsch, Mengjiao Han, Joseph A. Insley, Janet Knowles, Victor A. Mateevitsi, Silvio Rizzi, George K. Thiruvathukal |
| 2024 | ASPDAC | An automated approach for improving the inference latency and energy efficiency of pretrained CNNs by removing irrelevant pixels with focused convolutions. | Caleb Tung, Nicholas Eliopoulos, Purvish Jajal, Gowri Ramshankar, Cheng-Yun Yang, Nicholas Synovic, Xuecen Zhang, Vipin Chaudhary, George K. Thiruvathukal, Yung-Hsiang Lu |
| 2024 | ESEM | What do we know about Hugging Face? A systematic literature review and quantitative validation of qualitative claims. | Jason Jones, Wenxin Jiang, Nicholas Synovic, George K. Thiruvathukal, James C. Davis |
| 2024 | FIE | WIP: An Engaging Undergraduate Intro to Model Checking in Software Engineering Using TLA+. | Konstantin Lufer, Gunda Mertin, George K. Thiruvathukal |
| 2024 | ISSTA | Interoperability in Deep Learning: A User Survey and Failure Analysis of ONNX Model Converters. | Purvish Jajal, Wenxin Jiang, Arav Tewari, Erik Kocinare, Joseph Woo, Anusha Sarraf, Yung-Hsiang Lu, George K. Thiruvathukal, James C. Davis |
| 2024 | MSR | PeaTMOSS: A Dataset and Initial Analysis of Pre-Trained Models in Open-Source Software. | Wenxin Jiang, Jerin Yasmin, Jason Jones, Nicholas Synovic, Jiashen Kuo, Nathaniel Bielanski, Yuan Tian, George K. Thiruvathukal, James C. Davis |
| 2024 | SC | Optimizing Uncertainty Estimation on Scientific Visualizations Using Learning Models. | Clara J. Almeida, David Guerrero-Pantoja, Erik Pautsch, Silvio Rizzi, George K. Thiruvathukal, Maria Pantoja |
| 2023 | ICSE | An Empirical Study of Pre-Trained Model Reuse in the Hugging Face Deep Learning Model Registry. | Wenxin Jiang, Nicholas Synovic, Matt Hyatt, Taylor R. Schorlemmer, Rohan Sethi, Yung-Hsiang Lu, George K. Thiruvathukal, James C. Davis |
| 2023 | MSR | PTMTorrent: A Dataset for Mining Open-source Pre-trained Model Packages. | Wenxin Jiang, Nicholas Synovic, Purvish Jajal, Taylor R. Schorlemmer, Arav Tewari, Bhavesh Pareek, George K. Thiruvathukal, James C. Davis |
| 2023 | SC | EduHPC Lightning Talk Summary. | Michael Alexander, Sanjukta Bhowmick, Befikir Bogale, Gilberto Daz, Anne C. Elster, Danielle A. Ellsworth, Carlos Jaime Barrios Hernndez, Evan Jaffe, Jack D. Marquez, Alison Melton, Aashish Pandey, Suzanne Parete-Koon, Nigel Tan, Michela Taufer, Vernica G. Melesse Vergara, Lauren Whitnah, George K. Thiruvathukal |
| 2023 | SC | Peachy Parallel Assignments (EduHPC 2023). | H. Martin Bcker, Jeremiah Corrado, Daniel Fedorin, Diego Garca-lvarez, Arturo Gonzlez-Escribano, John Li, Maria Pantoja, Erik Pautsch, Marieke Plesske, Marcelo Ponce, Silvio Rizzi, Erik Saule, Johannes Schoder, George K. Thiruvathukal, Ramses van Zon, Wolf Weber, David P. Bunde |
| 2023 | SC | Optimized Uncertainty Estimation for Vision Transformers: Enhancing Adversarial Robustness and Performance Using Selective Classification. | Erik Pautsch, John Li, Silvio Rizzi, George K. Thiruvathukal, Maria Pantoja |
| 2022 | ASPDAC | Efficient Computer Vision on Edge Devices with Pipeline-Parallel Hierarchical Neural Networks. | Abhinav Goel, Caleb Tung, Xiao Hu, George K. Thiruvathukal, James C. Davis, Yung-Hsiang Lu |
| 2022 | ISLPED | Directed Acyclic Graph-based Neural Networks for Tunable Low-Power Computer Vision. | Abhinav Goel, Caleb Tung, Nick Eliopoulos, Xiao Hu, George K. Thiruvathukal, James C. Davis, Yung-Hsiang Lu |
| 2021 | ISLPED | Low-Power Multi-Camera Object Re-Identification using Hierarchical Neural Networks. | Abhinav Goel, Caleb Tung, Xiao Hu, Haobo Wang, James C. Davis, George K. Thiruvathukal, Yung-Hsiang Lu |
| 2020 | COMPSAC | A Real-Time Feature Indexing System on Live Video Streams. | Aditya Chakraborty, Akshay Pawar, Hojoung Jang, Shunqiao Huang, Sripath Mishra, Shuo-Han Chen, Yuan-Hao Chang, George K. Thiruvathukal, Yung-Hsiang Lu |
| 2020 | ICIP | Camera Placement Meeting Restrictions of Computer Vision. | Sarah Aghajanzadeh, Roopasree Naidu, Shuo-Han Chen, Caleb Tung, Abhinav Goel, Yung-Hsiang Lu, George K. Thiruvathukal |
| 2020 | ISLPED | Low-power object counting with hierarchical neural networks. | Abhinav Goel, Caleb Tung, Sarah Aghajanzadeh, Isha Ghodgaonkar, Shreya Ghosh, George K. Thiruvathukal, Yung-Hsiang Lu |
| 2020 | WWW | Crowdsourcing Detection of Sampling Biases in Image Datasets. | Xiao Hu, Haobo Wang, Anirudh Vegesana, Somesh Dube, Kaiwen Yu, Gore Kao, Shuo-Han Chen, Yung-Hsiang Lu, George K. Thiruvathukal, Ming Yin |
| 2019 | EASE | Use of Software Process in Research Software Development: A Survey. | Nasir U. Eisty, George K. Thiruvathukal, Jeffrey C. Carver |
| 2019 | FIE | Exercises Integrating High School Mathematics with Robot Motion Planning. | Ronald I. Greenberg, George K. Thiruvathukal |
| 2017 | IRI | Comparison of Visual Datasets for Machine Learning. | Kent Gauen, Ryan Dailey, John Laiman, Yuxiang Zi, Nirmal Asokan, Yung-Hsiang Lu, George K. Thiruvathukal, Mei-Ling Shyu, Shu-Ching Chen |
| 2017 | SIGMOD | A distributed graph approach for pre-processing linked RDF data using supercomputers. | Michael J. Lewis, George K. Thiruvathukal, Venkatram Vishwanath, Michael E. Papka, Andrew E. Johnson |
| 2014 | SIGCSE | Scala for introductory CS and parallelism(abstract only). | Mark C. Lewis, Konstantin Lufer, George K. Thiruvathukal |
| 2013 | SIGCSE | Using Scala strategically across the undergraduate curriculum (abstract only). | Mark C. Lewis, Konstantin Lufer, George K. Thiruvathukal |
| 2011 | ICSoft | Initial Experience in Moving Key Academic Department Functions to Social Networking Sites. | David B. Dennis, Konstantin Lufer, George K. Thiruvathukal |
| 2011 | ICSoft | REST on Routers? - Preliminary Lessons for Language Designers, Framework Architects and App Developers. | Joe Kaylor, Konstantin Lufer, George K. Thiruvathukal |
| 2008 | SEKE | Combining SOA and BPM Technologies for Cross-System Process Automation. | S. Herr, Konstantin Lufer, J. Shafaee, George K. Thiruvathukal, Guido Wirtz |
| 2006 | CCGRID | Scalable Approaches for Supporting MPI-IO Atomicity. | Peter M. Aarestad, Avery Ching, George K. Thiruvathukal, Alok N. Choudhary |
| 2003 | ICPP | Scalable Implementations of MPI Atomicity for Concurrent Overlapping I/O. | Wei-keng Liao, Alok N. Choudhary, Kenin Coloma, George K. Thiruvathukal, Lee Ward, Eric Russell, Neil Pundit |
| 2000 | ICS | A novel application development environment for large-scale scientific computations. | Xiaohui Shen, Wei-keng Liao, Alok N. Choudhary, Gokhan Memik, Mahmut T. Kandemir, Sachin More, George K. Thiruvathukal, Arti Singh |
| 1994 | ICPP | Distributed Memo: A Heterogeneously Distributed and Parallel Software Development Environment. | William T. O'Connell, George K. Thiruvathukal, Thomas W. Christopher |