Остановите войну!
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 78 matches
- 2020
- Fabian Ritter, Sebastian Hack:
PMEvo: portable inference of port mappings for out-of-order processors by evolutionary optimization. PLDI 2020: 608-622 - Ke Wang, Zhendong Su:
Blended, precise semantic program embeddings. PLDI 2020: 121-134 - Muhammad Usman, Wenxi Wang, Marko Vasic, Kaiyuan Wang, Haris Vikalo, Sarfraz Khurshid:
A study of the learnability of relational properties: model counting meets machine learning (MCML). PLDI 2020: 1098-1111 - Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Julian Dolby, Petr Janku, Hsin-Hung Lin, Lukás Holík, Wei-Cheng Wu:
Efficient handling of string-number conversion. PLDI 2020: 943-957 - Miltiadis Allamanis, Earl T. Barr, Soline Ducousso, Zheng Gao:
Typilus: neural type hints. PLDI 2020: 91-105 - Anastasios Antoniadis, Nikos Filippakis, Paddy Krishnan, Raghavendra Ramesh, Nicholas Allen, Yannis Smaragdakis:
Static analysis of Java enterprise applications: frameworks and caches, the elephants in the room. PLDI 2020: 794-807 - Sotiris Apostolakis, Ziyang Xu, Zujun Tan, Greg Chan, Simone Campanoni, David I. August:
SCAF: a speculation-aware collaborative dependence analysis framework. PLDI 2020: 638-654 - Guillaume Baudart, Louis Mandel, Eric Atkinson, Benjamin Sherman, Marc Pouzet, Michael Carbin:
Reactive probabilistic programming. PLDI 2020: 898-912 - Sidi Mohamed Beillahi, Gabriela F. Ciocarlie, Michael Emmi, Constantin Enea:
Behavioral simulation for smart contracts. PLDI 2020: 470-486 - Gérard Berry, Manuel Serrano:
HipHop.js: (A)Synchronous reactive web programming. PLDI 2020: 533-545 - Benjamin Bichsel, Maximilian Baader, Timon Gehr, Martin T. Vechev:
Silq: a high-level quantum language with safe uncomputation and intuitive semantics. PLDI 2020: 286-300 - Hans-Juergen Boehm:
Towards an API for the real numbers. PLDI 2020: 562-576 - Thomas Bourgeat, Clément Pit-Claudel, Adam Chlipala, Arvind:
The essence of Bluespec: a core language for rule-based hardware design. PLDI 2020: 243-257 - Jason Breck, John Cyphert, Zachary Kincaid, Thomas W. Reps:
Templates and recurrences: better together. PLDI 2020: 688-702 - Lexi Brent, Neville Grech, Sifis Lagouvardos, Bernhard Scholz, Yannis Smaragdakis:
Ethainter: a smart contract security analyzer for composite vulnerabilities. PLDI 2020: 454-469 - Fraser Brown, John Renner, Andres Nötzli, Sorin Lerner, Hovav Shacham, Deian Stefan:
Towards a verified range analysis for JavaScript JITs. PLDI 2020: 135-150 - Sunjay Cauligi, Craig Disselkoen, Klaus von Gleissenthall, Dean M. Tullsen, Deian Stefan, Tamara Rezk, Gilles Barthe:
Constant-time foundations for the new spectre era. PLDI 2020: 913-926 - Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady:
Polynomial invariant generation for non-deterministic recursive programs. PLDI 2020: 672-687 - Qiaochu Chen, Xinyu Wang, Xi Ye, Greg Durrett, Isil Dillig:
Multi-modal synthesis of regular expressions. PLDI 2020: 487-502 - Jianhui Chen, Fei He:
Proving almost-sure termination by omega-regular decomposition. PLDI 2020: 869-882 - Stephen Chou, Fredrik Kjolstad, Saman P. Amarasinghe:
Automatic generation of efficient sparse tensor format conversion routines. PLDI 2020: 823-838 - Sangeeta Chowdhary, Jay P. Lim, Santosh Nagarakatte:
Debugging and detecting numerical errors in computation with posits. PLDI 2020: 731-746 - Sandeep Dasgupta, Sushant Dinesh, Deepan Venkatesh, Vikram S. Adve, Christopher W. Fletcher:
Scalable validation of binary lifters. PLDI 2020: 655-671 - Roshan Dathathri, Blagovesta Kostova, Olli Saarikivi, Wei Dai, Kim Laine, Madan Musuvathi:
EVA: an encrypted vector arithmetic language and compiler for efficient homomorphic computation. PLDI 2020: 546-561 - Samuel Drews, Aws Albarghouthi, Loris D'Antoni:
Proving data-poisoning robustness in decision trees. PLDI 2020: 1083-1097 - Gregory J. Duck, Xiang Gao, Abhik Roychoudhury:
Binary rewriting without control flow recovery. PLDI 2020: 151-163 - David Durst, Matthew Feldman, Dillon Huff, David Akeley, Ross G. Daly, Gilbert Louis Bernstein, Marco Patrignani, Kayvon Fatahalian, Pat Hanrahan:
Type-directed scheduling of streaming accelerators. PLDI 2020: 408-422 - Romain Edelmann, Jad Hamza, Viktor Kuncak:
Zippy LL(1) parsing with derivatives. PLDI 2020: 1036-1051 - Frank Emrich, Sam Lindley, Jan Stolarek, James Cheney, Jonathan Coates:
FreezeML: complete and easy type inference for first-class polymorphism. PLDI 2020: 423-437 - Kavon Farvardin, John H. Reppy:
From folklore to fact: comparing implementations of stacks and continuations. PLDI 2020: 75-90
skipping 48 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-07-02 04:00 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