|
|
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 | Ramana Kumar, Magnus O. Myreen, Michael Norrish, Scott Owens |
CakeML: a verified implementation of ML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, San Diego, CA, USA, January 20-21, 2014, pp. 179-192, 2014, ACM, 978-1-4503-2544-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Robbert Krebbers |
An operational and axiomatic semantics for non-determinism and sequence points in C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, San Diego, CA, USA, January 20-21, 2014, pp. 101-112, 2014, ACM, 978-1-4503-2544-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Beniamino Accattoli, Eduardo Bonelli, Delia Kesner, Carlos Lombardi |
A nonstandard standardization theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, San Diego, CA, USA, January 20-21, 2014, pp. 659-670, 2014, ACM, 978-1-4503-2544-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ilya Sergey, Dimitrios Vytiniotis, Simon L. Peyton Jones |
Modular, higher-order cardinality analysis in theory and practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, San Diego, CA, USA, January 20-21, 2014, pp. 335-348, 2014, ACM, 978-1-4503-2544-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Yi Li 0008, Aws Albarghouthi, Zachary Kincaid, Arie Gurfinkel, Marsha Chechik |
Symbolic optimization with SMT solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, San Diego, CA, USA, January 20-21, 2014, pp. 607-618, 2014, ACM, 978-1-4503-2544-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian Burckhardt, Alexey Gotsman, Hongseok Yang, Marek Zawirski |
Replicated data types: specification, verification, optimality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, San Diego, CA, USA, January 20-21, 2014, pp. 271-284, 2014, ACM, 978-1-4503-2544-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Richard A. Eisenberg, Dimitrios Vytiniotis, Simon L. Peyton Jones, Stephanie Weirich |
Closed type families with overlapping equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, San Diego, CA, USA, January 20-21, 2014, pp. 671-684, 2014, ACM, 978-1-4503-2544-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Cousot, Radhia Cousot |
A Galois connection calculus for abstract interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, San Diego, CA, USA, January 20-21, 2014, pp. 3-4, 2014, ACM, 978-1-4503-2544-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Zhe Hou, Ranald Clouston, Rajeev Goré, Alwen Tiu |
Proof search for propositional abstract separation logics via labelled sequents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, San Diego, CA, USA, January 20-21, 2014, pp. 465-476, 2014, ACM, 978-1-4503-2544-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Tewodros A. Beyene, Swarat Chaudhuri, Corneliu Popeea, Andrey Rybalchenko |
A constraint-based approach to solving games on infinite graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, San Diego, CA, USA, January 20-21, 2014, pp. 221-234, 2014, ACM, 978-1-4503-2544-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Miller 0001, Michael Hicks 0001, Jonathan Katz, Elaine Shi |
Authenticated data structures, generically. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, San Diego, CA, USA, January 20-21, 2014, pp. 411-424, 2014, ACM, 978-1-4503-2544-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Gérard P. Huet, Hugo Herbelin |
30 years of research and development around Coq. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, San Diego, CA, USA, January 20-21, 2014, pp. 249-250, 2014, ACM, 978-1-4503-2544-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | James Brotherston, Jules Villard |
Parametric completeness for separation theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, San Diego, CA, USA, January 20-21, 2014, pp. 453-464, 2014, ACM, 978-1-4503-2544-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Lindsey Kuper, Aaron Turon, Neelakantan R. Krishnaswami, Ryan R. Newton |
Freeze after writing: quasi-deterministic parallel programming with LVars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, San Diego, CA, USA, January 20-21, 2014, pp. 257-270, 2014, ACM, 978-1-4503-2544-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Ehrhard, Christine Tasson, Michele Pagani |
Probabilistic coherence spaces are fully abstract for probabilistic PCF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, San Diego, CA, USA, January 20-21, 2014, pp. 309-320, 2014, ACM, 978-1-4503-2544-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Martin Bodin, Arthur Charguéraud, Daniele Filaretti, Philippa Gardner, Sergio Maffeis, Daiva Naudziuniene, Alan Schmitt, Gareth Smith |
A trusted mechanised JavaScript specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, San Diego, CA, USA, January 20-21, 2014, pp. 87-100, 2014, ACM, 978-1-4503-2544-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Robert Atkey, Neil Ghani, Patricia Johann |
A relationally parametric model of dependent type theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, San Diego, CA, USA, January 20-21, 2014, pp. 503-516, 2014, ACM, 978-1-4503-2544-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Loris D'Antoni, Margus Veanes |
Minimization of symbolic automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, San Diego, CA, USA, January 20-21, 2014, pp. 541-554, 2014, ACM, 978-1-4503-2544-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Stefano Dissegna, Francesco Logozzo, Francesco Ranzato |
Tracing compilation by abstract interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, San Diego, CA, USA, January 20-21, 2014, pp. 47-60, 2014, ACM, 978-1-4503-2544-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Rahul Sharma 0001, Aditya V. Nori, Alex Aiken |
Bias-variance tradeoffs in program analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, San Diego, CA, USA, January 20-21, 2014, pp. 127-138, 2014, ACM, 978-1-4503-2544-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Giuseppe Castagna, Kim Nguyen 0001, Zhiwu Xu 0001, Hyeonseung Im, Sergueï Lenglet, Luca Padovani |
Polymorphic functions with set-theoretic types: part 1: syntax, semantics, and evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, San Diego, CA, USA, January 20-21, 2014, pp. 5-18, 2014, ACM, 978-1-4503-2544-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Stephen Chang 0001, Matthias Felleisen |
Profiling for laziness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, San Diego, CA, USA, January 20-21, 2014, pp. 349-360, 2014, ACM, 978-1-4503-2544-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Swarat Chaudhuri, Martin Clochard, Armando Solar-Lezama |
Bridging boolean and quantitative synthesis using smoothed proof search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, San Diego, CA, USA, January 20-21, 2014, pp. 207-220, 2014, ACM, 978-1-4503-2544-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Danfeng Zhang, Andrew C. Myers |
Toward general diagnosis of static errors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, San Diego, CA, USA, January 20-21, 2014, pp. 569-582, 2014, ACM, 978-1-4503-2544-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Suresh Jagannathan, Peter Sewell (eds.) |
The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, San Diego, CA, USA, January 20-21, 2014 ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![ACM, 978-1-4503-2544-8 The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Steven J. Ramsay, Robin P. Neatherway, C.-H. Luke Ong |
A type-directed abstraction refinement approach to higher-order model checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, San Diego, CA, USA, January 20-21, 2014, pp. 61-72, 2014, ACM, 978-1-4503-2544-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Vijay Victor D'Silva, Leopold Haller, Daniel Kroening |
Abstract satisfaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, San Diego, CA, USA, January 20-21, 2014, pp. 139-150, 2014, ACM, 978-1-4503-2544-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ahmed Bouajjani, Constantin Enea, Jad Hamza |
Verifying eventual consistency of optimistic replication systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, San Diego, CA, USA, January 20-21, 2014, pp. 285-296, 2014, ACM, 978-1-4503-2544-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Udi Boker, Thomas A. Henzinger, Arjun Radhakrishna |
Battery transition systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, San Diego, CA, USA, January 20-21, 2014, pp. 595-606, 2014, ACM, 978-1-4503-2544-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Devin Coughlin, Bor-Yuh Evan Chang |
Fissile type analysis: modular checking of almost everywhere invariants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, San Diego, CA, USA, January 20-21, 2014, pp. 73-86, 2014, ACM, 978-1-4503-2544-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Stephen Brookes, Peter W. O'Hearn, Uday S. Reddy |
The essence of Reynolds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, San Diego, CA, USA, January 20-21, 2014, pp. 251-256, 2014, ACM, 978-1-4503-2544-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Swarat Chaudhuri, Azadeh Farzan, Zachary Kincaid |
Consistency analysis of decision-making programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, San Diego, CA, USA, January 20-21, 2014, pp. 555-568, 2014, ACM, 978-1-4503-2544-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Robert Atkey |
From parametricity to conservation laws, via Noether's theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, San Diego, CA, USA, January 20-21, 2014, pp. 491-502, 2014, ACM, 978-1-4503-2544-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Nathan Chong, Alastair F. Donaldson, Jeroen Ketema |
A sound and complete abstraction for reasoning about parallel prefix sums. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, San Diego, CA, USA, January 20-21, 2014, pp. 397-410, 2014, ACM, 978-1-4503-2544-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Michele Pagani, Peter Selinger, Benoît Valiron |
Applying quantitative semantics to higher-order quantum computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, San Diego, CA, USA, January 20-21, 2014, pp. 647-658, 2014, ACM, 978-1-4503-2544-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Shachar Itzhaky, Anindya Banerjee 0001, Neil Immerman, Ori Lahav 0001, Aleksandar Nanevski, Mooly Sagiv |
Modular reasoning about heap paths via effectively propositional formulas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, San Diego, CA, USA, January 20-21, 2014, pp. 385-396, 2014, ACM, 978-1-4503-2544-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Andrew D. Gordon 0001, Thore Graepel, Nicolas Rolland, Claudio V. Russo, Johannes Borgström, John Guiver |
Tabular: a schema-driven probabilistic programming language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, San Diego, CA, USA, January 20-21, 2014, pp. 321-334, 2014, ACM, 978-1-4503-2544-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ugo Dal Lago, Davide Sangiorgi, Michele Alberti |
On coinductive equivalences for higher-order probabilistic functional programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, San Diego, CA, USA, January 20-21, 2014, pp. 297-308, 2014, ACM, 978-1-4503-2544-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Bertrand Jeannet, Peter Schrammel, Sriram Sankaranarayanan 0001 |
Abstract acceleration of general linear loops. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, San Diego, CA, USA, January 20-21, 2014, pp. 529-540, 2014, ACM, 978-1-4503-2544-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Azadeh Farzan, Zachary Kincaid, Andreas Podelski |
Proofs that count. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, San Diego, CA, USA, January 20-21, 2014, pp. 151-164, 2014, ACM, 978-1-4503-2544-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Cave, Francisco Ferreira 0001, Prakash Panangaden, Brigitte Pientka |
Fair reactive programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, San Diego, CA, USA, January 20-21, 2014, pp. 361-372, 2014, ACM, 978-1-4503-2544-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Barthe, Cédric Fournet, Benjamin Grégoire, Pierre-Yves Strub, Nikhil Swamy, Santiago Zanella Béguelin |
Probabilistic relational verification for cryptographic implementations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, San Diego, CA, USA, January 20-21, 2014, pp. 193-206, 2014, ACM, 978-1-4503-2544-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin Delaware, Bruno C. d. S. Oliveira, Tom Schrijvers |
Meta-theory à la carte. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Rome, Italy - January 23 - 25, 2013, pp. 207-218, 2013, ACM, 978-1-4503-1832-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ruy Ley-Wild, Aleksandar Nanevski |
Subjective auxiliary state for coarse-grained concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Rome, Italy - January 23 - 25, 2013, pp. 561-574, 2013, ACM, 978-1-4503-1832-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ali Sinan Köksal, Yewen Pu, Saurabh Srivastava 0001, Rastislav Bodík, Jasmin Fisher, Nir Piterman |
Synthesis of biological models from mutation experiments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Rome, Italy - January 23 - 25, 2013, pp. 469-482, 2013, ACM, 978-1-4503-1832-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Abel 0001, Brigitte Pientka, David Thibodeau 0001, Anton Setzer |
Copatterns: programming infinite structures by observations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Rome, Italy - January 23 - 25, 2013, pp. 27-38, 2013, ACM, 978-1-4503-1832-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Aaron Joseph Turon, Jacob Thamsborg, Amal Ahmed 0001, Lars Birkedal, Derek Dreyer |
Logical relations for fine-grained concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Rome, Italy - January 23 - 25, 2013, pp. 343-356, 2013, ACM, 978-1-4503-1832-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Aquinas Hobor, Jules Villard |
The ramifications of sharing in data structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Rome, Italy - January 23 - 25, 2013, pp. 523-536, 2013, ACM, 978-1-4503-1832-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Andrew C. Myers |
How languages can save distributed computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Rome, Italy - January 23 - 25, 2013, pp. 315-316, 2013, ACM, 978-1-4503-1832-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna |
Quantitative abstraction refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Rome, Italy - January 23 - 25, 2013, pp. 115-128, 2013, ACM, 978-1-4503-1832-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Mark Batty, Mike Dodds, Alexey Gotsman |
Library abstraction for C/C++ concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Rome, Italy - January 23 - 25, 2013, pp. 235-248, 2013, ACM, 978-1-4503-1832-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ganesan Ramalingam, Kapil Vaswani |
Fault tolerance via idempotence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Rome, Italy - January 23 - 25, 2013, pp. 249-262, 2013, ACM, 978-1-4503-1832-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ross Tate |
The sequential semantics of producer effect systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Rome, Italy - January 23 - 25, 2013, pp. 15-26, 2013, ACM, 978-1-4503-1832-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Amir M. Ben-Amram, Samir Genaim |
On the linear ranking problem for integer linear-constraint loops. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Rome, Italy - January 23 - 25, 2013, pp. 51-62, 2013, ACM, 978-1-4503-1832-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Azadeh Farzan, Zachary Kincaid, Andreas Podelski |
Inductive data flow graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Rome, Italy - January 23 - 25, 2013, pp. 129-142, 2013, ACM, 978-1-4503-1832-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Guy E. Blelloch, Robert Harper 0001 |
Cache and I/O efficent functional algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Rome, Italy - January 23 - 25, 2013, pp. 39-50, 2013, ACM, 978-1-4503-1832-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Tiark Rompf, Arvind K. Sujeeth, Nada Amin, Kevin J. Brown, Vojin Jovanovic, HyoukJoong Lee, Manohar Jonnalagedda, Kunle Olukotun, Martin Odersky |
Optimizing data structures in high-level programs: new directions for extensible compilers based on staging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Rome, Italy - January 23 - 25, 2013, pp. 497-510, 2013, ACM, 978-1-4503-1832-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Andrew D. Gordon 0001, Mihhail Aizatulin, Johannes Borgström, Guillaume Claret, Thore Graepel, Aditya V. Nori, Sriram K. Rajamani, Claudio V. Russo |
A model-learner pattern for bayesian reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Rome, Italy - January 23 - 25, 2013, pp. 403-416, 2013, ACM, 978-1-4503-1832-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Nishant Totla, Thomas Wies |
Complete instantiation-based interpolation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Rome, Italy - January 23 - 25, 2013, pp. 537-548, 2013, ACM, 978-1-4503-1832-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ugo Dal Lago, Barbara Petit |
The geometry of types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Rome, Italy - January 23 - 25, 2013, pp. 167-178, 2013, ACM, 978-1-4503-1832-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Earl T. Barr, Thanh Vo, Vu Le 0002, Zhendong Su 0001 |
Automatic detection of floating-point exceptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Rome, Italy - January 23 - 25, 2013, pp. 549-560, 2013, ACM, 978-1-4503-1832-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Dinsdale-Young, Lars Birkedal, Philippa Gardner, Matthew J. Parkinson, Hongseok Yang |
Views: compositional reasoning for concurrent programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Rome, Italy - January 23 - 25, 2013, pp. 287-300, 2013, ACM, 978-1-4503-1832-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Marco Gaboardi, Andreas Haeberlen, Justin Hsu, Arjun Narayan, Benjamin C. Pierce |
Linear dependent types for differential privacy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Rome, Italy - January 23 - 25, 2013, pp. 357-370, 2013, ACM, 978-1-4503-1832-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Michael D. Adams 0001 |
Principled parsing for indentation-sensitive languages: revisiting landin's offside rule. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Rome, Italy - January 23 - 25, 2013, pp. 511-522, 2013, ACM, 978-1-4503-1832-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Sam Staton, Paul Blain Levy |
Universal properties of impure programming languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Rome, Italy - January 23 - 25, 2013, pp. 179-192, 2013, ACM, 978-1-4503-1832-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Kohei Suenaga, Hiroyoshi Sekine, Ichiro Hasuo |
Hyperstream processing systems: nonstandard modeling of continuous-time signals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Rome, Italy - January 23 - 25, 2013, pp. 417-430, 2013, ACM, 978-1-4503-1832-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Georges Gonthier |
Engineering mathematics: the odd order theorem proof. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Rome, Italy - January 23 - 25, 2013, pp. 1-2, 2013, ACM, 978-1-4503-1832-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jonghyun Park, Jeongbong Seo, Sungwoo Park |
A theorem prover for Boolean BI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Rome, Italy - January 23 - 25, 2013, pp. 219-232, 2013, ACM, 978-1-4503-1832-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Véronique Benzaken, Giuseppe Castagna, Kim Nguyen 0001, Jérôme Siméon |
Static and dynamic semantics of NoSQL languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Rome, Italy - January 23 - 25, 2013, pp. 101-114, 2013, ACM, 978-1-4503-1832-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Giacobazzi, Radhia Cousot (eds.) |
The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Rome, Italy - January 23 - 25, 2013 ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![ACM, 978-1-4503-1832-7 The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Cédric Fournet, Nikhil Swamy, Juan Chen 0002, Pierre-Évariste Dagand, Pierre-Yves Strub, Benjamin Livshits |
Fully abstract compilation to JavaScript. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Rome, Italy - January 23 - 25, 2013, pp. 371-384, 2013, ACM, 978-1-4503-1832-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Richard Mayr, Lorenzo Clemente |
Advanced automata minimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Rome, Italy - January 23 - 25, 2013, pp. 63-74, 2013, ACM, 978-1-4503-1832-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Noah D. Goodman |
The principles and practice of probabilistic programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Rome, Italy - January 23 - 25, 2013, pp. 399-402, 2013, ACM, 978-1-4503-1832-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin Livshits, Stephen Chong |
Towards fully automatic placement of security sanitizers and declassifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Rome, Italy - January 23 - 25, 2013, pp. 385-398, 2013, ACM, 978-1-4503-1832-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ramakrishna Upadrasta, Albert Cohen 0001 |
Sub-polyhedral scheduling using (unit-)two-variable-per-inequality polyhedra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Rome, Italy - January 23 - 25, 2013, pp. 483-496, 2013, ACM, 978-1-4503-1832-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jonas Braband Jensen, Nick Benton, Andrew Kennedy |
High-level separation logic for low-level code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Rome, Italy - January 23 - 25, 2013, pp. 301-314, 2013, ACM, 978-1-4503-1832-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Hiroshi Unno 0001, Tachio Terauchi, Naoki Kobayashi 0001 |
Automating relatively complete verification of higher-order functional programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Rome, Italy - January 23 - 25, 2013, pp. 75-86, 2013, ACM, 978-1-4503-1832-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Matko Botincan, Domagoj Babic |
Sigma*: symbolic learning of input-output specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Rome, Italy - January 23 - 25, 2013, pp. 443-456, 2013, ACM, 978-1-4503-1832-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Thomas A. Henzinger, Christoph M. Kirsch, Hannes Payer, Ali Sezgin, Ana Sokolova |
Quantitative relaxation of concurrent data structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Rome, Italy - January 23 - 25, 2013, pp. 317-328, 2013, ACM, 978-1-4503-1832-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Marco Carbone, Fabrizio Montesi |
Deadlock-freedom-by-design: multiparty asynchronous global programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Rome, Italy - January 23 - 25, 2013, pp. 263-274, 2013, ACM, 978-1-4503-1832-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Alexis Goyet |
The Lambda Lambda-Bar calculus: a dual calculus for unconstrained strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Rome, Italy - January 23 - 25, 2013, pp. 155-166, 2013, ACM, 978-1-4503-1832-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Vijay Victor D'Silva, Leopold Haller, Daniel Kroening |
Abstract conflict driven learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Rome, Italy - January 23 - 25, 2013, pp. 143-154, 2013, ACM, 978-1-4503-1832-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Luís Caires, João Costa Seco |
The type discipline of behavioral separation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Rome, Italy - January 23 - 25, 2013, pp. 275-286, 2013, ACM, 978-1-4503-1832-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Filippo Bonchi, Damien Pous |
Checking NFA equivalence with bisimulations up to congruence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Rome, Italy - January 23 - 25, 2013, pp. 457-468, 2013, ACM, 978-1-4503-1832-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Robert Atkey, Patricia Johann, Andrew Kennedy |
Abstraction and invariance for algebraically indexed types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Rome, Italy - January 23 - 25, 2013, pp. 87-100, 2013, ACM, 978-1-4503-1832-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Steffen Lösch, Andrew M. Pitts |
Full abstraction for nominal Scott domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Rome, Italy - January 23 - 25, 2013, pp. 3-14, 2013, ACM, 978-1-4503-1832-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Chung-Kil Hur, Georg Neis, Derek Dreyer, Viktor Vafeiadis |
The power of parameterization in coinductive proof. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Rome, Italy - January 23 - 25, 2013, pp. 193-206, 2013, ACM, 978-1-4503-1832-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Delphine Demange, Vincent Laporte, Lei Zhao, Suresh Jagannathan, David Pichardie, Jan Vitek |
Plan B: a buffered memory model for Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Rome, Italy - January 23 - 25, 2013, pp. 329-342, 2013, ACM, 978-1-4503-1832-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Dimitrios Vytiniotis, Simon L. Peyton Jones, Koen Claessen, Dan Rosén |
HALO: haskell to logic through denotational semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Rome, Italy - January 23 - 25, 2013, pp. 431-442, 2013, ACM, 978-1-4503-1832-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Shriram Krishnamurthi |
From principles to programming languages (and back). ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Rome, Italy - January 23 - 25, 2013, pp. 233-234, 2013, ACM, 978-1-4503-1832-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Aseem Rastogi, Avik Chaudhuri, Basil Hosmer |
The ins and outs of gradual type inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2012, Philadelphia, Pennsylvania, USA, January 22-28, 2012, pp. 481-494, 2012, ACM, 978-1-4503-1083-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Andrew P. Black, Peter W. O'Hearn |
Presentation of the SIGPLAN distinguished achievement award to Sir Charles Antony Richard Hoare, FRS, FREng, FBCS; and interview. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2012, Philadelphia, Pennsylvania, USA, January 22-28, 2012, pp. 1-2, 2012, ACM, 978-1-4503-1083-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Cave, Brigitte Pientka |
Programming with binders and indexed data-types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2012, Philadelphia, Pennsylvania, USA, January 22-28, 2012, pp. 413-424, 2012, ACM, 978-1-4503-1083-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Uday S. Reddy, John C. Reynolds |
Syntactic control of interference for separation logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2012, Philadelphia, Pennsylvania, USA, January 22-28, 2012, pp. 323-336, 2012, ACM, 978-1-4503-1083-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Pierre-Yves Strub, Nikhil Swamy, Cédric Fournet, Juan Chen 0002 |
Self-certification: bootstrapping certified typecheckers in F* with Coq. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2012, Philadelphia, Pennsylvania, USA, January 22-28, 2012, pp. 571-584, 2012, ACM, 978-1-4503-1083-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Saurabh Joshi 0001, Shuvendu K. Lahiri, Akash Lal |
Underspecified harnesses and interleaved bugs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2012, Philadelphia, Pennsylvania, USA, January 22-28, 2012, pp. 19-30, 2012, ACM, 978-1-4503-1083-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Casey Klein, John Clements, Christos Dimoulas, Carl Eastlund, Matthias Felleisen, Matthew Flatt, Jay A. McCarthy, Jon Rafkind, Sam Tobin-Hochstadt, Robert Bruce Findler |
Run your research: on the effectiveness of lightweight mechanization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2012, Philadelphia, Pennsylvania, USA, January 22-28, 2012, pp. 285-296, 2012, ACM, 978-1-4503-1083-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Stephan van Staden, Cristiano Calcagno, Bertrand Meyer 0001 |
Freefinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2012, Philadelphia, Pennsylvania, USA, January 22-28, 2012, pp. 7-18, 2012, ACM, 978-1-4503-1083-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jean Yang 0001, Kuat Yessenov, Armando Solar-Lezama |
A language for automatically enforcing privacy policies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2012, Philadelphia, Pennsylvania, USA, January 22-28, 2012, pp. 85-96, 2012, ACM, 978-1-4503-1083-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Cousot, Radhia Cousot |
An abstract interpretation framework for termination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2012, Philadelphia, Pennsylvania, USA, January 22-28, 2012, pp. 245-258, 2012, ACM, 978-1-4503-1083-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
Displaying result #201 - #300 of 1568 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ >>] |
|