Paul Gazzillo

Paul Gazzillo

University of Central Florida - Orlando / United States
Engineering & Technology / Computer Science
AD Scientific Index ID: 1849723
person_outline Paul Gazzillo's MOST POPULAR ARTICLES
1-) Adding concurrency to smart contractsT Dickerson, P Gazzillo, M Herlihy, E KoskinenProceedings of the ACM Symposium on Principles of Distributed Computing, 303-312, 20171762017
2-) SuperC: Parsing all of C by taming the preprocessorP Gazzillo, R GrimmACM SIGPLAN Notices 47 (6), 323-334, 20121222012
3-) Decomposition instead of self-composition for proving the absence of timing channelsT Antonopoulos, P Gazzillo, M Hicks, E Koskinen, T Terauchi, S WeiACM SIGPLAN Notices 52 (6), 362-375, 2017862017
4-) Uniform sampling from kconfig feature modelsJ Oh, P Gazzillo, D Batory, M Heule, M MyersThe University of Texas at Austin, Department of Computer Science, Tech. Rep …, 2019392019
5-) t-wise Coverage by Uniform SamplingJ Oh, P Gazzillo, D BatoryProceedings of the 23rd International Systems and Software Product Line …, 2019352019