Items where division is "Faculties > Sciences > School of Computing > Programming Languages and Systems Group"
Number of items at this level: 365. A
|
Alglave, Jade and Batty, Mark and Donaldson, Alastair F. and Gopalakrishnan, Ganesh and Ketema, Jeroen and Poetzl, Daniel and Sorensen, Tyler and Wickerson, John
(2015)
GPU Concurrency: Weak Behaviours and Programming Assumptions.
In: Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, 14-18 Mar 2015, Istanbul, Turkey.
(doi:https://doi.org/10.1145/2694344.2694391)
(Full text available)
|
![[img]](http://kar.kent.ac.uk/50272/1.hassmallThumbnailVersion/gpuconcurrency.pdf)  Preview |
|
B
|
Batty, Mark and Owens, Scott and Sarkar, Susmit and Sewell, Peter and Weber, Tjark
(2011)
Mathematizing C++ Concurrency.
In: POPL '11: 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, January 26th - 28th 2011, Austin, USA.
(doi:https://doi.org/10.1145/1926385.1926394)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Batty, Mark and Owens, Scott and Sarkar, Susmit and Sewell, Peter and Weber, Tjark
(2010)
Mathematizing C++ Concurrency: The Post-Rapperswil Model.
Technical report.
ISO IEC JTC1/SC22/WG21
N3132.
(doi:N3132)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Batty, Mark and Donaldson, Alastair and Wickerson, John
(2016)
Overhauling SC atomics in C11 and OpenCL.
In: Symposium on Principles of Programming Languages 2016, 20 - 22 Jan 2016, St. Petersburg, Florida, USA.
(In press)
(Full text available)
|
![[img]](http://kar.kent.ac.uk/51385/1.hassmallThumbnailVersion/openclmm.pdf)  Preview |
|
|
Biallas, Sebastian and Brauer, Jorg and King, Andy and Kowalewski, Stefan
(2012)
Loop Leaping with Closures.
In: Min'e, Antoine and Schmidt, David A., eds.
Static Analysis Symposium.
Lecture Notes in Computer Science, 7460
.
Springer, pp. 214-230.
ISBN 978-3-642-33124-4.
(Full text available)
|
![[img]](http://kar.kent.ac.uk/30791/1.hassmallThumbnailVersion/main.pdf)  Preview |
|
|
Blackburn, Stephen M and Diwan, Amer and Hauswirth, Mattias and Sweeney, Peter F and Amaral, Jose Nelson and Brecht, Tim and Bulej, Lubomr and Click, Cliff and Eeckhout, Lieven and Fischmeister, Sebastian and Frampton, Daniel and Hendren, Laurie J and Hind, Michael and Hosking, Antony L and Jones, Richard E. and Kalibera, Tomas and Keynes, Nathan and Nystrom, Nathaniel and Zeller, Andreas
(2016)
The Truth, the Whole Truth, and Nothing but the Truth: A Pragmatic Guide to Assessing Empirical Evaluations.
Transactions on Programming Languages and Systems (TOPLAS),
38
(4).
ISSN 0164-0925.
E-ISSN 1558-4593.
(doi:https://doi.org/10.1145/2983574)
(Full text available)
|
![[img]](http://kar.kent.ac.uk/55171/1.hassmallThumbnailVersion/Blackburn%2B2016TOPLAS.pdf)  Preview |
|
|
Blanchette, Jasmin Christian and Weber, Tjark and Batty, Mark and Owens, Scott and Sarkar, Susmit
(2011)
Nitpicking C++ Concurrency.
In: PPDP '11: Proceedings of the 13th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming.
(doi:https://doi.org/10.1145/2003476.2003493)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Blanchette, Jasmin Christian and Weber, Tjark and Batty, Mark and Owens, Scott and Sarkar, Susmit
(2011)
Nitpicking C++ concurrency.
In: Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 20-22 Jul 2011, Odense, Denmark.
(doi:https://doi.org/10.1145/2003476.2003493)
(Full text available)
|
![[img]](http://kar.kent.ac.uk/50260/1.hassmallThumbnailVersion/nitpick-ppdp11.pdf)  Preview |
|
|
Bocchi, Laura and Mahmud, Hoger and Rebay-Salisbury, Katharina and Tuosto, Emilio
(2013)
Virtual models for archaeology.
Archeologia e Calcolatori,
24
(1).
pp. 305-324.
ISSN 1120-6861.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Bocchi, Laura and Laneve, Cosimo and Zavattaro, Gianluigi
(2003)
A Calculus for Long-Running Transactions.
In:
Formal Methods for Open Object-Based Distributed Systems.
Lecture Notes in Computer Science, 2884.
Springer
pp. 124-138.
ISBN 9783540204916.
E-ISBN 9783540399582.
(doi:https://doi.org/10.1007/978-3-540-39958-2_9)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Boiten, Eerke Albert and Grundy, Dan
(2010)
The Logic of Large Enough.
In: MPC 2010: Mathematics of Program Construction.
(Full text available)
|
![[img]](http://kar.kent.ac.uk/30665/1.hassmallThumbnailVersion/mpc10v3.pdf)  Preview |
|
|
Boudeville, Olivier and Cesarini, Francesco and Chechina, Natalia and Lundin, Kenneth and Papaspyrou, Nikolaos and Sagonas, Konstantinos and Thompson, Simon and Trinder, Phil and Wiger, Ulf
(2013)
RELEASE: A High-level Paradigm for Reliable Large-scale Server Software.
Trends in Functional Programming,
7829
.
pp. 263-278.
ISSN 0302-9743.
(doi:https://doi.org/10.1007/978-3-642-40447-4_17)
(Full text available)
|
![[img]](http://kar.kent.ac.uk/42314/1.hassmallThumbnailVersion/release-tfp12.pdf)  Preview |
|
|
Brauer, Jorg and King, Andy and Kowalewski, Stefan
(2010)
Range Analysis of Microcontroller Code Using Bit-Level Congruences: 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings.
In: Kowalewski, Stefan and Roveri, Marco, eds.
Formal Methods for Industrial Critical Systems.
Lecture Notes in Computer Science, 6371
.
Springer, pp. 82-98.
ISBN 9783642158971.
(doi:https://doi.org/10.1007/978-3-642-15898-8_6)
(Full text available)
|
![[img]](http://kar.kent.ac.uk/37590/1.hassmallThumbnailVersion/content.pdf)  Preview |
|
|
Brauer, Jorg and King, Andy and Kriener, Jael
(2011)
Existential Quantification as Incremental SAT.
In: Twenty Third International Conference on Computer Aided Verification.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Brauer, Jorg and King, Andy and Kriener, Jael
(2011)
Existential Quantification as Incremental SAT: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings.
In: Gopalakrishnan, Ganesh and Qadeer, Shaz, eds.
Computer Aided Verification.
Lecture Notes in Computer Science, 6806
.
Springer, pp. 191-207.
ISBN 9783642221095.
(doi:https://doi.org/10.1007/978-3-642-22110-1_17)
(Full text available)
|
![[img]](http://kar.kent.ac.uk/37589/1.hassmallThumbnailVersion/content.pdf)  Preview |
|
|
Brown, Neil C.C.
(2004)
C++CSP Networked.
In: Communicating Process Architectures 2004.
(Full text available)
|
![[img]](http://kar.kent.ac.uk/33863/1.hassmallThumbnailVersion/C%2B%2BCSP-Networked.pdf)  Preview |
|
|
Brown, Neil C.C.
(2010)
Conjoined Events.
In: Advances in Message Passing 2010, June 6th, 2010, Toronto, Canada.
(Full text available)
|
![[img]](http://kar.kent.ac.uk/33878/1.hassmallThumbnailVersion/Conjoined.pdf)  Preview |
|
C
|
Cesarini, Francesco and Thompson, Simon
(2011)
Erlang by Example.
UNSPECIFIED.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Charles, Philip and King, Andy and Howe, Jacob M.
(2009)
Integer Polyhedra for Program Analysis: 5th International Conference, AAIM 2009, San Francisco, CA, USA, June 15-17, 2009. Proceedings.
In: Goldberg, Andrew and Zhou, Yunhong, eds.
Algorithmic Aspects in Information and Management,.
Lecture Notes in Computer Science, 5564
.
Springer, pp. 85-99.
ISBN 9783642021572.
(doi:https://doi.org/10.1007/978-3-642-02158-9_9)
(Full text available)
|
![[img]](http://kar.kent.ac.uk/37592/1.hassmallThumbnailVersion/content.pdf)  Preview |
|
|
Chawdhary, Aziem and Robbins, Ed and King, Andy
(2014)
Simple and Efficient Algorithms for Octagons.
In: Garrigue, Jacques, ed.
Twelfth Asian Symposium on Programming Languages and Systems.
Lecture Notes in Computer Science, 8858
.
Springer, pp. 296-313.
ISBN 9783319127354.
E-ISBN 9783319127361.
(doi:https://doi.org/10.1007/978-3-319-12736-1_16)
(Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
|
|
|
Cheng, Yufeng and Wang, Meng and Xiong, Yingfei and Hao, Dan and Zhang, Lu
(2016)
Empirical Evaluation of Test Coverage for Functional Programs.
In: IEEE International Conference on Software Testing, Verification and Validation, 10-15, April, 2016, Chicago, USA.
(In press)
(Full text available)
|
![[img]](http://kar.kent.ac.uk/53690/1.hassmallThumbnailVersion/ICST16.pdf)  Preview |
|
D
|
Derrick, John and Boiten, Eerke Albert
(2016)
Relational Concurrent Refinement - partial and total frameworks.
In: Petre, Luigia and Sekerinski, Emil, eds.
From Action Systems to Distributed Systems: The Refinement Approach.
Taylor and Francis, Florida, USA, pp. 143-154.
ISBN 9781498701587.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Derrick, John and Walkinshaw, Neil and Arts, Thomas and Benac Earle, Clara and Cesarini, Francesco and Fredlund, Lars-Ake and Gulias, Victor and Hughes, John and Thompson, Simon
(2010)
Property-Based Testing - The ProTest Project.
In:
Formal Methods for Components and Objects.
Lecture Notes in Computer Science, 6286
.
Springer, pp. 250-271.
ISBN 9783642170706.
E-ISBN 9783642170713.
(doi:https://doi.org/10.1007/978-3-642-17071-3_13)
(Full text available)
|
![[img]](http://kar.kent.ac.uk/42313/1.hassmallThumbnailVersion/FMCO2.pdf)  Preview |
|
|
Drienyovszky, Daniel and Horpacsi, Daniel and Thompson, Simon
(2010)
QuickChecking Refactoring Tools.
In: Erlang�10: Proceedings of the 2010 ACM SIGPLAN Erlang Workshop.
(Full text available)
|
![[img]](http://kar.kent.ac.uk/30636/1.hassmallThumbnailVersion/content.pdf)  Preview |
|
|
Duan, Jianjun and Hurd, Joe and Li, Guodong and Owens, Scott and Slind, Konrad and Zhang, Junxing
(2005)
Functional Correctness Proofs of Encryption Algorithms.
In: Logic for Programming, Artificial Intelligence, and Reasoning: 12th International Conference, LPAR 2005.
(doi:https://doi.org/10.1007/11591191_36)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
F
|
Fiadeiro, José Luiz and Lopes, Antónia and Bocchi, Laura
(2006)
A Formal Approach to Service Component Architecture.
In:
Web Services and Formal Methods.
Lecture Notes in Computer Science, 4184.
Springer
pp. 193-213.
ISBN 9783540388623.
E-ISBN 9783540388654.
(doi:https://doi.org/10.1007/11841197_13)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
G
|
Genaim, Samir and King, Andy
(2003)
Goal-Independent Suspension Analysis for Logic Programs with Dynamic Scheduling: 12th European Symposium on Programming, ESOP 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings.
In: Degano, Pierpaolo, ed.
European Symposium on Programming.
Lecture Notes in Computer Science
.
Springer, pp. 84-98.
ISBN 9783540008866.
(doi:https://doi.org/10.1007/3-540-36575-3_7)
(Full text available)
|
![[img]](http://kar.kent.ac.uk/37612/1.hassmallThumbnailVersion/content.pdf)  Preview |
|
|
Gerdes, Alex and Hughes, John and Smallbone, Nick and Wang, Meng
(2015)
Linking Unit Tests and Properties.
In: Fourteenth ACM SIGPLAN Erlang Workshop, 31 Aug - 02 Sep 2015, Vancouver, British Columbia, Canada.
(In press)
(Full text available)
|
![[img]](http://kar.kent.ac.uk/50096/1.hassmallThumbnailVersion/icfpws15erlangmain-erlangmainid5-p-29951-5c323f8-24433-submitted.pdf)  Preview |
|
|
Grigore, Radu and Tzevelekos, Nikos
(2016)
History-Register Automata.
Logical Methods in Computer Science,
12
(1).
pp. 1-32.
ISSN 1860-5974.
(Full text available)
|
![[img]](http://kar.kent.ac.uk/54558/1.hassmallThumbnailVersion/1209.0680v3.pdf)  Preview |
|
H
|
Heaton, Andrew and Hill, Pat and King, Andy
(2000)
Abstract Domains for Universal and Existential Properties:9th European Symposium on Programming, ESOP 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings.
In: Smolka, Gert, ed.
Programming Languages and Systems.
Lecture Notes in Computer Science, 1782
.
Springer, pp. 150-164.
ISBN 9783540672623.
(doi:https://doi.org/10.1007/3-540-46425-5_10)
(Full text available)
|
![[img]](http://kar.kent.ac.uk/37619/1.hassmallThumbnailVersion/content.pdf)  Preview |
|
|
Hellyer, Laurence and Jones, Richard E. and Hosking, Antony L.
(2010)
The Locality of Concurrent Write Barriers (extended version).
Technical report.
, University of Kent, Canterbury, Kent CT2 7NF, UK
3-10.
(doi:3-10)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Howe, Jacob M. and King, Andy
(2000)
Implementing Groundness Analysis with Definite Boolean Functions: 9th European Symposium on Programming, ESOP 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings.
In: Smolka, Gert, ed.
European Symposium on Programming.
Lecture Notes in Computer Science, 1782
.
Springer, pp. 200-214.
ISBN 9783540672623.
(doi:https://doi.org/10.1007/3-540-46425-5_13)
(Full text available)
|
![[img]](http://kar.kent.ac.uk/37620/3.hassmallThumbnailVersion/content.pdf)  Preview |
|
|
Howe, Jacob M. and King, Andy
(2009)
Logahedra: a New Weakly Relational Domain: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings.
In: Zhiming, Lu and Anders, Ravn, eds.
Automated Technology for Verification and Analysis.
Lecture Notes in Computer Science, 5799
.
Springer, pp. 306-320.
ISBN 9783642047602.
(doi:https://doi.org/10.1007/978-3-642-04761-9_23)
(Full text available)
|
![[img]](http://kar.kent.ac.uk/37591/1.hassmallThumbnailVersion/content.pdf)  Preview |
|
|
Howe, Jacob M. and King, Andy
(2010)
A Pearl on SAT Solving in Prolog.
In: Blume, Matthias and Vidal, German, eds.
Functional and Logic Programming.
Lecture Notes in Computer Science
.
Springer-Verlag, pp. 182-196.
ISBN 978-3-642-12250-7.
(Full text available)
|
![[img]](http://kar.kent.ac.uk/30674/1.hassmallThumbnailVersion/flops.pdf)  Preview |
|
|
Howe, Jacob M. and King, Andy
(2012)
Polyhedral Analysis using Parametric Objectives.
In: Min'e, Antoine and Schmidt, David A., eds.
Static Analysis Symposium.
Lecture Notes in Computer Science, 7460
.
Springer, pp. 41-57.
ISBN 978-3-642-33124-4.
(Full text available)
|
![[img]](http://kar.kent.ac.uk/30793/1.hassmallThumbnailVersion/main.pdf)  Preview |
|
|
Howe, Jacob M. and Robbins, Ed and King, Andy
(2017)
Theory Learning with Symmetry Breaking.
In: Pientka, Brigitte, ed.
International Symposium on Principles and Practice of Declarative Programming.
ACM, Namur, Belgium.
(In press)
(Full text available)
|
![[img]](http://kar.kent.ac.uk/62377/1.hassmallThumbnailVersion/theory.pdf)  Preview |
|
J
|
Jones, William and Chawdhary, Aziem and King, Andy
(2015)
Revisiting Volgenant-Jonker for Approximating Graph Edit Distance.
In: Liu, Cheng-Lin and Luo, B. and Kropatsch, W.G. and Cheng, J., eds.
Graph-based Representations in Pattern Recognition.
Lecture Notes in Computer Science, 9069
.
Springer, pp. 98-107.
ISBN 978-3-319-18223-0.
E-ISBN 978-3-319-18224-7.
(doi:https://doi.org/10.1007/978-3-319-18224-7)
(Full text available)
|
![[img]](http://kar.kent.ac.uk/47818/1.hassmallThumbnailVersion/main.pdf)  Preview |
|
K
|
Kalibera, Tomas and Hagelberg, Jeff and Maj, Petr and Pizlo, Filip and Titzer, Ben and Vitek, Jan
(2011)
A family of real-time Java benchmarks.
Concurrency and Computation: Practice and Experience,
23
(14).
pp. 182-196.
(doi:https://doi.org/10.1002/cpe.1677)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Kalibera, Tomas and Mole, Matthew and Jones, Richard E. and Vitek, Jan
(2012)
A Black-box Approach to Understanding Concurrency in DaCapo.
In: Proceedings of the ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA).
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Kettle, Neil and King, Andy and Strzemecki, Tadeusz
(2006)
Widening ROBDDs with Prime Implicants: 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings.
In: Hermanns, Holger and Palsberg, Jens, eds.
Tools and Algorithms for the Construction and Analysis of Systems.
Lecture Notes in Computer Science, 3920
.
Springer, pp. 105-119.
ISBN 9783540330561.
(doi:https://doi.org/10.1007/11691372_7)
(Full text available)
|
![[img]](http://kar.kent.ac.uk/37603/1.hassmallThumbnailVersion/content.pdf)  Preview |
|
|
King, Andy
(1994)
High Precision Sharing Analysis.
Journal of Programming Languages,
2
(1).
pp. 149-191.
ISSN 0963-9306.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
King, Andy and Lu, Lunjin
(2003)
Forward versus Backward Verification of Logic Programs: 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003. Proceedings.
In: Palamidessi, Catuscia, ed.
Logic Programming.
Lecture Notes in Computer Science, 2916
.
Springer, pp. 315-330.
ISBN 9783540206422.
(doi:https://doi.org/10.1007/978-3-540-24599-5_22)
(Full text available)
|
![[img]](http://kar.kent.ac.uk/37611/1.hassmallThumbnailVersion/content.pdf)  Preview |
|
|
King, Andy and Lu, Lunjin and Genaim, Samir
(2006)
Detecting Determinacy in Prolog Programs: 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings.
In: Etalle, Sandro and Truszczynski, Mirek, eds.
Logic Programming.
Lecture Notes in Computer Science, 4079
.
Springer, pp. 132-147.
ISBN 9783540366355.
(doi:https://doi.org/10.1007/11799573_12)
(Full text available)
|
![[img]](http://kar.kent.ac.uk/37598/1.hassmallThumbnailVersion/content.pdf)  Preview |
|
|
King, Andy and Smaus, Jan-Georg and Hill, Pat
(1999)
Quotienting Share for Dependency Analysis: 8th European Symposium on Programming, ESOP’99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS’99 Amsterdam, The Netherlands, March 22–28, 1999 Proceedings.
In: Swierstra, Doaitse, ed.
Programming Languages and Systems.
Lecture Notes in Computer Science, 1576
.
Springer, pp. 59-73.
ISBN 9783540656999.
(doi:https://doi.org/10.1007/3-540-49099-X_5)
(Full text available)
|
![[img]](http://kar.kent.ac.uk/37618/1.hassmallThumbnailVersion/content.pdf)  Preview |
|
|
King, Andy and Sondergaard, Harald
(2010)
Automatic Abstraction for Congruences.
In: Barthe, Gilles and Hermenegildo, Manuel V., eds.
Verification, Model Checking, and Abstract Interpretation.
Lecture Notes in Computer Science
(5944).
Springer-Verlag, pp. 182-196.
ISBN 978-3-642-11318-5.
(Full text available)
|
![[img]](http://kar.kent.ac.uk/30704/1.hassmallThumbnailVersion/vmcai.pdf)  Preview |
|
|
King, Andy and Sondergaard, Harald
(2008)
Inferring Congruence Equations using SAT: 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings.
In: Gupta, Aarti and Malik, Sharad, eds.
Computer-Aided Verification.
Lecture Notes in Computer Science, 5123
.
Springer, pp. 281-293.
ISBN 9783540705437.
(doi:https://doi.org/10.1007/978-3-540-70545-1_26)
(Full text available)
|
![[img]](http://kar.kent.ac.uk/37593/1.hassmallThumbnailVersion/content.pdf)  Preview |
|
|
Kriener, Jael and King, Andy
(2012)
Mutual Exclusion by Interpolation.
In: Eleventh International Symposium on Functional and Logic Programming.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Kriener, Jael and King, Andy
(2012)
Mutual Exclusion by Interpolation: 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012, Proceedings.
In: Schrijvers, Tom and Thiemann, Peter, eds.
Functional and Logic Programming.
Lecture Notes in Computer Science, 7294
.
Springer, pp. 182-196.
ISBN 9783642298219.
(doi:https://doi.org/10.1007/978-3-642-29822-6_16)
(Full text available)
|
![[img]](http://kar.kent.ac.uk/37588/1.hassmallThumbnailVersion/content.pdf)  Preview |
|
|
Kriener, Jael and King, Andy
(2014)
Semantics for Prolog with Cut – Revisited.
In: Sumii, Eijiro and Codish, Michael, eds.
Functional and Logic Programming.
Lecture Notes in Computer Science, 8475
.
Springer Verlag, pp. 270-284.
ISBN 9783319071510.
(Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
|
|
|
Kumar, Ramana and Myreen, Magnus O. and Norrish, Michael and Owens, Scott
(2014)
CakeML: A Verified Implementation of ML.
In: 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, January 22-24, 2014, San Diego, California, USA.
(doi:https://doi.org/10.1145/2535838.2535841)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
L
|
Li, Xuan and King, Andy and Lu, Lunjin
(2006)
Collapsing Closures: 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings.
In: Etalle, Sandro and Truszczynski, Mirek, eds.
Logic Programming.
Lecture Notes in Computer Science, 4079
.
Springer, pp. 148-162.
ISBN 9783540366355.
(doi:https://doi.org/10.1007/11799573_13)
(Full text available)
|
![[img]](http://kar.kent.ac.uk/37601/1.hassmallThumbnailVersion/content.pdf)  Preview |
|
|
Li, Xuan and King, Andy and Lu, Lunjin
(2006)
Lazy Set-Sharing Analysis: 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006. Proceedings.
In: Wadler, Philip and Hagiya, Masimi, eds.
Functional and Logic Programming.
Lecture Notes in Computer Science, 3945
.
Springer, pp. 177-191.
ISBN 9783540334385.
(doi:https://doi.org/10.1007/11737414_13)
(Full text available)
|
![[img]](http://kar.kent.ac.uk/37602/1.hassmallThumbnailVersion/content.pdf)  Preview |
|
|
Little, Christopher and Gray, Kathryn E. and Owens, Scott
(2015)
JSTyper: Type inference fo JavaScript.
In: Implementation and application of functional programming languages, 14-16 September, 2015, Koblenz, Germany.
(Unpublished)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Lu, Lunjin and King, Andy
(2004)
Backward Pair Sharing Analysis: 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004. Proceedings.
In: Kameyama, Yukiyoshi and Stuckey, Peter, eds.
Functional and Logic Programming.
Lecture Notes in Computer Science
.
Springer, pp. 132-146.
ISBN 9783540214021.
(doi:https://doi.org/10.1007/978-3-540-24754-8_11)
(Full text available)
|
![[img]](http://kar.kent.ac.uk/37610/1.hassmallThumbnailVersion/content.pdf)  Preview |
|
|
Lu, Lunjin and King, Andy
(2005)
Determinacy Inference for Logic Programs: 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings.
In: Sagiv, Shmuel, ed.
European Symposium on Programming.
Lecture Notes in Computer Science, 3444
.
Springer, pp. 108-123.
ISBN 9783540254355.
(doi:https://doi.org/10.1007/978-3-540-31987-0_9)
(Full text available)
|
![[img]](http://kar.kent.ac.uk/37607/1.hassmallThumbnailVersion/content.pdf)  Preview |
|
M
|
Mador-Haim, Sela and Maranget, Luc and Sarkar, Susmit and Memarian, Kayvan and Alglave, Jade and Owens, Scott and Alur, Rajeev and Martin, Milo M. K. and Sewell, Peter and Williams, Derek
(2012)
An Axiomatic Memory Model for POWER Multiprocessors.
In: Computer Aided Verification, 24th International Conference, CAV 2012, July 7th-13th, 2012, Berkeley, California, USA.
(doi:https://doi.org/10.1007/978-3-642-31424-7_36)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Matsuda, Kazutaka and Wang, Meng
(2015)
Applicative Bidirectional Programming with Lenses.
In: ACM SIGPLAN International Conference on Functional Programming, 31 August – 2 September, 2015, Vancouver, British Columbia, Canada.
(Full text available)
|
![[img]](http://kar.kent.ac.uk/49084/7.hassmallThumbnailVersion/icfp15.pdf)  Preview |
|
N
O
|
Owens, Scott
(2007)
Compile-time Information in Software Components.
Doctor of Philosophy (PhD) thesis, University of Utah.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Owens, Scott and Flatt, Matthew and Shivers, Olin and McMullan, Benjamin
(2004)
Lexer and Parser Generators in Scheme.
In: Scheme 2004: Proceedings of the Fifth Workshop on Scheme and Functional Programming.
(Full text available)
|
![[img]](http://kar.kent.ac.uk/31920/1.hassmallThumbnailVersion/sw04.pdf)  Preview |
|
|
Owens, Scott and Peskine, Gilles
(2007)
Verifying Type Soundness for OCaml: The Core Language.
In: 2nd Informal ACM SIGPLAN Workshop on Mechanizing Metatheory.
(Unpublished)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Owens, Scott and Sarkar, Susmit and Sewell, Peter
(2009)
A Better x86 Memory Model: x86-TSO (Extended Version).
Technical report.
University of Cambridge, Computer Laboratory
UCAM-CL-TR-745.
(doi:UCAM-CL-TR-745)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
P
|
Petricek, Tomas and Orchard, Dominic A. and Mycroft, Alan
(2013)
Coeffects: Unified static analysis of context-dependence.
In: Automata, Languages, and Programming: 40th International Colloquium, ICALP 2013, July 8-12, 2013, Riga, Latvia.
(doi:https://doi.org/10.1007/978-3-642-39212-2_35)
(Full text available)
|
![[img]](http://kar.kent.ac.uk/57543/1.hassmallThumbnailVersion/coeffects-icalp13.pdf)  Preview |
|
|
Polack, Fiona A.C. and Andrews, Paul S. and Ghetiu, Teodor and Read, Mark and Stepney, Susan and Timmis, Jon and Sampson, Adam T.
(2010)
Reflections on the Simulation of Complex Systems for Science.
In: ICECCS 2010: Fifteenth IEEE International Conference on Engineering of Complex Computer Systems.
(Full text available)
|
![[img]](http://kar.kent.ac.uk/24146/1.hassmallThumbnailVersion/iceccs2010-reflections.pdf)  Preview |
|
R
|
Robbins, Ed and King, Andy and Schrijvers, Tom
(2016)
From MinX to MinC: Semantics-Driven Decompilation of Recursive Datatypes.
In: Guha, Arjun and Chong, Steve, eds.
Symposium on Principles of Programming Languages.
ACM Press, St. Petersburg, Florida, USA, pp. 191-203.
(doi:https://doi.org/10.1145/2837614.2837633)
(Full text available)
|
![[img]](http://kar.kent.ac.uk/51097/7.hassmallThumbnailVersion/main.pdf)  Preview |
|
|
Runnalls, Andrew R.
(2010)
CXXR and Add-On Packages.
UNSPECIFIED.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
S
|
Sarkar, Susmit and Memarian, Kayvan and Owens, Scott and Batty, Mark and Sewell, Peter and Maranget, Luc and Alglave, Jade and Williams, Derek
(2012)
Synchronising C/C++ and POWER.
In: PLDI '12: 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation, 11th-16th June, 2012, Beijing, china.
(doi:https://doi.org/10.1145/2254064.2254102)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Sarkar, Susmit and Memarian, Kayvan and Owens, Scott and Batty, Mark and Sewell, Peter and Maranget, Luc and Alglave, Jade and Williams, Derek
(2012)
Synchronising C/C++ and POWER.
In: ACM SIGPLAN Conference on Programming Language Design and Implementation,, 11 - 16 Jun 2012, Beijing, China.
(doi:https://doi.org/10.1145/2254064.2254102)
(Full text available)
|
![[img]](http://kar.kent.ac.uk/50269/1.hassmallThumbnailVersion/pldi010-sarkar.pdf)  Preview |
|
|
Sarkar, Susmit and Sewell, Peter and Zappa Nardelli, Francesco and Owens, Scott and Ridge, Tom and Braibant, Thomas and Myreen, Magnus O. and Alglave, Jade
(2009)
The Semantics of x86-CC Multiprocessor Machine Code.
In: POPL '09: 36th annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, January 21st - 23rd, 2009, Savannah, Georgia, USA.
(doi:https://doi.org/10.1145/1480881.1480929)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Sewell, Peter and Zappa Nardelli, Francesco and Owens, Scott and Peskine, Gilles and Ridge, Thomas and Sarkar, Susmit and Strniša, Rok
(2007)
Ott: Effective Tool Support for the Working Semanticist.
In: ICFP '07: Proceedings of the 2007 ACM SIGPLAN International Conference on Functional Programming.
(doi:https://doi.org/10.1145/1291151.1291155)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Simon, Axel and King, Andy
(2005)
Exploiting Sparsity in Polyhedral Analysis: 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005. Proceedings.
In: Hankin, Chris and Siveroni, Igor, eds.
Static Analysis Symposium.
Lecture Notes in Computer Science, 3672
.
Springer, pp. 336-351.
ISBN 9783540285847.
(doi:https://doi.org/10.1007/11547662_23)
(Full text available)
|
![[img]](http://kar.kent.ac.uk/37606/1.hassmallThumbnailVersion/content.pdf)  Preview |
|
|
Simon, Axel and King, Andy
(2007)
Taming the Wrapping of Integer Arithmetic: 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007. Proceedings.
In: File, Gilberto and Nielson, Hanne Riis, eds.
Static Analysis Symposium.
Lecture Notes in Computer Science, 4634
.
Springer, pp. 182-196.
ISBN 9783540740605.
(doi:https://doi.org/10.1007/978-3-540-74061-2_8)
(Full text available)
|
![[img]](http://kar.kent.ac.uk/37594/1.hassmallThumbnailVersion/content.pdf)  Preview |
|
|
Simon, Axel and King, Andy
(2007)
Widening Polyhedra with Landmarks: 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006. Proceedings.
In: Kobayashi, Naoki, ed.
Asian Symposium on Programming Languages and Systems.
Lecture Notes in Computer Science, 4279
.
Springer, pp. 166-182.
ISBN 9783540489375.
(doi:https://doi.org/10.1007/11924661_11)
(Full text available)
|
![[img]](http://kar.kent.ac.uk/37597/1.hassmallThumbnailVersion/content.pdf)  Preview |
|
|
Simpson, Jonathan and Ritson, Carl G.
(2009)
Toward Process Architectures for Behavioural Robotics.
In: Communicating Process Architectures 2009.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Singer, Jeremy and Jones, Richard E.
(2011)
Economic Utility Theory for Memory Management Optimization.
In: Proceedings of the workshop on Implementation, Compilation, Optimization of Object-Oriented Languages and Programming Systems.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Slind, Konrad and Li, Guodong and Owens, Scott
(2010)
Compiling Higher Order Logic by Proof.
In:
Design and Verification of Microprocessor Systems for High-Assurance Applications.
Springer, pp. 193-220.
ISBN 978-1-4419-1539-9.
(doi:https://doi.org/10.1007/978-1-4419-1539-9_7)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Sorensen, Tyler and Donaldson, Alastair F. and Batty, Mark and Gopalakrishnan, Ganesh and Rakamarić, Zvonimir
(2016)
Portable Inter-workgroup Barrier Synchronisation for GPUs.
In: 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, November 02 - 04, 2016, Amsterdam, Netherlands.
(doi:https://doi.org/10.1145/2983990.2984032)
(Full text available)
|
![[img]](http://kar.kent.ac.uk/57941/1.hassmallThumbnailVersion/oopsla16main-main157-p-19cb2f8-29253-final.pdf)  Preview |
|
T
|
Thompson, Simon
(2011)
Haskell: the craft of functional programming.
Addison-Wesley
ISBN 978-0-201-88295-7.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Thompson, Simon and Chechina, Natalia and MacKenzie, Kenneth and Trinder, Phil and Boudeville, Olivier and Fordos, Viktoria and Hoch, csaba and Ghaffari, Amir and Moro Hernandez, Mario
(2017)
Evaluating Scalable Distributed Erlang for Scalability and Reliability.
IEEE Transactions on Parallel and Distributed Systems,
.
ISSN 1045-9219.
(In press)
(doi:https://doi.org/10.1109/TPDS.2017.2654246)
(Full text available)
|
![[img]](http://kar.kent.ac.uk/60077/1.hassmallThumbnailVersion/dist-reliabile-scalabilityRevisedSubmission.pdf)  Preview |
|
U
V
W
|
Weirich, Stephanie and Owens, Scott and Sewell, Peter and Zappa Nardelli, Francesco
(2010)
Ott or Nott.
In: 5th ACM SIGPLAN Workshop on Mechanizing Metatheory.
(Unpublished)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
|
Welch, Peter H.
(2013)
Life of occam-Pi.
In: Communicating Process Architectures 2013, 25-28 Aug 2013, Edinburgh, Scotland.
(Full text available)
|
![[img]](http://kar.kent.ac.uk/44827/1.hassmallThumbnailVersion/life-of-occam-pi.pdf)  Preview |
|
|
Wickerson, John and Batty, Mark and Beckmann, Bradford M. and Donaldson, Alastair F.
(2015)
Remote-scope Promotion: Clarified, Rectified, and Verified.
In: 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, 25-30 Oct 2015, Pittsburgh, Pennsylvania.
(doi:https://doi.org/10.1145/2814270.2814283)
(Full text available)
|
![[img]](http://kar.kent.ac.uk/51384/2.hassmallThumbnailVersion/OOPSLA.pdf)  Preview |
|
Z
|
Zappa Nardelli, Francesco and Sewell, Peter and Sevcik, Jaroslav and Sarkar, Susmit and Owens, Scott and Maranget, Luc and Batty, Mark and Alglave, Jade
(2009)
Relaxed Memory Models Must Be Rigorous.
In: Exploiting Concurrency Efficiently and Correctly, CAV 2009 Workshop.
(Unpublished)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
|
|
This list was generated on Mon Jul 24 01:12:27 2017 BST. |
![[img]](http://kar.kent.ac.uk/style/images/fileicons/application_pdf.png)
![[img]](http://kar.kent.ac.uk/style/images/fileicons/text_html.png)
![[img]](http://kar.kent.ac.uk/style/images/fileicons/application_zip.png)
