|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 248 occurrences of 180 keywords
|
|
|
Results
Found 1010 publication records. Showing 1010 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | David Castro-Perez, Nobuko Yoshida |
Dynamically Updatable Multiparty Session Protocols: Generating Concurrent Go Code from Unbounded Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 37th European Conference on Object-Oriented Programming, ECOOP 2023, July 17-21, 2023, Seattle, Washington, United States, pp. 6:1-6:30, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-281-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | |
Front Matter, Table of Contents, Preface, Conference Organization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 37th European Conference on Object-Oriented Programming, ECOOP 2023, July 17-21, 2023, Seattle, Washington, United States, pp. 0:1-0:20, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-281-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Amir Shaikhha, Mahdi Ghorbani, Hesam Shahrokhi |
Hinted Dictionaries: Efficient Functional Ordered Sets and Maps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 37th European Conference on Object-Oriented Programming, ECOOP 2023, July 17-21, 2023, Seattle, Washington, United States, pp. 28:1-28:30, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-281-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Jinhao Tan, Bruno C. d. S. Oliveira |
Dependent Merges and First-Class Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 37th European Conference on Object-Oriented Programming, ECOOP 2023, July 17-21, 2023, Seattle, Washington, United States, pp. 34:1-34:32, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-281-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Sahil Bhatia, Sumer Kohli, Sanjit A. Seshia, Alvin Cheung |
Building Code Transpilers for Domain-Specific Languages Using Program Synthesis (Experience Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 37th European Conference on Object-Oriented Programming, ECOOP 2023, July 17-21, 2023, Seattle, Washington, United States, pp. 38:1-38:30, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-281-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Frederico Ramos, Nuno Sabino, Pedro Adão, David A. Naumann, José Fragoso Santos |
Toward Tool-Independent Summaries for Symbolic Execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 37th European Conference on Object-Oriented Programming, ECOOP 2023, July 17-21, 2023, Seattle, Washington, United States, pp. 24:1-24:29, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-281-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | David Richter, Timon Böhler, Pascal Weisenburger, Mira Mezini |
A Direct-Style Effect Notation for Sequential and Parallel Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 37th European Conference on Object-Oriented Programming, ECOOP 2023, July 17-21, 2023, Seattle, Washington, United States, pp. 25:1-25:22, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-281-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Abel Nieto, Arnaud Daby-Seesaram, Léon Gondelman, Amin Timany, Lars Birkedal |
Modular Verification of State-Based CRDTs in Separation Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 37th European Conference on Object-Oriented Programming, ECOOP 2023, July 17-21, 2023, Seattle, Washington, United States, pp. 22:1-22:27, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-281-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Katharina Brandl, Sebastian Erdweg, Sven Keidel, Nils Hansen |
Modular Abstract Definitional Interpreters for WebAssembly. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 37th European Conference on Object-Oriented Programming, ECOOP 2023, July 17-21, 2023, Seattle, Washington, United States, pp. 5:1-5:28, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-281-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Ugnius Rumsevicius, Siddhanth Venkateshwaran, Ellen Kidane, Luís Pina |
Sinatra: Stateful Instantaneous Updates for Commercial Browsers Through Multi-Version eXecution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 37th European Conference on Object-Oriented Programming, ECOOP 2023, July 17-21, 2023, Seattle, Washington, United States, pp. 26:1-26:29, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-281-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Henrique Botelho Guerra, João F. Ferreira 0001, João Costa Seco |
Hoogle⋆: Constants and λ-abstractions in Petri-net-based Synthesis using Symbolic Execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 37th European Conference on Object-Oriented Programming, ECOOP 2023, July 17-21, 2023, Seattle, Washington, United States, pp. 4:1-4:28, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-281-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | João Mota, Marco Giunti, António Ravara |
On Using VeriFast, VerCors, Plural, and KeY to Check Object Usage (Experience Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 37th European Conference on Object-Oriented Programming, ECOOP 2023, July 17-21, 2023, Seattle, Washington, United States, pp. 40:1-40:29, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-281-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Julian Haas, Ragnar Mogk, Elena Yanakieva, Annette Bieniusa, Mira Mezini |
LoRe: A Programming Model for Verifiably Safe Local-First Software (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 37th European Conference on Object-Oriented Programming, ECOOP 2023, July 17-21, 2023, Seattle, Washington, United States, pp. 12:1-12:15, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-281-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Kevin De Porre, Carla Ferreira 0001, Elisa Gonzalez Boix |
VeriFx: Correct Replicated Data Types for the Masses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 37th European Conference on Object-Oriented Programming, ECOOP 2023, July 17-21, 2023, Seattle, Washington, United States, pp. 9:1-9:45, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-281-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Chengpeng Wang, Peisen Yao, Wensheng Tang, Gang Fan, Charles Zhang |
Synthesizing Conjunctive Queries for Code Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 37th European Conference on Object-Oriented Programming, ECOOP 2023, July 17-21, 2023, Seattle, Washington, United States, pp. 36:1-36:30, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-281-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Magnus Madsen, Jaco van de Pol |
Programming with Purity Reflection: Peaceful Coexistence of Effects, Laziness, and Parallelism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 37th European Conference on Object-Oriented Programming, ECOOP 2023, July 17-21, 2023, Seattle, Washington, United States, pp. 18:1-18:27, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-281-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Sarah Harris, Simon Cooksey, Michael Vollmer 0003, Mark Batty |
Rust for Morello: Always-On Memory Safety, Even in Unsafe Code (Experience Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 37th European Conference on Object-Oriented Programming, ECOOP 2023, July 17-21, 2023, Seattle, Washington, United States, pp. 39:1-39:27, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-281-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Feiyang Jin, Lechen Yu, Tiago Cogumbreiro, Jun Shirako, Vivek Sarkar |
Dynamic Determinacy Race Detection for Task-Parallel Programs with Promises. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 37th European Conference on Object-Oriented Programming, ECOOP 2023, July 17-21, 2023, Seattle, Washington, United States, pp. 13:1-13:30, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-281-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Ming-Ho Yee, Arjun Guha |
Do Machine Learning Models Produce TypeScript Types That Type Check? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 37th European Conference on Object-Oriented Programming, ECOOP 2023, July 17-21, 2023, Seattle, Washington, United States, pp. 37:1-37:28, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-281-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Petar Maksimovic, Caroline Cronjäger, Andreas Lööw, Julian Sutherland, Philippa Gardner |
Exact Separation Logic: Towards Bridging the Gap Between Verification and Bug-Finding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 37th European Conference on Object-Oriented Programming, ECOOP 2023, July 17-21, 2023, Seattle, Washington, United States, pp. 19:1-19:27, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-281-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Felix Stutz |
Asynchronous Multiparty Session Type Implementability is Decidable - Lessons Learned from Message Sequence Charts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 37th European Conference on Object-Oriented Programming, ECOOP 2023, July 17-21, 2023, Seattle, Washington, United States, pp. 32:1-32:31, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-281-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Marco Raglianti, Csaba Nagy 0001, Roberto Minelli, Bin Lin 0008, Michele Lanza |
On the Rise of Modern Software Documentation (Pearl/Brave New Idea). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 37th European Conference on Object-Oriented Programming, ECOOP 2023, July 17-21, 2023, Seattle, Washington, United States, pp. 43:1-43:24, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-281-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Jacob Van Geffen, Xi Wang 0005, Emina Torlak, James Bornholt |
Synthesis-Aided Crash Consistency for Storage Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 37th European Conference on Object-Oriented Programming, ECOOP 2023, July 17-21, 2023, Seattle, Washington, United States, pp. 35:1-35:26, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-281-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Mark Moeller, Thomas Wiener, Alaia Solko-Breslin, Caleb Koch, Nate Foster, Alexandra Silva 0001 |
Automata Learning with an Incomplete Teacher. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 37th European Conference on Object-Oriented Programming, ECOOP 2023, July 17-21, 2023, Seattle, Washington, United States, pp. 21:1-21:30, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-281-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Ashish Mishra, Suresh Jagannathan |
Morpheus: Automated Safety Verification of Data-Dependent Parser Combinator Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 37th European Conference on Object-Oriented Programming, ECOOP 2023, July 17-21, 2023, Seattle, Washington, United States, pp. 20:1-20:27, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-281-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Hesam Shahrokhi, Amir Shaikhha |
An Efficient Vectorized Hash Table for Batch Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 37th European Conference on Object-Oriented Programming, ECOOP 2023, July 17-21, 2023, Seattle, Washington, United States, pp. 27:1-27:27, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-281-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Magnus Madsen, Jonathan Lindegaard Starup, Matthew Lutze |
Restrictable Variants: A Simple and Practical Alternative to Extensible Variants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 37th European Conference on Object-Oriented Programming, ECOOP 2023, July 17-21, 2023, Seattle, Washington, United States, pp. 17:1-17:27, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-281-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Jens Dietrich 0001, David J. Pearce 0001, Mahin Chandramohan |
On Leveraging Tests to Infer Nullable Annotations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 37th European Conference on Object-Oriented Programming, ECOOP 2023, July 17-21, 2023, Seattle, Washington, United States, pp. 10:1-10:25, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-281-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Jan de Muijnck-Hughes, Wim Vanderbauwhede |
Wiring Circuits Is Easy as {0, 1, ω}, or Is It... ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 37th European Conference on Object-Oriented Programming, ECOOP 2023, July 17-21, 2023, Seattle, Washington, United States, pp. 8:1-8:28, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-281-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Felix Suchert, Lisza Zeidler, Jerónimo Castrillón, Sebastian Ertel |
ConDRust: Scalable Deterministic Concurrency from Verifiable Rust Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 37th European Conference on Object-Oriented Programming, ECOOP 2023, July 17-21, 2023, Seattle, Washington, United States, pp. 33:1-33:39, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-281-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Christian Kuessner, Ragnar Mogk, Anna-Katharina Wickert, Mira Mezini |
Algebraic Replicated Data Types: Programming Secure Local-First Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 37th European Conference on Object-Oriented Programming, ECOOP 2023, July 17-21, 2023, Seattle, Washington, United States, pp. 14:1-14:33, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-281-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Lucas Silver, Paul He, Ethan Cecchetti, Andrew K. Hirsch, Steve Zdancewic |
Semantics for Noninterference with Interaction Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 37th European Conference on Object-Oriented Programming, ECOOP 2023, July 17-21, 2023, Seattle, Washington, United States, pp. 29:1-29:29, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-281-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Simon Henniger, Nada Amin |
The Dolorem Pattern: Growing a Language Through Compile-Time Function Execution (Pearl/Brave New Idea). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 37th European Conference on Object-Oriented Programming, ECOOP 2023, July 17-21, 2023, Seattle, Washington, United States, pp. 41:1-41:27, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-281-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Karim Ali 0001, Guido Salvaneschi (eds.) |
37th European Conference on Object-Oriented Programming, ECOOP 2023, July 17-21, 2023, Seattle, Washington, United States ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-281-5 The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
1 | Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca |
Multi-Graded Featherweight Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 37th European Conference on Object-Oriented Programming, ECOOP 2023, July 17-21, 2023, Seattle, Washington, United States, pp. 3:1-3:27, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-281-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Luca Olivieri, Luca Negrini, Vincenzo Arceri, Fabio Tagliaferro, Pietro Ferrara 0001, Agostino Cortesi, Fausto Spoto |
Information Flow Analysis for Detecting Non-Determinism in Blockchain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 37th European Conference on Object-Oriented Programming, ECOOP 2023, July 17-21, 2023, Seattle, Washington, United States, pp. 23:1-23:25, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-281-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Yannan Li, Chao Wang 0001 |
Constraint Based Compiler Optimization for Energy Harvesting Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 37th European Conference on Object-Oriented Programming, ECOOP 2023, July 17-21, 2023, Seattle, Washington, United States, pp. 16:1-16:29, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-281-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Luís Cruz-Filipe, Eva Graversen, Lovro Lugovic, Fabrizio Montesi, Marco Peressotti |
Modular Compilation for Higher-Order Functional Choreographies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 37th European Conference on Object-Oriented Programming, ECOOP 2023, July 17-21, 2023, Seattle, Washington, United States, pp. 7:1-7:37, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-281-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Andong Fan, Lionel Parreaux |
super-Charging Object-Oriented Programming Through Precise Typing of Open Recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 37th European Conference on Object-Oriented Programming, ECOOP 2023, July 17-21, 2023, Seattle, Washington, United States, pp. 11:1-11:28, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-281-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Jim Bauwens, Elisa Gonzalez Boix |
Nested Pure Operation-Based CRDTs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 37th European Conference on Object-Oriented Programming, ECOOP 2023, July 17-21, 2023, Seattle, Washington, United States, pp. 2:1-2:26, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-281-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Roland Kuhn 0002, Hernán C. Melgratti, Emilio Tuosto |
Behavioural Types for Local-First Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 37th European Conference on Object-Oriented Programming, ECOOP 2023, July 17-21, 2023, Seattle, Washington, United States, pp. 15:1-15:28, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-281-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Lucas Silver, Eddy Westbrook, Matthew Yacavone, Ryan Scott |
Interaction Tree Specifications: A Framework for Specifying Recursive, Effectful Computations That Supports Auto-Active Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 37th European Conference on Object-Oriented Programming, ECOOP 2023, July 17-21, 2023, Seattle, Washington, United States, pp. 30:1-30:26, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-281-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Sung-Shik Jongmans, Francisco Ferreira 0001 |
Synthetic Behavioural Typing: Sound, Regular Multiparty Sessions via Implicit Local Types (Pearl/Brave New Idea). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 37th European Conference on Object-Oriented Programming, ECOOP 2023, July 17-21, 2023, Seattle, Washington, United States, pp. 42:1-42:30, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-281-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Ori Roth |
Python Type Hints Are Turing Complete (Pearl/Brave New Idea). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 37th European Conference on Object-Oriented Programming, ECOOP 2023, July 17-21, 2023, Seattle, Washington, United States, pp. 44:1-44:15, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-281-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Adam D. Barwell, Ping Hou, Nobuko Yoshida, Fangyi Zhou 0002 |
Designing Asynchronous Multiparty Protocols with Crash-Stop Failures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 37th European Conference on Object-Oriented Programming, ECOOP 2023, July 17-21, 2023, Seattle, Washington, United States, pp. 1:1-1:30, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-281-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan Lindegaard Starup, Magnus Madsen, Ondrej Lhoták |
Breaking the Negative Cycle: Exploring the Design Space of Stratification for First-Class Datalog Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 37th European Conference on Object-Oriented Programming, ECOOP 2023, July 17-21, 2023, Seattle, Washington, United States, pp. 31:1-31:28, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-281-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Martin Kellogg, Narges Shadab, Manu Sridharan, Michael D. Ernst |
Accumulation Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 36th European Conference on Object-Oriented Programming, ECOOP 2022, June 6-10, 2022, Berlin, Germany., pp. 10:1-10:30, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-225-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Baber Rehman, Xuejing Huang, Ningning Xie, Bruno C. d. S. Oliveira |
Union Types with Disjoint Switches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 36th European Conference on Object-Oriented Programming, ECOOP 2022, June 6-10, 2022, Berlin, Germany., pp. 25:1-25:31, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-225-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Jinxu Zhao, Bruno C. d. S. Oliveira |
Elementary Type Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 36th European Conference on Object-Oriented Programming, ECOOP 2022, June 6-10, 2022, Berlin, Germany., pp. 2:1-2:28, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-225-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Amir Shaikhha, Mahdi Ghorbani, Hesam Shahrokhi |
Hinted Dictionaries: Efficient Functional Ordered Sets and Maps (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 36th European Conference on Object-Oriented Programming, ECOOP 2022, June 6-10, 2022, Berlin, Germany., pp. 33:1-33:3, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-225-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Luca Ciccone, Francesco Dagnino, Luca Padovani |
Fair Termination of Multiparty Sessions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 36th European Conference on Object-Oriented Programming, ECOOP 2022, June 6-10, 2022, Berlin, Germany., pp. 26:1-26:26, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-225-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Vlad Rusu, David Nowak |
Defining Corecursive Functions in Coq Using Approximations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 36th European Conference on Object-Oriented Programming, ECOOP 2022, June 6-10, 2022, Berlin, Germany., pp. 12:1-12:24, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-225-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | François Gauthier 0001, Behnaz Hassanshahi, Benjamin Selwyn-Smith, Trong Nhan Mai, Max Schlüter, Micah Williams |
Experience: Model-Based, Feedback-Driven, Greybox Web Fuzzing with BackREST. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 36th European Conference on Object-Oriented Programming, ECOOP 2022, June 6-10, 2022, Berlin, Germany., pp. 29:1-29:30, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-225-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Marcelo Navarro, Federico Olmedo |
Slicing of Probabilistic Programs Based on Specifications (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 36th European Conference on Object-Oriented Programming, ECOOP 2022, June 6-10, 2022, Berlin, Germany., pp. 34:1-34:2, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-225-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Rajdeep Mukherjee, Omer Tripp, Ben Liblit, Michael Wilson |
Static Analysis for AWS Best Practices in Python Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 36th European Conference on Object-Oriented Programming, ECOOP 2022, June 6-10, 2022, Berlin, Germany., pp. 14:1-14:28, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-225-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Jules Jacobs |
A Self-Dual Distillation of Session Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 36th European Conference on Object-Oriented Programming, ECOOP 2022, June 6-10, 2022, Berlin, Germany., pp. 23:1-23:22, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-225-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Heiko Becker, Robert Rabe, Eva Darulova, Magnus O. Myreen, Zachary Tatlock, Ramana Kumar, Yong Kiam Tan, Anthony C. J. Fox |
Verified Compilation and Optimization of Floating-Point Programs in CakeML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 36th European Conference on Object-Oriented Programming, ECOOP 2022, June 6-10, 2022, Berlin, Germany., pp. 1:1-1:28, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-225-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Andong Fan, Xuejing Huang, Han Xu 0004, Yaozhu Sun, Bruno C. d. S. Oliveira |
Direct Foundations for Compositional Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 36th European Conference on Object-Oriented Programming, ECOOP 2022, June 6-10, 2022, Berlin, Germany., pp. 18:1-18:28, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-225-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Kenan Liu, Khaled Mahmoud, Joonhwan Yoo, Yu David Liu |
Vincent: Green Hot Methods in the JVM (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 36th European Conference on Object-Oriented Programming, ECOOP 2022, June 6-10, 2022, Berlin, Germany., pp. 32:1-32:30, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-225-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Stadelmeier, Martin Plümicke, Peter Thiemann 0001 |
Global Type Inference for Featherweight Generic Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 36th European Conference on Object-Oriented Programming, ECOOP 2022, June 6-10, 2022, Berlin, Germany., pp. 28:1-28:27, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-225-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Marshall 0001, Dominic Orchard |
How to Take the Inverse of a Type. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 36th European Conference on Object-Oriented Programming, ECOOP 2022, June 6-10, 2022, Berlin, Germany., pp. 5:1-5:27, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-225-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Zachary Grannan, Niki Vazou, Eva Darulova, Alexander J. Summers |
REST: Integrating Term Rewriting with Program Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 36th European Conference on Object-Oriented Programming, ECOOP 2022, June 6-10, 2022, Berlin, Germany., pp. 13:1-13:29, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-225-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Filipe Marques, José Fragoso Santos, Nuno Santos 0001, Pedro Adão |
Concolic Execution for WebAssembly. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 36th European Conference on Object-Oriented Programming, ECOOP 2022, June 6-10, 2022, Berlin, Germany., pp. 11:1-11:29, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-225-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Lumsdaine, Luke D'Alessandro, Kevin Deweese, Jesun Firoz, Tony Liu 0001, Scott McMillan, John Phillip Ratzloff, Marcin Zalewski |
NWGraph: A Library of Generic Graph Algorithms and Data Structures in C++20. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 36th European Conference on Object-Oriented Programming, ECOOP 2022, June 6-10, 2022, Berlin, Germany., pp. 31:1-31:28, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-225-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Madhurima Chakraborty, Renzo Olivares, Manu Sridharan, Behnaz Hassanshahi |
Automatic Root Cause Quantification for Missing Edges in JavaScript Call Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 36th European Conference on Object-Oriented Programming, ECOOP 2022, June 6-10, 2022, Berlin, Germany., pp. 3:1-3:28, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-225-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Shuyang Liu, John Bender, Jens Palsberg |
Compiling Volatile Correctly in Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 36th European Conference on Object-Oriented Programming, ECOOP 2022, June 6-10, 2022, Berlin, Germany., pp. 6:1-6:26, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-225-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | David Richter, David Kretzler, Pascal Weisenburger, Guido Salvaneschi, Sebastian Faust, Mira Mezini |
Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 36th European Conference on Object-Oriented Programming, ECOOP 2022, June 6-10, 2022, Berlin, Germany., pp. 35:1-35:4, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-225-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Guido Salvaneschi, Mirko Viroli |
Functional Programming for Distributed Systems with XC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 36th European Conference on Object-Oriented Programming, ECOOP 2022, June 6-10, 2022, Berlin, Germany., pp. 20:1-20:28, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-225-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Lagaillardie, Rumyana Neykova, Nobuko Yoshida |
Stay Safe Under Panic: Affine Rust Programming with Multiparty Session Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 36th European Conference on Object-Oriented Programming, ECOOP 2022, June 6-10, 2022, Berlin, Germany., pp. 4:1-4:29, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-225-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Ruofei Chen, Stephanie Balzer, Bernardo Toninho |
Ferrite: A Judgmental Embedding of Session Types in Rust. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 36th European Conference on Object-Oriented Programming, ECOOP 2022, June 6-10, 2022, Berlin, Germany., pp. 22:1-22:28, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-225-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Brian Hempel, Ravi Chugh |
Maniposynth: Bimodal Tangible Functional Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 36th European Conference on Object-Oriented Programming, ECOOP 2022, June 6-10, 2022, Berlin, Germany., pp. 16:1-16:29, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-225-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Dongjie He, Jingbo Lu, Jingling Xue |
Qilin: A New Framework For Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 36th European Conference on Object-Oriented Programming, ECOOP 2022, June 6-10, 2022, Berlin, Germany., pp. 30:1-30:29, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-225-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Abhiroop Sarkar, Bo Joel Svensson, Mary Sheeran |
Synchron - An API and Runtime for Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 36th European Conference on Object-Oriented Programming, ECOOP 2022, June 6-10, 2022, Berlin, Germany., pp. 17:1-17:29, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-225-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Hehao Li, Yizhuo Wang, Yiwei Zhang, Juanru Li, Dawu Gu |
PEDroid: Automatically Extracting Patches from Android App Updates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 36th European Conference on Object-Oriented Programming, ECOOP 2022, June 6-10, 2022, Berlin, Germany., pp. 21:1-21:31, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-225-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Guillermina Cledou, Luc Edixhoven, Sung-Shik Jongmans, José Proença |
API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 36th European Conference on Object-Oriented Programming, ECOOP 2022, June 6-10, 2022, Berlin, Germany., pp. 27:1-27:28, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-225-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Karim Ali 0001, Jan Vitek (eds.) |
36th European Conference on Object-Oriented Programming, ECOOP 2022, June 6-10, 2022, Berlin, Germany. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-225-9 The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | André Pacak, Sebastian Erdweg |
Functional Programming with Datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 36th European Conference on Object-Oriented Programming, ECOOP 2022, June 6-10, 2022, Berlin, Germany., pp. 7:1-7:28, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-225-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | |
Front Matter, Table of Contents, Preface, Conference Organization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 36th European Conference on Object-Oriented Programming, ECOOP 2022, June 6-10, 2022, Berlin, Germany., pp. 0:1-0:20, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-225-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Lorenzo Gheri, Ivan Lanese, Neil Sayers, Emilio Tuosto, Nobuko Yoshida |
Design-By-Contract for Flexible Multiparty Session Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 36th European Conference on Object-Oriented Programming, ECOOP 2022, June 6-10, 2022, Berlin, Germany., pp. 8:1-8:28, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-225-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Lukás Holík, Petr Peringer, Adam Rogalewicz, Veronika Soková, Tomás Vojnar, Florian Zuleger |
Low-Level Bi-Abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 36th European Conference on Object-Oriented Programming, ECOOP 2022, June 6-10, 2022, Berlin, Germany., pp. 19:1-19:30, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-225-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Serrano |
JavaScript Sealed Classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 36th European Conference on Object-Oriented Programming, ECOOP 2022, June 6-10, 2022, Berlin, Germany., pp. 24:1-24:27, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-225-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Schemmel, Julian Büning, Frank Busse, Martin Nowack, Cristian Cadar |
A Deterministic Memory Allocator for Dynamic Symbolic Execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 36th European Conference on Object-Oriented Programming, ECOOP 2022, June 6-10, 2022, Berlin, Germany., pp. 9:1-9:26, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-225-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Anxhelo Xhebraj, Oliver Bracevac, Guannan Wei 0001, Tiark Rompf |
What If We Don't Pop the Stack? The Return of 2nd-Class Values. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 36th European Conference on Object-Oriented Programming, ECOOP 2022, June 6-10, 2022, Berlin, Germany., pp. 15:1-15:29, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-225-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Hendrik van Antwerpen, Eelco Visser |
Scope States: Guarding Safety of Name Resolution in Parallel Type Checkers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 35th European Conference on Object-Oriented Programming, ECOOP 2021, July 11-17, 2021, Aarhus, Denmark (Virtual Conference)., pp. 1:1-1:29, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-190-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas |
On the Monitorability of Session Types, in Theory and Practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 35th European Conference on Object-Oriented Programming, ECOOP 2021, July 11-17, 2021, Aarhus, Denmark (Virtual Conference)., pp. 20:1-20:30, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-190-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Dongjie He, Jingbo Lu, Yaoqing Gao, Jingling Xue |
Accelerating Object-Sensitive Pointer Analysis by Exploiting Object Containment and Reachability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 35th European Conference on Object-Oriented Programming, ECOOP 2021, July 11-17, 2021, Aarhus, Denmark (Virtual Conference)., pp. 16:1-16:31, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-190-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | |
Front Matter, Table of Contents, Preface, Conference Organization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 35th European Conference on Object-Oriented Programming, ECOOP 2021, July 11-17, 2021, Aarhus, Denmark (Virtual Conference)., pp. 0:1-0:24, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-190-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, David Richter, Guido Salvaneschi, Pascal Weisenburger |
Multiparty Languages: The Choreographic and Multitier Cases (Pearl). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 35th European Conference on Object-Oriented Programming, ECOOP 2021, July 11-17, 2021, Aarhus, Denmark (Virtual Conference)., pp. 22:1-22:27, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-190-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Edwin C. Brady |
Idris 2: Quantitative Type Theory in Practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 35th European Conference on Object-Oriented Programming, ECOOP 2021, July 11-17, 2021, Aarhus, Denmark (Virtual Conference)., pp. 9:1-9:26, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-190-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Jan Bessai, George T. Heineman, Boris Düdder |
Covariant Conversions (CoCo): A Design Pattern for Type-Safe Modular Software Evolution in Object-Oriented Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 35th European Conference on Object-Oriented Programming, ECOOP 2021, July 11-17, 2021, Aarhus, Denmark (Virtual Conference)., pp. 4:1-4:25, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-190-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Rodrigo Bonifácio, Stefan Krüger, Krishna Narasimhan, Eric Bodden, Mira Mezini |
Dealing with Variability in API Misuse Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 35th European Conference on Object-Oriented Programming, ECOOP 2021, July 11-17, 2021, Aarhus, Denmark (Virtual Conference)., pp. 19:1-19:27, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-190-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Paul Harvey 0002, Simon Fowler 0001, Ornela Dardha, Simon J. Gay |
Multiparty Session Types for Safe Runtime Adaptation in an Actor Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 35th European Conference on Object-Oriented Programming, ECOOP 2021, July 11-17, 2021, Aarhus, Denmark (Virtual Conference)., pp. 10:1-10:30, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-190-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Ellen Arteca, Frank Tip, Max Schäfer |
Enabling Additional Parallelism in Asynchronous JavaScript Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 35th European Conference on Object-Oriented Programming, ECOOP 2021, July 11-17, 2021, Aarhus, Denmark (Virtual Conference)., pp. 7:1-7:28, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-190-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Philipp Dominik Schubert, Ben Hermann 0001, Eric Bodden |
Lossless, Persisted Summarization of Static Callgraph, Points-To and Data-Flow Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 35th European Conference on Object-Oriented Programming, ECOOP 2021, July 11-17, 2021, Aarhus, Denmark (Virtual Conference)., pp. 2:1-2:31, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-190-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Xiaodong Gu 0002, Yo-Sub Han, Sunghun Kim 0001, Hongyu Zhang 0002 |
Do Bugs Propagate? An Empirical Analysis of Temporal Correlations Among Software Bugs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 35th European Conference on Object-Oriented Programming, ECOOP 2021, July 11-17, 2021, Aarhus, Denmark (Virtual Conference)., pp. 11:1-11:21, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-190-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Maxime Buyse, Rémi Delmas, Youssef Hamadi |
ALPACAS: A Language for Parametric Assessment of Critical Architecture Safety. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 35th European Conference on Object-Oriented Programming, ECOOP 2021, July 11-17, 2021, Aarhus, Denmark (Virtual Conference)., pp. 5:1-5:29, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-190-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Ohad Rau, Caleb Voss 0001, Vivek Sarkar |
Linear Promises: Towards Safer Concurrent Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 35th European Conference on Object-Oriented Programming, ECOOP 2021, July 11-17, 2021, Aarhus, Denmark (Virtual Conference)., pp. 13:1-13:27, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-190-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Anders Møller, Manu Sridharan (eds.) |
35th European Conference on Object-Oriented Programming, ECOOP 2021, July 11-17, 2021, Aarhus, Denmark (Virtual Conference). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-190-0 The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
1 | Aleksandar S. Dimovski, Sven Apel |
Lifted Static Analysis of Dynamic Program Families by Abstract Interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 35th European Conference on Object-Oriented Programming, ECOOP 2021, July 11-17, 2021, Aarhus, Denmark (Virtual Conference)., pp. 14:1-14:28, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-190-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Petr Maj, Konrad Siek, Alexander Kovalenko, Jan Vitek |
CodeDJ: Reproducible Queries over Large-Scale Software Repositories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 35th European Conference on Object-Oriented Programming, ECOOP 2021, July 11-17, 2021, Aarhus, Denmark (Virtual Conference)., pp. 6:1-6:24, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-190-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 1010 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|