Obserwuj
Paul Gazzillo
Tytuł
Cytowane przez
Cytowane przez
Rok
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
2422017
SuperC: Parsing all of C by taming the preprocessor
P Gazzillo, R Grimm
ACM SIGPLAN Notices 47 (6), 323-334, 2012
1362012
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
1052017
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
332019
t-wise Coverage by Uniform Sampling
J Oh, P Gazzillo, D Batory
Proceedings of the 23rd International Systems and Software Product Line …, 2019
272019
Kmax: Finding all configurations of kbuild makefiles statically
P Gazzillo
Proceedings of the 2017 11th Joint Meeting on Foundations of Software …, 2017
272017
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
192019
Adding concurrency to smart contracts
T Dickerson, P Gazzillo, M Herlihy, E Koskinen
US Patent App. 16/119,750, 2019
192019
Scalable uniform sampling for real-world software product lines
J Oh, P Gazzillo, D Batory, M Heule, M Myers
The Univ. Texas at Austin, Austin, TX, Tech. Rep. TR-20–01, 2020
162020
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
152018
Configuration-preserving preprocessor and configuration-preserving parser
P Gazzillo, R Grimm
US Patent 8,806,456, 2014
132014
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
122018
Static data-flow analysis for software product lines in C: Revoking the preprocessor’s special role
PD Schubert, P Gazzillo, Z Patterson, J Braha, F Schiebel, B Hermann, ...
Automated Software Engineering 29 (1), 35, 2022
102022
Decomposition instead of self-composition for k-safety
T Antopoulos, P Gazzillo, M Hicks, E Koskinen, T Terauchi, S Wei
102017
Finding broken Linux configuration specifications by statically analyzing the Kconfig language
J Oh, NF Yıldıran, J Braha, P Gazzillo
Proceedings of the 29th ACM Joint Meeting on European Software Engineering …, 2021
92021
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
82019
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
Data structure for defining a chart
P Gazzillo, P Leung
US Patent App. 11/867,578, 2008
82008
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
Bringing together configuration research: Towards a common ground
P Gazzillo, MB Cohen
Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas …, 2022
52022
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20