Wed 28 Oct 2015 18:00 - 21:00 at Admiral and Reflections - Posters Chair(s): Sam Guyer, Patrick Lam

Simultaneous use of multiple programming languages assists in creating efficient, coherent modern programs in the face of legacy code; however, creating language bindings to low-level languages like C by hand is tedious and error prone. We offer some relief in the form of an automated suite of analyses, designed to enhance the quality of automatically produced bindings by recovering high-level array type information missing in C’s type system. We emit annotations in the style of GObjectIntrospection, which produces bindings from annotations. We annotate an array argument as terminated by a special sentinel value, fixed length of a constant size, or of length determined by another argument. Each of these properties helps produce more idiomatic, efficient bindings.

Wed 28 Oct

splash2015-src
18:00 - 21:00: Student Research Competition - Posters at Admiral and Reflections
Chair(s): Sam GuyerTufts University, Patrick LamUniversity of Waterloo, Canada
splash2015-src18:00 - 21:00
Talk
Aritra SenguptaOhio State University
splash2015-src18:00 - 21:00
Talk
splash2015-src18:00 - 21:00
Talk
Josh TerrellCalifornia Polytechnic University
splash2015-src18:00 - 21:00
Talk
Nima JoharizadehUniversity of California, Davis
splash2015-src18:00 - 21:00
Talk
Swarnendu BiswasOhio State University, USA
splash2015-src18:00 - 21:00
Talk
Ragnar MogkTechnische Universität Darmstadt
splash2015-src18:00 - 21:00
Talk
Anthony CaninoSUNY Binghamton
splash2015-src18:00 - 21:00
Talk
splash2015-src18:00 - 21:00
Talk
Andrew KofinkNorth Carolina State University
splash2015-src18:00 - 21:00
Talk
Flavio MedeirosFederal University of Campina Grande
splash2015-src18:00 - 21:00
Talk
Minjia ZhangOhio State University, USA
splash2015-src18:00 - 21:00
Talk
Nistor LigiaCarnegie Mellon University