|
|
|
|
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 | Shiyi Wei, Barbara G. Ryder |
State-Sensitive Points-to Analysis for the Dynamic Behavior of JavaScript Objects.  |
ECOOP  |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Erick Lavoie, Bruno Dufour, Marc Feeley |
Portable and Efficient Run-time Monitoring of JavaScript Applications Using Virtual Machine Layering. |
ECOOP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Yue Li 0006, Tian Tan 0001, Yulei Sui, Jingling Xue |
Self-inferencing Reflection Resolution for Java. |
ECOOP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Siliang Li, Gang Tan |
Finding Reference-Counting Errors in Python/C Programs with Affine Analysis. |
ECOOP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Erdweg, Tijs van der Storm, Yi Dai |
Capture-Avoiding and Hygienic Program Transformations. |
ECOOP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Joshua Sunshine, James D. Herbsleb, Jonathan Aldrich |
Structuring Documentation to Support State Search: A Laboratory Experiment about Protocol Programming. |
ECOOP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro da Rocha Pinto, Thomas Dinsdale-Young, Philippa Gardner |
TaDA: A Logic for Time and Data Abstraction. |
ECOOP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Silvia Crafa, David Cunningham, Vijay A. Saraswat, Avraham Shinnar, Olivier Tardieu |
Semantics of (Resilient) X10. |
ECOOP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Homer, Timothy Jones 0002, James Noble 0001, Kim B. Bruce, Andrew P. Black |
Graceful Dialects. |
ECOOP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Lonnie Princehouse, Rakesh Chenchu, Zhefu Jiang, Kenneth P. Birman, Nate Foster, Robert Soulé |
MiCA: A Compositional Architecture for Gossip Protocols. |
ECOOP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Rezwana Karim, Mohan Dhawan, Vinod Ganapathy |
Retargetting Legacy Browser Extensions to Modern Extension Frameworks. |
ECOOP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Maximilian Scherr, Shigeru Chiba |
Implicit Staging of EDSL Expressions: A Bridge between Shallow and Deep Embedding. |
ECOOP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard E. Jones (eds.) |
ECOOP 2014 - Object-Oriented Programming - 28th European Conference, Uppsala, Sweden, July 28 - August 1, 2014. Proceedings |
ECOOP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Filipe Militão, Jonathan Aldrich, Luís Caires |
Rely-Guarantee Protocols. |
ECOOP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniele Filaretti, Sergio Maffeis |
An Executable Formal Semantics of PHP. |
ECOOP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Karim Ali 0001, Marianna Rapoport, Ondrej Lhoták, Julian Dolby, Frank Tip |
Constructing Call Graphs of Scala Programs. |
ECOOP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Shams Mahmood Imam, Vivek Sarkar |
Cooperative Scheduling of Parallel Tasks with General Synchronization Patterns. |
ECOOP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Kyu Hyung Lee, Dohyeong Kim, Xiangyu Zhang 0001 |
Infrastructure-Free Logging and Replay of Concurrent Execution on Multiple Cores. |
ECOOP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Semih Okur, Cansu Erdogan, Danny Dig |
Converting Parallel Code from Low-Level Abstractions to Higher-Level Abstractions. |
ECOOP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Cyrus Omar, Darya Kurilova, Ligia Nistor, Benjamin Chung, Alex Potanin, Jonathan Aldrich |
Safely Composable Type-Specific Languages. |
ECOOP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Gavin M. Bierman, Martín Abadi, Mads Torgersen |
Understanding TypeScript. |
ECOOP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Ancona, Andrea Corradi |
Sound and Complete Subtyping between Coinductive Types for Object-Oriented Languages. |
ECOOP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Heather Miller, Philipp Haller, Martin Odersky |
Spores: A Type-Based Foundation for Closures in the Age of Concurrency and Distribution. |
ECOOP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Mandana Vaziri, Olivier Tardieu, Rodric Rabbah, Philippe Suter, Martin Hirzel |
Stream Processing with a Spreadsheet. |
ECOOP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander J. Summers, Sophia Drossopoulou |
A Formal Semantics for Isorecursive and Equirecursive State Abstractions. |
ECOOP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Mati Shomrat, Yishai A. Feldman |
Detecting Refactored Clones. |
ECOOP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Milos Gligoric 0001, Farnaz Behrang, Yilong Li, Jeffrey Overbey, Munawar Hafiz, Darko Marinov |
Systematic Testing of Refactoring Engines on Real Software Projects. |
ECOOP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Bo Wu 0002, Mingzhou Zhou, Xipeng Shen, Yaoqing Gao, Raúl Silvera, Graham Yiu |
Simple Profile Rectifications Go a Long Way - Statistically Exploring and Alleviating the Effects of Sampling Errors for Program Optimizations. |
ECOOP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom Van Cutsem, Mark S. Miller |
Trustworthy Proxies - Virtualizing Objects with Invariants. |
ECOOP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Danilo Ansaloni, Stephen Kell, Yudi Zheng, Lubomír Bulej, Walter Binder, Petr Tuma 0001 |
Enabling Modularity and Re-use in Dynamic Program Analysis Tools for the Java Virtual Machine. |
ECOOP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Gruber, Fabienne Boyer |
Ownership-Based Isolation for Concurrent Actors on Multi-core Machines. |
ECOOP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Samira Tasharofi, Peter Dinges, Ralph E. Johnson |
Why Do Scala Developers Mix the Actor Model with other Concurrency Models? |
ECOOP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Tobias Freudenreich, Patrick Eugster, Sebastian Frischbier, Stefan Appel, Alejandro P. Buchmann |
Implementing Federated Object Systems. |
ECOOP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin S. Lerner, Liam Elberty, Jincheng Li, Shriram Krishnamurthi |
Combining Form and Function: Static Types for JQuery Programs. |
ECOOP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Guoqing Xu 0001 |
CoCo: Sound and Adaptive Replacement of Java Collections. |
ECOOP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Haitao Steve Zhu, Yu David Liu |
Heap Decomposition Inference with Linear Programming. |
ECOOP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Jakob G. Thomsen, Christian Clausen, Kristoffer Just Andersen, John Danaher, Erik Ernst |
Reducing Lookups for Invariant Checking. |
ECOOP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Servetto, Julian Mackay, Alex Potanin, James Noble 0001 |
The Billion-Dollar Fix - Safe Modular Circular Initialisation with Placeholders and Placeholder Types. |
ECOOP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohsen Vakilian, Nicholas Chen, Roshanak Zilouchian Moghaddam, Stas Negara, Ralph E. Johnson |
A Compositional Paradigm of Automating Refactorings. |
ECOOP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruno C. d. S. Oliveira, Tijs van der Storm, Alex Loh, William R. Cook |
Feature-Oriented Programming with Object Algebras. |
ECOOP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Colin S. Gordon, Werner Dietl, Michael D. Ernst, Dan Grossman |
Java UI : Effects for Controlling UI Object Access. |
ECOOP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe Castagna (eds.) |
ECOOP 2013 - Object-Oriented Programming - 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings |
ECOOP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Cormac Flanagan, Stephen N. Freund |
RedCard: Redundant Check Elimination for Dynamic Race Detectors. |
ECOOP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Karim Ali 0001, Ondrej Lhoták |
Averroes: Whole-Program Analysis without the Whole Program. |
ECOOP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Joshua S. Auerbach, David F. Bacon, Perry Cheng, Steve Fink, Rodric M. Rabbah |
The Shape of Things to Run - Compiling Complex Stream Graphs to Reconfigurable Hardware in Lime. |
ECOOP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Ingo Maier, Martin Odersky |
Higher-Order Reactive Programming with Incremental Lists. |
ECOOP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Ewan D. Tempero, Hong Yul Yang, James Noble 0001 |
What Programmers Do with Inheritance in Java. |
ECOOP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Kasper Svendsen, Lars Birkedal, Matthew J. Parkinson |
Joins: A Case Study in Modular Specification of a Concurrent Reentrant Higher-Order Library. |
ECOOP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Dan Hao 0001, Tian Lan, Hongyu Zhang 0002, Chao Guo, Lu Zhang 0023 |
Is This a Bug or an Obsolete Test? |
ECOOP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Trudel, Carlo A. Furia, Martin Nordio, Bertrand Meyer 0001 |
Really Automatic Scalable Object-Oriented Reengineering. |
ECOOP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Stas Negara, Nicholas Chen, Mohsen Vakilian, Ralph E. Johnson, Danny Dig |
A Comparative Study of Manual and Automated Refactorings. |
ECOOP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Arvind K. Sujeeth, Tiark Rompf, Kevin J. Brown, HyoukJoong Lee, Hassan Chafi, Victoria Popic, Michael Wu, Aleksandar Prokopec, Vojin Jovanovic, Martin Odersky, Kunle Olukotun |
Composition and Reuse with Compiled Domain-Specific Languages. |
ECOOP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Arlen Cox, Bor-Yuh Evan Chang, Sriram Sankaranarayanan 0001 |
QUIC Graphs: Relational Invariant Generation for Containers. |
ECOOP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Heule, Ioannis T. Kassios, Peter Müller 0001, Alexander J. Summers |
Verification Condition Generation for Permission Logics with Abstract Predicates and Abstraction Functions. |
ECOOP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Ricardo J. Dias, Dino Distefano, João Costa Seco, João Lourenço |
Verification of Snapshot Isolation in Transactional Memory Java Programs. |
ECOOP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | John Altidor, Christoph Reichenbach, Yannis Smaragdakis |
Java Wildcards Meet Definition-Site Variance. |
ECOOP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Ancona |
Soundness of Object-Oriented Languages with Coinductive Big-Step Semantics. |
ECOOP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Rezwana Karim, Mohan Dhawan, Vinod Ganapathy, Chung-chieh Shan |
An Analysis of the Mozilla Jetpack Extension Framework. |
ECOOP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Viviana Bono, Jarek Kusmierek, Mauro Mulatero |
Magda: A New Language for Modularity. |
ECOOP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruno C. d. S. Oliveira, William R. Cook |
Extensibility for the Masses - Practical Extensibility with Object Algebras. |
ECOOP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Stas Negara, Mohsen Vakilian, Nicholas Chen, Ralph E. Johnson, Danny Dig |
Is It Dangerous to Use Version Control Histories to Study Source Code Evolution? |
ECOOP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Friedrich Steimann, Jens von Pilgrim |
Constraint-Based Refactoring with Foresight. |
ECOOP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Arnab De, Deepak D'Souza |
Scalable Flow-Sensitive Pointer Analysis for Java with Strong Updates. |
ECOOP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Byeongcheol Lee, Robert Grimm 0001, Martin Hirzel, Kathryn S. McKinley |
Marco: Safe, Expressive Macros for Any Language. |
ECOOP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Guoqing Xu 0001, Dacong Yan, Atanas Rountev |
Static Detection of Loop-Invariant Data Structures. |
ECOOP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohan Dhawan, Chung-chieh Shan, Vinod Ganapathy |
Enhancing JavaScript with Transactions. |
ECOOP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Romain Robbes, David Röthlisberger, Éric Tanter |
Extensions during Software Evolution: Do Objects Meet Their Promise? |
ECOOP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Gavin M. Bierman, Claudio V. Russo, Geoffrey Mainland, Erik Meijer 0001, Mads Torgersen |
Pause 'n' Play: Formalizing Asynchronous C#. |
ECOOP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Burckhardt, Manuel Fähndrich, Daan Leijen, Benjamin P. Wood |
Cloud Types for Eventual Consistency. |
ECOOP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Gil, Yuval Shimron |
Smaller Footprint for Java Collections. |
ECOOP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Floréal Morandat, Brandon Hill, Leo Osvald, Jan Vitek |
Evaluating the Design of the R Language - Objects and Functions for Data Analysis. |
ECOOP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Johan Östlund, Tobias Wrigstad |
Multiple Aggregate Entry Points for Ownership Types. |
ECOOP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Huang 0001, Werner Dietl, Ana L. Milanova, Michael D. Ernst |
Inference and Checking of Object Ownership. |
ECOOP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Karim Ali 0001, Ondrej Lhoták |
Application-Only Call Graph Construction. |
ECOOP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Tobias Wrigstad |
Structured Aliasing. |
ECOOP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesse Doherty, Laurie J. Hendren |
McSAF: A Static Analysis Framework for MATLAB. |
ECOOP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Lukas Rytz, Martin Odersky, Philipp Haller |
Lightweight Polymorphic Effects. |
ECOOP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Edwin M. Westbrook, Jisheng Zhao, Zoran Budimlic, Vivek Sarkar |
Practical Permissions for Race-Free Parallelism. |
ECOOP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Khilan Gudka, Tim Harris 0001, Susan Eisenbach |
Lock Inference in the Presence of Large Libraries. |
ECOOP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Grzegorz Kossakowski, Nada Amin, Tiark Rompf, Martin Odersky |
JavaScript as an Embedded DSL. |
ECOOP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Odersky |
When Compilers Are Mirrors. |
ECOOP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | James Noble 0001 (eds.) |
ECOOP 2012 - Object-Oriented Programming - 26th European Conference, Beijing, China, June 11-16, 2012. Proceedings |
ECOOP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Yoav Zibin, David Cunningham, Igor Peshansky, Vijay A. Saraswat |
Object Initialization in X10. |
ECOOP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominic Duggan, Jianhua Yao 0003 |
Static Sessional Dataflow. |
ECOOP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ran Ettinger |
Program Sliding. |
ECOOP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Manu Sridharan, Julian Dolby, Satish Chandra 0001, Max Schäfer, Frank Tip |
Correlation Tracking for Points-To Analysis of JavaScript. |
ECOOP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Reichenbach, Yannis Smaragdakis, Neil Immerman |
PQL: A Purely-Declarative Java Extension for Parallel Programming. |
ECOOP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Werner Dietl, Michael D. Ernst, Peter Müller 0001 |
Tunable Static Inference for Generic Universe Types. |
ECOOP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mira Mezini (eds.) |
ECOOP 2011 - Object-Oriented Programming - 25th European Conference, Lancaster, UK, July 25-29, 2011 Proceedings |
ECOOP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Atsushi Igarashi |
A Featherweight Approach to FOOL. |
ECOOP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillaume Pothier, Éric Tanter |
Summarized Trace Indexing and Querying for Scalable Back-in-Time Debugging. |
ECOOP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ioannis G. Baltopoulos, Johannes Borgström, Andrew D. Gordon 0001 |
Maintaining Database Integrity with Refinement Types. |
ECOOP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Erik Meijer 0001 |
A Co-relational Model of Data for Large Shared Data Banks. |
ECOOP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Warth, Yoshiki Ohshima, Ted Kaehler, Alan C. Kay |
Worlds: Controlling the Scope of Side Effects. |
ECOOP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Cheng Zhang, Hao Xu, Sai Zhang 0001, Jianjun Zhao 0001, Yuting Chen |
Frequency Estimation of Virtual Call Targets for Object-Oriented Programs. |
ECOOP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandre Bergel |
Counting Messages as a Proxy for Average Execution Time in Pharo. |
ECOOP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dmitrijs Zaparanuks, Matthias Hauswirth |
The Beauty and the Beast: Separating Design from Algorithm. |
ECOOP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe |
Modal Object Diagrams. |
ECOOP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Derin Harmanci, Vincent Gramoli, Pascal Felber |
Atomic Boxes: Coordinated Exception Handling with Transactional Memory. |
ECOOP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Johnni Winther, Michael I. Schwartzbach |
Related Types. |
ECOOP |
2011 |
DBLP DOI BibTeX RDF |
|
Displaying result #301 - #400 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