Hrshikesh Arora

According to our database, Hrshikesh Arora authored at least 2 papers in 2019.

Collaborative distances:

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

2019

Separating Use and Reuse to Improve Both.

Hrshikesh Arora, Marco Servetto, Bruno C. d. S. Oliveira

Art Sci. Eng. Program., 2019

Iteratively Composing Statically Verified Traits.

Isaac Oscar Gariano, Marco Servetto, Alex Potanin, Hrshikesh Arora

Proceedings of the Proceedings Seventh International Workshop on Verification and Program Transformation, 2019