Items where division is "Faculties > Sciences > School of Computing > Programming Languages and Systems Group"
Number of items at this level: 441. A
|
Aaron, Samuel and Orchard, Dominic and Blackwell, Alan F.
(2014)
Temporal semantics for a live coding language.
In:
Proceedings of the 2nd ACM SIGPLAN international workshop on Functional art, music, modeling & design.
ICFP International Conference on Functional Programming
.
ACM, New York, USA, pp. 37-47.
ISBN 978-1-4503-3039-8.
(doi:10.1145/2633638.2633648)
|
![[img]](/57489/1.hassmallThumbnailVersion/sonicpi.pdf)  Preview |
|
|
Alglave, Jade,
Batty, Mark,
Donaldson, Alastair F.,
Gopalakrishnan, Ganesh,
Ketema, Jeroen,
Poetzl, Daniel,
Sorensen, Tyler,
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.
.
pp. 577-591.
ACM Press
ISBN 978-1-4503-2835-7.
(doi:10.1145/2694344.2694391)
|
![[img]](/50272/1.hassmallThumbnailVersion/gpuconcurrency.pdf)  Preview |
|
|
Anshelevich, Elliot and Owens, Scott and Lamiraux, Florent and Kavraki, Lydia E.
(2000)
Deformable Volumes in Path Planning Applications.
In:
Proceedings 2000 ICRA. Millennium Conference. IEEE International Conference on Robotics and Automation. Symposia Proceedings.
IEEE, pp. 2290-2295.
ISBN 0-7803-5886-4.
(doi:10.1109/ROBOT.2000.846368)
(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)
|
|
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.
.
|
![[img]](/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
.
IOS Press, pp. 182-196.
ISBN 978-1-60750-065-0.
E-ISBN 978-1-60750-513-6.
(doi: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 Proceedings of the 35th WoTUG Technical Meeting.
Open Channel Publishing, pp. 249-262.
ISBN 978-0-9565409-7-3.
|
![[img]](/36779/1.hassmallThumbnailVersion/9780956540973_018.pdf)  Preview |
|
|
Barnes, Frederick R.M.,
Ritson, Carl G.
(2010)
Process-Oriented Device Driver Development.
Concurrency and Computation: Practice and Experience,
22
(8).
pp. 182-196.
ISSN 1532-0634.
(doi:10.1002/cpe.1428)
(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,
Cimoli, Tiziana,
Murgia, Maurizio,
Podda, Alessandro Sebastian,
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: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,
Cimoli, Tiziana,
Murgia, Maurizio,
Podda, Alessandro Sebastian,
Pompianu, Livio
(2016)
A Contract-Oriented Middleware.
In: International Workshop on Formal Aspects of Component Software, 14-16 Oct 2015, Niterói, Brazil.
(doi: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 Donaldson, Alastair F. and Wickerson, John
(2016)
Overhauling SC atomics in C11 and OpenCL.
In:
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages.
POPL Principles of Programming Languages
.
ACM, New York, USA, pp. 634-648.
ISBN 978-1-4503-3549-2.
(doi:10.1145/2837614.2837637)
|
![[img]](/51385/1.hassmallThumbnailVersion/openclmm.pdf)  Preview |
|
|
Batty, Mark,
Memarian, Kayvan,
Nienhuis, Kyndylan,
Pichon-Pharabod, Jean,
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.
9032.
pp. 283-307.
Springer-Verlag Berlin
ISBN 978-3-662-46668-1.
(doi:10.1007/978-3-662-46669-8_12)
|
![[img]](/50271/1.hassmallThumbnailVersion/c_concurrency_challenges.pdf)  Preview |
|
|
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:
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages.
ACM, New York, USA, pp. 55-66.
ISBN 978-1-4503-0490-0.
(doi:10.1145/1926385.1926394)
|
![[img]](/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.
|
![[img]](/30791/1.hassmallThumbnailVersion/main.pdf)  Preview |
|
|
Blackburn, Stephen M,
Diwan, Amer,
Hauswirth, Mattias,
Sweeney, Peter F,
Amaral, Jose Nelson,
Brecht, Tim,
Bulej, Lubomr,
Click, Cliff,
Eeckhout, Lieven,
Fischmeister, Sebastian,
and others.
Frampton, Daniel,
Hendren, Laurie J,
Hind, Michael,
Hosking, Antony L,
Jones, Richard E.,
Kalibera, Tomas,
Keynes, Nathan,
Nystrom, Nathaniel,
and
Zeller, Andreas
(hide)
(2016)
The Truth, the Whole Truth, and Nothing but the Truth: A Pragmatic Guide to Assessing Empirical Evaluations.
Transactions on Programming Languages and Systems,
38
(4).
ISSN 0164-0925.
E-ISSN 1558-4593.
(doi:10.1145/2983574)
|
![[img]](/55171/1.hassmallThumbnailVersion/Blackburn%2B2016TOPLAS.pdf)  Preview |
|
|
Blanchette, Jasmin Christian,
Weber, Tjark,
Batty, Mark,
Owens, Scott,
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: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.
ACM, New York, USA, pp. 113-124.
ISBN 978-1-4503-0776-5.
(doi:10.1145/2003476.2003493)
|
![[img]](/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.
pp. 194-208.
Springer
ISBN 978-3-540-21305-5.
E-ISBN 978-3-540-24721-0.
(doi: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 Chen, Tzu-Chun and Demangeon, Romain and Honda, Kohei and Yoshida, Nobuko
(2013)
Monitoring Networks through Multiparty Session Types.
In:
Formal Techniques for Distributed Systems Joint IFIP WG 6.1 International Conference.
Lecture Notes in Computer Science
.
Springer, Berlin, Germany, pp. 50-65.
ISBN 978-3-642-38591-9.
E-ISBN 978-3-642-38592-6.
(doi:10.1007/978-3-642-38592-6_5)
|
![[img]](/43737/1.hassmallThumbnailVersion/BCDHY13.pdf)  Preview |
|
|
Bocchi, Laura and Ciancarini, Paolo
(2003)
A Perspective on Multiagent Coordination Models.
In:
Communication in Multiagent Systems.
Springer, pp. 146-163.
ISBN 978-3-540-40385-2.
E-ISBN 978-3-540-44972-0.
(doi:10.1007/978-3-540-44972-0_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)
|
|
|
Bocchi, Laura and Ciancarini, Paolo and Moretti, Rocco and Presutti, Valentina
(2007)
On the Impact of AOSE in Service-Oriented Computing.
In:
Emerging Methods, Technologies, and Process Management in Software Engineering.
Wiley-IEEE Computer Society, pp. 69-83.
(doi:10.1002/9780470238103.ch4)
(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 Moretti, Rocco and Presutti, Valentina and Rossi, Davide
(2005)
An OWL-S based approach to express grid services coordination.
In:
Proceedings of the 2005 ACM symposium on Applied computing.
ACM, New York, USA, pp. 1661-1667.
ISBN 1-58113-964-0.
(doi:10.1145/1066677.1067054)
(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,
Ciancarini, Paolo,
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.
pp. 283-297.
Springer
ISBN 978-3-540-25630-4.
E-ISBN 978-3-540-32006-7.
(doi: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,
Fiadeiro, José Luiz,
Lopes, Antónia
(2008)
Service-Oriented Modelling of Automotive Systems.
In:
Computer Software and Applications, 2008. COMPSAC '08. 32nd Annual IEEE International.
.
pp. 1059-1064.
IEEE Computer Society
ISBN 978-0-7695-3262-2.
(doi: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,
Gorton, Stephen,
Reiff-Marganiec, Stephan
(2010)
From StPowla processes to SRML models.
Formal Aspects of Computing,
22
(3).
pp. 243-268.
ISSN 0934-5043.
(doi:10.1007/s00165-009-0118-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)
|
|
|
Bocchi, Laura,
Guanciale, Roberto,
Strollo, Daniele,
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.
pp. 396-410.
Springer
ISBN 978-3-642-17357-8.
E-ISBN 978-3-642-17358-5.
(doi: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,
Honda, Kohei,
Tuosto, Emilio,
Yoshida, Nobuko
(2010)
A Theory of Design-by-Contract for Distributed Multiparty Interactions.
In:
21th International Conference on Concurrency Theory (CONCUR).
21th International Conference on Concurrency Theory (CONCUR).
Lecture Notes in Computer Science
, 6269.
pp. 162-176.
Springer
(doi:10.1007/978-3-642-15375-4_12)
(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: 6th IFIP WG 6.1 International Conference.
Lecture Notes in Computer Science
.
Springer, Berlin, Germany, pp. 124-138.
ISBN 978-3-540-20491-6.
E-ISBN 978-3-540-39958-2.
(doi: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,
Mahmud, Hoger,
Rebay-Salisbury, Katharina,
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,
Wischik, Lucian
(2004)
A Process Calculus of Atomic Commit.
Electronic Notes in Theoretical Computer Science,
105
.
pp. 119-132.
ISSN 1571-0661.
(doi:10.1016/j.entcs.2004.05.003)
(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 Yang, Weizhen and Yoshida, Nobuko
(2014)
Timed Multiparty Session Types.
In: Baldan, Paolo and Gorla, Daniele, eds.
CONCUR 2014 – Concurrency Theory 25th International Conference.
Lecture Notes in Computer Science
.
Springer, Berlin, Germany, pp. 419-434.
ISBN 978-3-662-44583-9.
E-ISBN 978-3-662-44584-6.
(doi:10.1007/978-3-662-44584-6_29)
|
![[img]](/43729/1.hassmallThumbnailVersion/BYY14.pdf)  Preview |
|
|
Bocchi, Laura,
Yoshida, Nobuko,
Lange, Julien
(2015)
Meeting Deadlines Together.
In: Aceto, Luca and de Frutos-Escrig, David, eds.
International Conference on Concurrency Theory (CONCUR).
LIPIcs
, 42.
pp. 283-296.
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
ISBN 978-3-939897-91-0.
(doi:10.4230/LIPIcs.CONCUR.2015.283)
|
![[img]](/50257/1.hassmallThumbnailVersion/bly15.pdf)  Preview |
|
|
Boiten, Eerke Albert,
Butler, Michael,
Derrick, John,
Smith, Graeme
(2010)
Editorial: Special issue on REFINE 2007.
Formal Aspects of Computing,
22
(1).
pp. 182-196.
ISSN 0934-5043.
(doi:10.1007/s00165-009-0147-2)
(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,
Derrick, John,
Dong, Jin Song,
Reeves, Steve
(2012)
Editorial: Special issue on Refine 2009.
Formal Aspects of Computing,
24
(1).
pp. 182-196.
ISSN 0934-5043.
(doi:10.1007/s00165-011-0220-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)
|
|
|
Boiten, Eerke and Grundy, Dan
(2010)
The Logic of Large Enough.
In: Bolduc, Claude and Desharnais, Jules and Ktari, Béchir, eds.
Mathematics of Program Construction 10th International Conference.
Lecture Notes in Computer Science
.
Springer, Berlin, Germany, pp. 182-196.
ISBN 978-3-642-13320-6.
E-ISBN 978-3-642-13321-3.
(doi:10.1007/978-3-642-13321-3_5)
|
![[img]](/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.
In:
Trends in Functional Programming 13th International Symposium.
Lecture Notes in Computer Science
.
Springer, Berlin, Germany, pp. 263-278.
ISBN 978-3-642-40446-7.
E-ISBN 978-3-642-40447-4.
(doi:10.1007/978-3-642-40447-4_17)
|
![[img]](/42314/1.hassmallThumbnailVersion/release-tfp12.pdf)  Preview |
|
|
Bowman, Howard and Thompson, Simon
(1998)
A tableau method for interval temporal logic with projection.
In: deSwart, H., ed.
Automated Reasoning with Analytic Tableaux and Related Methods International Conference.
Lecture Notes in Computer Science
.
Springer, Berlin, Germany, pp. 108-123.
ISBN 978-3-540-64406-4.
E-ISBN 978-3-540-69778-7.
(doi:10.1007/3-540-69778-0_17)
(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:10.1007/978-3-642-15898-8_6)
|
![[img]](/37590/1.hassmallThumbnailVersion/content.pdf)  Preview |
|
|
Brauer, Jorg,
King, Andy,
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
.
pp. 182-196.
Springer-Verlag
(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:10.1007/978-3-642-22110-1_17)
|
![[img]](/37589/1.hassmallThumbnailVersion/content.pdf)  Preview |
|
|
Brown, Christopher and Thompson, Simon
(2010)
Clone Detection and Elimination for Haskell.
In: Gallagher, John and Voigtlander, Janis, eds.
PEPM '10 Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and program manipulation.
PEPM Partial Evaluation and Program Manipulation
.
ACM, New York, USA, pp. 182-196.
ISBN 978-1-60558-727-1.
(doi:10.1145/1706356.1706378)
|
![[img]](/30696/1.hassmallThumbnailVersion/PEPM10.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
.
IOS Press, Amsterdam, Netherlands, pp. 182-196.
ISBN 978-1-60750-065-0.
E-ISBN 978-1-60750-513-6.
(doi:10.3233/978-1-60750-065-0-225)
|
![[img]](/30582/1.hassmallThumbnailVersion/AutoMobiles.pdf)  Preview |
|
|
Brown, Neil C.C.
(2004)
C++CSP Networked.
In:
Communicating Process Architectures 2004.
Concurrent Systems Engineering Series
.
IOS Press, pp. 185-200.
ISBN 978-1-58603-458-0.
|
![[img]](/33863/1.hassmallThumbnailVersion/C%2B%2BCSP-Networked.pdf)  Preview |
|
|
Brown, Neil C.C.
(2010)
Conjoined Events.
In:
Advances in Message Passing, 2010.
.
ACM
|
![[img]](/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
.
IOS Press, Amsterdam, Netherlands, pp. 182-196.
ISBN 978-1-60750-065-0.
E-ISBN 978-1-60750-513-6.
(doi:10.3233/978-1-60750-065-0-89)
|
![[img]](/30580/1.hassmallThumbnailVersion/Traces2.pdf)  Preview |
|
|
Bruna, Maria,
Grigore, Radu,
Kiefer, Stefan,
Ouaknine, Joel,
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).
55.
104:1-104:12.
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany
ISBN 978-3-95977-013-2.
(doi:10.4230/LIPIcs.ICALP.2016.104)
|
![[img]](/55083/1.hassmallThumbnailVersion/1504.01130v3.pdf)  Preview |
|
C
|
Cesarini, Francesco,
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.
pp. 182-196.
Springer
|
![[img]](/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)
|
|
|
Chari, Guido and Garbervetsky, Diego and Marr, Stefan and Ducasse, Stéphane
(2015)
Towards Fully Reflective Environments.
In:
Onward! 2015 2015 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software.
SPLASH Systems, Programming, and Applications
.
ACM, New York, USA, pp. 240-253.
ISBN 978-1-4503-3688-8.
(doi:10.1145/2814228.2814241)
|
![[img]](/63823/1.hassmallThumbnailVersion/onward15-chari-et-al-towards-fully-reflective-environments.pdf)  Preview |
|
|
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:10.1007/978-3-642-02158-9_9)
|
![[img]](/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: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,
Li, Huiqing,
Ghaffari, Amir,
Thompson, Simon,
Trinder, Phil
(2016)
Improving the network scalability of Erlang.
Journal of Parallel and Distributed Computing,
90-91
.
pp. 22-34.
ISSN 0743-7315.
(doi:10.1016/j.jpdc.2016.01.002)
|
![[img]](/54099/7.hassmallThumbnailVersion/SD-Erlang%20published.pdf)  Preview |
|
|
Chechina, Natalia,
MacKenzie, Kenneth,
Thompson, Simon,
Trinder, Phil,
Boudeville, Olivier,
Fordos, Viktoria,
Hoch, csaba,
Ghaffari, Amir,
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:10.1109/TPDS.2017.2654246)
|
![[img]](/60077/1.hassmallThumbnailVersion/dist-reliabile-scalabilityRevisedSubmission.pdf)  Preview |
|
|
Chen, Kung,
Weng, Shu-Chun,
Lin, Jia-Yin,
Wang, Meng,
Khoo, Siau-Cheng
(2011)
Side-Effect Localization for Lazy, Purely Functional
Languages via Aspects.
Higher-Order and Symbolic Computation,
.
pp. 1-39.
ISSN 1388-3690.
|
![[img]](/47476/1.hassmallThumbnailVersion/local_143548.pdf)  Preview |
|
|
Chen, Kung,
Weng, Shu-Chun,
Wang, Meng,
Khoo, Siau-Cheng,
Chen, Chung-Hsin
(2010)
Type-Directed Weaving of Aspects for Polymorphically
Typed Functional Languages.
Science of Computer Programming,
75
(11).
pp. 1048-1076.
ISSN 0167-6423.
(doi:10.1016/j.scico.2010.04.001)
|
![[img]](/47475/1.hassmallThumbnailVersion/local_143547.pdf)  Preview |
|
|
Cheung, Steven,
Darvariu, Victor,
Ghica, Dan R.,
Muroya, Koko,
Rowe, Reuben
(2018)
A functional perspective on machine learning via programmable induction and abduction.
In:
Lecture Notes in Artificial Intelligence.
Proceedings of the Fourteenth International Symposium on Functional and Logic Programming (FLOPS 2018) 9-11 May, 2018, Nagoya, Japan.
Lecture Notes in Computer Science
.
Springer, Switzerland
ISBN 978-3-319-90686-7.
(doi:10.1007/978-3-319-90686-7_6)
|
![[img]](/66447/1.hassmallThumbnailVersion/flops18.pdf)  Preview |
|
|
Chitil, Olaf
(2011)
A semantics for lazy assertions.
In:
Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation.
Partial Evaluation and Program Manipulation
.
ACM, New York, USA, pp. 141-150.
ISBN 978-1-4503-0485-6.
(doi:10.1145/1929501.1929527)
|
![[img]](/30775/1.hassmallThumbnailVersion/assertionSemantics.pdf)  Preview |
|
|
Christakis, Maria,
Emmisberger, Patrick,
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:10.1007/978-3-319-11164-3_23)
|
![[img]](/58945/1.hassmallThumbnailVersion/RV-2014.pdf)  Preview |
|
|
Christakis, Maria,
Leino, K. Rustan M.,
Müller, Peter,
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.
pp. 424-441.
Springer
ISBN 978-3-662-49673-2.
E-ISBN 978-3-662-49674-9.
(doi:10.1007/978-3-662-49674-9_25)
|
![[img]](/58940/1.hassmallThumbnailVersion/TACAS-2016.pdf)  Preview |
|
|
Christakis, Maria,
Müller, Peter,
Wüstholz, Valentin
(2014)
Synthesizing Parameterized Unit Tests to Detect Object Invariant Violations.
In:
12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings.
Lecture Notes in Computer Science
, 8702.
pp. 65-80.
Springer
ISBN 978-3-319-10430-0.
E-ISBN 978-3-319-10431-7.
(doi:10.1007/978-3-319-10431-7_6)
|
![[img]](/58946/1.hassmallThumbnailVersion/SEFM-2014.pdf)  Preview |
|
|
Christakis, Maria,
Wüstholz, Valentin
(2016)
Bounded Abstract Interpretation.
In:
Static Analysis 23rd International Symposium, SAS 2016, Proceedings.
Lecture Notes in Computer Science (LNCS)
, 9837.
pp. 105-125.
Springer
ISBN 978-3-662-53412-0.
E-ISBN 978-3-662-53413-7.
(doi:10.1007/978-3-662-53413-7_6)
|
![[img]](/58939/1.hassmallThumbnailVersion/SAS-2016.pdf)  Preview |
|
|
Contrastin, Mistral,
Orchard, Dominic A.,
Rice, Andrew C.
(2018)
Automatic reordering for dataflow safety of Datalog.
In:
Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming.
Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming.
.
ACM
ISBN 978-1-4503-6441-6.
(doi:10.1145/3236950.3236954)
|
|
|
Culpepper, Ryan,
Owens, Scott,
Flatt, Matthew
(2005)
Syntactic Abstraction in Component Interfaces.
In: Generative Programming and Component Engineering: 4th International Conference, GPCE 2005.
(doi:10.1007/11561347_25)
(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)
|
|
D
|
De Koster, Joeri,
Marr, Stefan,
D'Hondt, Theo,
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.
|
![[img]](/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:
Onward! 2015 2015 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software.
SPLASH Systems, Programming, and Applications
.
ACM, New York, USA, pp. 61-75.
ISBN 978-1-4503-3688-8.
(doi:10.1145/2814228.2814231)
|
![[img]](/63822/1.hassmallThumbnailVersion/onward15-de-wael-et-al-just-in-time-data-structures.pdf)  Preview |
|
|
Delaney, Aidan,
Stapleton, Gem,
Taylor, John,
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.
pp. 182-196.
Springer
(doi:10.1007/978-3-642-14600-8)
|
![[img]](/30645/1.hassmallThumbnailVersion/content.pdf)  Preview |
|
|
Delaney, Aidan,
Stapleton, Gem,
Taylor, John,
Thompson, Simon
(2014)
A normal form for spider diagrams of order.
Journal of Visual Languages and Computing,
25
(6).
pp. 935-944.
ISSN 1045-926X.
(doi:10.1016/j.jvlc.2014.10.029)
(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 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 Boiten, Eerke Albert
(2011)
Relational Concurrent Refinement: Timed Refinement.
In: Bruni, Roberto and Dingel, Juergen, eds.
Formal Techniques for Distributed Systems Joint 13th IFIP WG 6.1 International Conference.
Lecture Notes in Computer Science
.
Springer, Berlin, Germany, pp. 121-137.
ISBN 978-3-642-21460-8.
E-ISBN 978-3-642-21461-5.
(doi:10.1007/978-3-642-21461-5_8)
|
![[img]](/30757/1.hassmallThumbnailVersion/forte2011.pdf)  Preview |
|
|
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
.
Springer, Berlin, Germany, pp. 250-271.
ISBN 978-3-642-17070-6.
E-ISBN 978-3-642-17071-3.
(doi:10.1007/978-3-642-17071-3_13)
|
![[img]](/42313/1.hassmallThumbnailVersion/FMCO2.pdf)  Preview |
|
|
Drienyovszky, Dániel and Horpacsi, Dániel and Thompson, Simon
(2010)
Quickchecking Refactoring Tools.
In: Fritchie, Scott Lystig and Sagonas, Konstantinos, eds.
Proceedings of the 9th ACM SIGPLAN workshop on Erlang.
ACM, New York, USA, pp. 182-196.
ISBN 978-1-4503-0253-1.
(doi:10.1145/1863509.1863521)
|
![[img]](/30636/1.hassmallThumbnailVersion/content.pdf)  Preview |
|
|
Duan, Jianjun,
Hurd, Joe,
Li, Guodong,
Owens, Scott,
Slind, Konrad,
Zhang, Junxing
(2005)
Functional Correctness Proofs of Encryption Algorithms.
In: Logic for Programming, Artificial Intelligence, and Reasoning: 12th International Conference, LPAR 2005.
(doi: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: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,
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
.
pp. 84-103.
Springer
ISBN 978-3-319-14674-4.
E-ISBN 978-3-319-14675-1.
(doi:10.1007/978-3-319-14675-1_6)
|
![[img]](/49013/1.hassmallThumbnailVersion/tifl2014.pdf)  Preview |
|
|
Fiadeiro, José Luiz,
Lopes, Antónia,
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.
pp. 193-213.
Springer
ISBN 978-3-540-38862-3.
E-ISBN 978-3-540-38865-4.
(doi: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:
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages.
POPL Principles of Programming Languages
.
ACM, New York, USA, pp. 429-442.
ISBN 978-1-4503-4660-3.
(doi:10.1145/3009837.3009839)
|
![[img]](/64723/1.hassmallThumbnailVersion/mixed-size.pdf)  Preview |
|
|
Férée, Hugo and Hym, Samuel and Mayero, Micaela and Moyen, Jean-Yves and Nowak, David
(2018)
Formal Proof of Polynomial-Time Complexity with Quasi-Interpretations.
In:
Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs.
POPL Principles of Programming Languages
.
ACM, New York, USA.
ISBN 978-1-4503-5586-5.
(doi:10.1145/3167097)
(Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
|
|
G
|
Gaboardi, Marco,
Katsumata, Shin-ya,
Orchard, Dominic A.,
Breuvart, Flavien,
Uustalu, Tarmo
(2016)
Combining Effects and Coeffects via Grading.
ACM SIGPLAN Notices,
51
(9).
pp. 476-489.
ISSN 0362-1340.
E-ISSN 1558-1160.
(doi:10.1145/2951913.2951939)
|
![[img]](/57480/1.hassmallThumbnailVersion/bieffects.pdf)  Preview |
|
|
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:10.1007/3-540-36575-3_7)
|
![[img]](/37612/1.hassmallThumbnailVersion/content.pdf)  Preview |
|
|
Gerdes, Alex and Hughes, John and Smallbone, Nick and Wang, Meng
(2015)
Linking Unit Tests and Properties.
In:
Proceedings of the 14th ACM SIGPLAN Workshop on Erlang.
ICFP International Conference on Functional Programming
.
ACM, New York, USA, pp. 19-26.
ISBN 978-1-4503-3805-9.
(doi:10.1145/2804295.2804298)
|
![[img]](/50096/1.hassmallThumbnailVersion/icfpws15erlangmain-erlangmainid5-p-29951-5c323f8-24433-submitted.pdf)  Preview |
|
|
Grigore, Radu and Kiefer, Stefan
(2015)
Tree Buffers.
In:
Computer Aided Verification 27th International Conference.
Lecture Notes in Computer Science
.
Springer, Cham, Switzerland, pp. 290-306.
ISBN 978-3-319-21689-8.
E-ISBN 978-3-319-21690-4.
(doi:10.1007/978-3-319-21690-4_17)
|
![[img]](/54173/7.hassmallThumbnailVersion/1504.04757.pdf)  Preview |
|
|
Grigore, Radu,
Tzevelekos, Nikos
(2016)
History-Register Automata.
Logical Methods in Computer Science,
12
(1).
pp. 1-32.
ISSN 1860-5974.
|
![[img]](/54558/1.hassmallThumbnailVersion/1209.0680v3.pdf)  Preview |
|
H
|
Haupt, Michael,
Hirschfeld, Robert,
Pape, Tobias,
Gabrysiak, Gregor,
Marr, Stefan,
Bergmann, Arne,
Heise, Arvid,
Kleine, Matthias,
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).
|
![[img]](/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:10.1007/3-540-46425-5_10)
|
![[img]](/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.
UNSPECIFIED
ACM, Toronto, Canada, pp. 182-196.
ISBN 978-1-4503-0054-4.
(doi: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)
|
|
|
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:10.1007/3-540-46425-5_13)
|
![[img]](/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:10.1007/978-3-642-04761-9_23)
|
![[img]](/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.
|
![[img]](/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.
|
![[img]](/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:10.1007/978-3-319-18224-7)
|
![[img]](/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.
LIPIcs
.
Schloss Dagstuhl, Dagstuhl, Germany, pp. 182-196.
ISBN 978-3-939897-18-7.
(doi: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
(2011)
Replicating Real-time Garbage Collector.
Concurrency and Computation: Practice and Experience,
23
(14).
pp. 182-196.
(doi:10.1002/cpe.1669)
(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,
Hagelberg, Jeff,
Maj, Petr,
Pizlo, Filip,
Titzer, Ben,
Vitek, Jan
(2011)
A family of real-time Java benchmarks.
Concurrency and Computation: Practice and Experience,
23
(14).
pp. 182-196.
(doi: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,
Mole, Matthew,
Jones, Richard E.,
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:10.1007/11691372_7)
|
![[img]](/37603/1.hassmallThumbnailVersion/content.pdf)  Preview |
|
|
Kilov, Haim,
Linington, Peter F.,
Romero, José Raúl,
Tanaka, Akira,
Vallecillo, Antonio
(2013)
The Reference Model of Open Distributed Processing: Foundations, experience and applications.
Computer Standards and Interfaces,
35
(3).
pp. 247-256.
ISSN 0920-5489.
(doi:10.1016/j.csi.2012.05.003)
(Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
|
|
|
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:10.1007/978-3-540-24599-5_22)
|
![[img]](/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:10.1007/11799573_12)
|
![[img]](/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:10.1007/3-540-49099-X_5)
|
![[img]](/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.
|
![[img]](/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:10.1007/978-3-540-70545-1_26)
|
![[img]](/37593/1.hassmallThumbnailVersion/content.pdf)  Preview |
|
|
Kriener, Jael,
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.
pp. 182-196.
Springer, Kobe, Japan
(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:10.1007/978-3-642-29822-6_16)
|
![[img]](/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,
Arthan, Rob,
Myreen, Magnus O.,
Owens, Scott
(2014)
HOL with Definitions: Semantics, Soundness, and a Verified Implementation.
In:
Interactive Theorem Proving: Fifth International Conference, ITP 2014.
Lecture Notes in Computer Science
, 8558.
pp. 308-324.
Springer
(doi:10.1007/978-3-319-08970-6_20)
|
![[img]](/38886/1.hassmallThumbnailVersion/itp14.pdf)  Preview |
|
|
Kumar, Ramana,
Arthan, Rob,
Myreen, Magnus O.,
Owens, Scott
(2016)
Self-Formalisation of Higher-Order Logic: Semantics, Soundness, and a Verified Implementation.
Journal of Automated Reasoning,
56
(3).
pp. 221-259.
ISSN 0168-7433.
E-ISSN 1573-0670.
(doi:10.1007/s10817-015-9357-x)
|
|
|
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.
POPL Principles of Programming Languages
.
ACM, New York, USA, pp. 179-191.
ISBN 978-1-4503-2544-8.
(doi: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
|
Lange, Julien and Ng, Nicholas and Toninho, Bernardo and Yoshida, Nobuko
(2017)
Fencing off go: liveness and safety for channel-based programming.
In: Castagna, Giuseppe and Gordon, Andrew D., eds.
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages.
POPL Principles of Programming Languages
.
ACM, New York, USA, pp. 748-761.
ISBN 978-1-4503-4660-3.
(doi:10.1145/3009837.3009847)
|
![[img]](/62218/1.hassmallThumbnailVersion/popl2017.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:10.1007/11799573_13)
|
![[img]](/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:10.1007/11737414_13)
|
![[img]](/37602/1.hassmallThumbnailVersion/content.pdf)  Preview |
|
|
Linington, Peter F.
(2010)
The Stereochemistry of Enterprise Objects.
In:
2010 14th IEEE International Enterprise Distributed Object Computing Conference Workshops.
IEEE, pp. 182-196.
ISBN 978-1-4244-7965-8.
(doi:10.1109/EDOCW.2010.25)
(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)
|
|
|
Linington, Peter F. and Miyazaki, Hiroshi and Vallecillo, Antonio
(2012)
Obligations and Delegation in the ODP Enterprise Language.
In:
2012 IEEE 16th International Enterprise Distributed Object Computing Conference Workshops.
IEEE, pp. 146-155.
ISBN 978-1-4673-5005-1.
(doi:10.1109/EDOCW.2012.28)
(Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
|
|
|
Little, Christopher,
Gray, Kathryn E.,
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:10.1007/978-3-540-24754-8_11)
|
![[img]](/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:10.1007/978-3-540-31987-0_9)
|
![[img]](/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.
Lecture Notes in Computer Science
.
Springer, Berlin, Germany, pp. 495-512.
ISBN 978-3-642-31423-0.
E-ISBN 978-3-642-31424-7.
(doi: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)
|
|
|
Marr, Stefan,
Haupt, Michael,
Timbermont, Stijn,
Adams, Bram,
D'Hondt, Theo,
Costanza, Pascal,
De Meuter, Wolfgang
(2010)
Virtual Machine Support for Many-Core Architectures: Decoupling Abstract From Concrete Concurrency Models.
In: Second International Workshop on Programming Languages Approaches to Concurrency and Communication-cEntric Software.
(doi:10.4204/EPTCS.17.6)
|
![[img]](/63849/1.hassmallThumbnailVersion/1002.0939v1.pdf)  Preview |
|
|
Mulligan, Dominic P.,
Owens, Scott,
Gray, Kathryn E.,
Ridge, Tom,
Sewell, Peter
(2014)
Lem: reusable engineering of real-world semantics.
In: The 19th ACM SIGPLAN International Conference on Functional Programming, September 2014, Gothenburg, Sweden.
(doi:10.1145/2628136.2628143)
|
![[img]](/36713/1.hassmallThumbnailVersion/icfp24-mulligan.pdf)  Preview |
|
|
Myreen, Magnus O. and Owens, Scott
(2012)
Proof-Producing Synthesis of ML from Higher-Order Logic.
In:
Proceedings of the 17th ACM SIGPLAN international conference on Functional programming.
ACM, New York, USA, pp. 115-126.
ISBN 978-1-4503-1054-3.
(doi:10.1145/2364527.2364545)
(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)
|
|
|
Myreen, Magnus O. and Owens, Scott and Kumar, Ramana
(2013)
Steps Towards Verified Implementations of HOL Light (Rough Diamond).
In:
Interactive Theorem Proving 4th International Conference.
Lecture Notes in Computer Science
.
Springer, Berlin, Germany, pp. 490-495.
ISBN 978-3-642-39633-5.
E-ISBN 978-3-642-39634-2.
(doi:10.1007/978-3-642-39634-2_38)
(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)
|
|
N
O
|
Orchard, Dominic A.
(2011)
The four Rs of programming language design.
In:
Onward! 2011 Proceedings of the 10th SIGPLAN symposium on New ideas, new paradigms, and reflections on programming and software.
SPLASH Systems, Programming, and Applications
.
ACM, New York, USA, pp. 157-162.
ISBN 978-1-4503-0941-7.
(doi:10.1145/2089131.2089138)
|
![[img]](/57496/1.hassmallThumbnailVersion/onwards-essay-orchard11.pdf)  Preview |
|
|
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 17th European Symposium on Programming.
Lecture Notes in Computer Science
.
Springer, Berlin, Germany, pp. 1-15.
ISBN 978-3-540-78738-9.
E-ISBN 978-3-540-78739-6.
(doi: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,
Flatt, Matthew,
Shivers, Olin,
McMullan, Benjamin
(2004)
Lexer and Parser Generators in Scheme.
In: Scheme 2004: Proceedings of the Fifth Workshop on Scheme and Functional Programming.
|
![[img]](/31920/1.hassmallThumbnailVersion/sw04.pdf)  Preview |
|
|
Owens, Scott,
Norrish, Michael,
Kumar, Ramana,
Myreen, Magnus O.,
Tan, Yong Kiam
(2017)
Verifying Efficient Function Calls in CakeML.
Proceedings of the ACM Programming Languages,
1
(ICFP).
ISSN 2475-1421.
E-ISSN 2475-1421.
(doi:10.1145/3110262)
|
![[img]](/62156/1.hassmallThumbnailVersion/icfp17.pdf)  Preview |
|
|
Owens, Scott,
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 22nd International Conference.
Lecture Notes in Computer Science
.
Springer, Berlin, Germany, pp. 391-407.
ISBN 978-3-642-03358-2.
E-ISBN 978-3-642-03359-9.
(doi: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
|
Petersen, Leaf and Orchard, Dominic and Glew, Neal
(2013)
Automatic SIMD vectorization for Haskell.
In:
Proceedings of the 18th ACM SIGPLAN international conference on Functional programming.
ICFP International Conference on Functional Programming
.
ACM, New York, USA, pp. 25-36.
ISBN 978-1-4503-2326-0.
(doi:10.1145/2500365.2500605)
|
![[img]](/57494/1.hassmallThumbnailVersion/icfp-2013-simd-vectorisation.pdf)  Preview |
|
|
Petricek, Tomas
(2015)
Against a Universal Definition of 'Type'.
In:
Onward! 2015 2015 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software.
SPLASH Systems, Programming, and Applications
.
ACM, New York, USA, pp. 254-266.
ISBN 978-1-4503-3688-8.
(doi:10.1145/2814228.2814249)
|
![[img]](/67144/1.hassmallThumbnailVersion/against-types-v2.pdf)  Preview |
|
|
Petricek, Tomas,
Orchard, Dominic A.,
Mycroft, Alan
(2013)
Coeffects: Unified static analysis of context-dependence.
In:
Lecture Notes in Computer Science.
Automata, Languages, and Programming: 40th International Colloquium, ICALP 2013, Proceedings, Part II.
7966.
pp. 385-397.
Springer-Verlag
ISBN 978-3-642-39211-5.
(doi:10.1007/978-3-642-39212-2_35)
|
![[img]](/57543/1.hassmallThumbnailVersion/coeffects-icalp13.pdf)  Preview |
|
R
|
Renaux, Thierry,
Hoste, Lode,
Marr, Stefan,
De Meuter, Wolfgang
(2012)
Parallel Gesture Recognition with Soft Real-Time Guarantees.
In: Proceedings of the 2nd edition on Programming Systems, Languages and Applications based on Actors, Agents, and Decentralized Control Abstractions.
(doi:10.1145/2414639.2414646)
|
![[img]](/63837/1.hassmallThumbnailVersion/agere12-parallel-gesture-recognition-with-soft-real-time-guarantees.pdf)  Preview |
|
|
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 Proceedings of the 35th WoTUG Technical Meeting.
Open Channel Publishing, pp. 271-291.
ISBN 978-0-9565409-7-3.
|
![[img]](/36939/1.hassmallThumbnailVersion/9780956540973_020.pdf)  Preview |
|
|
Ritson, Carl G. and Owens, Scott
(2016)
Benchmarking weak memory models.
In:
Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming.
PPoPP Principles and Practice of Parallel Programming
.
ACM, New York, USA.
ISBN 978-1-4503-4092-2.
(doi: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 Howe, Jacob M. and King, Andy
(2013)
Theory Propagation and Rational-Trees.
In: Schrijvers, Tom, ed.
Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming.
PPDP Principles and Practice of Declarative Programming
.
ACM, New York, USA, pp. 193-204.
ISBN 978-1-4503-2154-9.
(doi:10.1145/2505879.2505901)
|
![[img]](/37525/1.hassmallThumbnailVersion/main.pdf)  Preview |
|
|
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:10.1145/2837614.2837633)
|
![[img]](/51097/7.hassmallThumbnailVersion/main.pdf)  Preview |
|
|
Rowe, Reuben,
Férée, Hugo,
Thompson, Simon,
Owens, Scott
(2019)
Characterising Renaming within OCaml’s Module System: Theory and Implementation.
In:
PLDI '19: ACM SIGPLAN Conference on Programming Language Design and Implementation Proceedings.
.
pp. 950-965.
ACM, ACM New York, NY, USA ©2019
(doi:10.1145/3314221.3314600)
|
![[img]](/73526/1.hassmallThumbnailVersion/paper%20%281%29.pdf)  Preview |
|
|
Runnalls, Andrew R.
(2010)
Aspects of CXXR Internals.
Computational Statistics,
26
(3).
pp. 182-196.
ISSN 0943-4062.
(doi:10.1007/s00180-010-0218-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)
|
|
|
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:
Proceedings of the 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation.
ACM, New York, USA, pp. 311-322.
ISBN 978-1-4503-1205-9.
(doi:10.1145/2254064.2254102)
|
![[img]](/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 Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages.
POPL Principles of Programming Languages
.
ACM, New York, USA, pp. 379-391.
ISBN 978-1-60558-379-2.
(doi: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,
Sarkar, Susmit,
Owens, Scott,
Zappa Nardelli, Francesco,
Myreen, Magnus O.
(2010)
x86-TSO: A Rigorous and Usable Programmer's Model for x86 Multiprocessors.
Communications of the ACM,
53
(7).
pp. 89-97.
ISSN 0001-0782.
(doi:10.1145/1785414.1785443)
(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,
Zappa Nardelli, Francesco,
Owens, Scott,
Peskine, Gilles,
Ridge, Thomas,
Sarkar, Susmit,
Strniša, Rok
(2010)
Ott: Effective Tool Support for the Working Semanticist.
Journal of Functional Programming,
20
(1).
pp. 71-122.
ISSN 0956-7968.
(doi:10.1017/S0956796809990293)
(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,
Zappa Nardelli, Francesco,
Owens, Scott,
Peskine, Gilles,
Ridge, Thomas,
Sarkar, Susmit,
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: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:10.1007/11547662_23)
|
![[img]](/37606/1.hassmallThumbnailVersion/content.pdf)  Preview |
|
|
Simon, Axel and King, Andy
(2007)
Taming the Wrapping of Integer Arithmetic.
In: File, Gilberto and Nielson, Hanne Riis, eds.
Static Analysis Symposium 14th International Symposium.
Lecture Notes in Computer Science
.
Springer, Berlin, Germany, pp. 182-196.
ISBN 978-3-540-74060-5.
E-ISBN 978-3-540-74061-2.
(doi:10.1007/978-3-540-74061-2_8)
|
![[img]](/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:10.1007/11924661_11)
|
![[img]](/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
.
IOS Press, Amsterdam, Netherlands, pp. 182-196.
ISBN 978-1-60750-065-0.
E-ISBN 978-1-60750-513-6.
(doi:10.3233/978-1-60750-065-0-375)
(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,
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.
.
pp. 182-196.
ACM
(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. and Brown, Gavin and Luján, Mikel
(2010)
The Economics of Garbage Collection.
In: Vitek, Jan and Lea, Doug, eds.
ISMM '10 Proceedings of the 2010 international symposium on Memory management.
ACM, New York, USA, pp. 182-196.
ISBN 978-1-4503-0054-4.
(doi: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)
|
|
|
Singh, Ranjeet and King, Andy
(2015)
Partial Evaluation for Java Malware Detection.
In: Proietti, Maurizio and Seki, Hirohisa, eds.
Twenty fourth International Symposium on Logic-Based Program Synthesis and Transformation.
Lecture Notes in Computer Science, 8991
.
Springer, pp. 133-147.
ISBN 978-3-319-17821-9.
E-ISBN 978-3-319-17822-6.
(doi:10.1007/978-3-319-17822-6_8)
|
![[img]](/42104/6.hassmallThumbnailVersion/main.pdf)  Preview |
|
|
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: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,
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.
22:1-22:17.
Schloss Dagstuhl: Leibniz-Zentrum für Informatik, Porto, Portugal
ISBN 978-3-95977-010-1.
(doi:10.4230/LIPIcs.FSCD.2016.22)
|
![[img]](/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:
Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications.
SPLASH Systems, Programming, and Applications
.
ACM, New York, USA, pp. 39-58.
ISBN 978-1-4503-4444-9.
(doi:10.1145/2983990.2984032)
|
![[img]](/57941/1.hassmallThumbnailVersion/oopsla16main-main157-p-19cb2f8-29253-final.pdf)  Preview |
|
|
Swalens, Janwillem,
Renaux, Thierry,
Hoste, Lode,
Marr, Stefan,
De Meuter, Wolfgang
(2013)
Cloud PARTE: Elastic Complex Event Processing based on Mobile Actors.
In: Proceedings of AGERE! 2013, 3rd International Workshop on Programming based on Actors, Agents, and Decentralized Control.
|
![[img]](/63835/1.hassmallThumbnailVersion/agere13-swalens-et-al-cloud-parte-elastic-complex-event-processing-based-on-mobile-actors.pdf)  Preview |
|
T
|
Tako, Antuela,
Kotiadis, Kathy,
Vasilakis, Christos,
Miras, Alexander,
Le Roux, Carel W
(2014)
Improving patient waiting times: a simulation study of an obesity care service.
Improving patient waiting times: a simulation study of an obesity care service,
23
(5).
pp. 373-381.
ISSN 2044-5415.
(doi:10.1136/bmjqs-2013-002107)
|
![[img]](/51027/1.hassmallThumbnailVersion/PartiSim.pdf)  Preview |
|
|
Tan, Yong Kiam,
Myreen, Magnus O.,
Kumar, Ramana,
Fox, Anthony,
Owens, Scott,
Norrish, Michael
(2016)
A New Verified Compiler Backend for CakeML.
In: International Conference on Functional Programming, Sep 2016, Nara, Japan.
(doi:10.1145/2951913.2951924)
|
![[img]](/55687/7.hassmallThumbnailVersion/paper.pdf)  Preview |
|
|
Tan, Yong Kiam,
Myreen, Magnus O.,
Kumar, Ramana,
Fox, Anthony,
Owens, Scott,
Norrish, Michael
(2019)
The Verified CakeML Compiler Backend.
Journal of Functional Programming,
29
.
ISSN 0956-7968.
(doi:10.1017/S0956796818000229)
|
![[img]](/71304/1.hassmallThumbnailVersion/paper.pdf)  Preview |
|
|
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,
Horpacsi, Daniel,
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).
216.
pp. 83-103.
(doi:10.4204/EPTCS.216.5)
|
![[img]](/56750/1.hassmallThumbnailVersion/paper.cgi_VPT2016.5.pdf)  Preview |
|
|
Thompson, Simon and Lamela Seijas, Pablo
(2018)
Marlowe: Financial Contracts on Blockchain.
In:
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/978-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,
Li, Huiqing,
Baker, Robert,
Adams, Stephen,
Trinder, Phil,
Chechina, Natalia,
Papaspyrou, Nikolaos,
Sagonas, Konstantinos,
Aronis, Stavros,
Bihari, Eva,
and others.
Boudeville, Olivier,
Cesarini, Francesco,
de Stefano, Maurizio,
Eriksson, Sverker,
Fordos, Viktoria,
Ghaffari, Amir,
Green, Rickard,
Hoch, csaba,
Klaftenegger, David,
Lundin, Kenneth,
MacKenzie, Kenneth,
Roukounaki, Katerinia,
Tsiouris, Yiannis,
and
Winblad, Kjell
(hide)
(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:10.1145/3107937)
|
![[img]](/63197/1.hassmallThumbnailVersion/release-summary-arxiv-1.pdf)  Preview |
|
U
V
|
Voigtländer, Janis and Hu, Zhenjiang and Matsuda, Kazutaka and Wang, Meng
(2010)
Combining Syntactic and Semantic Bidirectionalization.
In:
ICFP '10 Proceedings of the 15th ACM SIGPLAN international conference on Functional programming.
ICFP International Conference on Functional Programming
.
ACM, New York, USA, pp. 181-192.
ISBN 978-1-60558-794-3.
(doi:10.1145/1863543.1863571)
|
![[img]](/47473/1.hassmallThumbnailVersion/local_143546.pdf)  Preview |
|
W
|
Weirich, Stephanie,
Owens, Scott,
Sewell, Peter,
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 Proceedings of the 35th WoTUG Technical Meeting.
Open Channel Publishing, pp. 293-318.
ISBN 978-0-9565409-7-3.
|
![[img]](/44827/1.hassmallThumbnailVersion/life-of-occam-pi.pdf)  Preview |
|
|
Welch, Peter H.,
Brown, Neil C.C.,
Moores, James,
Chalmers, Kevin,
Sputh, Bernhard H. C.
(2010)
Alting Barriers: Synchronisation with Choice in Java using JCSP.
Concurrency and Computation: Practice and Experience,
22
.
pp. 182-196.
(doi:10.1002/cpe.1471)
(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)
|
|
|
White, David R. and Singer, Jeremy and Aitken, Jonathan M. and Jones, Richard E.
(2013)
Control theory for principled heap sizing.
In:
Proceedings of the 2013 international symposium on memory management.
ISMM International Symposium on Memory Management
.
ACM, New York, USA, pp. 27-38.
ISBN 978-1-4503-2100-6.
(doi:10.1145/2555670.2466481)
|
![[img]](/37199/1.hassmallThumbnailVersion/ismm04-singer.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.
SPLASH Systems, Programming, and Applications
.
ACM, New York, USA, pp. 731-747.
ISBN 978-1-4503-3689-5.
(doi:10.1145/2814270.2814283)
|
![[img]](/51384/2.hassmallThumbnailVersion/OOPSLA.pdf)  Preview |
|
|
Wickerson, John and Batty, Mark and Sorensen, Tyler and Constantinides, George A.
(2017)
Automatically Comparing Memory Consistency Models.
In:
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages.
POPL Principles of Programming Languages
.
ACM, New York, USA, pp. 190-204.
ISBN 978-1-4503-4660-3.
(doi:10.1145/3093333.3009838)
|
![[img]](/63503/19.hassmallThumbnailVersion/memalloy.pdf)  Preview |
|
X
Z
|
Zappa Nardelli, Francesco,
Sewell, Peter,
Sevcik, Jaroslav,
Sarkar, Susmit,
Owens, Scott,
Maranget, Luc,
Batty, Mark,
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 Tue Oct 15 21:51:47 2019 BST. |
![[img]](/style/images/fileicons/application_pdf.png)
![[img]](/style/images/fileicons/text_html.png)
![[img]](/style/images/fileicons/other.png)
![[img]](/style/images/fileicons/application_zip.png)
