Concepedia

Paul Gazzillo

PG

10

Publications

499

Citations

10

H-Index

2012

Active since

Affiliations

University of Central Florida(Current)

Yale University

The University of Texas at Austin

University of Maryland, College Park

Japan Advanced Institute of Science and Technology

Paul Gazzillo is an author at University of Central Florida specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsProgram AnalysisSoftware AnalysisSystem SoftwareSoftware TestingFormal VerificationComputer EngineeringSoftware Engineering

Publications per year

2012–2022

10

Publications

10

Adding Concurrency to Smart Contracts

Thomas Dickerson, Paul Gazzillo, Maurice Herlihy et al. · 2017 · 155 citations · Full text

Engineering, Computer Architecture, Transactional System +17

Paul Gazzillo, Robert Grimm · 2012 · 97 citations

Engineering, Compiler Technology, Computer Architecture +18

Decomposition instead of self-composition for proving the absence of timing channels

Timos Antonopoulos, Paul Gazzillo, Michael Hicks et al. · 2017 · 86 citations · Full text

Engineering, Information Security, Computational Complexity +20

<i>t</i> -wise Coverage by Uniform Sampling

Jeho Oh, Paul Gazzillo, Don Batory · 2019 · 37 citations · Full text

Software Maintenance, Sampling (Signal Processing), Engineering +23

Kmax: finding all configurations of Kbuild makefiles statically

Paul Gazzillo · 2017 · 27 citations

Software Maintenance, Engineering, Computer Architecture +19

Rows per page

1–5 of 10