Farhad Mehta

According to our database, Farhad Mehta authored at least 11 papers between 2005 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Towards Type-Directed API Search for Mainstream Languages.

Marc Etter, Farhad Mehta

Proceedings of the 9th ACM SIGPLAN International Workshop on Type-Driven Development, 2024

Demo: The Fun of Robotic Artwork.

Eliane Irène Schmidli, Farhad Mehta

Proceedings of the 12th ACM SIGPLAN International Workshop on Functional Art, 2024

Using Functional Reactive Programming for Robotic Art: An Experience Report.

Eliane Irène Schmidli, Farhad Mehta

Proceedings of the 12th ACM SIGPLAN International Workshop on Functional Art, 2024

2022

CodePanorama: a language agnostic tool for visual code inspection.

Marc Etter, Farhad Mehta

Proceedings of the 30th IEEE/ACM International Conference on Program Comprehension, 2022

2016

Scaps: type-directed API search for Scala.

Lukas Wegmann, Farhad Mehta, Peter Sommerlad, Mirko Stocker

Proceedings of the 7th ACM SIGPLAN Symposium on Scala, 2016

2010

Rodin: an open toolset for modelling and reasoning in Event-B.

Jean-Raymond Abrial, Michael J. Butler, Stefan Hallerstede, Thai Son Hoang, Farhad Mehta, Laurent Voisin

Int. J. Softw. Tools Technol. Transf., 2010

2008

Proofs for the working engineer.

Farhad Mehta

PhD thesis, 2008

A Practical Approach to Partiality - A Proof Based Approach.

Farhad Mehta

Proceedings of the Formal Methods and Software Engineering, 2008

Efficient Well-Definedness Checking.

Ádám Darvas, Farhad Mehta, Arsenii Rudich

Proceedings of the Automated Reasoning, 4th International Joint Conference, 2008

2007

Supporting Proof in a Reactive Development Environment.

Farhad Mehta

Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007

2005

Proving pointer programs in higher-order logic.

Farhad Mehta, Tobias Nipkow

Inf. Comput., 2005