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...
16 KB (1,322 words) - 06:30, 19 September 2024
Swiss-based scientists. ChainSecurity is a spin-off founded by ETH professor Martin Vechev and the former ETH doctoral students Hubert Ritzdorf and Petar Tsankov...
38 KB (3,647 words) - 15:51, 12 November 2024
Foster 2022: Viktor Vafeiadis 2021: Emina Torlak 2020: Eran Yahav 2019: Martin Vechev 2018: Ranjit Jhala 2017: Derek Dreyer 2016: Stephanie Weirich 2015:...
16 KB (1,768 words) - 23:37, 25 September 2024
Martin Richards (born 21 July 1940) is a British computer scientist known for his development of the BCPL programming language which is both part of early...
5 KB (285 words) - 18:19, 30 September 2024
Implementation: Barcelona, Spain Conference Chair: Albert Cohen Program Chair: Martin Vechev PLDI 2016 - SIGPLAN Conference on Programming Language Design and Implementation:...
12 KB (1,284 words) - 05:44, 11 August 2024
technology that made the widespread industrial use of Java possible Martin Vechev, developed Silq, the first high-level PL for quantum computing with...
58 KB (5,829 words) - 03:06, 14 October 2024
Dan, Andrei; Drachsler-Cohen, Dana; Gervais, Arthur; Bünzli, Florian; Vechev, Martin (15 October 2018). "Securify: Practical Security Analysis of Smart Contracts"...
17 KB (1,511 words) - 05:42, 30 September 2024
Dan, Andrei; Drachsler-Cohen, Dana; Gervais, Arthur; Bünzli, Florian; Vechev, Martin (2018-10-15). "Securify". Proceedings of the 2018 ACM SIGSAC Conference...
13 KB (1,247 words) - 07:21, 22 June 2024
neunet.2024.106181. PMID 38412737. Baader, Maximilian; Mirman, Matthew; Vechev, Martin (2020). Universal Approximation with Certified Networks. ICLR. Gelenbe...
37 KB (5,033 words) - 16:25, 9 October 2024
Linguistics: EMNLP 2020. Mündler, Niels; He, Jingxuan; Jenko, Slobodan; Vechev, Martin (2023). "Self-contradictory Hallucinations of Large Language Models:...
54 KB (5,787 words) - 06:46, 1 November 2024
June 21, 2020. Bichsel, Benjamin; Baader, Maximilian; Gehr, Timon; Vechev, Martin (June 11, 2020). "Silq: A high-level quantum language with safe uncomputation...
41 KB (4,217 words) - 17:46, 23 October 2024