Items where division is "Faculties > Sciences > School of Computing > Programming Languages and Systems Group"
Number of items at this level: 436. 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:
ACM SIGPLAN Notices.
Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS '15, Istanbul, Turkey, March 14-18, 2015.
ACM Press
pp. 577-591.
ISBN 978-1-4503-2835-7.
(doi:https://doi.org/10.1145/2694344.2694391)
(Full text available)
|
![[img]](https://kar.kent.ac.uk/50272/1.hassmallThumbnailVersion/gpuconcurrency.pdf)  Preview |
|
B
|
Barnes, Frederick R.M.
(2015)
Guppy: Process-Oriented Programming on Embedded Devices.
In: Chalmers, Kevin and Pedersen, Jan B. and Welch, Peter H. and Broenink, Jan and Sampson, Adam T. and Ivimey-Cook, Ruth and Barnes, Frederick R.M., eds.
Proceedings of Communicating Process Architectures 2015.
(Full text available)
|
![[img]](https://kar.kent.ac.uk/50306/1.hassmallThumbnailVersion/guppy.pdf)  Preview |
|
|
Barnes, Frederick R.M.
(2009)
Mobile Escape Analysis for occam-pi.
In: Welch, Peter H. and Roebbers, Herman W. and Broenink, Jan F. and Barnes, Frederick R.M. and Ritson, Carl G. and Sampson, Adam T. and Stiles, Gardiner S. and Vinter, Brian, eds.
Communicating Process Architectures 2009.
Concurrent Systems Engineering, 67.
IOS Press
pp. 182-196.
ISBN 978-1-60750-065-0.
(doi:https://doi.org/10.3233/978-1-60750-065-0-117)
(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)
|
|
|
Barnes, Frederick R.M. and Pressnell, Thomas and Le Foll, Brendan
(2013)
Exploring GPGPU Acceleration of Process-Oriented Simulations.
In: Welch, Peter H. and Barnes, Frederick R.M. and Broenink, Jan F. and Chalmers, Kevin and Pedersen, Jan B. and Sampson, Adam T., eds.
Communicating Process Architectures 2013.
Open Channel Publishing
pp. 249-262.
ISBN 978-0-9565409-7-3.
(Full text available)
|
![[img]](https://kar.kent.ac.uk/36779/1.hassmallThumbnailVersion/9780956540973_018.pdf)  Preview |
|
|
Bartoletti, Massimo and Cimoli, Tiziana and Murgia, Maurizio and Podda, Alessandro Sebastian and Pompianu, Livio
(2015)
Compliance and Subtyping in Timed Session Types.
In: International Conference on Formal Techniques for Distributed Objects, Components, and Systems, 02-04 Jun 2015, Grenoble, France.
(doi:https://doi.org/10.1007/978-3-319-19195-9_11)
(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)
|
|
|
Bartoletti, Massimo and Cimoli, Tiziana and Murgia, Maurizio and Podda, Alessandro Sebastian and Pompianu, Livio
(2016)
A Contract-Oriented Middleware.
In: International Workshop on Formal Aspects of Component Software, 14-16 Oct 2015, Niterói, Brazil.
(doi:https://doi.org/10.1007/978-3-319-28934-2_5)
(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 Memarian, Kayvan and Nienhuis, Kyndylan and Pichon-Pharabod, Jean and Sewell, Peter
(2015)
The Problem of Programming Language Concurrency Semantics.
In:
Lecture Notes in Computer Science.
24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings.
Springer-Verlag Berlin
pp. 283-307.
ISBN 978-3-662-46668-1.
(doi:https://doi.org/10.1007/978-3-662-46669-8_12)
(Full text available)
|
![[img]](https://kar.kent.ac.uk/50271/1.hassmallThumbnailVersion/c_concurrency_challenges.pdf)  Preview |
|
|
Batty, Mark and Memarian, Kayvan and Owens, Scott and Sarkar, Susmit and Sewell, Peter
(2012)
Clarifying and Compiling C/C++ Concurrency: From C++11 to POWER.
In:
POPL '12 Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages.
ACM Press, New York, N.Y.
pp. 509-520.
ISBN 978-1-4503-1083-3.
(doi:https://doi.org/10.1145/2103656.2103717)
(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
(2011)
Mathematizing C++ Concurrency.
In: Sagiv, Mooly, ed.
POPL '11 Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages.
ACM Press, New York, N.Y.
pp. 55-66.
ISBN 978-1-4503-0490-0.
(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 Owens, Scott and Sarkar, Susmit and Sewell, Peter and Weber, Tjark
(2011)
Mathematizing C++ concurrency.
In:
ACM SIGPLAN Notices.
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages.
ACM Press
pp. 55-66.
ISBN 978-1-4503-0490-0.
(doi:https://doi.org/10.1145/1926385.1926394)
(Full text available)
|
![[img]](https://kar.kent.ac.uk/50265/1.hassmallThumbnailVersion/popl085ap-sewell.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]](https://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]](https://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 symposium on Principles and practices of declarative programming.
pp. 113-124.
ISBN 978-1-4503-0776-5.
(doi:https://doi.org/10.1145/2003476.2003493)
(Full text available)
|
![[img]](https://kar.kent.ac.uk/50260/1.hassmallThumbnailVersion/Nitpicking%20C%2B%2B%20concurrency.pdf)  Preview |
|
|
Bocchi, Laura
(2004)
Compositional Nested Long Running Transactions.
In:
Fundamental Approaches to Software Engineering.
7th International Conference, FASE 2004. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings.
Lecture Notes in Computer Science, 2984.
Springer
pp. 194-208.
ISBN 978-3-540-21305-5.
E-ISBN 978-3-540-24721-0.
(doi:https://doi.org/10.1007/978-3-540-24721-0_14)
(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 Ciancarini, Paolo and Rossi, Davide
(2005)
Transactional Aspects in Semantic Based Discovery of Services.
In:
Coordination Models and Languages.
7th International Conference, COORDINATION 2005 Proceedings.
Lecture Notes in Computer Science, 3454.
Springer
pp. 283-297.
ISBN 978-3-540-25630-4.
E-ISBN 978-3-540-32006-7.
(doi:https://doi.org/10.1007/11417019_19)
(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 Fiadeiro, José Luiz and Lopes, Antónia
(2008)
Service-Oriented Modelling of Automotive Systems.
In:
Computer Software and Applications, 2008. COMPSAC '08. 32nd Annual IEEE International.
IEEE Computer Society
pp. 1059-1064.
ISBN 978-0-7695-3262-2.
(doi:https://doi.org/10.1109/COMPSAC.2008.228)
(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 Guanciale, Roberto and Strollo, Daniele and Tuosto, Emilio
(2010)
BPMN Modelling of Services with Dynamically Reconfigurable Transactions.
In:
8th International Conference on Service-Oriented Computing (ICSOC).
8th International Conference on Service-Oriented Computing (ICSOC).
Lecture Notes in Computer Science, 6470.
Springer
pp. 396-410.
ISBN 978-3-642-17357-8.
E-ISBN 978-3-642-17358-5.
(doi:https://doi.org/10.1007/978-3-642-17358-5_27)
(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:
6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003. Proceedings.
Lecture Notes in Computer Science, 2884.
Springer
pp. 124-138.
ISBN 978-3-540-20491-6.
E-ISBN 978-3-540-39958-2.
(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)
|
|
|
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 Yoshida, Nobuko and Lange, Julien
(2015)
Meeting Deadlines Together.
In: Aceto, Luca and de Frutos-Escrig, David, eds.
International Conference on Concurrency Theory (CONCUR).
LIPIcs, 42.
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
pp. 283-296.
ISBN 978-3-939897-91-0.
(doi:https://doi.org/10.4230/LIPIcs.CONCUR.2015.283)
(Full text available)
|
![[img]](https://kar.kent.ac.uk/50257/1.hassmallThumbnailVersion/bly15.pdf)  Preview |
|
|
Boiten, Eerke Albert and Grundy, Dan
(2010)
The Logic of Large Enough.
In: MPC 2010: Mathematics of Program Construction.
(Full text available)
|
![[img]](https://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]](https://kar.kent.ac.uk/42314/1.hassmallThumbnailVersion/release-tfp12.pdf)  Preview |
|
|
Bowman, Howard and Thompson, Simon
(1998)
A tableau method for interval temporal logic with projection.
TABLEAUX 1998: Automated Reasoning with Analytic Tableaux and Related Methods,
.
pp. 108-123.
(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 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 978-3-642-15897-1.
(doi:https://doi.org/10.1007/978-3-642-15898-8_6)
(Full text available)
|
![[img]](https://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: Gopalakrishnan, Ganesh and Qadeer, Shaz, eds.
Twenty Third International Conference on Computer Aided Verification.
Lecture Notes in Computer Science.
Springer-Verlag
pp. 182-196.
(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 978-3-642-22109-5.
(doi:https://doi.org/10.1007/978-3-642-22110-1_17)
(Full text available)
|
![[img]](https://kar.kent.ac.uk/37589/1.hassmallThumbnailVersion/content.pdf)  Preview |
|
|
Brown, Neil C.C.
(2009)
Auto-Mobiles: Optimised Message-Passing.
In: Welch, Peter H. and Roebbers, Herman W. and Broenink, Jan F. and Barnes, Frederick R.M. and Ritson, Carl G. and Sampson, Adam T. and Stiles, Gardiner S. and Vinter, Brian, eds.
Communicating Process Architectures 2009.
Concurrent Systems Engineering, 67.
IOS Press, Amsterdam, The Netherlands
pp. 182-196.
ISBN 978-1-60750-065-0.
(Full text available)
|
![[img]](https://kar.kent.ac.uk/30582/1.hassmallThumbnailVersion/AutoMobiles.pdf)  Preview |
|
|
Brown, Neil C.C.
(2004)
C++CSP Networked.
In:
Communicating Process Architectures 2004.
Concurrent Systems Engineering Series (62).
IOS Press
pp. 185-200.
ISBN 978-1-58603-458-0.
(Full text available)
|
![[img]](https://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.
ACM
(Full text available)
|
![[img]](https://kar.kent.ac.uk/33878/1.hassmallThumbnailVersion/Conjoined.pdf)  Preview |
|
|
Brown, Neil C.C. and Smith, Marc L.
(2009)
Relating and Visualising CSP, VCR and Structural Traces.
In: Welch, Peter H. and Roebbers, Herman W. and Broenink, Jan F. and Barnes, Frederick R.M. and Ritson, Carl G. and Sampson, Adam T. and Stiles, Gardiner S. and Vinter, Brian, eds.
Communicating Process Architectures 2009.
Concurrent Systems Engineering, 67.
IOS Press, Amsterdam, The Netherlands
pp. 182-196.
ISBN 978-1-60750-065-0.
(Full text available)
|
![[img]](https://kar.kent.ac.uk/30580/1.hassmallThumbnailVersion/Traces2.pdf)  Preview |
|
|
Bruna, Maria and Grigore, Radu and Kiefer, Stefan and Ouaknine, Joel and Worrell, James
(2016)
Proving the Herman-Protocol Conjecture.
In: Chatzigiannakis, Ioannis and Mitzenmacher, Michael and Rabani, Yuval and Sangiorgi, Davide, eds.
43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016).
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany
104:1-104:12.
ISBN 978-3-95977-013-2.
(doi:https://doi.org/10.4230/LIPIcs.ICALP.2016.104)
(Full text available)
|
![[img]](https://kar.kent.ac.uk/55083/1.hassmallThumbnailVersion/1504.01130v3.pdf)  Preview |
|
C
|
Cesarini, Francesco and Thompson, Simon
(2010)
Erlang Behaviours: Programming With Process Design Patterns.
In: Horváth, Zoltán and Plasmeijer, Rinus and Zóka, Vikória, eds.
Central European Functional Programming School, CEFP 2009.
Lecture Notes in Computer Science, 6299.
Springer
pp. 182-196.
(Full text available)
|
![[img]](https://kar.kent.ac.uk/30616/1.hassmallThumbnailVersion/CEFP.pdf)  Preview |
|
|
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 978-3-642-02157-2.
(doi:https://doi.org/10.1007/978-3-642-02158-9_9)
(Full text available)
|
![[img]](https://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 978-3-319-12735-4.
E-ISBN 978-3-319-12736-1.
(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)
|
|
|
Chechina, Natalia and MacKenzie, Kenneth and Thompson, Simon 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,
28
(8).
pp. 2244-2257.
ISSN 1045-9219.
(doi:https://doi.org/10.1109/TPDS.2017.2654246)
(Full text available)
|
![[img]](https://kar.kent.ac.uk/60077/1.hassmallThumbnailVersion/dist-reliabile-scalabilityRevisedSubmission.pdf)  Preview |
|
|
Christakis, Maria and Emmisberger, Patrick and Müller, Peter
(2014)
Dynamic Test Generation with Static Fields and Initializers.
In:
Runtime Verification.
5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings.
Lecture Notes in Computer Science (LNCS), 8734.
pp. 269-284.
ISBN 978-3-319-11163-6.
E-ISBN 978-3-319-11164-3.
(doi:https://doi.org/10.1007/978-3-319-11164-3_23)
(Full text available)
|
![[img]](https://kar.kent.ac.uk/58945/1.hassmallThumbnailVersion/RV-2014.pdf)  Preview |
|
|
Christakis, Maria and Leino, K. Rustan M. and Müller, Peter and Wüstholz, Valentin
(2016)
Integrated Environment for Diagnosing Verification Errors.
In:
Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Proceedings.
Lecture Notes in Computer Science (LNCS), 9636.
Springer
pp. 424-441.
ISBN 978-3-662-49673-2.
E-ISBN 978-3-662-49674-9.
(doi:https://doi.org/10.1007/978-3-662-49674-9_25)
(Full text available)
|
![[img]](https://kar.kent.ac.uk/58940/1.hassmallThumbnailVersion/TACAS-2016.pdf)  Preview |
|
D
|
De Koster, Joeri and Marr, Stefan and D'Hondt, Theo and Van Cutsem, Tom
(2013)
Tanks: Multiple reader, single writer actors.
In: Proceedings of AGERE! 2013, 3rd International Workshop on Programming based on Actors, Agents, and Decentralized Control.
(Full text available)
|
![[img]](https://kar.kent.ac.uk/63834/1.hassmallThumbnailVersion/agere13-de-koster-et-al-tanks-multiple-reader-single-writer-actors.pdf)  Preview |
|
|
De Wael, Mattias and Marr, Stefan and De Koster, Joeri and Sartor, Jennifer B. and De Meuter, Wolfgang
(2015)
Just-in-Time Data Structures.
In: Proceedings of the 2015 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming & Software.
(doi:https://doi.org/10.1145/2814228.2814231)
(Full text available)
|
![[img]](https://kar.kent.ac.uk/63822/1.hassmallThumbnailVersion/onward15-de-wael-et-al-just-in-time-data-structures.pdf)  Preview |
|
|
Delaney, Aidan and Stapleton, Gem and Taylor, John and Thompson, Simon
(2010)
Fragments of Spider Diagrams of Order and their Relative Expressiveness.
In: Goel, Ashok K. and Jamnik, Mateja and Narayanan, N. Hari, eds.
Diagrammatic Representation and Inference 6th International Conference, Diagrams 2010.
Lecture Notes in Computer Science, 6170.
Springer
pp. 182-196.
(doi:https://doi.org/10.1007/978-3-642-14600-8)
(Full text available)
|
![[img]](https://kar.kent.ac.uk/30645/1.hassmallThumbnailVersion/content.pdf)  Preview |
|
|
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 978-1-4987-0158-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)
|
|
|
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 978-3-642-17070-6.
E-ISBN 978-3-642-17071-3.
(doi:https://doi.org/10.1007/978-3-642-17071-3_13)
(Full text available)
|
![[img]](https://kar.kent.ac.uk/42313/1.hassmallThumbnailVersion/FMCO2.pdf)  Preview |
|
|
Drienyovszky, Daniel and Horpacsi, Daniel and Thompson, Simon
(2010)
QuickChecking Refactoring Tools.
In: Fritchie, Scott Lystig and Sagonas, Konstantinos, eds.
ErlangÂ?10: Proceedings of the 2010 ACM SIGPLAN Erlang Workshop.
ACM SIGPLAN
pp. 182-196.
ISBN 978-1-4503-0253-1.
(Full text available)
|
![[img]](https://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)
|
|
|
de Lemos, Rogerio and Garlan, David and Ghezzi, Carlo and Giese, Holger and Andersson, Jesper and Litoiu, Marin and Schmerl, Bradley and Weyns, Danny and Baresi, Luciano and Bencomo, Nelly and Brun, Yuriy and Camara, Javier and Calinescu, Radu and Cohen, Myra B. and Gorla, Alessandra and Grassi, Vincenzo and Grunske, Lars and Inverardi, Paola and Jezequel, Jean-Marc and Malek, Sam and Mirandola, Raffaela and Mori, Marco and Müller, Hausi A. and Rouvoy, Romain and Rubira, Cecília M. F. and Rutten, Eric and Shaw, Mary and Tamburrelli, Giordano and Tamura, Gabriel and Villegas, Norha M. and Vogel, Thomas and Zambonelli, Franco
(2018)
Software Engineering for Self-Adaptive Systems: Research Challenges in the Provision of Assurances.
In: de Lemos, Rogerio and Garlan, D. and Giese, H., eds.
Software Engineering for Self-Adaptive Systems III. Assurances.
Lecture Notes on Computer Science
.
Springer.
ISBN 978-3-319-74182-6.
(doi:https://doi.org/10.1007/978-3-319-74183-3_1)
(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
|
Faddegon, Maarten and Chitil, Olaf
(2014)
Type Generic Observing.
In: Hage, Jurriaan and McCarthy, Jay, eds.
Type Generic Observing.
15th International Symposium on Trends in Functional Programming, TFP 2014.
LNCS 8843.
Springer
pp. 84-103.
ISBN 978-3-319-14674-4.
E-ISBN 978-3-319-14675-1.
(doi:https://doi.org/10.1007/978-3-319-14675-1_6)
(Full text available)
|
![[img]](https://kar.kent.ac.uk/49013/1.hassmallThumbnailVersion/tifl2014.pdf)  Preview |
|
|
Fiadeiro, José Luiz and Lopes, Antónia and Bocchi, Laura
(2006)
A Formal Approach to Service Component Architecture.
In:
Web Services and Formal Methods.
Third International Workshop, WS-FM 2006 Proceedings.
Lecture Notes in Computer Science, 4184.
Springer
pp. 193-213.
ISBN 978-3-540-38862-3.
E-ISBN 978-3-540-38865-4.
(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)
|
|
|
Flur, Shaked and Sarkar, Susmit and Pulte, Christopher and Nienhuis, Kyndylan and Maranget, Luc and Gray, Kathryn E. and Sezgin, Ali and Batty, Mark and Sewell, Peter
(2017)
Mixed-Size Concurrency: ARM, POWER, C/C++11, and SC.
In:
ACM SIGPLAN Notices - POPL '17.
POPL 2017 Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages.
ACM
ISBN 978-1-4503-4660-3.
(doi:https://doi.org/10.1145/3009837.3009839)
(Full text available)
|
![[img]](https://kar.kent.ac.uk/64723/1.hassmallThumbnailVersion/mixed-size.pdf)  Preview |
|
|
Férée, Hugo and Pohjola, Johannes Aman and Kumar, Ramana and Owens, Scott and Myreen, Magnus O. and Ho, Son
(2018)
Program Verification in the Presence of I/O - Semantics, Verified Library Routines, and Verified Applications.
In: 10th International Conference on Verified Software: Theories, Tools, and Experiments.
(doi:https://doi.org/10.1007/978-3-030-03592-1)
(Full text available)
|
![[img]](https://kar.kent.ac.uk/71298/1.hassmallThumbnailVersion/paper_11.pdf)  Preview |
|
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 978-3-540-00886-6.
(doi:https://doi.org/10.1007/3-540-36575-3_7)
(Full text available)
|
![[img]](https://kar.kent.ac.uk/37612/1.hassmallThumbnailVersion/content.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]](https://kar.kent.ac.uk/54558/1.hassmallThumbnailVersion/1209.0680v3.pdf)  Preview |
|
H
|
Haupt, Michael and Hirschfeld, Robert and Pape, Tobias and Gabrysiak, Gregor and Marr, Stefan and Bergmann, Arne and Heise, Arvid and Kleine, Matthias and Krahn, Robert
(2010)
The SOM Family: Virtual Machines for Teaching and Research.
In: Proceedings of the 15th Annual Conference on Innovation and Technology in Computer Science Education (ITiCSE).
(Full text available)
|
![[img]](https://kar.kent.ac.uk/63848/1.hassmallThumbnailVersion/HauptHirschfeldPapeGabrysiakMarrBergmannHeiseKleineKrahn_2010_TheSomFamily_AcmDL.pdf)  Preview |
|
|
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 978-3-540-67262-3.
(doi:https://doi.org/10.1007/3-540-46425-5_10)
(Full text available)
|
![[img]](https://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)
|
|
|
Hellyer, Laurence and Jones, Richard E. and Hosking, Antony L.
(2010)
The Locality of Concurrent Write Barriers.
In: Vitek, Jan and Lea, Doug, eds.
Proceedings of the 2010 International Symposium on Memory Management.
ACM, Toronto, Canada
pp. 182-196.
ISBN 978-1-4503-0054-4.
(doi:https://doi.org/10.1145/1806651.1806666)
(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)
|
|
|
Hoverd, Tim and Sampson, Adam T.
(2010)
A Transactional Architecture for Simulation.
In:
ICECCS 2010: Fifteenth IEEE International Conference on Engineering of Complex Computer Systems.
IEEE Press
pp. 286-290.
(Full text available)
|
![[img]](https://kar.kent.ac.uk/24147/1.hassmallThumbnailVersion/transactional-preprint.pdf)  Preview |
|
|
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 978-3-540-67262-3.
(doi:https://doi.org/10.1007/3-540-46425-5_13)
(Full text available)
|
![[img]](https://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 978-3-642-04760-2.
(doi:https://doi.org/10.1007/978-3-642-04761-9_23)
(Full text available)
|
![[img]](https://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]](https://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]](https://kar.kent.ac.uk/30793/1.hassmallThumbnailVersion/main.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]](https://kar.kent.ac.uk/47818/1.hassmallThumbnailVersion/main.pdf)  Preview |
|
K
|
Kahrs, Stefan
(2010)
Infinitary Rewriting: Foundations Revisited.
In: Lynch, Christopher, ed.
Proceedings of the 21st International Conference on Rewriting Techniques and Applications.
Leibniz International Proceedings in Informatics (LIPIcs), 6.
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany
pp. 182-196.
ISBN 978-3-939897-18-7.
(doi:https://doi.org/10.4230/LIPIcs.RTA.2010.161)
(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 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: Dwyer, Matthew and Leavens, Gary T., eds.
Proceedings of the ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA).
ACM, Tucson, AZ, USA
(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 978-3-540-33056-1.
(doi:https://doi.org/10.1007/11691372_7)
(Full text available)
|
![[img]](https://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 978-3-540-20642-2.
(doi:https://doi.org/10.1007/978-3-540-24599-5_22)
(Full text available)
|
![[img]](https://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 978-3-540-36635-5.
(doi:https://doi.org/10.1007/11799573_12)
(Full text available)
|
![[img]](https://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 978-3-540-65699-9.
(doi:https://doi.org/10.1007/3-540-49099-X_5)
(Full text available)
|
![[img]](https://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]](https://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 978-3-540-70543-7.
(doi:https://doi.org/10.1007/978-3-540-70545-1_26)
(Full text available)
|
![[img]](https://kar.kent.ac.uk/37593/1.hassmallThumbnailVersion/content.pdf)  Preview |
|
|
Kriener, Jael and King, Andy
(2012)
Mutual Exclusion by Interpolation.
In: Schrijvers, Tom and Thiemann, Peter, eds.
Eleventh International Symposium on Functional and Logic Programming.
Lecture Notes in Computer Science, 7294.
Springer, Kobe, Japan
pp. 182-196.
(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 978-3-642-29821-9.
(doi:https://doi.org/10.1007/978-3-642-29822-6_16)
(Full text available)
|
![[img]](https://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 978-3-319-07151-0.
(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:
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages.
ACM Press
pp. 179-191.
ISBN 978-1-4503-2544-8.
(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, Huiqing and Thompson, Simon
(2010)
Improved Testing Through Refactoring: Experience from the ProTest project.
In: Bottaci, Leonardo and Fraser, Gordon, eds.
Testing - Practice and Research Techniques: 5th International Academic and Industrial Conference, TAIC PART 2010.
Lecture Notes in Computer Science, 6303.
Springer
pp. 182-196.
ISBN 978-3-642-15584-0.
(Full text available)
|
![[img]](https://kar.kent.ac.uk/30628/1.hassmallThumbnailVersion/PublicationProof.pdf)  Preview |
|
|
Li, Huiqing and Thompson, Simon
(2010)
Refactoring Support for Modularity Maintenance in Erlang.
In: Vunju, Jurgen and Marinescu, Cristina, eds.
Tenth IEEE International Working Conference on Source Code Analysis and Manipulation.
IEEE Computer Society
pp. 182-196.
ISBN 978-0-7695-4178-5.
(Full text available)
|
![[img]](https://kar.kent.ac.uk/30627/1.hassmallThumbnailVersion/scam2010.pdf)  Preview |
|
|
Li, Huiqing and Thompson, Simon
(2010)
Similar Code Detection and Elimination for Erlang Programs.
In: Carro, Manuel and Pena, Ricardo, eds.
Practical Aspects of Declarative Languages.
Lecture Notes in Computer Science (5937).
Springer
pp. 182-196.
ISBN 978-3-642-11502-8.
(Full text available)
|
![[img]](https://kar.kent.ac.uk/30703/1.hassmallThumbnailVersion/PADL10.pdf)  Preview |
|
|
Li, Huiqing and Thompson, Simon
(2009)
Testing-framework-aware Refactoring.
In:
The Third ACM Workshop on Refactoring Tools.
, Orlando, Florida
pp. 182-196.
(Full text available)
|
![[img]](https://kar.kent.ac.uk/30587/1.hassmallThumbnailVersion/WRT2009.pdf)  Preview |
|
|
Li, Huiqing and Thompson, Simon and Arts, Thomas
(2011)
Extracting Properties from Test Cases by Refactoring.
In: Counsell, Steve, ed.
Proceedings of the Refactoring and Testing Workshop (RefTest 2011).
IEEE digital library
pp. 182-196.
(Full text available)
|
![[img]](https://kar.kent.ac.uk/30767/1.hassmallThumbnailVersion/content.pdf)  Preview |
|
|
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 978-3-540-36635-5.
(doi:https://doi.org/10.1007/11799573_13)
(Full text available)
|
![[img]](https://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 978-3-540-33438-5.
(doi:https://doi.org/10.1007/11737414_13)
(Full text available)
|
![[img]](https://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 978-3-540-21402-1.
(doi:https://doi.org/10.1007/978-3-540-24754-8_11)
(Full text available)
|
![[img]](https://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 978-3-540-25435-5.
(doi:https://doi.org/10.1007/978-3-540-31987-0_9)
(Full text available)
|
![[img]](https://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 Proceedings.
Lecture Notes in Computer Science, 7358.
Springer
pp. 495-512.
ISBN 978-3-642-31423-0.
(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]](https://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
(2008)
A Sound Semantics for OCaml light.
In: Drossopoulou, Sophia, ed.
Programming Languages and Systems.
Lecture Notes in Computer Science, 4960.
Springer
pp. 1-15.
ISBN 978-3-540-78738-9.
(doi:https://doi.org/10.1007/978-3-540-78739-6_1)
(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]](https://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)
|
|
|
Owens, Scott and Sarkar, Susmit and Sewell, Peter
(2009)
A Better x86 Memory Model: x86-TSO.
In: Berghofer, Stefan and Nipkow, Tobias and Urban, Christian and Wenzel, Makarius, eds.
Theorem Proving in Higher Order Logics.
Lecture Notes in Computer Science, 5674.
Springer
pp. 391-407.
ISBN 978-3-642-03358-2.
(doi:https://doi.org/10.1007/978-3-642-03359-9_27)
(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
|
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.
IEEE Press
pp. 276-285.
ISBN 978-0-7695-4015-3.
(Full text available)
|
![[img]](https://kar.kent.ac.uk/24146/1.hassmallThumbnailVersion/iceccs2010-reflections.pdf)  Preview |
|
R
|
Ritson, Carl G. and Barnes, Frederick R.M.
(2013)
An Evaluation of Intel's Restricted Transactional Memory for CPAs.
In: Welch, Peter H. and Barnes, Frederick R.M. and Broenink, Jan F. and Chalmers, Kevin and Pedersen, Jan B. and Sampson, Adam T., eds.
Communicating Process Architectures 2013.
Open Channel Publishing
pp. 271-291.
ISBN 978-0-9565409-7-3.
(Full text available)
|
![[img]](https://kar.kent.ac.uk/36939/1.hassmallThumbnailVersion/9780956540973_020.pdf)  Preview |
|
|
Ritson, Carl G. and Owens, Scott
(2016)
Benchmarking weak memory models.
In:
PPoPP '16 Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming.
ACM Press
24:1-24:11.
ISBN 978-1-4503-4092-2.
(doi:https://doi.org/10.1145/2851141.2851150)
(Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
|
|
|
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]](https://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 Proceedings of the 33rd ACM SIGPLAN conference on Programming Language Design and Implementation.
ACM Press, New York, N.Y.
pp. 311-322.
ISBN 978-1-4503-1205-9.
(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 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 Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages.
ACM Press, New York, N.Y.
pp. 379-391.
ISBN 978-1-60558-379-2.
(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 978-3-540-28584-7.
(doi:https://doi.org/10.1007/11547662_23)
(Full text available)
|
![[img]](https://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 978-3-540-74060-5.
(doi:https://doi.org/10.1007/978-3-540-74061-2_8)
(Full text available)
|
![[img]](https://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 978-3-540-48937-5.
(doi:https://doi.org/10.1007/11924661_11)
(Full text available)
|
![[img]](https://kar.kent.ac.uk/37597/1.hassmallThumbnailVersion/content.pdf)  Preview |
|
|
Simpson, Jonathan and Ritson, Carl G.
(2009)
Toward Process Architectures for Behavioural Robotics.
In: Welch, Peter H. and Roebbers, Herman W. and Broenink, Jan F. and Barnes, Frederick R.M. and Ritson, Carl G. and Sampson, Adam T. and Stiles, Gardiner S. and Vinter, Brian, eds.
Communicating Process Architectures 2009.
Concurrent Systems Engineering, 67.
IOS Press, Amsterdam, The Netherlands
pp. 182-196.
ISBN 978-1-60750-065-0.
(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: Rogers, Ian, ed.
Proceedings of the workshop on Implementation, Compilation, Optimization of Object-Oriented Languages and Programming Systems.
ACM
pp. 182-196.
(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.
(2010)
The Economics of Garbage Collection.
In: Vitek, Jan and Lea, Doug, eds.
Proceedings of the 2010 International Symposium on Memory Management.
ACM, Toronto, Canada
pp. 182-196.
ISBN 978-1-4503-0054-4.
(doi:https://doi.org/10.1145/1806651.1806669)
(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)
|
|
|
Smith, Connor and Kahrs, Stefan
(2016)
Non-omega-overlapping TRSs are UN.
In:
1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016).
2016 Formal Structures for Computation and Deduction.
Leibniz International Proceedings in Informatics, 52.
Schloss Dagstuhl: Leibniz-Zentrum für Informatik, Porto, Portugal
22:1-22:17.
ISBN 978-3-95977-010-1.
(doi:https://doi.org/10.4230/LIPIcs.FSCD.2016.22)
(Full text available)
|
![[img]](https://kar.kent.ac.uk/55349/1.hassmallThumbnailVersion/proc-kahrs.pdf)  Preview |
|
|
Sorensen, Tyler and Donaldson, Alastair F. and Batty, Mark and Gopalakrishnan, Ganesh and Rakamari?, Zvonimir
(2016)
Portable Inter-workgroup Barrier Synchronisation for GPUs.
In:
Object-oriented Programming, Systems, Languages, and Applications.
Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications.
pp. 39-58.
ISBN 978-1-4503-4444-9.
(doi:https://doi.org/10.1145/2983990.2984032)
(Full text available)
|
![[img]](https://kar.kent.ac.uk/57941/1.hassmallThumbnailVersion/oopsla16main-main157-p-19cb2f8-29253-final.pdf)  Preview |
|
|
Sulzmann, Martin and Wang, Meng
(2007)
Aspect-Oriented Programming with Type Classes.
In:
Proceedings of the 6th workshop on Foundations of aspect-oriented languages.
pp. 65-74.
ISBN 978-1-59593-671-4.
(Full text available)
|
![[img]](https://kar.kent.ac.uk/47468/1.hassmallThumbnailVersion/local_143541.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 Horpacsi, Daniel and Koszegi, Judit
(2016)
Towards Trustworthy Refactoring in Erlang.
In: Hamilton, Geoff and Lisitsa, Alexei and Nemytykh, Andrei P., eds.
Electronic Proceedings in Theoretical Computer Science.
Proceedings of the Fourth International Workshop on Verification and Program Transformation (VPT 2016).
pp. 83-103.
(doi:https://doi.org/10.4204/EPTCS.216.5)
(Full text available)
|
![[img]](https://kar.kent.ac.uk/56750/1.hassmallThumbnailVersion/paper.cgi_VPT2016.5.pdf)  Preview |
|
|
Thompson, Simon and Lamela Seijas, Pablo
(2018)
Marlowe: Financial Contracts on Blockchain.
In:
Lecture Notes in Computer Science.
ISoLA 2018: Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice.
Lecture Notes in Computer Science.
Springer-Verlag Berlin, Switzerland
ISBN 978-3-030-03427-6.
(doi:10.1007%2F978-3-030-03427-6_27)
(Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
|
|
|
Thompson, Simon and Li, Huiqing and Baker, Robert and Adams, Stephen and Trinder, Phil and Chechina, Natalia and Papaspyrou, Nikolaos and Sagonas, Konstantinos and Aronis, Stavros and Bihari, Eva and Boudeville, Olivier and Cesarini, Francesco and de Stefano, Maurizio and Eriksson, Sverker and Fordos, Viktoria and Ghaffari, Amir and Green, Rickard and Hoch, csaba and Klaftenegger, David and Lundin, Kenneth and MacKenzie, Kenneth and Roukounaki, Katerinia and Tsiouris, Yiannis and Winblad, Kjell
(2017)
Scaling Reliably: Improving the Scalability of the Erlang Distributed Actor Platform.
ACM Transactions on Programming Languages and Systems,
39
(4).
ISSN 0164-0925.
E-ISSN 1558-4593.
(doi:https://doi.org/10.1145/3107937)
(Full text available)
|
![[img]](https://kar.kent.ac.uk/63197/1.hassmallThumbnailVersion/release-summary-arxiv-1.pdf)  Preview |
|
U
|
Ugawa, Tomoharu and Jones, Richard
(2018)
Model Checking Transactional Sapphire.
Technical report.
School of Computing, University of Kent, Kent, UK
(Unpublished)
(Full text available)
|
![[img]](https://kar.kent.ac.uk/67197/1.hassmallThumbnailVersion/report.pdf)  Preview |
|
V
|
Voigtlander, Janis and Hu, Zhenjiang and Matsuda, Kazutaka and Wang, Meng
(2010)
Combining Syntactic and Semantic Bidirectionalization.
In:
Proceedings of the 15th ACM SIGPLAN international conference on Functional programming.
pp. 181-192.
ISBN 978-1-60558-794-3.
(Full text available)
|
![[img]](https://kar.kent.ac.uk/47473/1.hassmallThumbnailVersion/local_143546.pdf)  Preview |
|
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.
Communicating Process Architectures 2013.
Communicating Process Architectures.
Open Channel Publishing Ltd
pp. 293-318.
ISBN 978-0-9565409-7-3.
(Full text available)
|
![[img]](https://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:
Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications.
OOPSLA 2015.
ACM, New York, USA
pp. 731-747.
ISBN 978-1-4503-3689-5.
(doi:https://doi.org/10.1145/2814270.2814283)
(Full text available)
|
![[img]](https://kar.kent.ac.uk/51384/2.hassmallThumbnailVersion/OOPSLA.pdf)  Preview |
|
X
|
Xia, Li-Yao and Orchard, Dominic A. and Wang, Meng
(2019)
Composing bidirectional programs monadically.
In: 28th European Symposium on Programming (ESOP), 6-11 April 2019, Prague, Czech Republic.
(In press)
(Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
|
|
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 Sat Mar 23 13:37:15 2019 GMT. |
![[img]](https://kar.kent.ac.uk/style/images/fileicons/text_html.png)
![[img]](https://kar.kent.ac.uk/style/images/fileicons/application_pdf.png)
![[img]](https://kar.kent.ac.uk/style/images/fileicons/other.png)
![[img]](https://kar.kent.ac.uk/style/images/fileicons/application_zip.png)
