Остановите войну!
for scientists:
default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
no matches
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 51 matches
- 2013
- Rahul Sharma, Eric Schkufza, Berkeley R. Churchill, Alex Aiken:
Data-driven equivalence checking. OOPSLA 2013: 391-406 - Tanzirul Azim, Iulian Neamtiu:
Targeted and depth-first exploration for systematic testing of android apps. OOPSLA 2013: 641-660 - George Balatsouras, Yannis Smaragdakis:
Class hierarchy complementation: soundly completing a partial type graph. OOPSLA 2013: 515-532 - Tao Bao, Xiangyu Zhang:
On-the-fly detection of instability problems in floating-point program execution. OOPSLA 2013: 817-832 - Tom Bergan, Luis Ceze, Dan Grossman:
Input-covering schedules for multithreaded programs. OOPSLA 2013: 677-692 - Suparna Bhattacharya, Kanchi Gopinath, Mangala Gowri Nanda:
Combining concern input with program analysis for bloat detection. OOPSLA 2013: 745-764 - Kristof Du Bois, Jennifer B. Sartor, Stijn Eyerman, Lieven Eeckhout:
Bottle graphs: visualizing scalability bottlenecks in multi-threaded applications. OOPSLA 2013: 355-372 - Carl Friedrich Bolz, Lukas Diekmann, Laurence Tratt:
Storage strategies for collections in dynamically typed languages. OOPSLA 2013: 167-182 - Michael D. Bond, Milind Kulkarni, Man Cao, Minjia Zhang, Meisam Fathi Salmi, Swarnendu Biswas, Aritra Sengupta, Jipeng Huang:
OCTET: capturing and controlling cross-thread dependences efficiently. OOPSLA 2013: 693-712 - Michael Carbin, Sasa Misailovic, Martin C. Rinard:
Verifying quantitative reliability for programs that execute on unreliable hardware. OOPSLA 2013: 33-52 - Wontae Choi, George C. Necula, Koushik Sen:
Guided GUI testing of android apps with minimal restart and approximate learning. OOPSLA 2013: 623-640 - Nathan Chong, Alastair F. Donaldson, Paul H. J. Kelly, Jeroen Ketema, Shaz Qadeer:
Barrier invariants: a shared state abstraction for the analysis of data-dependent GPU kernels. OOPSLA 2013: 605-622 - Sylvan Clebsch, Sophia Drossopoulou:
Fully concurrent garbage collection of actors on many-core machines. OOPSLA 2013: 553-570 - Katherine E. Coons, Madan Musuvathi, Kathryn S. McKinley:
Bounded partial-order reduction. OOPSLA 2013: 833-848 - Daniele Cono D'Elia, Camil Demetrescu:
Ball-Larus path profiling across multiple loop iterations. OOPSLA 2013: 373-390 - Christian DeLozier, Richard A. Eisenberg, Santosh Nagarakatte, Peter-Michael Osera, Milo M. K. Martin, Steve Zdancewic:
Ironclad C++: a library-augmented type-safe subset of c++. OOPSLA 2013: 287-304 - Dongdong Deng, Wei Zhang, Shan Lu:
Efficient concurrency-bug detection across inputs. OOPSLA 2013: 785-802 - Isil Dillig, Thomas Dillig, Boyang Li, Kenneth L. McMillan:
Inductive invariant generation via abductive inference. OOPSLA 2013: 443-456 - Christos Dimoulas, Robert Bruce Findler, Matthias Felleisen:
Option contracts. OOPSLA 2013: 475-494 - Asger Feldthaus, Anders Møller:
Semi-automatic rename refactoring for JavaScript. OOPSLA 2013: 323-338 - Prodromos Gerakios, Aggelos Biboudis, Yannis Smaragdakis:
Forsaking inheritance: supercharged delegation in DelphJ. OOPSLA 2013: 233-252 - Stephan Herhut, Richard L. Hudson, Tatiana Shpeisman, Jaswanth Sreeram:
River trail: a path to parallelism in JavaScript. OOPSLA 2013: 729-744 - Michael Hoppe, Stefan Hanenberg:
Do developers benefit from generic types?: an empirical comparison of generic and raw types in java. OOPSLA 2013: 457-474 - Jipeng Huang, Michael D. Bond:
Efficient context sensitivity for dynamic analyses via calling context uptrees and customized memory management. OOPSLA 2013: 53-72 - Aman Kansal, T. Scott Saponas, A. J. Bernheim Brush, Kathryn S. McKinley, Todd Mytkowicz, Ryder Ziola:
The latency, accuracy, and battery (LAB) abstraction: programmer productivity and energy efficiency for continuous mobile context sensing. OOPSLA 2013: 661-676 - Etienne Kneuss, Ivan Kuraj, Viktor Kuncak, Philippe Suter:
Synthesis modulo recursive functions. OOPSLA 2013: 407-426 - You Li, Zhendong Su, Linzhang Wang, Xuandong Li:
Steering symbolic execution to less traveled paths. OOPSLA 2013: 19-32 - Leo A. Meyerovich, Ariel S. Rabkin:
Empirical analysis of programming language adoption. OOPSLA 2013: 1-18 - Heather Miller, Philipp Haller, Eugene Burmako, Martin Odersky:
Instant pickles: generating object-oriented pickler combinators for fast and extensible serialization. OOPSLA 2013: 183-202 - Nick Mitchell, Peter F. Sweeney:
On-the-fly capacity planning. OOPSLA 2013: 849-866
skipping 21 more matches
loading more results
failed to load more results, please try again later
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-08-24 18:11 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint