|
|
|
|
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 | Wenjia Ye, Bruno C. d. S. Oliveira, Xuejing Huang |
Type-Directed Operational Semantics for Gradual Typing.  |
ECOOP  |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara |
Signal Classes: A Mechanism for Building Synchronous and Persistent Signal Networks. |
ECOOP |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Anish Tondwalkar, Matthew Kolosick, Ranjit Jhala |
Refinements of Futures Past: Higher-Order Specification with Implicit Refinement Types. |
ECOOP |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Guoqiang Zhang, Xipeng Shen |
Best-Effort Lazy Evaluation for Python Software Built on APIs. |
ECOOP |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Sam Estep, Jenna Wise, Jonathan Aldrich, Éric Tanter, Johannes Bader 0001, Joshua Sunshine |
Gradual Program Analysis for Null Pointers. |
ECOOP |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Yu Hao, Sufian Latif, Hailong Zhang 0006, Raef Bassily, Atanas Rountev |
Differential Privacy for Coverage Analysis of Software Traces. |
ECOOP |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Servetto, Elena Zucca |
λ-Based Object-Oriented Programming (Pearl). |
ECOOP |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Liyi Li 0002, Elsa L. Gunter |
K-LLVM: A Relatively Complete Semantics of LLVM IR. |
ECOOP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Ningning Xie, Bruno C. d. S. Oliveira, Xuan Bi, Tom Schrijvers |
Row and Bounded Polymorphism via Disjoint Polymorphism. |
ECOOP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Keigo Imai, Rumyana Neykova, Nobuko Yoshida, Shoji Yuen |
Multiparty Session Programming With Global Protocol Combinators. |
ECOOP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | |
Front Matter, Table of Contents, Preface, Conference Organization. |
ECOOP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamad Barbar, Yulei Sui, Shiping Chen 0001 |
Flow-Sensitive Type-Based Heap Cloning. |
ECOOP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Evgenii Moiseenko, Anton Podkopaev, Ori Lahav 0001, Orestis Melkonian, Viktor Vafeiadis |
Reconciling Event Structures with Modern Multiprocessors. |
ECOOP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Colin S. Gordon |
Lifting Sequential Effects to Control Operators. |
ECOOP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Abel Nieto, Yaoyu Zhao, Ondrej Lhoták, Angela Chang, Justin Pu |
Scala with Explicit Nulls. |
ECOOP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Sifis Lagouvardos, Julian Dolby, Neville Grech, Anastasios Antoniadis, Yannis Smaragdakis |
Static Analysis of Shape in TensorFlow Programs. |
ECOOP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Lukas Diekmann, Laurence Tratt |
Don't Panic! Better, Fewer, Syntax Errors for LR Parsers. |
ECOOP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuya Tsuda, Atsushi Igarashi, Tomoya Tabuchi |
Space-Efficient Gradual Typing in Coercion-Passing Style. |
ECOOP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriela Sampaio, José Fragoso Santos, Petar Maksimovic, Philippa Gardner |
A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications. |
ECOOP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruno C. d. S. Oliveira, Shaobo Cui 0002, Baber Rehman |
The Duality of Subtyping. |
ECOOP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné |
Static Type Analysis by Abstract Interpretation of Python Programs. |
ECOOP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Barslev Nielsen, Anders Møller |
Value Partitioning: A Lightweight Approach to Relational Static Analysis for JavaScript. |
ECOOP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Xuejing Huang, Bruno C. d. S. Oliveira |
A Type-Directed Operational Semantics For a Calculus with a Merge Operator. |
ECOOP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Hirschfeld, Tobias Pape (eds.) |
34th European Conference on Object-Oriented Programming, ECOOP 2020, November 15-17, 2020, Berlin, Germany (Virtual Conference). |
ECOOP |
2020 |
DBLP BibTeX RDF |
|
| 1 | Alastair F. Donaldson, Hugues Evrard, Paul Thomson |
Putting Randomized Compiler Testing into Production (Experience Report). |
ECOOP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Ancona, Pietro Barbieri, Francesco Dagnino, Elena Zucca |
Sound Regular Corecursion in coFJ. |
ECOOP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Abel Nieto, Marianna Rapoport, Gregor Richards, Ondrej Lhoták |
Blame for Null. |
ECOOP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Chris Fallin |
Safe, Flexible Aliasing with Deferred Borrows. |
ECOOP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Magnus Madsen, Ondrej Lhoták, Frank Tip |
A Semantics for the Essence of React. |
ECOOP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan de Muijnck-Hughes, Edwin C. Brady, Wim Vanderbauwhede |
A Framework for Resource Dependent EDSLs in a Dependently Typed Language (Pearl). |
ECOOP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Shale Xiong, Andrea Cerone, Azalea Raad, Philippa Gardner |
Data Consistency in Transactional Storage Systems: A Centralised Semantics. |
ECOOP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Fowler 0001 |
Model-View-Update-Communicate: Session Types Meet the Elm Architecture. |
ECOOP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Sam Van den Vonder, Thierry Renaux, Bjarno Oeyen, Joeri De Koster, Wolfgang De Meuter |
Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model. |
ECOOP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Matías Toro, Éric Tanter |
Abstracting Gradual References (SCICO Journal-first). |
ECOOP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Ancona, Francesco Dagnino, Jurriaan Rot, Elena Zucca |
A Big Step from Finite to Infinite Computations (SCICO Journal-first). |
ECOOP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Sadegh Dalvandi, Simon Doherty, Brijesh Dongol, Heike Wehrheim |
Owicki-Gries Reasoning for C11 RAR. |
ECOOP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Julia Gabet, Nobuko Yoshida |
Static Race Detection and Mutex Safety and Liveness for Go Programs. |
ECOOP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Vlastimil Dort, Ondrej Lhoták |
Reference Mutability for DOT. |
ECOOP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Colin S. Gordon |
Designing with Static Capabilities and Effects: Use, Mention, and Invariants (Pearl). |
ECOOP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | David Maciver, Alastair F. Donaldson |
Test-Case Reduction via Test-Case Generation: Insights from the Hypothesis Reducer (Tool Insights Paper). |
ECOOP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandros Tasos, Juliana Franco, Sophia Drossopoulou, Tobias Wrigstad, Susan Eisenbach |
Reshape Your Layouts, Not Your Programs: A Safe Language Extension for Better Cache Locality (SCICO Journal-first). |
ECOOP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Hila Peleg, Nadia Polikarpova |
Perfect Is the Enemy of Good: Best-Effort Program Synthesis. |
ECOOP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Jafar Hamin, Bart Jacobs 0002 |
Transferring Obligations Through Synchronizations. |
ECOOP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Aleksandr Misonizhnik, Dmitry Mordvinov |
On Satisfiability of Nominal Subtyping with Variance. |
ECOOP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Kiko Fernandez-Reyes, Dave Clarke 0001, Ludovic Henrio, Einar Broch Johnsen, Tobias Wrigstad |
Godot: All the Benefits of Implicit and Explicit Futures. |
ECOOP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Suvam Mukherjee, Nitin John Raj, Krishnan Govindraj, Pantazis Deligiannis, Chandramouleswaran Ravichandran, Akash Lal, Aseem Rastogi, Raja Krishnaswamy |
Reliable State Machines: A Framework for Programming Reliable Cloud Services. |
ECOOP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Alastair F. Donaldson (eds.) |
33rd European Conference on Object-Oriented Programming, ECOOP 2019, July 15-19, 2019, London, United Kingdom. |
ECOOP |
2019 |
DBLP BibTeX RDF |
|
| 1 | Matthias Eichholz 0001, Eric Hayden Campbell, Nate Foster, Guido Salvaneschi, Mira Mezini |
How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4. |
ECOOP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Rupak Majumdar, Marcus Pirron, Nobuko Yoshida, Damien Zufferey |
Motion Session Types for Robotic Interactions (Brave New Idea Paper). |
ECOOP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Roberts 0004, Stefan Marr, Michael Homer, James Noble 0001 |
Transient Typechecks Are (Almost) Free. |
ECOOP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Thodoris Sotiropoulos, Benjamin Livshits |
Static Analysis for Asynchronous JavaScript Programs. |
ECOOP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | |
Front Matter, Table of Contents, Preface, Conference Organization. |
ECOOP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Dhruv C. Makwana, Neelakantan R. Krishnaswami |
NumLin: Linear Types for Linear Algebra. |
ECOOP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | George Fourtounis, Yannis Smaragdakis |
Deep Static Modeling of invokedynamic. |
ECOOP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Pascal Weisenburger, Guido Salvaneschi |
Multitier Modules. |
ECOOP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Vlad A. Vergu, Andrew Tolmach, Eelco Visser |
Scopes and Frames Improve Meta-Interpreter Specialization. |
ECOOP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniël A. A. Pelsmaeker, Hendrik van Antwerpen, Eelco Visser |
Towards Language-Parametric Semantic Editor Services Based on Declarative Type System Specifications (Brave New Idea Paper). |
ECOOP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Carmen Torres Lopez, Robbert Gurdeep Singh, Stefan Marr, Elisa Gonzalez Boix, Christophe Scholliers |
Multiverse Debugging: Non-Deterministic Debugging for Non-Deterministic Programs (Brave New Idea Paper). |
ECOOP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Linghui Luo, Julian Dolby, Eric Bodden |
MagpieBridge: A General Approach to Integrating Static Analyses into IDEs and Editors (Tool Insights Paper). |
ECOOP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Alex Villazón, Haiyang Sun, Andrea Rosà, Eduardo Rosales 0001, Daniele Bonetta, Isabella Defilippis, Sergio Oporto, Walter Binder |
Automated Large-Scale Multi-Language Dynamic Program Analysis in the Wild (Tool Insights Paper). |
ECOOP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Alen Arslanagic, Jorge A. Pérez 0001, Erik Voogd |
Minimal Session Types (Pearl). |
ECOOP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Hong Jin Kang, Ferdian Thung, Julia Lawall, Gilles Muller, Lingxiao Jiang, David Lo 0001 |
Semantic Patches for Java Program Transformation (Experience Report). |
ECOOP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Chung, Francesco Zappa Nardelli, Jan Vitek |
Julia's Efficient Algorithm for Subtyping Unions and Covariant Tuples (Pearl). |
ECOOP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Shawn Meier, Sergio Mover, Bor-Yuh Evan Chang |
Lifestate: Event-Driven Protocols and Callback Control Flow. |
ECOOP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Osbert Bastani, Rahul Sharma 0001, Lazaro Clapp, Saswat Anand, Alex Aiken |
Eventually Sound Points-To Analysis with Specifications. |
ECOOP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexi Turcotte, Ellen Arteca, Gregor Richards |
Reasoning About Foreign Function Interfaces Without Modelling the Foreign Language. |
ECOOP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Yossi Gil, Ori Roth |
Fling - A Fluent API Generator. |
ECOOP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Springer, Hidehiko Masuhara |
DynaSOAr: A Parallel Memory Allocator for Object-Oriented Programming on GPUs with Efficient Memory Access. |
ECOOP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Noah Van Es, Quentin Stiévenart, Coen De Roover |
Garbage-Free Abstract Interpretation Through Abstract Reference Counting. |
ECOOP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan de Muijnck-Hughes, Wim Vanderbauwhede |
A Typing Discipline for Hardware Interfaces. |
ECOOP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Conrad Watt, Petar Maksimovic, Neelakantan R. Krishnaswami, Philippa Gardner |
A Program Logic for First-Order Encapsulated WebAssembly. |
ECOOP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Amir Shaikhha, Lionel Parreaux |
Finally, a Polymorphic Linear Algebra Language (Pearl). |
ECOOP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Yannis Smaragdakis, George Kastrinis |
Defensive Points-To Analysis: Effective Soundness via Laziness. |
ECOOP |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Gianluca Mezzetti, Anders Møller, Martin Toldam Torp |
Type Regression Testing to Detect Breaking Changes in Node.js Libraries. |
ECOOP |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Junjie Chen 0003, Wenxiang Hu, Lingming Zhang 0001, Dan Hao 0001, Sarfraz Khurshid, Lu Zhang 0023 |
Learning to Accelerate Symbolic Execution via Code Transformation. |
ECOOP |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Krüger, Johannes Späth, Karim Ali 0001, Eric Bodden, Mira Mezini |
CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs. |
ECOOP |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Ancona, Francesco Dagnino, Elena Zucca |
Modeling Infinite Behaviour by Corules. |
ECOOP |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Tianxiao Gu, Xiaoxing Ma, Chang Xu 0001, Yanyan Jiang 0001, Chun Cao, Jian Lu 0001 |
Automating Object Transformations for Dynamic Software Updating via Online Execution Synthesis. |
ECOOP |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Nathalie Oostvogels, Joeri De Koster, Wolfgang De Meuter |
Static Typing of Complex Presence Constraints in Interfaces. |
ECOOP |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Xuan Bi, Bruno C. d. S. Oliveira |
Typed First-Class Traits. |
ECOOP |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Joana Campos 0002, Vasco T. Vasconcelos |
Dependent Types for Class-based Mutable Objects. |
ECOOP |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Xuan Bi, Bruno C. d. S. Oliveira, Tom Schrijvers |
The Essence of Nested Composition. |
ECOOP |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | John Toman, Dan Grossman |
Legato: An At-Most-Once Analysis with Applications to Dynamic Configuration Updates. |
ECOOP |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Yanlin Wang 0001, Haoyuan Zhang, Bruno C. d. S. Oliveira, Marco Servetto |
FHJ: A Formal Model for Hierarchical Dispatching and Overriding. |
ECOOP |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | |
Front Matter, Table of Contents, Preface, Conference Organization. |
ECOOP |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Julien Gascon-Samson, Kumseok Jung, Shivanshu Goyal, Armin Rezaiean-Asel, Karthik Pattabiraman |
ThingsMigrate: Platform-Independent Migration of Stateful JavaScript IoT Applications. |
ECOOP |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Aleksandar Prokopec, Fengyun Liu |
Theory and Practice of Coroutines with Snapshots. |
ECOOP |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Todd D. Millstein (eds.) |
32nd European Conference on Object-Oriented Programming, ECOOP 2018, July 16-21, 2018, Amsterdam, The Netherlands |
ECOOP |
2018 |
DBLP BibTeX RDF |
|
| 1 | Gowtham Kaki, G. Ramalingam |
Safe Transferable Regions. |
ECOOP |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Neville Grech, George Kastrinis, Yannis Smaragdakis |
Efficient Reflection String Analysis via Graph Coloring. |
ECOOP |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana L. Milanova |
Definite Reference Mutability. |
ECOOP |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Bell 0001, Luís Pina |
CROCHET: Checkpoint and Rollback via Lightweight Heap Traversal on Stock JVMs. |
ECOOP |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Wing Lam, Siwakorn Srisakaokul, Blake Bassett, Peyman Mahdian, Tao Xie 0001, Pratap Lakshman, Jonathan de Halleux |
A Characteristic Study of Parameterized Unit Tests in .NET Open Source Projects. |
ECOOP |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohaned Qunaibit, Stefan Brunthaler 0001, Yeoul Na, Stijn Volckaert, Michael Franz |
Accelerating Dynamically-Typed Languages on Heterogeneous Platforms Using Guards Optimization. |
ECOOP |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Hiroaki Inoue, Tomoyuki Aotani, Atsushi Igarashi |
ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions. |
ECOOP |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Ragnar Mogk, Lars Baumgärtner, Guido Salvaneschi, Bernd Freisleben, Mira Mezini |
Fault-tolerant Distributed Reactive Programming. |
ECOOP |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Chung, Paley Li, Francesco Zappa Nardelli, Jan Vitek |
KafKa: Gradual Typing for Objects. |
ECOOP |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Ugo de'Liguoro, Luca Padovani |
Mailbox Types for Unordered Interactions. |
ECOOP |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Sihan Li, Farah Hariri, Gul Agha |
Targeted Test Generation for Actor Systems. |
ECOOP |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Gian Ntzik, Pedro da Rocha Pinto, Julian Sutherland, Philippa Gardner |
A Concurrent Specification of POSIX File Systems. |
ECOOP |
2018 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #200 of 1010 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license