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