Submissions from ic.ac.uk

		Automated Testing of Graphics Shader Compilers [pdf] (ic.ac.uk)
		2 points by based2 on Nov 19, 2017 \| past
		Serverless Computing: Economic and Architectural Impact [pdf] (ic.ac.uk)
		1 point by blacksmythe on Oct 19, 2017 \| past
		Serverless Computing: Economic and Architectural Impact [pdf] (ic.ac.uk)
		2 points by nreece on Oct 10, 2017 \| past
		Floating-Point Symbolic Execution: A Case Study in N-version Programming [pdf] (ic.ac.uk)
		2 points by rbanffy on Sept 11, 2017 \| past
		How to Write Unmaintainable Code (1999) (ic.ac.uk)
		1 point by jjuhl on May 17, 2017 \| past
		Local Deep Neural Networks for Age and Gender Classification [pdf] (ic.ac.uk)
		2 points by lainon on April 21, 2017 \| past
		Fencing Off Go: Liveness and Safety for Channel-Based Programming [pdf] (ic.ac.uk)
		2 points by ngrilly on Oct 26, 2016 \| past
		The Event Calculus Explained (1999) [pdf] (ic.ac.uk)
		57 points by adamnemecek on Aug 20, 2016 \| past \| 12 comments
		Free PL Workshop: SREPLS-4, Imperial College London, 27 September (ic.ac.uk)
		1 point by luisggpina on Aug 18, 2016 \| past \| 1 comment
		The MWC64X Random Number Generator (ic.ac.uk)
		1 point by djoldman on June 28, 2016 \| past
		Robert Kowalski – A history of logic programming (2013) [pdf] (ic.ac.uk)
		4 points by YeGoblynQueenne on June 7, 2016 \| past
		Analysing the Program Analyser [pdf] (ic.ac.uk)
		2 points by ingve on May 20, 2016 \| past
		Logic-Based Machine Learning (2000) [pdf] (ic.ac.uk)
		1 point by romaniv on May 17, 2016 \| past
		Automatic Test Case Reduction for OpenCL [pdf] (ic.ac.uk)
		1 point by luu on April 12, 2016 \| past
		Lexis – a programming exam invigilation system for Linux (2001) [pdf] (ic.ac.uk)
		1 point by khushia on March 14, 2016 \| past \| 1 comment
		Analysing the Program Analyser [pdf] (ic.ac.uk)
		2 points by ingve on Feb 16, 2016 \| past
		Thermal-Join: A Scalable Spatial Join for Dynamic Workloads [pdf] (ic.ac.uk)
		5 points by espeed on Nov 10, 2015 \| past
		How to Write Unmaintainable Code (1999) (ic.ac.uk)
		2 points by erbdex on Oct 23, 2015 \| past
		How to Write Unmaintainable Code (1999) (ic.ac.uk)
		159 points by dhuramas on Sept 18, 2015 \| past \| 70 comments
		Advanced Computer Architecture (ic.ac.uk)
		72 points by ThomasMorrison on Sept 2, 2015 \| past \| 16 comments
		Lessons from building a scientific startup (ic.ac.uk)
		1 point by JohnHammersley on Aug 3, 2015 \| past
		Server Availability and Security Through Failure-Oblivious Computing (2004) [pdf] (ic.ac.uk)
		9 points by Aloha on July 6, 2015 \| past
		Reasoned Programming (1994) [pdf] (ic.ac.uk)
		15 points by edroche on June 15, 2015 \| past
		Many-Core Compiler Fuzzing [pdf] (ic.ac.uk)
		11 points by tgma on April 22, 2015 \| past
		WriteLaTeX: Lessons from Building a Scientific Startup [Founder Slides + Video] (ic.ac.uk)
		1 point by JohnHammersley on Feb 19, 2015 \| past
		WriteLaTeX: Lessons from Building a Scientific Startup [video] (ic.ac.uk)
		12 points by arono on Nov 24, 2014 \| past \| 1 comment
		Unifying models of data flow (2011) [pdf] (ic.ac.uk)
		10 points by wslh on Sept 1, 2014 \| past \| 1 comment
		Robert Kowalski: Reactive Computing as Model Generation (ic.ac.uk)
		2 points by mindcrime on April 27, 2014 \| past
		The Early Years Of Logic Programming (1988) [pdf] (ic.ac.uk)
		2 points by mindcrime on April 12, 2014 \| past
		JSCert: A Trusted Mechanised JavaScript Speciﬁcation (ic.ac.uk)
		2 points by petercooper on Jan 9, 2014 \| past
		More

HN For You