| 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 | 206 | 2017 |
| SuperC: Parsing all of C by taming the preprocessor P Gazzillo, R Grimm ACM SIGPLAN Notices 47 (6), 323-334, 2012 | 124 | 2012 |
| 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 | 93 | 2017 |
| 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 | 24 | 2019 |
| Kmax: Finding all configurations of kbuild makefiles statically P Gazzillo Proceedings of the 2017 11th Joint Meeting on Foundations of Software …, 2017 | 22 | 2017 |
| t-wise Coverage by Uniform Sampling J Oh, P Gazzillo, D Batory Proceedings of the 23rd International Systems and Software Product Line …, 2019 | 16 | 2019 |
| Adding concurrency to smart contracts T Dickerson, P Gazzillo, M Herlihy, E Koskinen US Patent App. 16/119,750, 2019 | 16 | 2019 |
| 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 | 14 | 2019 |
| Configuration-preserving preprocessor and configuration-preserving parser P Gazzillo, R Grimm US Patent 8,806,456, 2014 | 13 | 2014 |
| Proof-carrying smart contracts T Dickerson, P Gazzillo, M Herlihy, V Saraph, E Koskinen Financial Cryptography and Data Security: FC 2018 International Workshops …, 2019 | 10 | 2019 |
| 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 | 9 | 2020 |
| Decomposition instead of self-composition for k-safety T Antopoulos, P Gazzillo, M Hicks, E Koskinen, T Terauchi, S Wei | 9 | 2017 |
| Proust: A design space for highly-concurrent transactional data structures TD Dickerson, P Gazzillo, M Herlihy, E Koskinen arXiv preprint arXiv:1702.04866, 2017 | 8 | 2017 |
| Data structure for defining a chart P Gazzillo, P Leung US Patent App. 11/867,578, 2008 | 8 | 2008 |
| 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 | 7 | 2019 |
| 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 | 7 | 2018 |
| Conflict abstractions and shadow speculation for optimistic transactional objects T Dickerson, E Koskinen, P Gazzillo, M Herlihy Programming Languages and Systems: 17th Asian Symposium, APLAS 2019, Nusa …, 2019 | 6 | 2019 |
| 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 | 3 | 2021 |
| Configuration-preserving preprocessor P Gazzillo, R Grimm US Patent 9,542,162, 2017 | 3 | 2017 |
| 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 | 2 | 2022 |
Eric KoskinenCharles Berendsen Assistant Professor of Computer Science, Stevens Institute of TechnologyVerified email at stevens.edu
