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
it's a staggering $1.3B". Yahoo News. Retrieved 13 February 2025. "Martin Vechev of INSAIT: "DeepSeek $6M Cost Of Training Is Misleading"". TheRecursive...
62 KB (6,017 words) - 15:55, 19 May 2025
Foster 2022: Viktor Vafeiadis 2021: Emina Torlak 2020: Eran Yahav 2019: Martin Vechev 2018: Ranjit Jhala 2017: Derek Dreyer 2016: Stephanie Weirich 2015:...
22 KB (2,677 words) - 23:03, 15 February 2025
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...
39 KB (3,722 words) - 16:36, 3 April 2025
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,315 words) - 16:11, 16 April 2025
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,835 words) - 18:27, 25 December 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) - 23:20, 6 May 2025
findings-emnlp.203. Mündler, Niels; He, Jingxuan; Jenko, Slobodan; Vechev, Martin (2023). "Self-contradictory Hallucinations of Large Language Models:...
69 KB (7,019 words) - 22:04, 17 May 2025
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...
39 KB (5,222 words) - 03:10, 20 April 2025
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