-
Martin Vechev (born 24 July 1977) is a full
professor at the
department of
computer science at ETH Zurich,
working in the
fields of
programming languages...
- Petar; Dan, Andrei; Drachsler-Cohen, Dana; Gervais, Arthur; Bünzli, Florian;
Vechev,
Martin (15
October 2018). "Securify:
Practical Security Analysis of Smart...
- scientists.
ChainSecurity is a spin-off
founded by ETH
professor Martin Vechev and the
former ETH
doctoral students Hubert Ritzdorf and
Petar Tsankov....
-
languages (1967)
Doctoral advisor David Barron,
David Park and
Christopher Strachey Doctoral students Eben
Upton Martin Vechev Website www.cl.cam.ac.uk/~mr10...
-
Retrieved June 21, 2020. Bichsel, Benjamin; Baader, Maximilian; Gehr, Timon;
Vechev,
Martin (June 11, 2020). "Silq: A high-level
quantum language with safe...
-
Retrieved 4 June 2024. Mündler, Niels; He, Jingxuan; Jenko, Slobodan;
Vechev,
Martin (2023). "Self-contradictory
Hallucinations of
Large Language Models:...
- neunet.2024.106181. PMID 38412737. Baader, Maximilian; Mirman, Matthew;
Vechev,
Martin (2020).
Universal Approximation with
Certified Networks. ICLR. Gelenbe...
- 2022:
Viktor Vafeiadis 2021:
Emina Torlak 2020: Eran
Yahav 2019:
Martin Vechev 2018:
Ranjit Jhala 2017:
Derek Dreyer 2016:
Stephanie Weirich 2015: David...
- Implementation: Barcelona,
Spain Conference Chair:
Albert Cohen Program Chair:
Martin Vechev PLDI 2016 -
SIGPLAN Conference on
Programming Language Design and Implementation:...
- Petar; Dan, Andrei; Drachsler-Cohen, Dana; Gervais, Arthur; Bünzli, Florian;
Vechev,
Martin (2018-10-15). "Securify".
Proceedings of the 2018 ACM
SIGSAC Conference...
