ETAPS 2017
2017 European Joint Conferences on Theory and Practice of Software (ETAPS)
Powered by
Conference Publishing Consulting

2017 European Joint Conferences on Theory and Practice of Software (ETAPS), April 22–29, 2017, Uppsala, Sweden

ETAPS 2017 – Author Index

Contents - Abstracts - Authors
Online Calendar - iCal File

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

Abate, Alessandro ETAPS'17-FOSSACS: "On the Relationship Between ..."
Abdulla, Parosh Aziz ETAPS'17-TACAS: "Context-Bounded Analysis for ..."
Abriola, Sergio ETAPS'17-FOSSACS: "Logics of Repeating Values ..."
Aguirre, Nazareno ETAPS'17-FASE: "Automated Workarounds from ..."
Ah-Fat, Patrick ETAPS'17-POST: "Secure Multi-party Computation: ..."
Akshay, S. ETAPS'17-TACAS: "Towards Parallel Boolean Functional ..."
Alabbad, Mohammed ETAPS'17-POST: "Defense in Depth Formulation ..."
Alpuim, João ETAPS'17-ESOP: "Disjoint Polymorphism ..."
Alrajeh, Dalal ETAPS'17-TACAS: "Interpolation-Based GR(1) ..."
Alt, Leonardo ETAPS'17-TACAS: "HiFrog: SMT-based Function ..."
Altenkirch, Thorsten ETAPS'17-FOSSACS: "Partiality, Revisited - The ..."
Alur, Rajeev ETAPS'17-TACAS: "Scaling Enumerative Program ..."
Alvim, Mário S. ETAPS'17-POST: "Quantifying Vulnerability ..."
Alvin, Chris ETAPS'17-FASE: "StaticGen: Static Generation ..."
Amadini, Roberto ETAPS'17-TACAS: "Combining String Abstract ..."
Ancona, Davide ETAPS'17-ESOP: "Generalizing Inference Systems ..."
Andersen, Kristoffer Just ETAPS'17-ESOP: "Caper - Automatic Verification ..."
Andrianov, Pavel ETAPS'17-TACAS: "CPA-BAM-BnB: Block-Abstraction ..."
Anjorin, Anthony ETAPS'17-FASE: "Inter-model Consistency Checking ..."
Antonino, Pedro R. G. ETAPS'17-TACAS: "The Automatic Detection of ..."
Araújo, Cristiano Werner ETAPS'17-FASE: "On the Effectiveness of Bug ..."
Asada, Kazuyuki ETAPS'17-FOSSACS: "Almost Every Simply Typed ..."
Asadi, Sepideh ETAPS'17-TACAS: "HiFrog: SMT-based Function ..."
Asavoae, Irina Mariuca ETAPS'17-FASE: "Slicing from Formal Sematics: ..."
Asavoae, Mihail ETAPS'17-FASE: "Slicing from Formal Sematics: ..."
Asenov, Dimitar ETAPS'17-FASE: "Precise Version Control of ..."
Aslanyan, Zaruhi ETAPS'17-POST: "Model Checking Exact Cost ..."
Atig, Mohamed Faouzi ETAPS'17-TACAS: "Context-Bounded Analysis for ..."
Atkey, Robert ETAPS'17-ESOP: "Observed Communication Semantics ..."
Atzei, Nicola ETAPS'17-POST: "A Survey of Attacks on Ethereum ..."
Avni, Guy ETAPS'17-TACAS: "Computing Scores of Forwarding ..."
Aydin, Abdulbaki ETAPS'17-FASE: "Visual Configuration of Mobile ..."
Babel, Kushal ETAPS'17-POST: "On Communication Models When ..."
Baier, Christel ETAPS'17-TACAS: "Maximizing the Conditional ..."
Bak, Stanley ETAPS'17-TACAS: "Rigorous Simulation-Based ..."
Baldan, Paolo ETAPS'17-FOSSACS: "Local Model Checking in a ..."
Barbosa, Haniel ETAPS'17-TACAS: "Congruence Closure with Free ..."
Barnat, Jiří ETAPS'17-TACAS: "Optimizing and Caching SMT ..."
Barthe, Gilles ETAPS'17-ESOP: "Is Your Software on Dope? ..."
Bartocci, Ezio ETAPS'17-TACAS: "ARES: Adaptive Receding-Horizon ..."
Bartoletti, Massimo ETAPS'17-POST: "A Survey of Attacks on Ethereum ..."
Basin, David A. ETAPS'17-TACAS: "Almost Event-Rate Independent ..."
Bauer, Lujo ETAPS'17-POST: "Timing-Sensitive Noninterference ..."
Becker, Bernd ETAPS'17-TACAS: "HQSpre - An Effective Preprocessor ..."
Berardi, Stefano ETAPS'17-FOSSACS: "Classical System of Martin-Löf's ..."
Beyer, Dirk ETAPS'17-TACAS: "Software Verification with ..."
Bhatt, Bhargav Nagaraja ETAPS'17-TACAS: "Almost Event-Rate Independent ..."
Bian, Gaoang ETAPS'17-FOSSACS: "On the Relationship Between ..."
Biere, Armin ETAPS'17-TACAS: "Counterexample-Guided Model ..."
Biewer, Sebastian ETAPS'17-ESOP: "Is Your Software on Dope? ..."
Birkedal, Lars ETAPS'17-ESOP: "The Essence of Higher-Order ..." ETAPS'17-ESOP: "Caper - Automatic Verification ..."
Bizjak, Aleš ETAPS'17-ESOP: "The Essence of Higher-Order ..."
Blanchette, Jasmin Christian ETAPS'17-ESOP: "Friends with Benefits - Implementing ..." ETAPS'17-FOSSACS: "A Lambda-Free Higher-Order ..."
Blatter, Lionel ETAPS'17-TACAS: "RPP: Automatic Proof of Relational ..."
Blot, Arthur ETAPS'17-POST: "Compositional Synthesis of ..."
Bogomolov, Sergiy ETAPS'17-TACAS: "Counterexample-Guided Refinement ..."
Bonakdarpour, Borzoo ETAPS'17-TACAS: "Rewriting-Based Runtime Verification ..."
Bonchi, Filippo ETAPS'17-ESOP: "Confluence of Graph Rewriting ..." ETAPS'17-TACAS: "Up-To Techniques for Weighted ..."
Boreale, Michele ETAPS'17-FOSSACS: "Algebra, Coalgebra, and Minimization ..."
Borralleras, Cristina ETAPS'17-TACAS: "Proving Termination Through ..."
Bouajjani, Ahmed ETAPS'17-ESOP: "Verifying Robustness of Event-Driven ..." ETAPS'17-TACAS: "Context-Bounded Analysis for ..."
Boutillier, Pierre ETAPS'17-ESOP: "Incremental Update for Graph ..."
Bouyer, Patricia ETAPS'17-FOSSACS: "Dynamic Complexity of the ..." ETAPS'17-FOSSACS: "Bounding Average-Energy Games ..."
Bouzy, Aymeric ETAPS'17-ESOP: "Friends with Benefits - Implementing ..."
Brett, Noel ETAPS'17-TACAS: "Rewriting-Based Runtime Verification ..."
Breuvart, Flavien ETAPS'17-FOSSACS: "On Higher-Order Probabilistic ..."
Brockschmidt, Marc ETAPS'17-TACAS: "Proving Termination Through ..."
Bruyère, Véronique ETAPS'17-FOSSACS: "On the Existence of Weak Subgame ..."
Budde, Carlos E. ETAPS'17-TACAS: "JANI: Quantitative Model and ..."
Bursuc, Sergiu ETAPS'17-POST: "Automated Verification of ..."
Busatto-Gaston, Damien ETAPS'17-FOSSACS: "Optimal Reachability in Divergent ..."
Butkova, Yuliya ETAPS'17-TACAS: "Long-Run Rewards for Markov ..."
Cabot, Jordi ETAPS'17-FASE: "Traceability Mappings as a ..."
Caires, Luis ETAPS'17-ESOP: "Linearity, Control Effects, ..."
Cañones, Pablo ETAPS'17-POST: "Security Analysis of Cache ..."
Cardelli, Luca ETAPS'17-TACAS: "ERODE: A Tool for the Evaluation ..."
Casini, Giovanni ETAPS'17-POST: "Postulates for Revocation ..."
Cassez, Franck ETAPS'17-TACAS: "Skink: Static Analysis of ..."
Cavezza, Davide G. ETAPS'17-TACAS: "Interpolation-Based GR(1) ..."
Cerný, Pavol ETAPS'17-TACAS: "Discriminating Traces with ..."
Chadha, Rohit ETAPS'17-FOSSACS: "Emptiness Under Isolation ..."
Chakraborty, Supratik ETAPS'17-TACAS: "Towards Parallel Boolean Functional ..."
Chalupa, Marek ETAPS'17-TACAS: "Symbiotic 4: Beyond Reachability ..."
Chang, Bor-Yuh Evan ETAPS'17-TACAS: "Discriminating Traces with ..."
Charguéraud, Arthur ETAPS'17-ESOP: "Temporary Read-Only Permissions ..."
Chatterjee, Krishnendu ETAPS'17-ESOP: "Faster Algorithms for Weighted ..."
Chattopadhyay, Sudipta ETAPS'17-TACAS: "Directed Automated Memory ..."
Chauhan, Avriti ETAPS'17-TACAS: "VeriAbs: Verification by Abstraction ..."
Chen, Yu-Fang ETAPS'17-TACAS: "A Novel Learning Algorithm ..."
Chen, Yu-Wen ETAPS'17-TACAS: "Ultimate Automizer with an ..."
Cheng, Chih-Hong ETAPS'17-TACAS: "autoCode4: Structural Controller ..."
Cheng, Zheng ETAPS'17-FASE: "A Deductive Approach for Fault ..."
Cheval, Vincent ETAPS'17-POST: "On Communication Models When ..."
Chimdyalwar, Bharti ETAPS'17-TACAS: "VeriAbs: Verification by Abstraction ..."
Chin, Wei-Ngan ETAPS'17-TACAS: "HipTNT+: A Termination and ..."
Chockler, Hana ETAPS'17-TACAS: "HiFrog: SMT-based Function ..."
Cimatti, Alessandro ETAPS'17-TACAS: "Invariant Checking of NRA ..."
Cimoli, Tiziana ETAPS'17-POST: "A Survey of Attacks on Ethereum ..."
Clerc, Florence ETAPS'17-FOSSACS: "Pointless Learning ..."
Cobb, Andrew ETAPS'17-ESOP: "Contextual Equivalence for ..."
Cordeiro, Lucas C. ETAPS'17-TACAS: "DepthK: A k-Induction Verifier ..."
Cotton-Barratt, Conrad ETAPS'17-ESOP: "ML and Extended Branching ..."
Courant, Nathanaël ETAPS'17-TACAS: "Precise Widening Operators ..."
Cramer, Marcos ETAPS'17-POST: "Postulates for Revocation ..."
Crubillé, Raphaëlle ETAPS'17-ESOP: "Metric Reasoning About λ-Terms: ..." ETAPS'17-FOSSACS: "The Free Exponential Modality ..."
Cruz-Filipe, Luís ETAPS'17-FOSSACS: "The Paths to Choreography ..." ETAPS'17-TACAS: "Efficient Certified Resolution ..."
Cuadrado, Jesús Sánchez ETAPS'17-FASE: "Reusing Model Transformations ..."
Cubuktepe, Murat ETAPS'17-TACAS: "Sequential Convex Programming ..."
Culpepper, Ryan ETAPS'17-ESOP: "Contextual Equivalence for ..."
Dagnino, Francesco ETAPS'17-ESOP: "Generalizing Inference Systems ..."
Dahlqvist, Fredrik ETAPS'17-FOSSACS: "Pointless Learning ..."
Dal Lago, Ugo ETAPS'17-ESOP: "Probabilistic Termination ..." ETAPS'17-ESOP: "Metric Reasoning About λ-Terms: ..." ETAPS'17-FOSSACS: "On Higher-Order Probabilistic ..."
Damiani, Ferruccio ETAPS'17-FASE: "A Unified and Formal Programming ..."
Danielsson, Nils Anders ETAPS'17-FOSSACS: "Partiality, Revisited - The ..."
Danos, Vincent ETAPS'17-FOSSACS: "Pointless Learning ..." ETAPS'17-FOSSACS: "Computing Continuous-Time ..."
D'Antoni, Loris ETAPS'17-TACAS: "Forward Bisimulations for ..." ETAPS'17-TACAS: "Learning Symbolic Automata ..."
D'Argenio, Pedro R. ETAPS'17-ESOP: "Is Your Software on Dope? ..."
Darke, Priyanka ETAPS'17-TACAS: "VeriAbs: Verification by Abstraction ..."
Da Rocha Pinto, Pedro ETAPS'17-ESOP: "Abstract Specifications for ..." ETAPS'17-ESOP: "Caper - Automatic Verification ..."
Das, Ankush ETAPS'17-TACAS: "ML for ML: Learning Cost Semantics ..."
Daviaud, Laure ETAPS'17-FOSSACS: "Degree of Sequentiality of ..."
De Aledo Marugán, Pablo González ETAPS'17-TACAS: "Skink: Static Analysis of ..."
Dehnert, Christian ETAPS'17-TACAS: "JANI: Quantitative Model and ..."
De Lara, Juan ETAPS'17-FASE: "Reusing Model Transformations ..."
De Vink, Erik P. ETAPS'17-FASE: "Family-Based Model Checking ..."
Dietsch, Daniel ETAPS'17-TACAS: "Ultimate Automizer with an ..." ETAPS'17-TACAS: "Ultimate Taipan: Trace Abstraction ..."
Dillig, Isil ETAPS'17-TACAS: "Static Detection of DoS Vulnerabilities ..."
Dimovski, Aleksandar S. ETAPS'17-FASE: "Variability-Specific Abstraction ..."
Dinsdale-Young, Thomas ETAPS'17-ESOP: "Caper - Automatic Verification ..."
Di Rocco, Juri ETAPS'17-FASE: "Reusing Model Transformations ..."
Di Ruscio, Davide ETAPS'17-FASE: "Reusing Model Transformations ..."
Diskin, Zinovy ETAPS'17-FASE: "Traceability Mappings as a ..."
Dodds, Mike ETAPS'17-ESOP: "Proving Linearizability Using ..."
Doko, Marko ETAPS'17-ESOP: "Tackling Real-Life Relaxed ..."
Doménech, Jesús ETAPS'17-FASE: "EasyInterface: A Toolkit for ..."
Dreier, Jannik ETAPS'17-POST: "Beyond Subterm-Convergent ..."
Drews, Samuel ETAPS'17-TACAS: "Learning Symbolic Automata ..."
Dreyer, Derek ETAPS'17-ESOP: "The Essence of Higher-Order ..."
Drossopolou, Sophia ETAPS'17-ESOP: "Modular Verification of Procedure ..."
Duggirala, Parasara Sridhar ETAPS'17-TACAS: "Rigorous Simulation-Based ..."
Duménil, Charles ETAPS'17-POST: "Beyond Subterm-Convergent ..."
Dunfield, Joshua ETAPS'17-ESOP: "Extensible Datasort Refinements ..."
Durán, Francisco ETAPS'17-FASE: "GTS Families for the Flexible ..."
Ehrhard, Thomas ETAPS'17-ESOP: "Incremental Update for Graph ..." ETAPS'17-FOSSACS: "The Free Exponential Modality ..."
Eisenbach, Susan ETAPS'17-ESOP: "Modular Verification of Procedure ..."
Emmi, Michael ETAPS'17-ESOP: "Verifying Robustness of Event-Driven ..."
Emrich, Frank ETAPS'17-TACAS: "AProVE: Proving and Disproving ..."
Enea, Constantin ETAPS'17-ESOP: "Verifying Robustness of Event-Driven ..."
Esparza, Javier ETAPS'17-TACAS: "From LTL and Limit-Deterministic ..."
Esterle, Lukas ETAPS'17-TACAS: "ARES: Adaptive Receding-Horizon ..."
Even Mendoza, Karine ETAPS'17-TACAS: "HiFrog: SMT-based Function ..."
Faymonville, Peter ETAPS'17-TACAS: "Encodings of Bounded Synthesis ..."
Fedyukovich, Grigory ETAPS'17-TACAS: "HiFrog: SMT-based Function ..."
Feldman, Yotam M. Y. ETAPS'17-TACAS: "Bounded Quantifier Instantiation ..."
Ferrara, Pietro ETAPS'17-FASE: "Visual Configuration of Mobile ..."
Ferreira, Francisco ETAPS'17-ESOP: "Programs Using Syntax with ..."
Fiedor, Tomas ETAPS'17-TACAS: "Lazy Automata Techniques for ..."
Figueira, Diego ETAPS'17-FOSSACS: "Logics of Repeating Values ..."
Figueira, Santiago ETAPS'17-FOSSACS: "Logics of Repeating Values ..."
Finkbeiner, Bernd ETAPS'17-ESOP: "Is Your Software on Dope? ..." ETAPS'17-TACAS: "Encodings of Bounded Synthesis ..."
Fischer, Bernd ETAPS'17-TACAS: "Lazy-CSeq 2.0: Combining Lazy ..." ETAPS'17-TACAS: "DepthK: A k-Induction Verifier ..."
Fontaine, Pascal ETAPS'17-TACAS: "Congruence Closure with Free ..."
Forrest, Stephanie ETAPS'17-TACAS: "Connecting Program Synthesis ..."
Frehse, Goran ETAPS'17-TACAS: "Counterexample-Guided Refinement ..."
Frias, Marcelo F. ETAPS'17-FASE: "Automated Workarounds from ..."
Friedberger, Karlheinz ETAPS'17-TACAS: "CPA-BAM-BnB: Block-Abstraction ..."
Frohn, Florian ETAPS'17-TACAS: "AProVE: Proving and Disproving ..."
Gadducci, Fabio ETAPS'17-ESOP: "Confluence of Graph Rewriting ..."
Gange, Graeme ETAPS'17-TACAS: "Combining String Abstract ..."
Gardner, Philippa ETAPS'17-ESOP: "Abstract Specifications for ..."
Garnier, Ilias ETAPS'17-FOSSACS: "Pointless Learning ..." ETAPS'17-FOSSACS: "Computing Continuous-Time ..."
Gauthier, François ETAPS'17-TACAS: "Combining String Abstract ..."
Genaim, Samir ETAPS'17-FASE: "EasyInterface: A Toolkit for ..."
Georges, Aina Linn ETAPS'17-ESOP: "Lincx: A Linear Logical Framework ..."
Giacobbe, Mirco ETAPS'17-TACAS: "Counterexample-Guided Refinement ..."
Gibbons, Jeremy ETAPS'17-ESOP: "APLicative Programming with ..."
Gibson-Robinson, Thomas ETAPS'17-TACAS: "The Automatic Detection of ..."
Giesl, Jürgen ETAPS'17-TACAS: "AProVE: Proving and Disproving ..."
Gilbert, Frédéric ETAPS'17-FOSSACS: "Automated Constructivization ..."
Gligoric, Milos ETAPS'17-FASE: "Selective Bisection Debugging ..."
Goel, Shubham ETAPS'17-TACAS: "Computing Scores of Forwarding ..."
Gómez, Abel ETAPS'17-FASE: "Traceability Mappings as a ..."
Goncharov, Sergey ETAPS'17-FOSSACS: "Unifying Guarded and Unguarded ..."
Gotsman, Alexey ETAPS'17-ESOP: "Proving Linearizability Using ..."
Greitschus, Marius ETAPS'17-TACAS: "Ultimate Automizer with an ..." ETAPS'17-TACAS: "Ultimate Taipan: Trace Abstraction ..."
Grellois, Charles ETAPS'17-ESOP: "Probabilistic Termination ..."
Griggio, Alberto ETAPS'17-TACAS: "Invariant Checking of NRA ..."
Grosu, Radu ETAPS'17-TACAS: "ARES: Adaptive Receding-Horizon ..."
Guenat, Balz ETAPS'17-FASE: "Precise Version Control of ..."
Guéneau, Armaël ETAPS'17-ESOP: "Verified Characteristic Formulae ..."
Guerra, Esther ETAPS'17-FASE: "Reusing Model Transformations ..."
Hähnle, Reiner ETAPS'17-FASE: "A Unified and Formal Programming ..."
Hahn, Ernst Moritz ETAPS'17-TACAS: "JANI: Quantitative Model and ..."
Harper, Robert ETAPS'17-ESOP: "A Higher-Order Logic for Concurrent ..."
Hartmanns, Arnd ETAPS'17-TACAS: "JANI: Quantitative Model and ..."
Hedin, Daniel ETAPS'17-POST: "A Principled Approach to Tracking ..."
Heindel, Tobias ETAPS'17-FOSSACS: "Computing Continuous-Time ..."
Heizmann, Matthias ETAPS'17-TACAS: "Ultimate Automizer with an ..." ETAPS'17-TACAS: "Ultimate Taipan: Trace Abstraction ..." ETAPS'17-TACAS: "Minimization of Visibly Pushdown ..."
Henda, Noomene Ben ETAPS'17-FASE: "OpenSAW: Open Security Analysis ..."
Hensel, Jera ETAPS'17-TACAS: "AProVE: Proving and Disproving ..."
Henzinger, Thomas A. ETAPS'17-TACAS: "Computing Scores of Forwarding ..." ETAPS'17-TACAS: "Counterexample-Guided Refinement ..."
Hermanns, Holger ETAPS'17-ESOP: "Is Your Software on Dope? ..." ETAPS'17-TACAS: "Long-Run Rewards for Markov ..."
Herrou, Agathe ETAPS'17-FOSSACS: "On Higher-Order Probabilistic ..."
Heule, Marijn J. H. ETAPS'17-TACAS: "Static Detection of DoS Vulnerabilities ..."
Hicks, Michael W. ETAPS'17-POST: "Quantifying Vulnerability ..."
Hirsch, Christian ETAPS'17-TACAS: "ARES: Adaptive Receding-Horizon ..."
Hoffmann, Jan ETAPS'17-TACAS: "ML for ML: Learning Cost Semantics ..."
Hofman, Piotr ETAPS'17-FOSSACS: "Bounding Average-Energy Games ..."
Holik, Lukas ETAPS'17-TACAS: "Lazy Automata Techniques for ..."
Holík, Lukás ETAPS'17-TACAS: "Forester: From Heap Shapes ..."
Hou, Zhe ETAPS'17-TACAS: "CSimpl: A Rely-Guarantee-Based ..."
Hruska, Martin ETAPS'17-TACAS: "Forester: From Heap Shapes ..."
Hu, Raymond ETAPS'17-FASE: "Explicit Connection Actions ..."
Huth, Michael ETAPS'17-POST: "Secure Multi-party Computation: ..."
Hyvärinen, Antti E. J. ETAPS'17-TACAS: "HiFrog: SMT-based Function ..."
Immerman, Neil ETAPS'17-TACAS: "Bounded Quantifier Instantiation ..."
Inala, Jeevana Priya ETAPS'17-TACAS: "Synthesis of Recursive ADT ..."
Inverso, Omar ETAPS'17-TACAS: "Lazy-CSeq 2.0: Combining Lazy ..."
Iovino, Ludovico ETAPS'17-FASE: "Reusing Model Transformations ..."
Irfan, Ahmed ETAPS'17-TACAS: "Invariant Checking of NRA ..."
Ismail, Hussama ETAPS'17-TACAS: "DepthK: A k-Induction Verifier ..."
Janku, Petr ETAPS'17-TACAS: "Lazy Automata Techniques for ..."
Jansen, Christina ETAPS'17-ESOP: "Unified Reasoning About Robustness ..."
Jansen, Nils ETAPS'17-TACAS: "Sequential Convex Programming ..."
Jecker, Ismaël ETAPS'17-FOSSACS: "Degree of Sequentiality of ..."
Jia, Limin ETAPS'17-POST: "Timing-Sensitive Noninterference ..."
Johansen, Christian ETAPS'17-POST: "Automated Verification of ..."
Johansson, Björn ETAPS'17-FASE: "OpenSAW: Open Security Analysis ..."
John, Ajith K. ETAPS'17-TACAS: "Towards Parallel Boolean Functional ..."
Johnsen, Einar Broch ETAPS'17-FASE: "EasyInterface: A Toolkit for ..."
Jonáš, Martin ETAPS'17-TACAS: "Symbiotic 4: Beyond Reachability ..." ETAPS'17-TACAS: "Optimizing and Caching SMT ..."
Jones, Owain ETAPS'17-POST: "Defense in Depth Formulation ..."
Jordan, Alexander ETAPS'17-TACAS: "Combining String Abstract ..."
Jourdan, Jacques-Henri ETAPS'17-ESOP: "The Essence of Higher-Order ..."
Jugé, Vincent ETAPS'17-FOSSACS: "Dynamic Complexity of the ..."
Jung, Ralf ETAPS'17-ESOP: "The Essence of Higher-Order ..." ETAPS'17-ESOP: "A Higher-Order Logic for Concurrent ..."
Junges, Sebastian ETAPS'17-TACAS: "JANI: Quantitative Model and ..." ETAPS'17-TACAS: "Sequential Convex Programming ..."
Kamburjan, Eduard ETAPS'17-FASE: "A Unified and Formal Programming ..."
Kapur, Deepak ETAPS'17-TACAS: "Connecting Program Synthesis ..."
Katelaan, Jens ETAPS'17-ESOP: "Unified Reasoning About Robustness ..."
Katoen, Joost-Pieter ETAPS'17-TACAS: "Sequential Convex Programming ..."
Kavvos, G. A. ETAPS'17-FOSSACS: "On the Semantics of Intensionality ..."
Khedri, Ridha ETAPS'17-POST: "Defense in Depth Formulation ..."
Khurana, Sakaar ETAPS'17-FASE: "Bucketing Failing Tests via ..."
Khyzha, Artem ETAPS'17-ESOP: "Proving Linearizability Using ..."
Kini, Dileep ETAPS'17-TACAS: "Optimal Translation of LTL ..."
Kissinger, Aleks ETAPS'17-ESOP: "Confluence of Graph Rewriting ..."
Klein, Joachim ETAPS'17-TACAS: "Maximizing the Conditional ..."
Klüppelholz, Sascha ETAPS'17-TACAS: "Maximizing the Conditional ..."
Kobayashi, Naoki ETAPS'17-ESOP: "Modular Verification of Higher-Order ..." ETAPS'17-FOSSACS: "Almost Every Simply Typed ..."
König, Barbara ETAPS'17-TACAS: "Up-To Techniques for Weighted ..."
Köpf, Boris ETAPS'17-POST: "Security Analysis of Cache ..."
Kop, Cynthia ETAPS'17-ESOP: "The Power of Non-determinism ..."
Kosmatov, Nikolai ETAPS'17-TACAS: "RPP: Automatic Proof of Relational ..."
Kozen, Dexter ETAPS'17-FOSSACS: "Nominal Automata with Name ..."
Kragl, Bernhard ETAPS'17-ESOP: "Faster Algorithms for Weighted ..."
Kraus, Nicolai ETAPS'17-FOSSACS: "Partiality, Revisited - The ..."
Krebbers, Robbert ETAPS'17-ESOP: "The Essence of Higher-Order ..."
Kremer, Steve ETAPS'17-POST: "On Communication Models When ..." ETAPS'17-POST: "Beyond Subterm-Convergent ..."
Kretínský, Jan ETAPS'17-TACAS: "Index Appearance Record for ..." ETAPS'17-TACAS: "From LTL and Limit-Deterministic ..."
Kristensen, Erik Krogh ETAPS'17-FASE: "Inference and Evolution of ..."
Krivine, Jean ETAPS'17-ESOP: "Incremental Update for Graph ..."
Küpper, Sebastian ETAPS'17-TACAS: "Up-To Techniques for Weighted ..."
Kumar, Ramana ETAPS'17-ESOP: "Verified Characteristic Formulae ..."
Kumar, Shrawan ETAPS'17-TACAS: "VeriAbs: Verification by Abstraction ..."
Kunčar, Ondřej ETAPS'17-ESOP: "Comprehending Isabelle/HOL's ..."
Kupferman, Orna ETAPS'17-TACAS: "Hierarchical Network Formation ..."
Lämmel, Ralf ETAPS'17-ESOP: "The Essence of Functional ..."
Lahiri, Shuvendu K. ETAPS'17-ESOP: "Modular Verification of Procedure ..."
Laird, James ETAPS'17-FOSSACS: "From Qualitative to Quantitative ..."
Lambers, Leen ETAPS'17-FASE: "Symbolic Model Generation ..."
Lamo, Yngve ETAPS'17-FASE: "Change-Preserving Model Repair ..."
Lange, Julien ETAPS'17-FOSSACS: "On the Undecidability of Asynchronous ..."
Lantz, Patrik ETAPS'17-FASE: "OpenSAW: Open Security Analysis ..."
Larraz, Daniel ETAPS'17-TACAS: "Proving Termination Through ..."
Larsen, Kim Guldstrand ETAPS'17-TACAS: "Validation, Synthesis, and ..."
Larsen, Kim S. ETAPS'17-FOSSACS: "The Paths to Choreography ..."
Latella, Diego ETAPS'17-TACAS: "FlyFast: A Mean Field Model ..."
La Torre, Salvatore ETAPS'17-TACAS: "Lazy-CSeq 2.0: Combining Lazy ..."
Laud, Peeter ETAPS'17-POST: "Combining Differential Privacy ..."
Lauko, Henrich ETAPS'17-TACAS: "Optimizing and Caching SMT ..."
Le, Ton Chanh ETAPS'17-TACAS: "HipTNT+: A Termination and ..."
Leblebici, Erhan ETAPS'17-FASE: "Inter-model Consistency Checking ..."
Lee, Edward A. ETAPS'17-TACAS: "autoCode4: Structural Controller ..."
Lee, Insup ETAPS'17-TACAS: "Automatic Verification of ..."
Le Gall, Pascale ETAPS'17-TACAS: "RPP: Automatic Proof of Relational ..."
Leinberger, Martin ETAPS'17-ESOP: "The Essence of Functional ..."
Lengal, Ondrej ETAPS'17-TACAS: "Lazy Automata Techniques for ..."
Lengál, Ondrej ETAPS'17-TACAS: "Forester: From Heap Shapes ..." ETAPS'17-TACAS: "Fair Termination for Parameterized ..."
Lerner, Benjamin S. ETAPS'17-TACAS: "Synthesis of Recursive ADT ..."
Le Roux, Stéphane ETAPS'17-FOSSACS: "On the Existence of Weak Subgame ..."
Li, Yong ETAPS'17-TACAS: "A Novel Learning Algorithm ..."
Lienhardt, Michael ETAPS'17-FASE: "A Unified and Formal Programming ..."
Lin, Anthony Widjaja ETAPS'17-TACAS: "Fair Termination for Parameterized ..."
Liu, Depeng ETAPS'17-TACAS: "A Novel Learning Algorithm ..."
Liu, Yang ETAPS'17-TACAS: "CSimpl: A Rely-Guarantee-Based ..."
Lochbihler, Andreas ETAPS'17-ESOP: "Friends with Benefits - Implementing ..."
Loreti, Michele ETAPS'17-TACAS: "FlyFast: A Mean Field Model ..."
Lukina, Anna ETAPS'17-TACAS: "ARES: Adaptive Receding-Horizon ..."
Majumdar, Rupak ETAPS'17-TACAS: "Fair Termination for Parameterized ..."
Mamouras, Konstantinos ETAPS'17-FOSSACS: "Equational Theories of Abnormal ..."
Mandrykin, Mikhail U. ETAPS'17-TACAS: "CPA-BAM-BnB: Block-Abstraction ..."
Mardziel, Piotr ETAPS'17-POST: "Quantifying Vulnerability ..."
Marin, Paolo ETAPS'17-TACAS: "HQSpre - An Effective Preprocessor ..."
Markey, Nicolas ETAPS'17-FOSSACS: "Bounding Average-Energy Games ..."
Marques-Silva, Joao ETAPS'17-TACAS: "Efficient Certified Resolution ..."
Massink, Mieke ETAPS'17-TACAS: "FlyFast: A Mean Field Model ..."
Matheja, Christoph ETAPS'17-ESOP: "Unified Reasoning About Robustness ..."
Matsumoto, Kei ETAPS'17-FOSSACS: "Coherence Spaces and Uniform ..."
Meggendorfer, Tobias ETAPS'17-TACAS: "Index Appearance Record for ..."
Milius, Stefan ETAPS'17-FOSSACS: "Nominal Automata with Name ..."
Miquey, Étienne ETAPS'17-ESOP: "A Classical Sequent Calculus ..."
Mishra, Samarth ETAPS'17-ESOP: "Faster Algorithms for Weighted ..."
Mitsch, Stefan ETAPS'17-FASE: "Change and Delay Contracts ..."
Møller, Anders ETAPS'17-FASE: "Inference and Evolution of ..."
Monmege, Benjamin ETAPS'17-FOSSACS: "Optimal Reachability in Divergent ..."
Montaghami, Vajih ETAPS'17-FASE: "Bordeaux: A Tool for Thinking ..."
Montesi, Fabrizio ETAPS'17-FOSSACS: "The Paths to Choreography ..."
Mrázek, Jan ETAPS'17-TACAS: "Optimizing and Caching SMT ..."
Müller, Andreas ETAPS'17-FASE: "Change and Delay Contracts ..."
Müller, Peter ETAPS'17-FASE: "Precise Version Control of ..."
Mukhopadhyay, Supratik ETAPS'17-FASE: "StaticGen: Static Generation ..."
Murawska, Agata ETAPS'17-ESOP: "Lincx: A Linear Logical Framework ..."
Murawski, Andrzej S. ETAPS'17-ESOP: "ML and Extended Branching ..."
Musa, Betim ETAPS'17-TACAS: "Ultimate Automizer with an ..."
Mutilin, Vadim S. ETAPS'17-TACAS: "CPA-BAM-BnB: Block-Abstraction ..."
Myreen, Magnus O. ETAPS'17-ESOP: "Verified Characteristic Formulae ..."
Ngo, Tuan Phong ETAPS'17-TACAS: "Context-Bounded Analysis for ..."
Nguyen, ThanhVu ETAPS'17-TACAS: "Connecting Program Synthesis ..."
Nguyen, Truc L. ETAPS'17-TACAS: "Lazy-CSeq 2.0: Combining Lazy ..."
Nielson, Flemming ETAPS'17-POST: "Model Checking Exact Cost ..."
Niemetz, Aina ETAPS'17-TACAS: "Counterexample-Guided Model ..."
Noll, Thomas ETAPS'17-ESOP: "Unified Reasoning About Robustness ..."
Norrish, Michael ETAPS'17-ESOP: "Verified Characteristic Formulae ..."
Norrman, Karl ETAPS'17-FASE: "OpenSAW: Open Security Analysis ..."
Ntzik, Gian ETAPS'17-ESOP: "Abstract Specifications for ..."
Nunes, Daltro José ETAPS'17-FASE: "On the Effectiveness of Bug ..."
Nunes, Ingrid ETAPS'17-FASE: "On the Effectiveness of Bug ..."
Nutz, Alexander ETAPS'17-TACAS: "Ultimate Automizer with an ..." ETAPS'17-TACAS: "Ultimate Taipan: Trace Abstraction ..."
Ohrndorf, Manuel ETAPS'17-FASE: "Change-Preserving Model Repair ..."
Oliveira, Bruno C. d. S. ETAPS'17-ESOP: "Disjoint Polymorphism ..."
Oliveras, Albert ETAPS'17-TACAS: "Proving Termination Through ..."
Olivo, Oswaldo ETAPS'17-TACAS: "Static Detection of DoS Vulnerabilities ..."
Ong, C.-H. Luke ETAPS'17-ESOP: "ML and Extended Branching ..."
Orejas, Fernando ETAPS'17-FASE: "Symbolic Model Generation ..."
Otis, Shawn ETAPS'17-ESOP: "Lincx: A Linear Logical Framework ..."
Otth, Martin ETAPS'17-FASE: "Precise Version Control of ..."
Ozkan, Burcu Kulahcioglu ETAPS'17-ESOP: "Verifying Robustness of Event-Driven ..."
Padoan, Tommaso ETAPS'17-FOSSACS: "Local Model Checking in a ..."
Padon, Oded ETAPS'17-TACAS: "Bounded Quantifier Instantiation ..."
Padovani, Luca ETAPS'17-ESOP: "Context-Free Session Type ..."
Pagani, Michele ETAPS'17-FOSSACS: "The Free Exponential Modality ..."
Pajic, Miroslav ETAPS'17-TACAS: "Automatic Verification of ..."
Pang, Jun ETAPS'17-FASE: "Should We Learn Probabilistic ..."
Papusha, Ivan ETAPS'17-TACAS: "Sequential Convex Programming ..."
Park, Junkil ETAPS'17-TACAS: "Automatic Verification of ..."
Parkinson, Matthew J. ETAPS'17-ESOP: "Proving Linearizability Using ..."
Parlato, Gennaro ETAPS'17-TACAS: "Lazy-CSeq 2.0: Combining Lazy ..."
Pauly, Arno ETAPS'17-FOSSACS: "On the Existence of Weak Subgame ..."
Pavlogiannis, Andreas ETAPS'17-ESOP: "Faster Algorithms for Weighted ..."
Pérez, Jorge A. ETAPS'17-ESOP: "Linearity, Control Effects, ..."
Peterson, Brian ETAPS'17-FASE: "StaticGen: Static Generation ..."
Pettai, Martin ETAPS'17-POST: "Combining Differential Privacy ..."
Pham, Van-Thuan ETAPS'17-FASE: "Bucketing Failing Tests via ..."
Pientka, Brigitte ETAPS'17-ESOP: "Lincx: A Linear Logical Framework ..." ETAPS'17-ESOP: "Programs Using Syntax with ..."
Pierantonio, Alfonso ETAPS'17-FASE: "Reusing Model Transformations ..."
Piessens, Frank ETAPS'17-POST: "A Principled Approach to Tracking ..."
Pigram, Matthew ETAPS'17-TACAS: "Skink: Static Analysis of ..."