Остановите войну!
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 110 matches
- 2017
- Michael D. Adams, Matthew Might:
Restricting grammars with tree automata. Proc. ACM Program. Lang. 1(OOPSLA): 82:1-82:25 (2017) - Andreas Abel, Andrea Vezzosi, Théo Winterhalter:
Normalization by evaluation for sized dependent types. Proc. ACM Program. Lang. 1(ICFP): 33:1-33:30 (2017) - Yannick Forster, Ohad Kammar, Sam Lindley, Matija Pretnar:
On the expressive power of user-defined effects: effect handlers, monadic reflection, delimited control. Proc. ACM Program. Lang. 1(ICFP): 13:1-13:29 (2017) - Christoffer Quist Adamsen, Anders Møller, Frank Tip:
Practical initialization race detection for JavaScript web applications. Proc. ACM Program. Lang. 1(OOPSLA): 66:1-66:22 (2017) - Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Pierre-Yves Strub:
A relational logic for higher-order programs. Proc. ACM Program. Lang. 1(ICFP): 21:1-21:29 (2017) - Amal Ahmed, Dustin Jamner, Jeremy G. Siek, Philip Wadler:
Theorems for free for free: parametricity, with and without types. Proc. ACM Program. Lang. 1(ICFP): 39:1-39:28 (2017) - Aws Albarghouthi, Loris D'Antoni, Samuel Drews, Aditya V. Nori:
FairSquare: probabilistic verification of program fairness. Proc. ACM Program. Lang. 1(OOPSLA): 80:1-80:30 (2017) - Davide Ancona, Francesco Dagnino, Elena Zucca:
Reasoning on divergent computations with coaxioms. Proc. ACM Program. Lang. 1(OOPSLA): 81:1-81:26 (2017) - Leif Andersen, Stephen Chang, Matthias Felleisen:
Super 8 languages for making movies (functional pearl). Proc. ACM Program. Lang. 1(ICFP): 30:1-30:29 (2017) - Joshua S. Auerbach, Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon:
Prototyping a query compiler using Coq (experience report). Proc. ACM Program. Lang. 1(ICFP): 9:1-9:15 (2017) - Martin Avanzini, Ugo Dal Lago:
Automating sized-type inference for complexity analysis. Proc. ACM Program. Lang. 1(ICFP): 43:1-43:29 (2017) - Alexander Bakst, Klaus von Gleissenthall, Rami Gökhan Kici, Ranjit Jhala:
Verifying distributed programs via canonical sequentialization. Proc. ACM Program. Lang. 1(OOPSLA): 110:1-110:27 (2017) - Thibaut Balabonski, Pablo Barenbaum, Eduardo Bonelli, Delia Kesner:
Foundations of strong call by need. Proc. ACM Program. Lang. 1(ICFP): 20:1-20:29 (2017) - Stephanie Balzer, Frank Pfenning:
Manifest sharing with session types. Proc. ACM Program. Lang. 1(ICFP): 37:1-37:29 (2017) - Edd Barrett, Carl Friedrich Bolz-Tereick, Rebecca Killick, Sarah Mount, Laurence Tratt:
Virtual machine warmup blows hot and cold. Proc. ACM Program. Lang. 1(OOPSLA): 52:1-52:27 (2017) - Spenser Bauman, Carl Friedrich Bolz-Tereick, Jeremy G. Siek, Sam Tobin-Hochstadt:
Sound gradual typing: only mostly dead. Proc. ACM Program. Lang. 1(OOPSLA): 54:1-54:24 (2017) - Jean-Philippe Bernardy:
A pretty but not greedy printer (functional pearl). Proc. ACM Program. Lang. 1(ICFP): 6:1-6:21 (2017) - Philip A. Bernstein, Sebastian Burckhardt, Sergey Bykov, Natacha Crooks, Jose M. Faleiro, Gabriel Kliot, Alok Kumbhare, Muntasir Raihan Rahman, Vivek Shah, Adriana Szekeres, Jorgen Thelin:
Geo-distribution of actor-based services. Proc. ACM Program. Lang. 1(OOPSLA): 107:1-107:26 (2017) - Joachim Breitner, Chris Smith:
Lock-step simulation is child's play (experience report). Proc. ACM Program. Lang. 1(ICFP): 3:1-3:15 (2017) - William E. Byrd, A. Ballantyne, Gregory Rosenblatt, Matthew Might:
A unified approach to solving seven programming problems (functional pearl). Proc. ACM Program. Lang. 1(ICFP): 8:1-8:26 (2017) - Benjamin Canou, Roberto Di Cosmo, Grégoire Henry:
Scaling up functional programming education: under the hood of the OCaml MOOC. Proc. ACM Program. Lang. 1(ICFP): 4:1-4:25 (2017) - Giuseppe Castagna, Victor Lanvin:
Gradual typing with union and intersection types. Proc. ACM Program. Lang. 1(ICFP): 41:1-41:28 (2017) - Guilherme Cavalcanti, Paulo Borba, Paola R. G. Accioly:
Evaluating and improving semistructured merge. Proc. ACM Program. Lang. 1(OOPSLA): 59:1-59:27 (2017) - Ahmet Çelik, Sreepathi Pai, Sarfraz Khurshid, Milos Gligoric:
Bounded exhaustive test-input generation on GPUs. Proc. ACM Program. Lang. 1(OOPSLA): 94:1-94:25 (2017) - Kwonsoo Chae, Hakjoo Oh, Kihong Heo, Hongseok Yang:
Automatically generating features for learning program analysis heuristics for C-like languages. Proc. ACM Program. Lang. 1(OOPSLA): 101:1-101:25 (2017) - Sarah E. Chasins, Rastislav Bodík:
Skip blocks: reusing execution history to accelerate web scripts. Proc. ACM Program. Lang. 1(OOPSLA): 51:1-51:28 (2017) - Avik Chaudhuri, Panagiotis Vekris, Sam Goldman, Marshall Roch, Gabriel Levi:
Fast and precise type checking for JavaScript. Proc. ACM Program. Lang. 1(OOPSLA): 48:1-48:30 (2017) - Joonwon Choi, Muralidaran Vijayaraghavan, Benjamin Sherman, Adam Chlipala, Arvind:
Kami: a platform for high-level parametric hardware specification and its modular verification. Proc. ACM Program. Lang. 1(ICFP): 24:1-24:30 (2017) - Sylvan Clebsch, Juliana Franco, Sophia Drossopoulou, Albert Mingkun Yang, Tobias Wrigstad, Jan Vitek:
Orca: GC and type system co-design for actor languages. Proc. ACM Program. Lang. 1(OOPSLA): 72:1-72:28 (2017) - Tiago Cogumbreiro, Rishi Surendran, Francisco Martins, Vivek Sarkar, Vasco T. Vasconcelos, Max Grossman:
Deadlock avoidance in parallel programs with futures: why parallel tasks should not wait for strangers. Proc. ACM Program. Lang. 1(OOPSLA): 103:1-103:26 (2017)
skipping 80 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-05-20 17:07 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