-
Martin Vechev is a
professor at the
Department of
Computer Science at ETH
Zurich working in the
fields of
programming languages,
machine learning, and...
- 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....
- Petar; Dan, Andrei; Drachsler-Cohen, Dana; Gervais, Arthur; Bünzli, Florian;
Vechev,
Martin (2018-10-15). "Securify".
Proceedings of the 2018 ACM
SIGSAC Conference...
- 007. PMID 29301110. S2CID 4932839. Baader, Maximilian; Mirman, Matthew;
Vechev,
Martin (2020).
Universal Approximation with
Certified Networks. ICLR. Gelenbe...
-
Retrieved June 21, 2020. Bichsel, Benjamin; Baader, Maximilian; Gehr, Timon;
Vechev,
Martin (June 11, 2020). "Silq: A high-level
quantum language with safe...
- 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:...
-
technology that made the
widespread industrial use of Java
possible Martin Vechev,
developed Silq, the
first high-level PL for
quantum computing with a strong...
