default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID24. ESOP 2015: London, UK (Part of ETAPS 2015)
- Jan Vitek:
Programming Languages and Systems - 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings. Lecture Notes in Computer Science 9032, Springer 2015, ISBN 978-3-662-46668-1 - Andrew D. Gordon, Claudio V. Russo, Marcin Szymczak, Johannes Borgström, Nicolas Rolland, Thore Graepel, Daniel Tarlow:
Probabilistic Programs as Spreadsheet Queries. 1-25 - Tie Cheng, Xavier Rival:
Static Analysis of Spreadsheet Applications for Type-Unsafe Operations Detection. 26-52 - Neil Toronto, Jay McCarthy, David Van Horn:
Running Probabilistic Programs Backwards. 53-79 - Manuel Eberl
, Johannes Hölzl, Tobias Nipkow:
A Verified Compiler for Probability Density Functions. 80-104 - Pavol Cerný, Thomas A. Henzinger, Laura Kovács, Arjun Radhakrishna, Jakob Zwirchmayr:
Segment Abstraction for Worst-Case Execution Time Analysis. 105-131 - Jan Hoffmann, Zhong Shao:
Automatic Static Cost Analysis for Parallel Programs. 132-157 - Willem Penninckx, Bart Jacobs, Frank Piessens:
Sound, Modular and Compositional Verification of the Input/Output Behavior of Programs. 158-182 - Cristina David, Daniel Kroening, Matt Lewis:
Unrestricted Termination and Non-termination Arguments for Bit-Vector Programs. 183-204 - Pierre Neron, Andrew P. Tolmach, Eelco Visser, Guido Wachsmuth:
A Theory of Name Resolution. 205-231 - Giuseppe Castagna, Hyeonseung Im, Kim Nguyen, Véronique Benzaken:
A Core Calculus for XQuery 3.0 - Combining Navigational and Pattern Matching Approaches. 232-256 - Ravi Chugh:
IsoLATE: A Type System for Self-recursion. 257-282 - Mark Batty, Kayvan Memarian, Kyndylan Nienhuis, Jean Pichon-Pharabod, Peter Sewell:
The Problem of Programming Language Concurrency Semantics. 283-307 - Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ngo Tuan Phong:
The Best of Both Worlds: Trading Efficiency and Optimality in Fence Insertion for TSO. 308-332 - Ilya Sergey, Aleksandar Nanevski, Anindya Banerjee:
Specifying and Verifying Concurrent Algorithms with Histories and Subjectivity. 333-358 - Jasmin Christian Blanchette, Andrei Popescu, Dmitriy Traytel:
Witnessing (Co)datatypes. 359-382 - Burke Fetscher, Koen Claessen, Michal H. Palka, John Hughes, Robert Bruce Findler:
Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System. 383-405 - Ezgi Çiçek, Deepak Garg, Umut A. Acar:
Refinement Types for Incremental Computational Complexity. 406-431 - Jeremy G. Siek, Michael M. Vitousek, Matteo Cimini, Sam Tobin-Hochstadt, Ronald Garcia:
Monotonic References for Efficient Gradual Typing. 432-456 - Stefan Schulze Frielinghaus, Michael Petter, Helmut Seidl:
Inter-procedural Two-Variable Herbrand Equalities. 457-482 - Arlen Cox, Bor-Yuh Evan Chang, Xavier Rival:
Desynchronized Multi-State Abstractions for Open Programs in Dynamic Languages. 483-509 - Stefano Calzavara, Michele Bugliesi, Silvia Crafa, Enrico Steffinlongo:
Fine-Grained Detection of Privilege Escalation Attacks on Browser Extensions. 510-534 - Michael Emmi, Pierre Ganty, Rupak Majumdar, Fernando Rosa-Velardo:
Analysis of Asynchronous Programs with Event-Based Synchronization. 535-559 - Sam Lindley, J. Garrett Morris:
A Semantics for Propositions as Sessions. 560-584 - Alexey Gotsman, Hongseok Yang:
Composite Replicated Data Types. 585-609 - Tachio Terauchi, Hiroshi Unno:
Relaxed Stratification: A New Approach to Practical Complete Predicate Refinement. 610-633 - Aws Albarghouthi, Josh Berdine, Byron Cook, Zachary Kincaid:
Spatial Interpolants. 634-660 - Cristina David, Daniel Kroening, Matt Lewis:
Propositional Reasoning about Safety and Termination of Heap-Manipulating Programs. 661-684 - Gabriel Scherer, Didier Rémy:
Full Reduction in the Face of Absurdity. 685-709 - Azalea Raad, Jules Villard, Philippa Gardner:
CoLoSL: Concurrent Local Subjective Logic. 710-735 - Filip Sieczkowski, Kasper Svendsen, Lars Birkedal, Jean Pichon-Pharabod:
A Separation Logic for Fictional Sequential Consistency. 736-761 - Wilmer Ricciotti:
Binding Structures as an Abstract Data Type. 762-786 - Pedro B. Vasconcelos, Steffen Jost, Mário Florido, Kevin Hammond:
Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages. 787-811 - Eric L. Seidel, Niki Vazou, Ranjit Jhala:
Type Targeted Testing. 812-836
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-03-22 00:15 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
