Wed 28 Oct 2015 18:00 - 21:00 at Admiral and Reflections - Poster Session Chair(s): Nick Sumner, Jeff Huang

A type system is a set of type rules and with respect to these type rules a type checker has an important role to ensure that programs exhibit a desired behavior. We consider Java type rules and extend the co-contextual formulation of type rules introduced in [1] to enable it for Java. Regarding the extension type rules result is a type, a set of context requirements and a set of class requirements. Since context and class requirements are propagated bottom-up and while traversing the syntax tree bottom-up and are merged from independent subexpression, this enables the type system to be incremental therefore the performance is increased.

Wed 28 Oct

splash2015-posters
18:00 - 21:00: Posters - Poster Session at Admiral and Reflections
Chair(s): Nick SumnerSimon Fraser University, Jeff HuangTexas A&M University
splash2015-posters18:00 - 21:00
Talk
Tomoki ImaiTokyo Institute of Technology, Japan, Hidehiko MasuharaTokyo Institute of Technology, Japan, Tomoyuki AotaniTokyo Institute of Technology, Japan
DOI
splash2015-posters18:00 - 21:00
Talk
Arghya ChatterjeeRice University, USA, Timothy NewtonRice University, USA, Tom RoushRice University, USA, Hunter TidwellRice University, USA, Vivek SarkarRice University
DOI
splash2015-posters18:00 - 21:00
Talk
Ahmed Abdel MoamenUniversity of Saskatchewan, Canada, Nadeem JamaliUniversity of Saskatchewan, Canada
DOI
splash2015-posters18:00 - 21:00
Talk
Sebastian FleissnerAustralian National University, Australia
DOI
splash2015-posters18:00 - 21:00
Talk
Michael BiggsBroadway Technology, USA
DOI
splash2015-posters18:00 - 21:00
Talk
Edlira KuciTU Darmstadt, Germany, Sebastian ErdwegTU Darmstadt, Germany, Mira MeziniTU Darmstadt
DOI
splash2015-posters18:00 - 21:00
Talk
Ruochen HuangTokyo Institute of Technology, Japan, Hidehiko MasuharaTokyo Institute of Technology, Japan, Tomoyuki AotaniTokyo Institute of Technology, Japan
DOI
splash2015-posters18:00 - 21:00
Talk
Elmer van ChasteletDelft University of Technology, Eelco VisserDelft University of Technology, Craig AnslowMiddlesex University, London
DOI
splash2015-posters18:00 - 21:00
Talk
Ben McCamishOregon State University, USA, Xinghui ZhaoWashington State University, David ChiuUniversity of Puget Sound, USA, Jason SawinUniversity of St. Thomas, USA, Guadalupe CanahuateUniversity of Iowa, USA
DOI
splash2015-posters18:00 - 21:00
Talk
Aliaksei SyrelUniversity of Bern, Switzerland, Andrei ChişUniversity of Bern, Switzerland, Tudor Gîrbatudorgirba.com, Switzerland, Juraj KubelkaUniversity of Chile, Chile, Oscar NierstraszUniversity of Bern, Switzerland, Stefan Reichhartn.n., Switzerland
DOI Pre-print Media Attached
splash2015-posters18:00 - 21:00
Talk
Yu David LiuState University of New York (SUNY) Binghamton, Lukasz ZiarekState University of New York (SUNY) Buffalo
DOI
splash2015-posters18:00 - 21:00
Talk
Md. ArefinNew York City College of Technology, City University of New York, Raffi KhatchadourianHunter College, City University of New York
DOI Pre-print File Attached