Aditya Kallem

According to our database, Aditya Kallem authored at least 2 papers between 2010 and 2011.

Collaborative distances:

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

2011

Turning real-world systems into verification-driven learning cases.

Shengru Tu, Shireesha Tankashala, Sehun Oh, Brian Becker, Brian Horton, Aditya Kallem, Zhao Yang

Proceedings of the 24th IEEE-CS Conference on Software Engineering Education and Training, 2011

2010

Developing verification-driven learning cases.

Shengru Tu, Sehun James Oh, Rushikesh Kale, Aditya Kallem, Shireesha Tankashala

Proceedings of the 15th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2010