Author of the publication

Finding data compatibility bugs with JSON subschema checking

, , , and . ISSTA 2021 : Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, page 620-632. New York, Association for Computing Machinery, (2021)
DOI: 10.1145/3460319.3464796

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Testing properties of dataflow program operators., , , and . ASE, page 103-113. IEEE, (2013)Safe Data Parallelism for General Streaming., , , and . IEEE Trans. Computers, 64 (2): 504-517 (2015)IBM Streams Processing Language: Analyzing Big Data in motion., , , , , , , , , and 1 other author(s). IBM Journal of Research and Development, 57 (3/4): 7 (2013)On the usefulness of type and liveness accuracy for garbage collection and leak detection., , and . ACM Trans. Program. Lang. Syst., 24 (6): 593-624 (2002)Stream Query Optimization., , , and . Encyclopedia of Big Data Technologies, Springer, (2019)Optimal and General Out-of-Order Sliding-Window Aggregation., , and . PVLDB, 12 (10): 1167-1180 (2019)Extending Stan for Deep Probabilistic Programming., , , , and . CoRR, (2018)From a Stream of Relational Queries to Distributed Stream Processing., , , , , , and . PVLDB, 3 (2): 1394-1405 (2010)Pointer Analysis in the Presence of Dynamic Class Loading., , and . ECOOP, volume 3086 of Lecture Notes in Computer Science, page 96-122. Springer, (2004)Q*cert: A Platform for Implementing and Verifying Query Compilers., , , , and . SIGMOD Conference, page 1703-1706. ACM, (2017)