This paper introduces “statik”, a C++ software library for automatically generating fully-incremental compilers. Given a grammar for any phase of a compilation process (e.g. lexer, parser, code-generator), the library provides a top- down chart parser that accepts incremental changes to a linked-list of input for that compilation phase, and emits the corresponding changes as a linked-list of output. The output of one phase can be chained as input to another, so that a whole compiler can be constructed as a pipeline of an ar- bitrary number of compilation phases. This can be used as an incremental mapping between character-by-character ed- its anywhere in an input source file through to the resulting changes in the compiled object code, with minimal recom- putation of intermediary state. Statik is released as Free software, and is available under the GPLv3+ license at http://statik.rocks.
Wed 28 Oct
18:00 - 21:00: Posters - Poster Session at Admiral and Reflections Chair(s): Nick SumnerSimon Fraser University, Jeff HuangTexas A&M University | ||||||||||||||||||||||||||||||||||||||||||
18:00 - 21:00 Talk | Tomoki ImaiTokyo Institute of Technology, Japan, Hidehiko MasuharaTokyo Institute of Technology, Japan, Tomoyuki AotaniTokyo Institute of Technology, Japan DOI | |||||||||||||||||||||||||||||||||||||||||
18:00 - 21:00 Talk | 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 | Ahmed Abdel MoamenUniversity of Saskatchewan, Canada, Nadeem JamaliUniversity of Saskatchewan, Canada DOI | |||||||||||||||||||||||||||||||||||||||||
18:00 - 21:00 Talk | Sebastian FleissnerAustralian National University, Australia DOI | |||||||||||||||||||||||||||||||||||||||||
18:00 - 21:00 Talk | Michael BiggsBroadway Technology, USA DOI | |||||||||||||||||||||||||||||||||||||||||
18:00 - 21:00 Talk | DOI | |||||||||||||||||||||||||||||||||||||||||
18:00 - 21:00 Talk | Ruochen HuangTokyo Institute of Technology, Japan, Hidehiko MasuharaTokyo Institute of Technology, Japan, Tomoyuki AotaniTokyo Institute of Technology, Japan DOI | |||||||||||||||||||||||||||||||||||||||||
18:00 - 21:00 Talk | Elmer van ChasteletDelft University of Technology, Eelco VisserDelft University of Technology, Craig AnslowMiddlesex University, London DOI | |||||||||||||||||||||||||||||||||||||||||
18: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 | |||||||||||||||||||||||||||||||||||||||||
18: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 | |||||||||||||||||||||||||||||||||||||||||
18:00 - 21:00 Talk | Yu David LiuState University of New York (SUNY) Binghamton, Lukasz ZiarekState University of New York (SUNY) Buffalo DOI | |||||||||||||||||||||||||||||||||||||||||
18: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 |