Wed 28 Oct 2015 18:00 - 21:00 at Admiral and Reflections - Poster Session Chair(s): Jeff Huang, Nick Sumner
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 OctDisplayed time zone: Eastern Time (US & Canada) change
Wed 28 Oct
Displayed time zone: Eastern Time (US & Canada) change
18:00 - 21:00 | Poster SessionPosters at Admiral and Reflections Chair(s): Jeff Huang Texas A&M University, Nick Sumner Simon Fraser University | ||
18:00 3hTalk | Shiranui: A Live Programming with Support for Unit Testing Posters Tomoki Imai Tokyo Institute of Technology, Japan, Hidehiko Masuhara Tokyo Institute of Technology, Japan, Tomoyuki Aotani Tokyo Institute of Technology, Japan DOI | ||
18:00 3hTalk | Exploiting Parallelism in Mobile Devices Posters Arghya Chatterjee Rice University, USA, Timothy Newton Rice University, USA, Tom Roush Rice University, USA, Hunter Tidwell Rice University, USA, Vivek Sarkar Rice University DOI | ||
18:00 3hTalk | ModeSens: An Approach for Multi-modal Mobile Sensing Posters Ahmed Abdel Moamen University of Saskatchewan, Canada, Nadeem Jamali University of Saskatchewan, Canada DOI | ||
18:00 3hTalk | Towards Transitory Encapsulation Posters Sebastian Fleissner Australian National University, Australia DOI | ||
18:00 3hTalk | Statik: An Incremental Compiler Generator Posters Michael Biggs Broadway Technology, USA DOI | ||
18:00 3hTalk | Toward Incremental Type Checking for Java Posters DOI | ||
18:00 3hTalk | Pyrlang: A High Performance Erlang Virtual Machine Based on RPython Posters Ruochen Huang Tokyo Institute of Technology, Japan, Hidehiko Masuhara Tokyo Institute of Technology, Japan, Tomoyuki Aotani Tokyo Institute of Technology, Japan DOI | ||
18:00 3hTalk | Conf.Researchr.Org: Towards a Domain-Specific Content Management System for Managing Large Conference Websites Posters Elmer van Chastelet Delft University of Technology, Eelco Visser Delft University of Technology, Craig Anslow Middlesex University, London DOI | ||
18:00 3hTalk | Evaluating Work Distribution Patterns for Parallel Bitmap Compression over SMPs Posters Ben McCamish Oregon State University, USA, Xinghui Zhao Washington State University, David Chiu University of Puget Sound, USA, Jason Sawin University of St. Thomas, USA, Guadalupe Canahuate University of Iowa, USA DOI | ||
18:00 3hTalk | Spotter: Towards a Unified Search Interface in IDEs Posters Aliaksei Syrel University of Bern, Switzerland, Andrei Chiş University of Bern, Switzerland, Tudor Gîrba tudorgirba.com, Switzerland, Juraj Kubelka University of Chile, Chile, Oscar Nierstrasz University of Bern, Switzerland, Stefan Reichhart n.n., Switzerland DOI Pre-print Media Attached | ||
18:00 3hTalk | Toward a Java Based Infrastructure for Unmanned Aerial Vehicles Posters Yu David Liu State University of New York (SUNY) Binghamton, Lukasz Ziarek State University of New York (SUNY) Buffalo DOI | ||
18:00 3hTalk | Porting the NetBeans Java 8 Enhanced for Loop Lambda Expression Refactoring to Eclipse Posters Md. Arefin New York City College of Technology, City University of New York, Raffi Khatchadourian Hunter College, City University of New York DOI Pre-print File Attached | ||