The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "POPL"( http://dblp.L3S.de/Venues/POPL )

URL (DBLP): http://dblp.uni-trier.de/db/conf/popl

Publication years (Num. hits)
1973 (23) 1975 (23) 1976 (21) 1977 (26) 1978 (28) 1979 (28) 1980 (26) 1981 (24) 1982 (39) 1983 (29) 1984 (33) 1985 (31) 1986 (31) 1987 (30) 1988 (29) 1989 (31) 1990 (32) 1991 (32) 1992 (32) 1993 (44) 1994 (40) 1995 (36) 1996 (35) 1997 (38) 1998 (33) 1999 (26) 2000 (32) 2001 (27) 2002 (31) 2003 (26) 2004 (30) 2005 (32) 2006 (37) 2007 (40) 2008 (39) 2009 (40) 2010 (42) 2011 (53) 2012 (49) 2013 (48) 2014 (56) 2015 (56) 2016 (63) 2017 (67)
Publication types (Num. hits)
inproceedings(1524) proceedings(44)
Venues (Conferences, Journals, ...)
POPL(1568)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 1194 occurrences of 617 keywords

Results
Found 1568 publication records. Showing 1568 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Stephen Chang, Alex Knauth, Ben Greenman Type systems as macros. Search on Bibsonomy POPL The full citation details ... 2017 DBLP  BibTeX  RDF
1Gilles Barthe, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub Coupling proofs are probabilistic product programs. Search on Bibsonomy POPL The full citation details ... 2017 DBLP  BibTeX  RDF
1Aaron Turon Rust: from POPL to practice (keynote). Search on Bibsonomy POPL The full citation details ... 2017 DBLP  BibTeX  RDF
1Andrej Dudenhefner, Jakob Rehof Intersection type calculi of bounded dimension. Search on Bibsonomy POPL The full citation details ... 2017 DBLP  BibTeX  RDF
1Loris D'Antoni, Margus Veanes Monadic second-order logic on finite sequences. Search on Bibsonomy POPL The full citation details ... 2017 DBLP  BibTeX  RDF
1Wei-Fan Chiang, Mark Baranowski, Ian Briggs, Alexey Solovyev, Ganesh Gopalakrishnan, Zvonimir Rakamaric Rigorous floating-point mixed-precision tuning. Search on Bibsonomy POPL The full citation details ... 2017 DBLP  BibTeX  RDF
1Lucas Brutschy, Dimitar Dimitrov, Peter Müller 0001, Martin T. Vechev Serializability for eventual consistency: criterion, analysis, and applications. Search on Bibsonomy POPL The full citation details ... 2017 DBLP  BibTeX  RDF
1Karl Crary Modules, abstraction, and parametric polymorphism. Search on Bibsonomy POPL The full citation details ... 2017 DBLP  BibTeX  RDF
1Carlo Angiuli, Robert Harper 0001, Todd Wilson Computational higher-dimensional type theory. Search on Bibsonomy POPL The full citation details ... 2017 DBLP  BibTeX  RDF
1Yu Feng, Ruben Martins, Yuepeng Wang 0001, Isil Dillig, Thomas W. Reps Component-based synthesis for complex APIs. Search on Bibsonomy POPL The full citation details ... 2017 DBLP  BibTeX  RDF
1Danko Ilik The exp-log normal form of types: decomposing extensional equality and representing terms compactly. Search on Bibsonomy POPL The full citation details ... 2017 DBLP  BibTeX  RDF
1Steffen Smolka, Praveen Kumar, Nate Foster, Dexter Kozen, Alexandra Silva 0001 Cantor meets scott: semantic foundations for probabilistic networks. Search on Bibsonomy POPL The full citation details ... 2017 DBLP  BibTeX  RDF
1Stephen Dolan, Alan Mycroft Polymorphism, subtyping, and type inference in MLsub. Search on Bibsonomy POPL The full citation details ... 2017 DBLP  BibTeX  RDF
1Jennifer Paykin, Robert Rand 0001, Steve Zdancewic QWIRE: a core language for quantum circuits. Search on Bibsonomy POPL The full citation details ... 2017 DBLP  BibTeX  RDF
1Jochen Hoenicke, Rupak Majumdar, Andreas Podelski Thread modularity at many levels: a pearl in compositional verification. Search on Bibsonomy POPL The full citation details ... 2017 DBLP  BibTeX  RDF
1Jeehoon Kang, Chung-Kil Hur, Ori Lahav, Viktor Vafeiadis, Derek Dreyer A promising semantics for relaxed-memory concurrency. Search on Bibsonomy POPL The full citation details ... 2017 DBLP  BibTeX  RDF
1Eryk Kopczynski, Szymon Torunczyk LOIS: syntax and semantics. Search on Bibsonomy POPL The full citation details ... 2017 DBLP  BibTeX  RDF
1Christopher Lidbury, Alastair F. Donaldson Dynamic race detection for C++11. Search on Bibsonomy POPL The full citation details ... 2017 DBLP  BibTeX  RDF
1Laura Kovács, Simon Robillard, Andrei Voronkov Coming to terms with quantified reasoning. Search on Bibsonomy POPL The full citation details ... 2017 DBLP  BibTeX  RDF
1Kimball Germane, Matthew Might A posteriori environment analysis with Pushdown Delta CFA. Search on Bibsonomy POPL The full citation details ... 2017 DBLP  BibTeX  RDF
1Ezgi Çiçek, Gilles Barthe, Marco Gaboardi, Deepak Garg 0001, Jan Hoffmann 0002 Relational cost analysis. Search on Bibsonomy POPL The full citation details ... 2017 DBLP  BibTeX  RDF
1Mounir Assaf, David A. Naumann, Julien Signoles, Eric Totel, Frédéric Tronel Hypercollecting semantics and its application to static analysis of information flow. Search on Bibsonomy POPL The full citation details ... 2017 DBLP  BibTeX  RDF
1Morten Krogh-Jespersen, Kasper Svendsen, Lars Birkedal A relational model of types-and-effects in higher-order concurrent separation logic. Search on Bibsonomy POPL The full citation details ... 2017 DBLP  BibTeX  RDF
1Taro Sekiyama, Atsushi Igarashi Stateful manifest contracts. Search on Bibsonomy POPL The full citation details ... 2017 DBLP  BibTeX  RDF
1Robbert Krebbers, Amin Timany, Lars Birkedal Interactive proofs in higher-order concurrent separation logic. Search on Bibsonomy POPL The full citation details ... 2017 DBLP  BibTeX  RDF
1Chung-chieh Shan, Norman Ramsey Exact Bayesian inference by symbolic disintegration. Search on Bibsonomy POPL The full citation details ... 2017 DBLP  BibTeX  RDF
1Ziv Scully, Adam Chlipala A program optimization for automatic database result caching. Search on Bibsonomy POPL The full citation details ... 2017 DBLP  BibTeX  RDF
1Danfeng Zhang, Daniel Kifer LightDP: towards automating differential privacy proofs. Search on Bibsonomy POPL The full citation details ... 2017 DBLP  BibTeX  RDF
1Giuseppe Castagna, Andrew D. Gordon (eds.) Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017 Search on Bibsonomy POPL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Gagandeep Singh, Markus Püschel, Martin T. Vechev Fast polyhedra abstract domain. Search on Bibsonomy POPL The full citation details ... 2017 DBLP  BibTeX  RDF
1Khurram A. Jafery, Joshua Dunfield Sums of uncertainty: refinements go gradual. Search on Bibsonomy POPL The full citation details ... 2017 DBLP  BibTeX  RDF
1Jan Hoffmann 0002, Ankush Das, Shu-Chun Weng Towards automatic resource bound analysis for OCaml. Search on Bibsonomy POPL The full citation details ... 2017 DBLP  BibTeX  RDF
1Ravichandhran Madhavan, Sumith Kulal, Viktor Kuncak Contract-based resource verification for higher-order functions with memoization. Search on Bibsonomy POPL The full citation details ... 2017 DBLP  BibTeX  RDF
1Nada Amin, Tiark Rompf LMS-Verify: abstraction without regret for verified systems programming. Search on Bibsonomy POPL The full citation details ... 2017 DBLP  BibTeX  RDF
1John Wickerson, Mark Batty, Tyler Sorensen, George A. Constantinides Automatically comparing memory consistency models. Search on Bibsonomy POPL The full citation details ... 2017 DBLP  BibTeX  RDF
1Daan Leijen Type directed compilation of row-typed algebraic effects. Search on Bibsonomy POPL The full citation details ... 2017 DBLP  BibTeX  RDF
1Radu Grigore Java generics are turing complete. Search on Bibsonomy POPL The full citation details ... 2017 DBLP  BibTeX  RDF
1Danel Ahman, Catalin Hritcu, Kenji Maillard, Guido Martínez, Gordon D. Plotkin, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy Dijkstra monads for free. Search on Bibsonomy POPL The full citation details ... 2017 DBLP  BibTeX  RDF
1Stephanie Weirich The influence of dependent types (keynote). Search on Bibsonomy POPL The full citation details ... 2017 DBLP  BibTeX  RDF
1Qirun Zhang, Zhendong Su Context-sensitive data-dependence analysis via linear conjunctive language reachability. Search on Bibsonomy POPL The full citation details ... 2017 DBLP  BibTeX  RDF
1Michael M. Vitousek, Cameron Swords, Jeremy G. Siek Big types in little runtime: open-world soundness and collaborative blame for gradual type systems. Search on Bibsonomy POPL The full citation details ... 2017 DBLP  BibTeX  RDF
1Gabriel Scherer Deciding equivalence with sums and the empty type. Search on Bibsonomy POPL The full citation details ... 2017 DBLP  BibTeX  RDF
1Huisong Li, Francois Berenger, Bor-Yuh Evan Chang, Xavier Rival Semantic-directed clumping of disjunctive abstract states. Search on Bibsonomy POPL The full citation details ... 2017 DBLP  BibTeX  RDF
1Mingsheng Ying, Shenggang Ying, Xiaodi Wu Invariants of quantum programs: characterisations and generation. Search on Bibsonomy POPL The full citation details ... 2017 DBLP  BibTeX  RDF
1Akhilesh Srikanth, Burak Sahin, William R. Harris Complexity verification using guided theorem enumeration. Search on Bibsonomy POPL The full citation details ... 2017 DBLP  BibTeX  RDF
1Nada Amin, Tiark Rompf Type soundness proofs with definitional interpreters. Search on Bibsonomy POPL The full citation details ... 2017 DBLP  BibTeX  RDF
1Sam Lindley, Conor McBride, Craig McLaughlin Do be do be do. Search on Bibsonomy POPL The full citation details ... 2017 DBLP  BibTeX  RDF
1Matteo Cimini, Jeremy G. Siek Automatically generating the dynamic semantics of gradually typed languages. Search on Bibsonomy POPL The full citation details ... 2017 DBLP  BibTeX  RDF
1Ugo Dal Lago, Claudia Faggian, Benoît Valiron, Akira Yoshimizu The geometry of parallelism: classical, probabilistic, and quantum effects. Search on Bibsonomy POPL The full citation details ... 2017 DBLP  BibTeX  RDF
1Julien Lange, Nicholas Ng, Bernardo Toninho, Nobuko Yoshida Fencing off go: liveness and safety for channel-based programming. Search on Bibsonomy POPL The full citation details ... 2017 DBLP  BibTeX  RDF
1Cyrus Omar, Ian Voysey, Michael Hilton, Jonathan Aldrich, Matthew A. Hammer Hazelnut: a bidirectionally typed structure editor calculus. Search on Bibsonomy POPL The full citation details ... 2017 DBLP  BibTeX  RDF
1Naoki Kobayashi 0001, Étienne Lozes, Florian Bruse On the relationship between higher-order recursion schemes and higher-order fixpoint logic. Search on Bibsonomy POPL The full citation details ... 2017 DBLP  BibTeX  RDF
1Xinxin Liu, Tingting Yu, Wenhui Zhang Analyzing divergence in bisimulation semantics. Search on Bibsonomy POPL The full citation details ... 2017 DBLP  BibTeX  RDF
1Matt Brown, Jens Palsberg Typed self-evaluation via intensional type functions. Search on Bibsonomy POPL The full citation details ... 2017 DBLP  BibTeX  RDF
1Ananya Kumar, Guy E. Blelloch, Robert Harper 0001 Parallel functional arrays. Search on Bibsonomy POPL The full citation details ... 2017 DBLP  BibTeX  RDF
1Jade Alglave, Patrick Cousot Ogre and Pythia: an invariance proof method for weak consistency models. Search on Bibsonomy POPL The full citation details ... 2017 DBLP  BibTeX  RDF
1Shaked Flur, Susmit Sarkar, Christopher Pulte, Kyndylan Nienhuis, Luc Maranget, Kathryn E. Gray, Ali Sezgin, Mark Batty, Peter Sewell Mixed-size concurrency: ARM, POWER, C/C++11, and SC. Search on Bibsonomy POPL The full citation details ... 2017 DBLP  BibTeX  RDF
1Igor V. Konnov 0001, Marijana Lazic, Helmut Veith, Josef Widder A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithms. Search on Bibsonomy POPL The full citation details ... 2017 DBLP  BibTeX  RDF
1Kausik Subramanian, Loris D'Antoni, Aditya Akella Genesis: synthesizing forwarding tables in multi-tenant networks. Search on Bibsonomy POPL The full citation details ... 2017 DBLP  BibTeX  RDF
1Krishnendu Chatterjee, Petr Novotný 0001, Dorde Zikelic Stochastic invariants for probabilistic termination. Search on Bibsonomy POPL The full citation details ... 2017 DBLP  BibTeX  RDF
1Oleg Kiselyov, Aggelos Biboudis, Nick Palladinos, Yannis Smaragdakis Stream fusion, to completeness. Search on Bibsonomy POPL The full citation details ... 2017 DBLP  BibTeX  RDF
1Joshua Moerman, Matteo Sammartino, Alexandra Silva 0001, Bartek Klin, Michal Szynwelski Learning nominal automata. Search on Bibsonomy POPL The full citation details ... 2017 DBLP  BibTeX  RDF
1Nico Lehmann, Éric Tanter Gradual refinement types. Search on Bibsonomy POPL The full citation details ... 2017 DBLP  BibTeX  RDF
1Arthur Azevedo de Amorim, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata, Ikram Cherigui A semantic account of metric preservation. Search on Bibsonomy POPL The full citation details ... 2017 DBLP  BibTeX  RDF
1Ahmed Bouajjani, Constantin Enea, Rachid Guerraoui, Jad Hamza On verifying causal consistency. Search on Bibsonomy POPL The full citation details ... 2017 DBLP  BibTeX  RDF
1Leonidas Lampropoulos, Diane Gallois-Wong, Catalin Hritcu, John Hughes, Benjamin C. Pierce, Li-yao Xia Beginner's luck: a language for property-based generators. Search on Bibsonomy POPL The full citation details ... 2017 DBLP  BibTeX  RDF
1Paul Blain Levy Contextual isomorphisms. Search on Bibsonomy POPL The full citation details ... 2017 DBLP  BibTeX  RDF
1Somashekaracharya G. Bhaskaracharya, Uday Bondhugula, Albert Cohen 0001 SMO: an integrated approach to intra-array and inter-array storage optimization. Search on Bibsonomy POPL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ichiro Hasuo, Shunsuke Shimizu, Corina Cîrstea Lattice-theoretic progress measures and coalgebraic model checking. Search on Bibsonomy POPL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Kathryn S. McKinley Programming the world of uncertain things (keynote). Search on Bibsonomy POPL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Davide Sangiorgi, Valeria Vignudelli Environmental bisimulations for probabilistic higher-order languages. Search on Bibsonomy POPL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Hongfei Fu 0001, Petr Novotný 0001, Rouzbeh Hasheminezhad Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs. Search on Bibsonomy POPL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ronald Garcia, Alison M. Clark, Éric Tanter Abstracting gradual typing. Search on Bibsonomy POPL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Eric Koskinen, Junfeng Yang Reducing crash recoverability to reachability. Search on Bibsonomy POPL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Dominique Devriese, Marco Patrignani, Frank Piessens Fully-abstract compilation by approximate back-translation. Search on Bibsonomy POPL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1David Walker Confluences in programming languages research (keynote). Search on Bibsonomy POPL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Asumu Takikawa, Daniel Feltey, Ben Greenman, Max S. New, Jan Vitek, Matthias Felleisen Is sound gradual typing dead? Search on Bibsonomy POPL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jean Pichon-Pharabod, Peter Sewell A concurrency semantics for relaxed atomics that permits optimisation and avoids thin-air executions. Search on Bibsonomy POPL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Omer Katz, Ran El-Yaniv, Eran Yahav Estimating types in binaries using predictive modeling. Search on Bibsonomy POPL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Stéphane Gimenez, Georg Moser The complexity of interaction. Search on Bibsonomy POPL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Wenlei Bao, Sriram Krishnamoorthy, Louis-Noël Pouchet, Fabrice Rastello, P. Sadayappan PolyCheck: dynamic verification of iteration space transformations on affine programs. Search on Bibsonomy POPL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Edward Robbins, Andy King, Tom Schrijvers From MinX to MinC: semantics-driven decompilation of recursive datatypes. Search on Bibsonomy POPL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Thomas Gilray, Steven Lyde, Michael D. Adams 0001, Matthew Might, David Van Horn Pushdown control-flow analysis for free. Search on Bibsonomy POPL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Marc Andrysco, Ranjit Jhala, Sorin Lerner Printing floating-point numbers: a faster, always correct method. Search on Bibsonomy POPL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Hongjin Liang, Xinyu Feng A program logic for concurrent objects under fair scheduling. Search on Bibsonomy POPL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Michael Emmi, Constantin Enea Symbolic abstract data type inference. Search on Bibsonomy POPL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Cezara Dragoi, Thomas A. Henzinger, Damien Zufferey PSync: a partially synchronous language for fault-tolerant distributed algorithms. Search on Bibsonomy POPL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Damien Octeau, Somesh Jha, Matthew Dering, Patrick D. McDaniel, Alexandre Bartel, Li Li 0029, Jacques Klein, Yves Le Traon Combining static analysis with probabilistic models to enable market-scale Android inter-component analysis. Search on Bibsonomy POPL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Mark Batty, Alastair F. Donaldson, John Wickerson Overhauling SC atomics in C11 and OpenCL. Search on Bibsonomy POPL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Radu Grigore, Hongseok Yang Abstraction refinement guided by a learnt probabilistic model. Search on Bibsonomy POPL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Yufei Cai, Paolo G. Giarrusso, Klaus Ostermann System f-omega with equirecursive types for datatype-generic programming. Search on Bibsonomy POPL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Limin Jia, Hannah Gommerstadt, Frank Pfenning Monitors and blame assignment for higher-order session types. Search on Bibsonomy POPL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Niels Bjørn Bugge Grathwohl, Fritz Henglein, Ulrik Terp Rasmussen, Kristoffer Aalund Søholm, Sebastian Paaske Tørholm Kleenex: compiling nondeterministic transducers to deterministic streaming transducers. Search on Bibsonomy POPL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Alexey Gotsman, Hongseok Yang, Carla Ferreira 0001, Mahsa Najafzadeh, Marc Shapiro 0001 'Cause I'm strong enough: reasoning about consistency choices in distributed systems. Search on Bibsonomy POPL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Johannes Borgström, Andrew D. Gordon, Long Ouyang, Claudio V. Russo, Adam Scibior, Marcin Szymczak Fabular: regression formulas as probabilistic programming. Search on Bibsonomy POPL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Thorsten Altenkirch, Ambrus Kaposi Type theory in type theory using quotient inductive types. Search on Bibsonomy POPL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin Symbolic computation of differential equivalences. Search on Bibsonomy POPL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Mohsen Lesani, Christian J. Bell, Adam Chlipala Chapar: certified causally consistent distributed key-value stores. Search on Bibsonomy POPL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jeehoon Kang, Yoonseung Kim, Chung-Kil Hur, Derek Dreyer, Viktor Vafeiadis Lightweight verification of separate compilation. Search on Bibsonomy POPL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Koko Muroya, Naohiko Hoshino, Ichiro Hasuo Memoryful geometry of interaction II: recursion and adequacy. Search on Bibsonomy POPL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 1568 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license