Powered by
Conference Publishing Consulting

2nd International Conference on the Art, Science, and Engineering of Programming (<Programming> 2018 Companion), April 9–12, 2018, Nice, France

<Programming'18> Companion – Author Index

Contents - Abstracts - Authors

A B C D E F G H J K L M N O P R S T V W X Y Z

Åkesson, Alfred <Programming'18> Companion Companion '18: "Live Programming of Internet ..." Article: prog18px-px012-p doi:10.1145/3191697.3214342 <Programming'18> Companion Companion '18: "DSL for End-User Service Composition ..." Article: prog18src-p11-p doi:10.1145/3191697.3213800
Akram, Shoaib <Programming'18> Companion Companion '18: "Managing Hybrid Memories by ..." Article: prog18pass-id1-p doi:10.1145/3191697.3213803
Andronikakis, Andreas <Programming'18> Companion Companion '18: "On the Future of Research ..." Article: prog18morevms-id11-p doi:10.1145/3191697.3191729
Anjorin, Anthony <Programming'18> Companion Companion '18: "On the Development of Consistent ..." Article: prog18bx-id10-p doi:10.1145/3191697.3191716 <Programming'18> Companion Companion '18: "Towards a Visual Editor for ..." Article: prog18bx-id9-p doi:10.1145/3191697.3191719
Apreotesei, Iain <Programming'18> Companion Companion '18: "On the Future of Research ..." Article: prog18morevms-id11-p doi:10.1145/3191697.3191729
Basman, Antranig <Programming'18> Companion Companion '18: "An Anatomy of Interaction: ..." Article: prog18sdr-p6-p doi:10.1145/3191697.3214328 <Programming'18> Companion Companion '18: "Critique of ‘Semprola: A ..." Article: prog18sdr-p9-p doi:10.1145/3191697.3214331
Bates, Simon <Programming'18> Companion Companion '18: "An Anatomy of Interaction: ..." Article: prog18sdr-p6-p doi:10.1145/3191697.3214328
Bažant, Pavel <Programming'18> Companion Companion '18: "A Non-tabular Spreadsheet ..." Article: prog18px-px013-p doi:10.1145/3191697.3214343
Beaudouin-Lafon, Michel <Programming'18> Companion Companion '18: "An Anatomy of Interaction: ..." Article: prog18sdr-p6-p doi:10.1145/3191697.3214328
Bergel, Alexandre <Programming'18> Companion Companion '18: "An API and Visual Environment ..." Article: prog18px-px010-p doi:10.1145/3191697.3214340
Binder, Walter <Programming'18> Companion Companion '18: "Understanding Task Granularity ..." Article: prog18morevms-id2-p doi:10.1145/3191697.3191724
Boisseau, Guillaume <Programming'18> Companion Companion '18: "Understanding Profunctor Optics: ..." Article: prog18bx-id16-p doi:10.1145/3191697.3191718
Caamaño, Juan Manuel Martinez <Programming'18> Companion Companion '18: "Easy::Jit: Compiler Assisted ..." Article: prog18morevms-id5-p doi:10.1145/3191697.3191725
Church, Luke <Programming'18> Companion Companion '18: "Critique of ‘Lector in Codigo ..." Article: prog18sdr-p5-p doi:10.1145/3191697.3214327
Clarkson, James <Programming'18> Companion Companion '18: "Towards Practical Heterogeneous ..." Article: prog18morevms-id12-p doi:10.1145/3191697.3191730
Corbett, Jon M. R. <Programming'18> Companion Companion '18: "Indigenizing Computer Programming ..." Article: prog18src-p13-p doi:10.1145/3191697.3213802
Costiou, Steven <Programming'18> Companion Companion '18: "Collectors ..." Article: prog18px-px004-p doi:10.1145/3191697.3214335
Daloze, Benoit <Programming'18> Companion Companion '18: "Few Versatile vs. Many Specialized ..." Article: prog18px-px003-p doi:10.1145/3191697.3214334
Denker, Marcus <Programming'18> Companion Companion '18: "Collectors ..." Article: prog18px-px004-p doi:10.1145/3191697.3214335
Devriese, Dominique <Programming'18> Companion Companion '18: "Scalagna 0.1: Towards Multi-tier ..." Article: prog18proweb-id10-p doi:10.1145/3191697.3191731
Drossopoulou, Sophia <Programming'18> Companion Companion '18: "Writing Safe Smart Contracts ..." Article: prog18src-p01-p doi:10.1145/3191697.3213790
Duchêne, Adrien <Programming'18> Companion Companion '18: "A Lightweight Data Sharing ..." Article: prog18bx-id17-p doi:10.1145/3191697.3191722
Eeckhout, Lieven <Programming'18> Companion Companion '18: "Managing Hybrid Memories by ..." Article: prog18pass-id1-p doi:10.1145/3191697.3213803
Eekelen, Marko van <Programming'18> Companion Companion '18: "Detecting Energy Bugs and ..." Article: prog18pass-id4-p doi:10.1145/3191697.3213805
Eichholz, Matthias <Programming'18> Companion Companion '18: "Towards Safe Modular Composition ..." Article: prog18pass-id3-p doi:10.1145/3191697.3213804
Eisenbach, Susan <Programming'18> Companion Companion '18: "Writing Safe Smart Contracts ..." Article: prog18src-p01-p doi:10.1145/3191697.3213790
Eramo, Romina <Programming'18> Companion Companion '18: "Enhancing the JTL Tool for ..." Article: prog18bx-id15-p doi:10.1145/3191697.3191720
Foutris, Nikos <Programming'18> Companion Companion '18: "On the Future of Research ..." Article: prog18morevms-id11-p doi:10.1145/3191697.3191729
Fumero, Juan <Programming'18> Companion Companion '18: "Towards Practical Heterogeneous ..." Article: prog18morevms-id12-p doi:10.1145/3191697.3191730
Gastel, Bernard van <Programming'18> Companion Companion '18: "Detecting Energy Bugs and ..." Article: prog18pass-id4-p doi:10.1145/3191697.3213805
Gastel, Pascal van <Programming'18> Companion Companion '18: "Detecting Energy Bugs and ..." Article: prog18pass-id4-p doi:10.1145/3191697.3213805
Gazizullina, Alisa <Programming'18> Companion Companion '18: "Fully Homomorphic Encryption ..." Article: prog18src-p05-p doi:10.1145/3191697.3213794
Greefs, Michael <Programming'18> Companion Companion '18: "Scalagna 0.1: Towards Multi-tier ..." Article: prog18proweb-id10-p doi:10.1145/3191697.3191731
Greenberg, Michael <Programming'18> Companion Companion '18: "Word Expansion Supports POSIX ..." Article: prog18px-px005-p doi:10.1145/3191697.3214336
Guelton, Serge <Programming'18> Companion Companion '18: "Easy::Jit: Compiler Assisted ..." Article: prog18morevms-id5-p doi:10.1145/3191697.3191725
Hartley, Tim <Programming'18> Companion Companion '18: "On the Future of Research ..." Article: prog18morevms-id11-p doi:10.1145/3191697.3191729
Häubl, Christian <Programming'18> Companion Companion '18: "Sulong, and Thanks for All ..." Article: prog18morevms-id6-p doi:10.1145/3191697.3191726
Hedin, Görel <Programming'18> Companion Companion '18: "Live Programming of Internet ..." Article: prog18px-px012-p doi:10.1145/3191697.3214342
Hirschfeld, Robert <Programming'18> Companion Companion '18: "The Exploration Workspace: ..." Article: prog18px-px009-p doi:10.1145/3191697.3214339 <Programming'18> Companion Companion '18: "Do Java Programmers Write ..." Article: prog18px-px011-p doi:10.1145/3191697.3214341
Horschig, Siegfried <Programming'18> Companion Companion '18: "Do Java Programmers Write ..." Article: prog18px-px011-p doi:10.1145/3191697.3214341
Hu, Zhenjiang <Programming'18> Companion Companion '18: "A Lightweight Data Sharing ..." Article: prog18bx-id17-p doi:10.1145/3191697.3191722
Jindal, Vasu <Programming'18> Companion Companion '18: "Towards an Intelligent Fault ..." Article: prog18src-p04-p doi:10.1145/3191697.3213793
Johnson, Michael <Programming'18> Companion Companion '18: "Confidentiality in the Process ..." Article: prog18bx-id13-p doi:10.1145/3191697.3191714 <Programming'18> Companion Companion '18: "Cospans and Symmetric Lenses ..." Article: prog18bx-id12-p doi:10.1145/3191697.3191717
Kaindl, Hermann <Programming'18> Companion Companion '18: "On the Development of Consistent ..." Article: prog18bx-id10-p doi:10.1145/3191697.3191716
Kell, Stephen <Programming'18> Companion Companion '18: "The Inevitable Death of VMs: ..." Article: prog18morevms-id9-p doi:10.1145/3191697.3191728 <Programming'18> Companion Companion '18: "Critique of ‘Files as Directories: ..." Article: prog18sdr-p3-p doi:10.1145/3191697.3214325
Kerboeuf, Mickaël <Programming'18> Companion Companion '18: "Collectors ..." Article: prog18px-px004-p doi:10.1145/3191697.3214335
Kim, Byoungoh <Programming'18> Companion Companion '18: "A Framework for Dynamic Inter-device ..." Article: prog18proweb-id11-p doi:10.1145/3191697.3191732
Kim, Chul-Joo <Programming'18> Companion Companion '18: "A Framework for Dynamic Inter-device ..." Article: prog18proweb-id11-p doi:10.1145/3191697.3191732
Ko, Hsiang-Shang <Programming'18> Companion Companion '18: "Towards a Visual Editor for ..." Article: prog18bx-id9-p doi:10.1145/3191697.3191719
König, Harald <Programming'18> Companion Companion '18: "Multimodel Correspondence ..." Article: prog18bx-id14-p doi:10.1145/3191697.3191715
Kostova, Sandra <Programming'18> Companion Companion '18: "Applying Aspect-Oriented Change ..." Article: prog18pass-id2-p doi:10.1145/3191697.3213806
Kotselidis, Christos <Programming'18> Companion Companion '18: "Towards Practical Heterogeneous ..." Article: prog18morevms-id12-p doi:10.1145/3191697.3191730 <Programming'18> Companion Companion '18: "On the Future of Research ..." Article: prog18morevms-id11-p doi:10.1145/3191697.3191729
Kreindl, Jacob <Programming'18> Companion Companion '18: "Sulong, and Thanks for All ..." Article: prog18morevms-id6-p doi:10.1145/3191697.3191726
Lamo, Yngve <Programming'18> Companion Companion '18: "Multimodel Correspondence ..." Article: prog18bx-id14-p doi:10.1145/3191697.3191715
Lee, Yoonkyong <Programming'18> Companion Companion '18: "A Framework for Dynamic Inter-device ..." Article: prog18proweb-id11-p doi:10.1145/3191697.3191732
Magnusson, Boris <Programming'18> Companion Companion '18: "Live Programming of Internet ..." Article: prog18px-px012-p doi:10.1145/3191697.3214342
Marchal, Hugues <Programming'18> Companion Companion '18: "A Lightweight Data Sharing ..." Article: prog18bx-id17-p doi:10.1145/3191697.3191722
Marr, Stefan <Programming'18> Companion Companion '18: "Few Versatile vs. Many Specialized ..." Article: prog18px-px003-p doi:10.1145/3191697.3214334
Marra, Matteo <Programming'18> Companion Companion '18: "Debugging Support for Big ..." Article: prog18src-p12-p doi:10.1145/3191697.3213801
Maršálková, Michaela <Programming'18> Companion Companion '18: "A Non-tabular Spreadsheet ..." Article: prog18px-px013-p doi:10.1145/3191697.3214343
Mattis, Toni <Programming'18> Companion Companion '18: "Do Java Programmers Write ..." Article: prog18px-px011-p doi:10.1145/3191697.3214341 <Programming'18> Companion Companion '18: "Mining Concepts from Code ..." Article: prog18src-p08-p doi:10.1145/3191697.3213797
Mawer, John <Programming'18> Companion Companion '18: "On the Future of Research ..." Article: prog18morevms-id11-p doi:10.1145/3191697.3191729
McKinley, Kathryn S. <Programming'18> Companion Companion '18: "Managing Hybrid Memories by ..." Article: prog18pass-id1-p doi:10.1145/3191697.3213803
Melatagia, Paulin <Programming'18> Companion Companion '18: "An API and Visual Environment ..." Article: prog18px-px010-p doi:10.1145/3191697.3214340
Mezini, Mira <Programming'18> Companion Companion '18: "Towards Safe Modular Composition ..." Article: prog18pass-id3-p doi:10.1145/3191697.3213804 <Programming'18> Companion Companion '18: "Reactive Programming Experience ..." Article: prog18px-px006-p doi:10.1145/3191697.3214337
Mogk, Ragnar <Programming'18> Companion Companion '18: "Reactive Programming Experience ..." Article: prog18px-px006-p doi:10.1145/3191697.3214337
Mössenböck, Hanspeter <Programming'18> Companion Companion '18: "Sulong, and Thanks for All ..." Article: prog18morevms-id6-p doi:10.1145/3191697.3191726
Nisbet, Andy <Programming'18> Companion Companion '18: "On the Future of Research ..." Article: prog18morevms-id11-p doi:10.1145/3191697.3191729
Nordahl, Mattias <Programming'18> Companion Companion '18: "Live Programming of Internet ..." Article: prog18px-px012-p doi:10.1145/3191697.3214342
Oney, Steve <Programming'18> Companion Companion '18: "Attention Patterns for Code ..." Article: prog18px-px007-p doi:10.1145/3191697.3214338
Öqvist, Jesper <Programming'18> Companion Companion '18: "ExtendJ: Extensible Java Compiler ..." Article: prog18src-p09-p doi:10.1145/3191697.3213798
Pandey, Maulishree <Programming'18> Companion Companion '18: "Attention Patterns for Code ..." Article: prog18px-px007-p doi:10.1145/3191697.3214338
Papadakis, Orion <Programming'18> Companion Companion '18: "On the Future of Research ..." Article: prog18morevms-id11-p doi:10.1145/3191697.3191729
Papadimitriou, Michail <Programming'18> Companion Companion '18: "Towards Practical Heterogeneous ..." Article: prog18morevms-id12-p doi:10.1145/3191697.3191730
Park, Jihyeok <Programming'18> Companion Companion '18: "A Framework for Dynamic Inter-device ..." Article: prog18proweb-id11-p doi:10.1145/3191697.3191732
Park, Joonyoung <Programming'18> Companion Companion '18: "A Framework for Dynamic Inter-device ..." Article: prog18proweb-id11-p doi:10.1145/3191697.3191732
Petricek, Tomas <Programming'18> Companion Companion '18: "Critique of ‘An Anatomy ..." Article: prog18sdr-p7-p doi:10.1145/3191697.3214329
Pierantonio, Alfonso <Programming'18> Companion Companion '18: "Enhancing the JTL Tool for ..." Article: prog18bx-id15-p doi:10.1145/3191697.3191720
Piessens, Frank <Programming'18> Companion Companion '18: "Scalagna 0.1: Towards Multi-tier ..." Article: prog18proweb-id10-p doi:10.1145/3191697.3191731
Plantec, Alain <Programming'18> Companion Companion '18: "Collectors ..." Article: prog18px-px004-p doi:10.1145/3191697.3214335
Popp, Roman <Programming'18> Companion Companion '18: "On the Development of Consistent ..." Article: prog18bx-id10-p doi:10.1145/3191697.3191716
Rein, Patrick <Programming'18> Companion Companion '18: "The Exploration Workspace: ..." Article: prog18px-px009-p doi:10.1145/3191697.3214339 <Programming'18> Companion Companion '18: "A Soup of Objects: Convenience ..." Article: prog18src-p10-p doi:10.1145/3191697.3213799
Reynders, Bob <Programming'18> Companion Companion '18: "Scalagna 0.1: Towards Multi-tier ..." Article: prog18proweb-id10-p doi:10.1145/3191697.3191731
Rigger, Manuel <Programming'18> Companion Companion '18: "Sulong, and Thanks for All ..." Article: prog18morevms-id6-p doi:10.1145/3191697.3191726 <Programming'18> Companion Companion '18: "Sandboxed Execution of C and ..." Article: prog18src-p06-p doi:10.1145/3191697.3213795
Rosà, Andrea <Programming'18> Companion Companion '18: "Understanding Task Granularity ..." Article: prog18morevms-id2-p doi:10.1145/3191697.3191724
Rosales, Eduardo <Programming'18> Companion Companion '18: "Understanding Task Granularity ..." Article: prog18morevms-id2-p doi:10.1145/3191697.3191724
Rosebrugh, Robert <Programming'18> Companion Companion '18: "Cospans and Symmetric Lenses ..." Article: prog18bx-id12-p doi:10.1145/3191697.3191717
Rutle, Adrian <Programming'18> Companion Companion '18: "Multimodel Correspondence ..." Article: prog18bx-id14-p doi:10.1145/3191697.3191715
Ryu, Sukyoung <Programming'18> Companion Companion '18: "A Framework for Dynamic Inter-device ..." Article: prog18proweb-id11-p doi:10.1145/3191697.3191732
Salvaneschi, Guido <Programming'18> Companion Companion '18: "Towards Safe Modular Composition ..." Article: prog18pass-id3-p doi:10.1145/3191697.3213804 <Programming'18> Companion Companion '18: "Reactive Programming Experience ..." Article: prog18px-px006-p doi:10.1145/3191697.3214337
Sartor, Jennifer B. <Programming'18> Companion Companion '18: "Managing Hybrid Memories by ..." Article: prog18pass-id1-p doi:10.1145/3191697.3213803
Schatz, Roland <Programming'18> Companion Companion '18: "Sulong, and Thanks for All ..." Article: prog18morevms-id6-p doi:10.1145/3191697.3191726
Schiavio, Filippo <Programming'18> Companion Companion '18: "Understanding Task Granularity ..." Article: prog18morevms-id2-p doi:10.1145/3191697.3191724
Schobbens, Pierre-Yves <Programming'18> Companion Companion '18: "A Lightweight Data Sharing ..." Article: prog18bx-id17-p doi:10.1145/3191697.3191722
Schrans, Franklin <Programming'18> Companion Companion '18: "Writing Safe Smart Contracts ..." Article: prog18src-p01-p doi:10.1145/3191697.3213790
Sharpe, Oli <Programming'18> Companion Companion '18: "Semprola: A Semiotic Programming ..." Article: prog18sdr-p8-p doi:10.1145/3191697.3214330
Spinelli, Louis <Programming'18> Companion Companion '18: "Attention Patterns for Code ..." Article: prog18px-px007-p doi:10.1145/3191697.3214338
Stevens, Perdita <Programming'18> Companion Companion '18: "Confidentiality in the Process ..." Article: prog18bx-id13-p doi:10.1145/3191697.3191714
Stinckwich, Serge <Programming'18> Companion Companion '18: "An API and Visual Environment ..." Article: prog18px-px010-p doi:10.1145/3191697.3214340
Stünkel, Patrick <Programming'18> Companion Companion '18: "Multimodel Correspondence ..." Article: prog18bx-id14-p doi:10.1145/3191697.3191715
Susungi, Adilla <Programming'18> Companion Companion '18: "On the Semantics of Loop Transformation ..." Article: prog18src-p07-p doi:10.1145/3191697.3213796
Tchernavskij, Philip <Programming'18> Companion Companion '18: "Critique of ‘Files as Directories: ..." Article: prog18sdr-p2-p doi:10.1145/3191697.3214324 <Programming'18> Companion Companion '18: "An Anatomy of Interaction: ..." Article: prog18sdr-p6-p doi:10.1145/3191697.3214328
Tucci, Michele <Programming'18> Companion Companion '18: "Enhancing the JTL Tool for ..." Article: prog18bx-id15-p doi:10.1145/3191697.3191720
Videla, Alvaro <Programming'18> Companion Companion '18: "Lector in Codigo or The Role ..." Article: prog18sdr-p4-p doi:10.1145/3191697.3214326
Vranić, Valentino <Programming'18> Companion Companion '18: "Applying Aspect-Oriented Change ..." Article: prog18pass-id2-p doi:10.1145/3191697.3213806
Wimmer, Raphael <Programming'18> Companion Companion '18: "Files as Directories: Some ..." Article: prog18sdr-p1-p doi:10.1145/3191697.3214323
Wingo, Andy <Programming'18> Companion Companion '18: "Self-Hosted Scripting in Guile ..." Article: prog18morevms-id7-p doi:10.1145/3191697.3191727
Xekalaki, Maria <Programming'18> Companion Companion '18: "Towards Practical Heterogeneous ..." Article: prog18morevms-id12-p doi:10.1145/3191697.3191730
Yigitbas, Enes <Programming'18> Companion Companion '18: "On the Development of Consistent ..." Article: prog18bx-id10-p doi:10.1145/3191697.3191716
Zakkak, Foivos S. <Programming'18> Companion Companion '18: "On the Future of Research ..." Article: prog18morevms-id11-p doi:10.1145/3191697.3191729
Zigmond, Ezra <Programming'18> Companion Companion '18: "Fine-Grained, Dynamic Access ..." Article: prog18src-p02-p doi:10.1145/3191697.3213791

124 authors

proc time: 0.12