John McIver, Ph.D. Student
I am a Ph.D. student in the Virginia Tech CS Department, where I am advised by Prof. Kirshanthan Sundararajah.
My research is in the area of compiler optimization techniques for both CPU and GPGPU.
News
Publications
-
Towards Removing Undef Values From LLVM IR.
Pedro Lobo, John McIver, George Mitenkov, Juneyoung Lee, Kirshanthan Sundararajah, Nuno P. Lopes.
PLDI 2026. (doi)
Recipient of Distinguished Paper Award.
-
Reducing Radiation-Hardened Digital Circuit Power Consumption
J. K. McIver and L. T. Clark
IEEE Transactions on Nuclear Science, vol. 52, no. 6, pp. 2503-2509, Dec. 2005 (doi)
-
Design and Analysis of the Alliance/University of New Mexico Roadrunner Linux SMP SuperCluster
D. A. Bader, A. B. Maccabe, J. R. Mastaler, J. K. McIver and P. A. Kovatch
ICWC 99. IEEE Computer Society International Workshop on Cluster Computing, Melbourne, VIC, Australia, 1999 (doi)
Patents
-
Sequential Circuit Design for Radiation Hardened Multiple Voltage Integrated Circuits
Lawrence T. Clark, John K. McIver III
US7622976B2 granted 2009-11-24
Interests
- Compiler IR optimizations
- Theorem proving using interactive provers
- Functional programming languages
- EDA algorithms
Education
Conferences & Events
- PLDI 2026 (Distinguished Paper Award)
- Summer School on Formal Techniques (SSFT), SRI International, 2026
- Summer School on Formal Techniques (SSFT), SRI International, 2024
Work Experience
- 15+ years of commercial software development (C++, Python)
- Scientific modeling and simulation
- Electronic design automation (EDA)
- Development operations
- 10 years of commercial ASIC development in process nodes ranging from 1.8 ฮผm to 28 nm
Please contact me directly for a full CV.
Hobbies
- All things photography
- Analog medium and large format (Ag + ๐งช)
- Medium format digital
- Camera restoration and repair ๐
- Running ๐ and bicycling ๐ด