Darpan Saini

According to our database1, Darpan Saini authored at least 5 papers between 2009 and 2011.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2011
Plaid: a permission-based programming language.
Proceedings of the Companion to the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Permission-based programming languages.
Proceedings of the 33rd International Conference on Software Engineering, 2011

2010
A theory of typestate-oriented programming.
Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs, 2010

2009
Typestate-oriented programming.
Proceedings of the Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009

CAMEL: A Tool for Collaborative Distributed Software Design.
Proceedings of the 4th IEEE International Conference on Global Software Engineering, 2009


  Loading...