|
|
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 | Pierre-Louis Curien, Marcelo P. Fiore, Guillaume Munch-Maccagnoni |
A theory of effects and resources: adjunction models and polarised calculi. |
POPL |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Matt Brown, Jens Palsberg |
Breaking through the normalization barrier: a self-interpreter for f-omega. |
POPL |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Dominic A. Orchard, Nobuko Yoshida |
Effects as sessions, sessions as effects. |
POPL |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ori Lahav 0001, Nick Giannarakis, Viktor Vafeiadis |
Taming release-acquire consistency. |
POPL |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Matteo Cimini, Jeremy G. Siek |
The gradualizer: a methodology and algorithm for generating gradual type systems. |
POPL |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Gordon D. Plotkin, Nikolaj S. Bjørner, Nuno P. Lopes, Andrey Rybalchenko, George Varghese |
Scaling network verification using symmetry and surgery. |
POPL |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Xin Zhang 0035, Ravi Mangal, Aditya V. Nori, Mayur Naik |
Query-guided maximum satisfiability. |
POPL |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Rahman Lavaee |
The hardness of data packing. |
POPL |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Krishnendu Chatterjee, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, Andreas Pavlogiannis |
Algorithms for algebraic path properties in concurrent systems of constant treewidth components. |
POPL |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Rongxin Wu, Xiao Xiao 0003, Shing-Chi Cheung, Hongyu Zhang 0002, Charles Zhang 0001 |
Casper: an efficient approach to call trace collection. |
POPL |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Matthew Hague, Jonathan Kochems, C.-H. Luke Ong |
Unboundedness and downward closures of higher-order pushdown automata. |
POPL |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Shaked Flur, Kathryn E. Gray, Christopher Pulte, Susmit Sarkar, Ali Sezgin, Luc Maranget, Will Deacon, Peter Sewell |
Modelling the ARMv8 architecture, operationally: concurrency and ISA. |
POPL |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Richard M. Murray |
Synthesis of reactive controllers for hybrid systems (keynote). |
POPL |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Rishabh Singh, Sumit Gulwani |
Transforming spreadsheet data types using examples. |
POPL |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Matthew Flatt |
Binding as sets of scopes. |
POPL |
2016 |
DBLP DOI BibTeX RDF |
|
1 | James Brotherston, Nikos Gorogiannis, Max I. Kanovich, Reuben Rowe |
Model checking for symbolic-heap separation logic with inductive predicates. |
POPL |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Fan Long, Martin C. Rinard |
Automatic patch generation by learning correct code. |
POPL |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Aws Albarghouthi, Isil Dillig, Arie Gurfinkel |
Maximal specification synthesis. |
POPL |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Sheng Chen 0008, Martin Erwig |
Principal type inference for GADTs. |
POPL |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Nikhil Swamy, Catalin Hritcu, Chantal Keller, Aseem Rastogi, Antoine Delignat-Lavaud, Simon Forest, Karthikeyan Bhargavan, Cédric Fournet, Pierre-Yves Strub, Markulf Kohlweiss, Jean Karim Zinzindohoue, Santiago Zanella Béguelin |
Dependent types and multi-monadic effects in F. |
POPL |
2016 |
DBLP DOI BibTeX RDF |
|
1 | James Bornholt, Emina Torlak, Dan Grossman, Luis Ceze |
Optimizing synthesis with metasketches. |
POPL |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Anthony Widjaja Lin, Pablo Barceló |
String solving with word equations and transducers: towards a logic for analysing mutation XSS. |
POPL |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan Frankle, Peter-Michael Osera, David Walker 0001, Steve Zdancewic |
Example-directed synthesis: a type-theoretic interpretation. |
POPL |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Veselin Raychev, Pavol Bielik, Martin T. Vechev, Andreas Krause 0001 |
Learning programs from noisy data. |
POPL |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Pranav Garg 0001, Daniel Neider, P. Madhusudan, Dan Roth |
Learning invariants using decision trees and implication counterexamples. |
POPL |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Florian Lorenzen, Sebastian Erdweg |
Sound type-dependent syntactic language extension. |
POPL |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Rastislav Bodík, Rupak Majumdar (eds.) |
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016, St. Petersburg, FL, USA, January 20 - 22, 2016 |
POPL |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Oded Padon, Neil Immerman, Sharon Shoham, Aleksandr Karbyshev, Mooly Sagiv |
Decidability of inferring inductive invariants. |
POPL |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Thomas W. Reps, Emma Turetsky, Prathmesh Prabhu |
Newtonian program analysis via tensor product. |
POPL |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Akihiro Murase, Tachio Terauchi, Naoki Kobayashi 0001, Ryosuke Sato 0001, Hiroshi Unno 0001 |
Temporal verification of higher-order functional programs. |
POPL |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Luísa Lourenço, Luís Caires |
Dependent Information Flow Types. |
POPL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Aseem Rastogi, Nikhil Swamy, Cédric Fournet, Gavin M. Bierman, Panagiotis Vekris |
Safe & Efficient Gradual Typing for TypeScript. |
POPL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Karl Crary, Michael J. Sullivan |
A Calculus for Relaxed Memory. |
POPL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Hao Tang, Xiaoyin Wang, Lingming Zhang 0001, Bing Xie, Lu Zhang 0023, Hong Mei 0001 |
Summary-Based Context-Sensitive Data-Dependence Analysis in Presence of Callbacks. |
POPL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Andreas Pavlogiannis, Prateesh Goyal |
Faster Algorithms for Algebraic Path Properties in Recursive State Machines with Constant Treewidth. |
POPL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Davide Sangiorgi |
Equations, Contractions, and Unique Solutions. |
POPL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Margus Veanes, Todd Mytkowicz, David Molnar, Benjamin Livshits |
Data-Parallel String-Manipulating Programs. |
POPL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Giacobazzi, Francesco Logozzo, Francesco Ranzato |
Analyzing Program Analyses. |
POPL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Giuseppe Castagna, Kim Nguyen 0001, Zhiwu Xu 0001, Pietro Abate |
Polymorphic Functions with Set-Theoretic Types: Part 2: Local Type Inference and Type Reconstruction. |
POPL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Oded Padon, Neil Immerman, Aleksandr Karbyshev, Ori Lahav 0001, Mooly Sagiv, Sharon Shoham |
Decentralizing SDN Policies. |
POPL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ralf Jung 0002, David Swasey, Filip Sieczkowski, Kasper Svendsen, Aaron Turon, Lars Birkedal, Derek Dreyer |
Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning. |
POPL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Gordon Stewart 0001, Lennart Beringer, Santiago Cuellar, Andrew W. Appel |
Compositional CompCert. |
POPL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ronghui Gu, Jérémie Koenig, Tahina Ramananandro, Zhong Shao, Xiongnan (Newman) Wu, Shu-Chun Weng, Haozhong Zhang, Yu Guo |
Deep Specifications and Certified Abstraction Layers. |
POPL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Matt Brown, Jens Palsberg |
Self-Representation in Girard's System U. |
POPL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Peter Lee 0001 |
Coding by Everyone, Every Day. |
POPL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Osbert Bastani, Saswat Anand, Alex Aiken |
Specification Inference Using Context-Free Language Reachability. |
POPL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Luis María Ferrer Fioriti, Holger Hermanns |
Probabilistic Termination: Soundness, Completeness, and Compositionality. |
POPL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Adam Chlipala |
From Network Interface to Multithreaded Web Applications: A Case Study in Modular Program Verification. |
POPL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Minh Ngo, Fabio Massacci, Dimiter Milushev, Frank Piessens |
Runtime Enforcement of Security Policies on Black Box Reactive Programs. |
POPL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Mike Dodds, Andreas Haas, Christoph M. Kirsch |
A Scalable, Correct Time-Stamped Stack. |
POPL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Azadeh Farzan, Zachary Kincaid, Andreas Podelski |
Proof Spaces for Unbounded Parallelism. |
POPL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Pieter Agten, Bart Jacobs 0002, Frank Piessens |
Sound Modular Verification of C Code Executing in an Unverified Context. |
POPL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Krishnendu Chatterjee, Andreas Pavlogiannis, Yaron Velner |
Quantitative Interprocedural Analysis. |
POPL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Adam Chlipala |
Ur/Web: A Simple Model for Programming the Web. |
POPL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Kristina Sojakova |
Higher Inductive Types as Homotopy-Initial Algebras. |
POPL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Robert A. Cochran, Loris D'Antoni, Benjamin Livshits, David Molnar, Margus Veanes |
Program Boosting: Program Synthesis via Crowd-Sourcing. |
POPL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Neelakantan R. Krishnaswami, Cécilia Pradic, Nick Benton |
Integrating Linear and Dependent Types. |
POPL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Venmugil Elango, Fabrice Rastello, Louis-Noël Pouchet, J. Ramanujam, P. Sadayappan |
On Characterizing the Data Access Complexity of Programs. |
POPL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ahmed Bouajjani, Michael Emmi, Constantin Enea, Jad Hamza |
Tractable Refinement Checking for Concurrent Objects. |
POPL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Taro Sekiyama, Yuki Nishida 0001, Atsushi Igarashi |
Manifest Contracts for Datatypes. |
POPL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ralf Hinze, Nicolas Wu, Jeremy Gibbons |
Conjugate Hylomorphisms - Or: The Mother of All Structured Recursion Schemes. |
POPL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Filippo Bonchi, Pawel Sobocinski 0001, Fabio Zanasi |
Full Abstraction for Signal Flow Graphs. |
POPL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Hamid Ebadi, David Sands 0001, Gerardo Schneider |
Differential Privacy: Now it's Getting Personal. |
POPL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Sriram K. Rajamani, David Walker 0001 (eds.) |
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2015, Mumbai, India, January 15-17, 2015 |
POPL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Damien Pous |
Symbolic Algorithms for Language Equivalence and Kleene Algebra with Tests. |
POPL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Mila Dalla Preda, Roberto Giacobazzi, Arun Lakhotia, Isabella Mastroeni |
Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis of executables. |
POPL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Nate Foster, Dexter Kozen, Mae Milano, Alexandra Silva 0001, Laure Thompson |
A Coalgebraic Decision Procedure for NetKAT. |
POPL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Viktor Vafeiadis, Thibaut Balabonski, Soham Chakraborty 0001, Robin Morisset, Francesco Zappa Nardelli |
Common Compiler Optimisations are Invalid in the C11 Memory Model and what we can do about it. |
POPL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Paul-André Melliès, Noam Zeilberger |
Functors are Type Refinement Systems. |
POPL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jacques-Henri Jourdan, Vincent Laporte, Sandrine Blazy, Xavier Leroy, David Pichardie |
A Formally-Verified C Static Analyzer. |
POPL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ashutosh Gupta 0001, Thomas A. Henzinger, Arjun Radhakrishna, Roopsha Samanta, Thorsten Tarrach |
Succinct Representation of Concurrent Trace Sets. |
POPL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Barthe, Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu, Aaron Roth 0001, Pierre-Yves Strub |
Higher-Order Approximate Relational Refinement Types for Mechanism Design and Differential Privacy. |
POPL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Fei He 0001, Xiaowei Gao, Bow-Yaw Wang, Lijun Zhang 0001 |
Leveraging Weighted Automata in Compositional Reasoning about Concurrent Probabilistic Systems. |
POPL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Michael D. Adams 0001 |
Towards the Essence of Hygiene. |
POPL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Rajeev Alur, Loris D'Antoni, Mukund Raghothaman |
DReX: A Declarative Language for Efficiently Evaluating Regular String Transformations. |
POPL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ronald Garcia, Matteo Cimini |
Principal Type Schemes for Gradual Programs. |
POPL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Peter Buneman |
Databases and Programming: Two Subjects Divided by a Common Language? |
POPL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Veselin Raychev, Martin T. Vechev, Andreas Krause 0001 |
Predicting Program Properties from "Big Code". |
POPL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Sam Staton |
Algebraic Effects, Linearity, and Quantum Programming Languages. |
POPL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Sumit Gulwani |
Automating Repetitive Tasks for the Masses. |
POPL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Denis Bogdanas, Grigore Rosu |
K-Java: A Complete Semantics of Java. |
POPL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin Delaware, Clément Pit-Claudel, Jason Gross, Adam Chlipala |
Fiat: Deductive Synthesis of Abstract Data Types in a Proof Assistant. |
POPL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Michael Greenberg 0002 |
Space-Efficient Manifest Contracts. |
POPL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Vilhelm Sjöberg, Stephanie Weirich |
Programming up to Congruence. |
POPL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Julien Lange, Emilio Tuosto, Nobuko Yoshida |
From Communicating Machines to Graphical Choreographies. |
POPL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Kazunori Tobisawa |
A Meta Lambda Calculus with Cross-Level Computation. |
POPL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Chris Casinghino, Vilhelm Sjöberg, Stephanie Weirich |
Combining proofs and programs in a dependently typed language. |
POPL |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Sheng Chen 0008, Martin Erwig |
Counter-factual typing for debugging type errors. |
POPL |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Nick Benton, Martin Hofmann 0001, Vivek Nigam |
Abstract effects and proof-relevant logical relations. |
POPL |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Arthur Azevedo de Amorim, Nathan Collins, André DeHon, Delphine Demange, Catalin Hritcu, David Pichardie, Benjamin C. Pierce, Randy Pollack, Andrew Tolmach |
A verified information-flow architecture. |
POPL |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Fan Long, Stelios Sidiroglou-Douskos, Deokhwan Kim, Martin C. Rinard |
Sound input filter generation for integer overflow errors. |
POPL |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Parosh Aziz Abdulla, Stavros Aronis, Bengt Jonsson 0001, Konstantinos Sagonas |
Optimal dynamic partial order reduction. |
POPL |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Carolyn Jane Anderson, Nate Foster, Arjun Guha, Jean-Baptiste Jeannin, Dexter Kozen, Cole Schlesinger, David Walker 0001 |
NetkAT: semantic foundations for networks. |
POPL |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Nikhil Swamy, Cédric Fournet, Aseem Rastogi, Karthikeyan Bhargavan, Juan Chen 0002, Pierre-Yves Strub, Gavin M. Bierman |
Gradual typing embedded securely in JavaScript. |
POPL |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Andrzej S. Murawski, Nikos Tzevelekos |
Game semantics for interface middleweight Java. |
POPL |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Eva Darulova, Viktor Kuncak |
Sound compilation of reals. |
POPL |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Scott Kilpatrick, Derek Dreyer, Simon L. Peyton Jones, Simon Marlow |
Backpack: retrofitting Haskell with interfaces. |
POPL |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Shin-ya Katsumata |
Parametric effect monads and semantics of effect systems. |
POPL |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Wonyeol Lee 0001, Sungwoo Park |
A proof system for separation logic with magic wand. |
POPL |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Lars Birkedal |
Modular reasoning about concurrent higher-order imperative programs. |
POPL |
2014 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #200 of 1568 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|