Ioannis G. Baltopoulos

According to our database, Ioannis G. Baltopoulos authored at least 3 papers between 2009 and 2011.

Collaborative distances:

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

2011

Maintaining Database Integrity with Refinement Types.

Ioannis G. Baltopoulos, Johannes Borgström, Andrew D. Gordon

Proceedings of the ECOOP 2011 - Object-Oriented Programming, 2011

2009

Secure compilation of a multi-tier web language.

Ioannis G. Baltopoulos, Andrew D. Gordon

Proceedings of TLDI'09: 2009 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2009

D3N: programming distributed computationin pocket switched networks.

Eiko Yoneki, Ioannis G. Baltopoulos, Jon Crowcroft

Proceedings of the 1st ACM SIGCOMM Workshop on Networking, 2009