Farhad Mehta

12 papers A 3B 1C 1Journal 2Unranked 4
YearRankTypeTitle / Venue / Authors
2024 — conf
Demo: The Fun of Robotic Artwork.
FARM
Eliane Irène Schmidli, Farhad Mehta
2024 — conf
Towards Type-Directed API Search for Mainstream Languages.
TyDe@ICFP
Marc Etter, Farhad Mehta
2024 — conf
Using Functional Reactive Programming for Robotic Art: An Experience Report.
FARM
Eliane Irène Schmidli, Farhad Mehta
2022 A conf
CodePanorama: a language agnostic tool for visual code inspection.
ICPC
Marc Etter, Farhad Mehta
2016 — conf
Scaps: type-directed API search for Scala.
SCALA@SPLASH
Lukas Wegmann, Farhad Mehta, Peter Sommerlad, Mirko Stocker
2010 J jnl
Rodin: an open toolset for modelling and reasoning in Event-B.
Int. J. Softw. Tools Technol. Transf.
Jean-Raymond Abrial, Michael J. Butler, Stefan Hallerstede, Thai Son Hoang, Farhad Mehta, Laurent Voisin
2008 C conf
A Practical Approach to Partiality - A Proof Based Approach.
ICFEM
Farhad Mehta
2008 A conf
Efficient Well-Definedness Checking.
IJCAR
Ádám Darvas, Farhad Mehta, Arsenii Rudich
2008 — —
Proofs for the working engineer.
Farhad Mehta
2007 B conf
Supporting Proof in a Reactive Development Environment.
SEFM
Farhad Mehta
2005 J jnl
Proving pointer programs in higher-order logic.
Inf. Comput.
Farhad Mehta, Tobias Nipkow
2003 A conf
Proving Pointer Programs in Higher-Order Logic.
CADE
Farhad Mehta, Tobias Nipkow
2023 — conf
Not What You've Signed Up For: Compromising Real-World LLM-Integrated Applications with Indirect Prompt Injection.
AISec
Kai Greshake, Sahar Abdelnabi, Shailesh Mishra, Christoph Endres, Thorsten Holz, Mario Fritz
2026 — preprint
CCX: Enabling Unmodified Intel SGX Applications on Arm CCA.
arXiv
Matti Schulze, Thorsten Holz, Felix C. Freiling