Justin Shi

According to our database, Justin Shi authored at least 7 papers between 2010 and 2025.

Collaborative distances:

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

2025

PCRLLM: Proof-Carrying Reasoning with Large Language Models under Stepwise Logical Constraints.

Tangrui Li, Pei Wang, Hongzheng Wang, Christian Hahm, Matteo Spatola, Justin Shi

CoRR, November, 2025

2019

EduPar Posters.

Deepak Aggarwal, Fei Cao, Harish Charan, Debzani Deb, Dabin Ding, Toby Dragon, Muztaba Fuad, Prashant Kumar, Hemant Joshi, Anthony Moore, Justin Shi, Michelle M. Zhu, Martina Barnas, Noemi de La Rocque Rodriguez

Proceedings of the IEEE International Parallel and Distributed Processing Symposium Workshops, 2019

2014

On The Reproducibility and Scalability of Extreme Scale Applications.

Justin Shi

CoRR, 2014

Standing Together for Reproducibility in Large-Scale Computing: Report on reproducibility@XSEDE.

Doug James, Nancy Wilkins-Diehr, Victoria Stodden, Dirk Colbry, Carlos Rosales, Mark R. Fahey, Justin Shi, Rafael Ferreira da Silva, Kyo Lee, Ralph Roskies, Laurence Loewe, Susan Lindsey, Rob Kooper, Lorena A. Barba, David H. Bailey, Jonathan M. Borwein, Óscar Corcho, Ewa Deelman, Michael C. Dietze, Benjamin Gilbert, Jan Harkes, Seth Keele, Praveen Kumar, Jong Lee, Erika Linke, Richard Marciano, Luigi Marini, Chris Mattmann, Dave Mattson, Kenton McHenry, Robert T. McLay, Sheila Miguez, Barbara S. Minsker, María S. Pérez-Hernández, Dan Ryan, Mats Rynge, Idafen Santana-Pérez, Mahadev Satyanarayanan, Gloriana St. Clair, Keith Webster, Eivind Hovig, Daniel S. Katz, Sophie Kay, Geir Kjetil Sandve, David Skinner, Gabrielle Allen, John Cazes, Kym Won Cho, Jim Fonseca, Lorraine J. Hwang, Lars Koesterke, Pragnesh Patel, Line Pouchard, Edward Seidel, Isuru Suriarachchi

CoRR, 2014

2012

Practical Considerations for a Digital Inductive-Switching DC/DC Converter With Direct Battery Connect in Deep Sub-Micron CMOS.

Justin Shi, Eric G. Soenen, Alan Roth, Ying-Chih Hsu, Martin Kinyua

IEEE J. Solid State Circuits, 2012

2011

A wide-range DC/DC converter with 2^nd order digital compensation and direct battery connection in 40nm CMOS.

Justin Shi, Ying-Chih Hsu, Eric G. Soenen, Alan Roth, Justin Gaither

Proceedings of the 2011 IEEE Custom Integrated Circuits Conference, 2011

2010

A robust digital DC-DC converter with rail-to-rail output range in 40nm CMOS.

Eric G. Soenen, Alan Roth, Justin Shi, Martin Kinyua, Justin Gaither, Elizabeth Ortynska

Proceedings of the IEEE International Solid-State Circuits Conference, 2010