Browse by Publisher

Saunders, Jack, Freitas, Alex A. (2022) GA-Auto-PU: A genetic algorithm-based automated machine learning system for Positive-Unlabeled learning. In: Proceedings of the GECCO’22 Companion (Genetic and Evolutionary Computation Conference). . pp. 288-291. ACM Press ISBN 978-1-4503-9268-6. (doi:10.1145/3520304.3528932) (KAR id:95803)

Harrison, Joseph (2018) Automatic detection of core Erlang message passing errors. In: Proceedings of the 17th ACM SIGPLAN International Workshop on Erlang - Erlang 2018. Erlang 2018 Proceedings of the 17th ACM SIGPLAN International Workshop on Erlang. . pp. 37-48. ACM Press ISBN 978-1-4503-5824-8. (doi:10.1145/3239332.3242765) (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) (KAR id:69298)

Oliveira, Luiz O.V.B., Otero, Fernando E.B., Pappa, Gisele L. (2016) A Dispersion Operator for Geometric Semantic Genetic Programming. In: Proceedings of the 2016 Annual Conference on Genetic and Evolutionary Computation. . pp. 773-780. ACM Press (doi:10.1145/2908812.2908923) (KAR id:55156)

Helal, Ayah, Otero, Fernando E.B. (2016) A Mixed-Attribute Approach in Ant-Miner Classification Rule Discovery Algorithm. In: Proceedings of the 2016 Annual Conference on Genetic and Evolutionary Computation. . pp. 13-20. ACM Press (doi:10.1145/2908812.2908900) (KAR id:55150)

Brookhouse, James, Otero, Fernando E.B. (2016) Using an Ant Colony Optimization Algorithm for Monotonic Regression Rule Discovery. In: Genetic and Evolutionary Computation Conference (GECCO 2016), 20-24 July 2016, Denver, United States. (doi:10.1145/2908812.2908896) (KAR id:55191)

Robbins, Edward, King, Andy, Schrijvers, Tom (2016) From MinX to MinC: Semantics-Driven Decompilation of Recursive Datatypes. In: Guha, Arjun and Chong, Steve, eds. POPL '16. . pp. 191-203. ACM Press, St. Petersburg, Florida, USA ISBN 978-1-4503-3549-2. (doi:10.1145/2837614.2837633) (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) (KAR id:51097)

Brookhouse, James, Otero, Fernando E.B. (2015) Discovering Regression Rules with Ant Colony Optimization. In: Proceedings of the 2015 Genetic and Evolutionary Conference Companion (GECCO'15 Companion). . pp. 1005-1012. ACM Press (doi:10.1145/2739482.2768450) (KAR id:48689)

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) (KAR id:50272)

Mulligan, Dominic P., Owens, Scott, Gray, Kathryn E., Ridge, Tom, Sewell, Peter (2014) Lem: reusable engineering of real-world semantics. In: ICFP’14 Proceedings of the 2014 ACM SIGPLAN International Conference on Functional Programming. Proceedings of the 2014 ACM SIGPLAN. 49 (9). pp. 175-188. ACM Press ISBN 978-1-4503-2873-9. (doi:10.1145/2628136.2628143) (KAR id:36713)

Batty, Mark, Dodds, Mike, Gotsman, Alexey (2013) Library abstraction for C/C++ concurrency. In: ACM SIGPLAN Notices. Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. . pp. 235-248. ACM Press ISBN 978-1-4503-1832-7. (doi:10.1145/2429069.2429099) (KAR id:50270)

Kriener, Jael and King, Andy and Blazy, Sandrine (2013) Proofs You Can Believe In: Proving Equivalences Between Prolog Semantics in Coq. In: Schrijvers, Tom, ed. Principles and Practice of Declarative Programming. ACM Press, New York, pp. 37-48. ISBN 978-1-4503-2154-9. (doi:10.1145/2505879.2505886) (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) (KAR id:37524)

Medland, Matthew, Otero, Fernando E.B. (2012) A Study of Different Quality Evaluation Functions in the cAnt-MinerPB Classification Algorithm. In: Proceedings of the 2012 Genetic and Evolutionary Conference (GECCO 2012). . pp. 49-55. ACM Press (doi:10.1145/2330163.2330171) (KAR id:30801)

Otero, Fernando E.B., Castle, Tom, Johnson, Colin G. (2012) EpochX: Genetic Programming in Java with Statistics and Event Monitoring. In: Proceedings of the 2012 Genetic and Evolutionary Conference Companion (GECCO 2012). . ACM Press, Philadelphia (doi:10.1145/2330784.2330800) (KAR id:30796)

Arts, Thomas, Lamela Seijas, Pablo, Thompson, Simon (2011) Extracting QuickCheck Specifications from EUnit Test Cases. In: Rikitake, Kenji and Stenman, Erik, eds. Erlang Workshop 2011. . pp. 182-196. ACM Press (doi:10.1145/2034654.2034666) (KAR id:30725)

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) (KAR id:31895)

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). (KAR id:63848)

