James C. Davis

Identifiers

No identifiers captured yet.

Papers (4)

1. AutoSOUP: Safety-Oriented Unit Proof Generation for Component-level Memory-Safety Verification cs.SE · 2026 · author #8
2. Operationalizing Research Software for Supply Chain Security cs.SE · 2026 · author #6
3. SysLLMatic: Large Language Models are Software System Optimizers cs.SE · 2025 · author #10
4. Why Johnny Adopts Identity-Based Software Signing: A Usability Case Study of Sigstore cs.SE · 2025 · author #6

Mentions

No mention provenance yet.

Frequent Coauthors

• George K. Thiruvathukal 2 shared papers
• Kelechi G. Kalu 2 shared papers
• Aravind Machiry 1 shared papers
• Arjun Gupte 1 shared papers
• Chien-Chou Ho 1 shared papers
• Dharun Anandayuvaraj 1 shared papers
• Elijah Jorgensen 1 shared papers
• Huiyun Peng 1 shared papers
• Jeffrey C. Carver 1 shared papers
• Kevin Kolyakov 1 shared papers
• Konstantin L\"aufer 1 shared papers
• Leo Deng 1 shared papers
• Nicholas John Eliopoulos 1 shared papers
• Paschal C. Amusuo 1 shared papers
• Ricardo Calvo 1 shared papers
• Rishi Mantri 1 shared papers
• Ryan Hasler 1 shared papers
• Santiago Torres-Arias 1 shared papers
• Sofia Okorafor 1 shared papers
• Soham Rattan 1 shared papers