{"title":"Verifying Fast and Sparse SSA-Based Optimizations in Coq","authors":"Delphine Demange, David Pichardie, Léo Stefanesco","doi":"10.1007/978-3-662-46663-6_12","DOIUrl":"https://doi.org/10.1007/978-3-662-46663-6_12","url":null,"abstract":"","PeriodicalId":147184,"journal":{"name":"International Conference on Compiler Construction","volume":"505 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-04-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127597809","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Protocols by Default - Safe MPI Code Generation Based on Session Types","authors":"Nicholas Ng, J. Coutinho, N. Yoshida","doi":"10.1007/978-3-662-46663-6_11","DOIUrl":"https://doi.org/10.1007/978-3-662-46663-6_11","url":null,"abstract":"","PeriodicalId":147184,"journal":{"name":"International Conference on Compiler Construction","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-04-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123700509","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"A Graphical Model for Context-Free Grammar Parsing","authors":"K. Pingali, G. Bilardi","doi":"10.1007/978-3-662-46663-6_1","DOIUrl":"https://doi.org/10.1007/978-3-662-46663-6_1","url":null,"abstract":"","PeriodicalId":147184,"journal":{"name":"International Conference on Compiler Construction","volume":"86 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-04-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124150602","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Exact and Approximated Data-Reuse Optimizations for Tiling with Parametric Sizes","authors":"A. Darte, Alexandre Isoard","doi":"10.1007/978-3-662-46663-6_8","DOIUrl":"https://doi.org/10.1007/978-3-662-46663-6_8","url":null,"abstract":"","PeriodicalId":147184,"journal":{"name":"International Conference on Compiler Construction","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-04-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131010929","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Hilmar Ackermann, Christoph Reichenbach, C. Müller, Y. Smaragdakis
{"title":"A Backend Extension Mechanism for PQL/Java with Free Run-Time Optimisation","authors":"Hilmar Ackermann, Christoph Reichenbach, C. Müller, Y. Smaragdakis","doi":"10.1007/978-3-662-46663-6_6","DOIUrl":"https://doi.org/10.1007/978-3-662-46663-6_6","url":null,"abstract":"","PeriodicalId":147184,"journal":{"name":"International Conference on Compiler Construction","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-04-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129980633","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Optgen: A Generator for Local Optimizations","authors":"Sebastian Buchwald","doi":"10.1007/978-3-662-46663-6_9","DOIUrl":"https://doi.org/10.1007/978-3-662-46663-6_9","url":null,"abstract":"","PeriodicalId":147184,"journal":{"name":"International Conference on Compiler Construction","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-04-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114473312","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
R. Auler, E. Borin, J. D. Halleux, Michal Moskal, N. Tillmann
{"title":"Addressing JavaScript JIT Engines Performance Quirks: A Crowdsourced Adaptive Compiler","authors":"R. Auler, E. Borin, J. D. Halleux, Michal Moskal, N. Tillmann","doi":"10.1007/978-3-642-54807-9_13","DOIUrl":"https://doi.org/10.1007/978-3-642-54807-9_13","url":null,"abstract":"","PeriodicalId":147184,"journal":{"name":"International Conference on Compiler Construction","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-04-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133882099","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"String Analysis for Dynamic Field Access","authors":"Magnus Madsen, Esben Andreasen","doi":"10.1007/978-3-642-54807-9_12","DOIUrl":"https://doi.org/10.1007/978-3-642-54807-9_12","url":null,"abstract":"","PeriodicalId":147184,"journal":{"name":"International Conference on Compiler Construction","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-04-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127812088","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}