Franqueira, Virginia N. L., Lopes, Raul H. C., van Eck, Pascal (2009) Multi-step Attack Modelling and Simulation (MsAMS) Framework Based on Mobile Ambients. In: Proceedings of the 2009 ACM symposium on Applied Computing (SAC 09). . pp. 66-73. ACM Press ISBN 978-1-60558-166-8. (doi:10.1145/1529282.1529294) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:77202)

Fuller, Ursula, Johnson, Colin G., Ahoniemi, Tuukka, Cukierman, Diana, Hernán-Losada, Isidoro, Jackova, Jana, Lahtinen, Essi, Lewis, Tracy L., McGee Thompson, Donna, Riesdel, Charles, and others. Thompson, Errol (hide) (2007) Developing a Computer Science-specific Learning Taxonomy. ACM SIGCSE Bulletin, 39 (4). pp. 152-170. ISSN 0097-8418. (doi:10.1145/1345375.1345438) (KAR id:23997)

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) (KAR id:31910)

Barnes, Stuart J. (2007) Virtual worlds as a medium for advertising: a research agenda. Advances in Information Systems, 38 (4). pp. 45-55. (doi:10.1145/1314234.1314244) (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) (KAR id:34739)

Fuller, Ursula, Pears, Arnold, Amillo, June, Avram, Chris, Mannila, Linda (2006) A Computing Perspective on the Bologna Process. ACM SIGCSE Bulletin, 38 (4). pp. 142-158. ISSN 0097-8418. (doi:10.1145/1189136.1189181) (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) (KAR id:14387)

Owens, Scott, Flatt, Matthew (2006) From Structures and Functors to Modules and Units. In: ICFP '06: Proceedings of the Eleventh ACM SIGPLAN International Conference on Functional Programming. (doi:10.1145/1159803.1159815) (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) (KAR id:31915)

Utting, Ian (2006) Problems in the Initital Teaching of Programming using Java: the case for replaceing J2SE with J2ME. Proceedings of the 11th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 38 (3). pp. 193-196. ISSN 0097-8418. (doi:10.1145/1140123.1140176) (KAR id:14507)

Fuller, Ursula, Amillo, June, Laxer, Cary, McCracken, W. Michael, Mertz, Joseph (2005) Facilitating student learning through study abroad and international projects. ACM SIGCSE Bulletin, 37 (4). pp. 139-151. ISSN 0097-8418. (doi:10.1145/1113847.1113892) (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) (KAR id:14226)

Freitas, Alex A. (2004) A critical review of multi-objective optimization in data mining: a position paper. SIGKDD Explorations, 6 (2). pp. 77-86. ISSN 1931-0145. (doi:10.1145/1046456.1046467) (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) (KAR id:14051)

Carter, Janet, English, John, Ala-Mutka, Kirsti, Dick, Martin, Fone, William, Fuller, Ursula, Sheard, Judy (2003) How Shall We Assess This? ACM SIGCSE Bulletin, 35 (4). pp. 107-123. ISSN 0097-8418. (doi:10.1145/960875.960539) (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) (KAR id:13879)

Dick, Martin, Sheard, Judy, Bareiss, Cathy, Carter, Janet, Joyce, Donald, Harding, Trevor, Laxer, Cary (2003) Addressing student cheating: definitions and solutions. ACM SIGCSE Bulletin, 35 (2). pp. 172-184. ISSN 0097-8418. (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) (KAR id:13966)

Panteli, Antony (2003) Code Confidential: codes of practice for computing professionals. ACM: Computers & Society, 32 (2). ISSN 0095-2737. (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) (KAR id:13962)

Printezis, Tony and Jones, Richard E. (2002) GCspy: An Adaptable Heap Visualisation Framework. In: Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications. ACM Press, New York, USA, pp. 343-358. ISBN 1-58113-471-1. (doi:10.1145/582419.582451) (KAR id:13700)

Fahraeus, E.R., Chamberlain, B., Baykov, V., Bridgeman, N., Dumbraveanu, R., Fuller, Ursula, Rugeli, J. (1999) Teaching with Electronic Collaborative Learning Groups: Report of the ITiCSE'99 Working Group on Creative Teaching of Electronic Collaborative Learning Groups. SIGCSE Bulletin, 31 (4). pp. 121-128. ISSN 0097-8418. (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) (KAR id:21738)

Bowman, Howard, Derrick, John (1995) Modelling Distributed Systems using Z. In: UNSPECIFIED. (doi:10.1145/315891.315941) (KAR id:21281)

Sannella, Don, Tarlecki, Andrzej, Kahrs, Stefan (1994) Interfaces and Extended ML. SIGPLAN Notices, 29 (8). pp. 111-118. (doi:10.1145/185084.185113) (KAR id:21170)