Autor der Publikation

Finding data compatibility bugs with JSON subschema checking

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

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

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