ISEC 2015
8th India Software Engineering Conference
Bangalore, India
Bangalore, India
Invited Papers
- On Abstraction Refinement for Program Analyses in Datalog. Xin Zhang, Ravi Mangal, Radu Grigore, Mayur Naik, and Hongseok Yang. PLDI'14: ACM Conference on Programming Language Design and Implementation.
- Learning Natural Coding Conventions. Miltos Allamanis, Earl T. Barr, Christian Bird, and Charles Sutton. In Proceedings of the 22nd International Symposium on the Foundations of Software Engineering (FSE'14), Hong Kong, China, 2014.
- Powering the Static Driver Verifier using Corral, Akash Lal and Shaz Qadeer, FSE 14. Akash Lal.
- Understanding Source Code with Functional Magnetic Resonance Imaging. Janet Siegmund,Christian Kästner, Sven Apel, Chris Parnin, Anja Bethmann,Thomas Leich, , Gunter Saake, and André Brechmann
Links
|
||||||||||
News
|
||||||||||
|
||||||||||
Important Dates
|
||||||||||
|
||||||||||
 |
||||||||||
 | ||||||||||
 | ||||||||||
 | ||||||||||
 | ||||||||||
 |