James Parker
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
2004–2026
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CAV | Automating Bitvector and Finite Field Equivalence Proofs in Lean. | Elizaveta Pertseva, Valentin Robert, Clark W. Barrett, James Parker |
| 2022 | CCS | Understanding the How and the Why: Exploring Secure Development Practices through a Course Competition. | Kelsey R. Fulton, Daniel Votipka, Desiree Abrokwa, Michelle L. Mazurek, Michael Hicks, James Parker |
| 2022 | PLDI | ANOSY: approximated knowledge synthesis with refinement types for declassification. | Sankha Narayan Guria, Niki Vazou, Marco Guarnieri, James Parker |
| 2016 | CCS | Build It, Break It, Fix It: Contesting Secure Development. | Andrew Ruef, Michael W. Hicks, James Parker, Dave Levin, Michelle L. Mazurek, Piotr Mardziel |
| 2016 | IAS | Max-Sum for Allocation of Changing Cost Tasks. | James Parker, Alessandro Farinelli, Maria L. Gini |
| 2016 | IJCAI | Controlling Growing Tasks with Heterogeneous Agents. | James Parker, Maria L. Gini |
| 2004 | IPCCC | On intrusion detection and response for mobile ad hoc networks. | James Parker, Jeffrey Undercoffer, John Pinkston, Anupam Joshi |