Zobrazeno 1 - 10
of 23
pro vyhledávání: '"Gergö Barany"'
Autor:
Gergö Barany
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 216, Iss Proc. VPT 2016, Pp 5-23 (2016)
Information flow analysis checks whether certain pieces of (confidential) data may affect the results of computations in unwanted ways and thus leak information. Dynamic information flow analysis adds instrumentation code to the target software to tr
Externí odkaz:
https://doaj.org/article/0d6b62e23dab42248d82d2e7fad56fa0
Publikováno v:
Proceedings of the 14th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages.
Publikováno v:
Proceedings of the 15th European Workshop on Systems Security.
Autor:
Richard Silverwood, Gergo Baranyi, Lisa Calderwood, Bianca De Stavola, George Ploubidis, Katie Harron
Publikováno v:
International Journal of Population Data Science, Vol 9, Iss 5 (2024)
Objectives Analyses of population administrative data can often only be minimally adjusted due to the unavailability of a full set of control variables, leading to bias due to residual confounding. Cohort studies will often contain rich information o
Externí odkaz:
https://doaj.org/article/d0dfce8d7efd47c4b7ab24caf845cb4f
Publikováno v:
International Journal of Population Data Science, Vol 9, Iss 5 (2024)
Objectives The prevalence of mental disorders is high and increasing among children and young people. Investigating the relationship between self-reported poor mental health and mental health service utilisation can provide evidence on the benefits o
Externí odkaz:
https://doaj.org/article/8f87f29a54114c65ad4636893c5cfeeb
Autor:
Gergö Barany
Publikováno v:
CC
CC'18-27th International Conference on Compiler Construction
CC'18-27th International Conference on Compiler Construction, Feb 2018, Vienna, Austria. ⟨10.1145/3178372.3179521⟩
CC'18-27th International Conference on Compiler Construction
CC'18-27th International Conference on Compiler Construction, Feb 2018, Vienna, Austria. ⟨10.1145/3178372.3179521⟩
International audience; Randomized differential testing of compilers has had great success in finding compiler crashes and silent miscompila-tions. In this paper we investigate whether we can use similar techniques to improve the quality of the gener
Autor:
Markus Raab, Gergö Barany
Publikováno v:
ENASE
ENASE 2017-12th International Conference on Evaluation of Novel Approaches to Software Engineering
ENASE 2017-12th International Conference on Evaluation of Novel Approaches to Software Engineering, Apr 2017, Porto, Portugal. pp.1-8
ENASE 2017-12th International Conference on Evaluation of Novel Approaches to Software Engineering
ENASE 2017-12th International Conference on Evaluation of Novel Approaches to Software Engineering, Apr 2017, Porto, Portugal. pp.1-8
International audience; Software tends to be highly configurable, but most applications are hardly context aware. For example, a web browser provides many settings to configure printers and proxies, but nevertheless it is unable to dynamically adapt
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c2a934af30a9f747630d9b86ae93de99
https://inria.hal.science/hal-01658638
https://inria.hal.science/hal-01658638
Autor:
Julien Signoles, Gergö Barany
Publikováno v:
LNCS
TAP 2017-11th International Conference on Tests & Proofs
TAP 2017-11th International Conference on Tests & Proofs, Jul 2017, Marburg, Germany. pp.23-40, ⟨10.1007/978-3-319-61467-0_2⟩
Tests and Proofs ISBN: 9783319614663
TAP@STAF
TAP 2017-11th International Conference on Tests & Proofs
TAP 2017-11th International Conference on Tests & Proofs, Jul 2017, Marburg, Germany. pp.23-40, ⟨10.1007/978-3-319-61467-0_2⟩
Tests and Proofs ISBN: 9783319614663
TAP@STAF
International audience; Information flow analysis models the propagation of data through a software system and identifies unintended information leaks. There is a wide range of such analyses, tracking flows statically, dynamically, or in a hybrid way
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::96b86275dc21d82589e4135eb4168211
https://hal.inria.fr/hal-01658653
https://hal.inria.fr/hal-01658653
Autor:
Markus Raab, Gergö Barany
Publikováno v:
IFIP Advances in Information and Communication Technology
13th IFIP International Conference on Open Source Systems (OSS)
13th IFIP International Conference on Open Source Systems (OSS), May 2017, Buenos Aires, Argentina. pp.101-114, ⟨10.1007/978-3-319-57735-7_11⟩
Open Source Systems: Towards Robust Practices ISBN: 9783319577340
OSS
13th IFIP International Conference on Open Source Systems (OSS)
13th IFIP International Conference on Open Source Systems (OSS), May 2017, Buenos Aires, Argentina. pp.101-114, ⟨10.1007/978-3-319-57735-7_11⟩
Open Source Systems: Towards Robust Practices ISBN: 9783319577340
OSS
Part 3: Licensing, Strategies, and Practices; International audience; Developers invest much effort into validating configuration during startup of free/libre and open source software (FLOSS) applications. Nevertheless, hardly any tools exist to vali
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::38c55352a956965ce6e37a2f973ae75f
https://hal.inria.fr/hal-01658595
https://hal.inria.fr/hal-01658595
Autor:
Gergö Barany
Publikováno v:
Logic-Based Program Synthesis and Transformation. LOPSTR 2017
Logic-Based Program Synthesis and Transformation. LOPSTR 2017, Oct 2017, Namur, Belgium
Logic-Based Program Synthesis and Transformation ISBN: 9783319944593
LOPSTR
Logic-Based Program Synthesis and Transformation. LOPSTR 2017, Oct 2017, Namur, Belgium
Logic-Based Program Synthesis and Transformation ISBN: 9783319944593
LOPSTR
Randomly generated programs are popular for testing compilers and program analysis tools, with hundreds of bugs in real-world C compilers found by random testing. However, existing random program generators may generate large amounts of dead code (co
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2d0e7a845e75f1ce7e3fc8f31c342a0a