Submissions from ic.ac.uk

		Putting Randomized Compiler Testing into Production [pdf] (ic.ac.uk)
		1 point by matt_d on Sept 17, 2020 \| past
		Testing Compilers Thoroughly by Being Less Conservative About Undefined Behavior [pdf] (ic.ac.uk)
		1 point by azhenley on Sept 7, 2020 \| past
		Testing Compilers More Thoroughly by Being Less Conservative About UB [pdf] (ic.ac.uk)
		2 points by matt_d on Aug 12, 2020 \| past
		FreeDA: Deploy All LLVM Sanitizers in Production without overhead [pdf] (ic.ac.uk)
		2 points by andronat on May 31, 2020 \| past
		LPS: Logic Production Systems (ic.ac.uk)
		20 points by todsacerdoti on May 5, 2020 \| past
		Slow and Steady: Measuring and Tuning Multicore Interference (RTAS 2020) [pdf] (ic.ac.uk)
		2 points by matt_d on Feb 29, 2020 \| past
		Earth Impact Effects Program (ic.ac.uk)
		1 point by oumua_don17 on Jan 5, 2020 \| past
		Algorithm = Logic and Control (1979) [pdf] (ic.ac.uk)
		3 points by YeGoblynQueenne on Jan 4, 2020 \| past
		Compiler Fuzzing: How Much Does It Matter? (ic.ac.uk)
		1 point by matt_d on Sept 5, 2019 \| past
		Too Unique to Hide (ic.ac.uk)
		75 points by zoobab on July 24, 2019 \| past \| 32 comments
		Too Unique to Hide (ic.ac.uk)
		1 point by randomdrake on July 23, 2019 \| past
		The Anatomy of a Cryptocurrency Pump-and-Dump Scheme [pdf] (ic.ac.uk)
		1 point by tdhz77 on May 25, 2019 \| past
		Computing Summaries of String Loops in C for Better Testing and Refactoring [pdf] (ic.ac.uk)
		1 point by ingve on April 12, 2019 \| past
		Learning higher order programs through abstraction and invention [pdf] (ic.ac.uk)
		37 points by YeGoblynQueenne on March 2, 2019 \| past
		Neural networks (ic.ac.uk)
		2 points by rehman on Jan 18, 2019 \| past
		Multiparty Session C: Safe Parallel Programming with Message Optimisation (2012) (ic.ac.uk)
		36 points by rurban on Dec 28, 2018 \| past \| 6 comments
		How to Be a Programmer: A Short, Comprehensive, and Personal Summary (2002) [pdf] (ic.ac.uk)
		254 points by mtmail on Dec 22, 2018 \| past \| 55 comments
		Breaking the 1M Bitcoin tx/s barrier (ic.ac.uk)
		2 points by youdarealmvp on Nov 23, 2018 \| past
		Breaking the 1M tx/s barrier for Bitcoin and Blockchain (ic.ac.uk)
		2 points by trianglechain on Oct 29, 2018 \| past
		Achieving 1M Bitcoin Transactions per Second (ic.ac.uk)
		1 point by fooldarealmvp on Oct 27, 2018 \| past
		Blockchains are best-effort and why you should care (ic.ac.uk)
		12 points by udarealmvp on Oct 22, 2018 \| past
		How to be a programmer (PDF, 2002) (ic.ac.uk)
		2 points by brikelly on Aug 16, 2018 \| past
		Fencing off Go: Liveness and safety for channel-based programming [pdf] (ic.ac.uk)
		1 point by ingve on Aug 16, 2018 \| past
		Do We Need Distributed Stream Processing? (ic.ac.uk)
		129 points by domargan on June 11, 2018 \| past \| 31 comments
		When the signal is in the noise: Exploiting Aircloak's Diffix anonymization (ic.ac.uk)
		4 points by Cynddl on April 25, 2018 \| past \| 2 comments
		Cambridge Analytica is only the beginning (ic.ac.uk)
		1 point by icc97 on April 10, 2018 \| past
		Cambridge Analytica is only the beginning and blame your friends for it (ic.ac.uk)
		8 points by shubhamjain0594 on March 30, 2018 \| past
		Cambridge Analytica is only the beginning. Should you blame your friends for it? (ic.ac.uk)
		2 points by Cynddl on March 29, 2018 \| past
		Chopped Symbolic Execution (ic.ac.uk)
		1 point by DyslexicAtheist on March 11, 2018 \| past \| 1 comment
		A Static Verification Framework for Message Passing in Go (ic.ac.uk)
		2 points by geospeck on Jan 29, 2018 \| past
		More

HN For You