Paul Gazzillo

Citat de

	Toate	Din 2020
Referințe bibliografice	894	637
h-index	13	12
i10-index	15	12

180

135

20132014201520162017201820192020202120222023202420256 15 20 16 34 50 105 103 108 100 139 171 15

Acces public

Afișați-le pe toate

13 articole

0 articole

disponibile

indisponibile

Pe baza cerințelor privind finanțarea

Coautori

Eric KoskinenCharles Berendsen Associate Professor of Computer Science, Stevens Institute of TechnologyAdresă de e-mail confirmată pe stevens.edu
Maurice HerlihyAn Wang Professor of Computer Science, Brown UniversityAdresă de e-mail confirmată pe cs.brown.edu
Thomas D. DickersonDirector of Geospatial AI @ NBCUniversalAdresă de e-mail confirmată pe nbcuni.com
Jeho OhPh.D Student, University of Texas at AustinAdresă de e-mail confirmată pe utexas.edu
Shiyi WeiAssociate Professor of Computer Science, University of Texas at DallasAdresă de e-mail confirmată pe utdallas.edu
Robert GrimmEnigmaAdresă de e-mail confirmată pe apparebit.com
Don BatoryUniversity of Texas at AustinAdresă de e-mail confirmată pe cs.utexas.edu
Michael W. HicksSenior Principal Scientist, AWS, and Professor Emeritus, UMDAdresă de e-mail confirmată pe umd.edu
Timos AntonopoulosResearch Scientist, Yale UniversityAdresă de e-mail confirmată pe yale.edu
Julian BrahaAdresă de e-mail confirmată pe knights.ucf.edu
Necip Fazıl YıldıranUniversity of Central FloridaAdresă de e-mail confirmată pe knights.ucf.edu
Austin MordahlPh.D. Student, University of Texas at DallasAdresă de e-mail confirmată pe utdallas.edu
Brent PappasUniversity of Central FloridaAdresă de e-mail confirmată pe ucf.edu
Philipp Dominik SchubertSonarSource SAAdresă de e-mail confirmată pe sonarsource.com
Ben HermannProfessor for Secure Software Enginnering at Technische Universität DortmundAdresă de e-mail confirmată pe cs.tu-dortmund.de
Eric BoddenProfessor for Software Engineering at Heinz Nixdorf Institute, Paderborn University & Fraunhofer IEMAdresă de e-mail confirmată pe uni-paderborn.de
Myra B. CohenIowa State UniversityAdresă de e-mail confirmată pe iastate.edu
Julia L. LawallAdresă de e-mail confirmată pe diku.edu

Urmăriți

Paul Gazzillo

University of Central Florida

Adresă de e-mail confirmată pe ucf.edu - Pagina de pornire

Software Engineering Programming Languages Security Systems


Titlu Sortați după descrierea bibliografică Sortați după an Sortați după titlu	Citat de Citat de	Anul
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	278	2017
SuperC: Parsing all of C by taming the preprocessor P Gazzillo, R Grimm ACM SIGPLAN Notices 47 (6), 323-334, 2012	149	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	122	2017
t-wise Coverage by Uniform Sampling J Oh, P Gazzillo, D Batory Proceedings of the 23rd International Systems and Software Product Line …, 2019	39	2019
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	39	2019
Kmax: Finding all configurations of kbuild makefiles statically P Gazzillo Proceedings of the 2017 11th Joint Meeting on Foundations of Software …, 2017	32	2017
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	29	2019
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	21	2022
Adding concurrency to smart contracts T Dickerson, P Gazzillo, M Herlihy, E Koskinen US Patent App. 16/119,750, 2019	21	2019
Scalable uniform sampling for real-world software product lines J Oh, P Gazzillo, D Batory, M Heule, M Myers URL https://api. semanticscholar. org/CorpusID 219699491, 2020	19	2020
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	18	2021
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	18	2018
Configuration-preserving preprocessor and configuration-preserving parser P Gazzillo, R Grimm US Patent 8,806,456, 2014	13	2014
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	10	2018
Decomposition instead of self-composition for k-safety T Antopoulos, P Gazzillo, M Hicks, E Koskinen, T Terauchi, S Wei	10	2017
Data structure for defining a chart P Gazzillo, P Leung US Patent App. 11/867,578, 2008	9	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	8	2019
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
SugarC: scalable desugaring of real-world preprocessor usage into pure C Z Patterson, Z Zhang, B Pappas, S Wei, P Gazzillo Proceedings of the 44th International Conference on Software Engineering …, 2022	7	2022
Inferring and securing software configurations using automated reasoning P Gazzillo Proceedings of the 28th ACM Joint Meeting on European Software Engineering …, 2020	7	2020

Sistemul nu poate realiza operația în acest moment. Încercați din nou mai târziu.

Articole 1–20

Referințe bibliografice pe an

Citate duplicat

Citate fuzionate

Adăugați coautoriCoautori

Urmăriți

Citat de

Coautori