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 Times are displayed in time zone: Eastern Time (US & Canada) change
Wed 28 Oct
Times are displayed in time zone: Eastern Time (US & Canada) change
18:00 - 21:00: Poster SessionPosters at Admiral and Reflections Chair(s): Nick SumnerSimon Fraser University, Jeff HuangTexas A&M University | |||
| 18:00 - 21:00 Talk | Shiranui: A Live Programming with Support for Unit Testing Posters Tomoki ImaiTokyo Institute of Technology, Japan, Hidehiko MasuharaTokyo Institute of Technology, Japan, Tomoyuki AotaniTokyo Institute of Technology, Japan DOI | ||
| 18:00 - 21:00 Talk | Exploiting Parallelism in Mobile Devices Posters Arghya ChatterjeeRice University, USA, Timothy NewtonRice University, USA, Tom RoushRice University, USA, Hunter TidwellRice University, USA, Vivek SarkarRice University DOI | ||
| 18:00 - 21:00 Talk | ModeSens: An Approach for Multi-modal Mobile Sensing Posters Ahmed Abdel MoamenUniversity of Saskatchewan, Canada, Nadeem JamaliUniversity of Saskatchewan, Canada DOI | ||
| 18:00 - 21:00 Talk | Towards Transitory Encapsulation Posters Sebastian FleissnerAustralian National University, Australia DOI | ||
| 18:00 - 21:00 Talk | Statik: An Incremental Compiler Generator Posters Michael BiggsBroadway Technology, USA DOI | ||
| 18:00 - 21:00 Talk | Toward Incremental Type Checking for Java Posters DOI | ||
| 18:00 - 21:00 Talk | Pyrlang: A High Performance Erlang Virtual Machine Based on RPython Posters Ruochen HuangTokyo Institute of Technology, Japan, Hidehiko MasuharaTokyo Institute of Technology, Japan, Tomoyuki AotaniTokyo Institute of Technology, Japan DOI | ||
| 18:00 - 21:00 Talk | Conf.Researchr.Org: Towards a Domain-Specific Content Management System for Managing Large Conference Websites Posters Elmer van ChasteletDelft University of Technology, Eelco VisserDelft University of Technology, Craig AnslowMiddlesex University, London DOI | ||
| 18:00 - 21:00 Talk | Evaluating Work Distribution Patterns for Parallel Bitmap Compression over SMPs Posters 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 | ||
| 18:00 - 21:00 Talk | Spotter: Towards a Unified Search Interface in IDEs Posters 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 | ||
| 18:00 - 21:00 Talk | Toward a Java Based Infrastructure for Unmanned Aerial Vehicles Posters Yu David LiuState University of New York (SUNY) Binghamton, Lukasz ZiarekState University of New York (SUNY) Buffalo DOI | ||
| 18:00 - 21:00 Talk | Porting the NetBeans Java 8 Enhanced for Loop Lambda Expression Refactoring to Eclipse Posters 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 | ||