|
|
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. |
ECOOP |
2023 |
DBLP DOI BibTeX RDF |
|
1 | |
Front Matter, Table of Contents, Preface, Conference Organization. |
ECOOP |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Amir Shaikhha, Mahdi Ghorbani, Hesam Shahrokhi |
Hinted Dictionaries: Efficient Functional Ordered Sets and Maps. |
ECOOP |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Jinhao Tan, Bruno C. d. S. Oliveira |
Dependent Merges and First-Class Environments. |
ECOOP |
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). |
ECOOP |
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. |
ECOOP |
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. |
ECOOP |
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. |
ECOOP |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Katharina Brandl, Sebastian Erdweg, Sven Keidel, Nils Hansen |
Modular Abstract Definitional Interpreters for WebAssembly. |
ECOOP |
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. |
ECOOP |
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. |
ECOOP |
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). |
ECOOP |
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). |
ECOOP |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Kevin De Porre, Carla Ferreira 0001, Elisa Gonzalez Boix |
VeriFx: Correct Replicated Data Types for the Masses. |
ECOOP |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Chengpeng Wang, Peisen Yao, Wensheng Tang, Gang Fan, Charles Zhang |
Synthesizing Conjunctive Queries for Code Search. |
ECOOP |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Magnus Madsen, Jaco van de Pol |
Programming with Purity Reflection: Peaceful Coexistence of Effects, Laziness, and Parallelism. |
ECOOP |
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). |
ECOOP |
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. |
ECOOP |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Ming-Ho Yee, Arjun Guha |
Do Machine Learning Models Produce TypeScript Types That Type Check? |
ECOOP |
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. |
ECOOP |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Felix Stutz |
Asynchronous Multiparty Session Type Implementability is Decidable - Lessons Learned from Message Sequence Charts. |
ECOOP |
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). |
ECOOP |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Jacob Van Geffen, Xi Wang 0005, Emina Torlak, James Bornholt |
Synthesis-Aided Crash Consistency for Storage Systems. |
ECOOP |
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. |
ECOOP |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Ashish Mishra, Suresh Jagannathan |
Morpheus: Automated Safety Verification of Data-Dependent Parser Combinator Programs. |
ECOOP |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Hesam Shahrokhi, Amir Shaikhha |
An Efficient Vectorized Hash Table for Batch Computations. |
ECOOP |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Magnus Madsen, Jonathan Lindegaard Starup, Matthew Lutze |
Restrictable Variants: A Simple and Practical Alternative to Extensible Variants. |
ECOOP |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Jens Dietrich 0001, David J. Pearce 0001, Mahin Chandramohan |
On Leveraging Tests to Infer Nullable Annotations. |
ECOOP |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Jan de Muijnck-Hughes, Wim Vanderbauwhede |
Wiring Circuits Is Easy as {0, 1, ω}, or Is It... |
ECOOP |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Felix Suchert, Lisza Zeidler, Jerónimo Castrillón, Sebastian Ertel |
ConDRust: Scalable Deterministic Concurrency from Verifiable Rust Programs. |
ECOOP |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Christian Kuessner, Ragnar Mogk, Anna-Katharina Wickert, Mira Mezini |
Algebraic Replicated Data Types: Programming Secure Local-First Software. |
ECOOP |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Lucas Silver, Paul He, Ethan Cecchetti, Andrew K. Hirsch, Steve Zdancewic |
Semantics for Noninterference with Interaction Trees. |
ECOOP |
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). |
ECOOP |
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 |
ECOOP |
2023 |
DBLP BibTeX RDF |
|
1 | Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca |
Multi-Graded Featherweight Java. |
ECOOP |
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. |
ECOOP |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Yannan Li, Chao Wang 0001 |
Constraint Based Compiler Optimization for Energy Harvesting Applications. |
ECOOP |
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. |
ECOOP |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Andong Fan, Lionel Parreaux |
super-Charging Object-Oriented Programming Through Precise Typing of Open Recursion. |
ECOOP |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Jim Bauwens, Elisa Gonzalez Boix |
Nested Pure Operation-Based CRDTs. |
ECOOP |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Roland Kuhn 0002, Hernán C. Melgratti, Emilio Tuosto |
Behavioural Types for Local-First Software. |
ECOOP |
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. |
ECOOP |
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). |
ECOOP |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Ori Roth |
Python Type Hints Are Turing Complete (Pearl/Brave New Idea). |
ECOOP |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Adam D. Barwell, Ping Hou, Nobuko Yoshida, Fangyi Zhou 0002 |
Designing Asynchronous Multiparty Protocols with Crash-Stop Failures. |
ECOOP |
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. |
ECOOP |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Martin Kellogg, Narges Shadab, Manu Sridharan, Michael D. Ernst |
Accumulation Analysis. |
ECOOP |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Baber Rehman, Xuejing Huang, Ningning Xie, Bruno C. d. S. Oliveira |
Union Types with Disjoint Switches. |
ECOOP |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Jinxu Zhao, Bruno C. d. S. Oliveira |
Elementary Type Inference. |
ECOOP |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Amir Shaikhha, Mahdi Ghorbani, Hesam Shahrokhi |
Hinted Dictionaries: Efficient Functional Ordered Sets and Maps (Extended Abstract). |
ECOOP |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Luca Ciccone, Francesco Dagnino, Luca Padovani |
Fair Termination of Multiparty Sessions. |
ECOOP |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Vlad Rusu, David Nowak |
Defining Corecursive Functions in Coq Using Approximations. |
ECOOP |
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. |
ECOOP |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Marcelo Navarro, Federico Olmedo |
Slicing of Probabilistic Programs Based on Specifications (Extended Abstract). |
ECOOP |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Rajdeep Mukherjee, Omer Tripp, Ben Liblit, Michael Wilson |
Static Analysis for AWS Best Practices in Python Code. |
ECOOP |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Jules Jacobs |
A Self-Dual Distillation of Session Types. |
ECOOP |
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. |
ECOOP |
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. |
ECOOP |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Kenan Liu, Khaled Mahmoud, Joonhwan Yoo, Yu David Liu |
Vincent: Green Hot Methods in the JVM (Extended Abstract). |
ECOOP |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Stadelmeier, Martin Plümicke, Peter Thiemann 0001 |
Global Type Inference for Featherweight Generic Java. |
ECOOP |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Marshall 0001, Dominic Orchard |
How to Take the Inverse of a Type. |
ECOOP |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Zachary Grannan, Niki Vazou, Eva Darulova, Alexander J. Summers |
REST: Integrating Term Rewriting with Program Verification. |
ECOOP |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Filipe Marques, José Fragoso Santos, Nuno Santos 0001, Pedro Adão |
Concolic Execution for WebAssembly. |
ECOOP |
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. |
ECOOP |
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. |
ECOOP |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Shuyang Liu, John Bender, Jens Palsberg |
Compiling Volatile Correctly in Java. |
ECOOP |
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). |
ECOOP |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Guido Salvaneschi, Mirko Viroli |
Functional Programming for Distributed Systems with XC. |
ECOOP |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Lagaillardie, Rumyana Neykova, Nobuko Yoshida |
Stay Safe Under Panic: Affine Rust Programming with Multiparty Session Types. |
ECOOP |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Ruofei Chen, Stephanie Balzer, Bernardo Toninho |
Ferrite: A Judgmental Embedding of Session Types in Rust. |
ECOOP |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Brian Hempel, Ravi Chugh |
Maniposynth: Bimodal Tangible Functional Programming. |
ECOOP |
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. |
ECOOP |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Abhiroop Sarkar, Bo Joel Svensson, Mary Sheeran |
Synchron - An API and Runtime for Embedded Systems. |
ECOOP |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Hehao Li, Yizhuo Wang, Yiwei Zhang, Juanru Li, Dawu Gu |
PEDroid: Automatically Extracting Patches from Android App Updates. |
ECOOP |
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. |
ECOOP |
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. |
ECOOP |
2022 |
DBLP BibTeX RDF |
|
1 | André Pacak, Sebastian Erdweg |
Functional Programming with Datalog. |
ECOOP |
2022 |
DBLP DOI BibTeX RDF |
|
1 | |
Front Matter, Table of Contents, Preface, Conference Organization. |
ECOOP |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Lorenzo Gheri, Ivan Lanese, Neil Sayers, Emilio Tuosto, Nobuko Yoshida |
Design-By-Contract for Flexible Multiparty Session Protocols. |
ECOOP |
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. |
ECOOP |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Serrano |
JavaScript Sealed Classes. |
ECOOP |
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. |
ECOOP |
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. |
ECOOP |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Hendrik van Antwerpen, Eelco Visser |
Scope States: Guarding Safety of Name Resolution in Parallel Type Checkers. |
ECOOP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas |
On the Monitorability of Session Types, in Theory and Practice. |
ECOOP |
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. |
ECOOP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | |
Front Matter, Table of Contents, Preface, Conference Organization. |
ECOOP |
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). |
ECOOP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Edwin C. Brady |
Idris 2: Quantitative Type Theory in Practice. |
ECOOP |
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. |
ECOOP |
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. |
ECOOP |
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. |
ECOOP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Ellen Arteca, Frank Tip, Max Schäfer |
Enabling Additional Parallelism in Asynchronous JavaScript Applications. |
ECOOP |
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. |
ECOOP |
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. |
ECOOP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Maxime Buyse, Rémi Delmas, Youssef Hamadi |
ALPACAS: A Language for Parametric Assessment of Critical Architecture Safety. |
ECOOP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Ohad Rau, Caleb Voss 0001, Vivek Sarkar |
Linear Promises: Towards Safer Concurrent Programming. |
ECOOP |
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). |
ECOOP |
2021 |
DBLP BibTeX RDF |
|
1 | Aleksandar S. Dimovski, Sven Apel |
Lifted Static Analysis of Dynamic Program Families by Abstract Interpretation. |
ECOOP |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Petr Maj, Konrad Siek, Alexander Kovalenko, Jan Vitek |
CodeDJ: Reproducible Queries over Large-Scale Software Repositories. |
ECOOP |
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][ >>] |
|