Follow
Paul Gazzillo
Title
Cited by
Cited by
Year
Adding concurrency to smart contracts
T Dickerson, P Gazzillo, M Herlihy, E Koskinen
Proceedings of the ACM Symposium on Principles of Distributed Computing, 303-312, 2017
1672017
SuperC: Parsing all of C by taming the preprocessor
P Gazzillo, R Grimm
ACM SIGPLAN Notices 47 (6), 323-334, 2012
1192012
Decomposition instead of self-composition for proving the absence of timing channels
T Antonopoulos, P Gazzillo, M Hicks, E Koskinen, T Terauchi, S Wei
ACM SIGPLAN Notices 52 (6), 362-375, 2017
852017
Kmax: Finding all configurations of kbuild makefiles statically
P Gazzillo
Proceedings of the 2017 11th Joint Meeting on Foundations of Software …, 2017
212017
Uniform sampling from kconfig feature models
J Oh, P Gazzillo, D Batory, M Heule, M Myers
The University of Texas at Austin, Department of Computer Science, Tech. Rep …, 2019
192019
Adding concurrency to smart contracts
T Dickerson, P Gazzillo, M Herlihy, E Koskinen
US Patent App. 16/119,750, 2019
142019
Configuration-preserving preprocessor and configuration-preserving parser
P Gazzillo, R Grimm
US Patent 8,806,456, 2014
122014
An empirical study of real-world variability bugs detected by variability-oblivious tools
A Mordahl, J Oh, U Koc, S Wei, P Gazzillo
Proceedings of the 2019 27th ACM Joint Meeting on European Software …, 2019
112019
t-wise Coverage by Uniform Sampling
J Oh, P Gazzillo, D Batory
Proceedings of the 23rd International Systems and Software Product Line …, 2019
102019
Proust: A design space for highly-concurrent transactional data structures
TD Dickerson, P Gazzillo, M Herlihy, E Koskinen
arXiv preprint arXiv:1702.04866, 2017
82017
Decomposition instead of self-composition for k-safety
T Antopoulos, P Gazzillo, M Hicks, E Koskinen, T Terauchi, S Wei
82017
Data structure for defining a chart
P Gazzillo, P Leung
US Patent App. 11/867,578, 2008
82008
Proof-carrying smart contracts
T Dickerson, P Gazzillo, M Herlihy, V Saraph, E Koskinen
International Conference on Financial Cryptography and Data Security, 325-338, 2018
72018
Conflict abstractions and shadow speculation for optimistic transactional objects
T Dickerson, E Koskinen, P Gazzillo, M Herlihy
Asian Symposium on Programming Languages and Systems, 313-331, 2019
62019
Uniform sampling from kconfig feature models. The University of Texas at Austin, Department of Computer Science
J Oh, P Gazzillo, D Batory, M Heule, M Myers
Tech. Rep. TR-19-02, 2019
62019
Localizing configurations in highly-configurable systems
P Gazzillo, U Koc, TV Nguyen, S Wei
Proceedings of the 22nd International Systems and Software Product Line …, 2018
62018
Scalable Uniform Sampling for Real-World Software Product Lines
J Oh, P Gazzillo, D Batory, M Heule, M Myers
Technical Report TR-20-01, Dept. of Computer Science, University of Texas at …, 2020
52020
Method and system for XML multi-transform
P Gazzillo
US Patent 9,189,464, 2015
52015
Configuration-preserving preprocessor
P Gazzillo, R Grimm
US Patent 9,542,162, 2017
32017
Parsing all of C by taming the preprocessor
P Gazzillo, R Grimm
Technical Report TR2011-939, Computer Science Department, New York University, 2011
22011
The system can't perform the operation now. Try again later.
Articles 1–20