What's New! December 1993http://home.mcom.com/home/whatsnew/whats_new_1293.html
methods to software engineering problems. Current projects include algorithm synthesis , software testing , reactive systems design and verification , data type refinement , visua
SIGPLAN Research Highlights Papershttps://www.sigplan.org/Highlights/Papers/
idea, works out the engineering and correctness details thoroughly, and presents the result with clarity and good taste. Implementation and Synthesis of Math Library Functions Aut
A Security Curriculumhttps://learnaifromscratch.github.io/theabsolutestateofsoftware.html
Tanja YouTube lectures Engineering Crypto Software how to optimize ChaCha20, Poly1305 and ECDH/Curve25519 If you've ever been interested in breaking crypto this is your chance to
CELF Embedded Linux Conferencehttps://www.embeddedlinuxconference.com/elc_2009/sessions.html
working for Red Hat's engineering services division, doing board ports, drivers and other work. That's when JFFS2 was written, as part of a customer contract. After some 8 years a
Acceleration Watch (Understanding Accelerating Change)https://www.accelerationwatch.com/
(politics, markets, engineering), and now, Self-improving AI. Note that each of these adaptive systems is sequential and hierarchical , just like biological development. Each is a
Web Surfinghttp://web.cs.wpi.edu/~jshutt/surfing.html
SET (Software Engineering and Technology, department of math and computer science, Eindhoven University of Technology) (18-Sep-18; 16-Dec-20) Chicago Journal of Theoretical Comput
Professor Emeritus Israel Korenhttp://www.ecs.umass.edu/ece/koren/
203 Marcus Engineering Bldg. Department of Electrical & Computer Engineering, University of Massachusetts Amherst, MA 01003 Email: koren 'at' ecs.umass.edu Biography Research Inte
Eyes Above The Waveshttps://robert.ocallahan.org/
Prepare To Stop Mozilla Engineering Culture Talk Now Online July A Shock Of The Ordinary Happy Days Avoiding Copies In Web APIs Movie Picoreviews Contributing Advocacy June Gradua
John Gilmore's home pagehttp://www.toad.com/gnu/
the company, provided engineering leadership, was the official maintainer of GDB for several years and led the GDB programming team, supported numerous customers, and led the Cygn
DX LISTENING DIGEST AUGUST 2003 ARCHIVEhttp://www.w4uvh.net/dxldtd3h.html
he works in broadcast engineering. Paul Graham A veteran of numerous offshore and free radio projects, Paul has worked in Irish radio, as well as deejaying on the Ross Revenge, du
The Molecular Repair of the Brainhttp://www.ralphmerkle.com/cryo/techFeas.html
(also called molecular engineering, molecular manufacturing, molecular nanotechnology , etc.). There is widespread belief that such a capability will eventually be developed [1, 2
THE HISTORY OF COMPUTINGhttps://ei.cs.vt.edu/~history/
languages, software engineering, and structured programming. Their web site is a gemstone of videos and graphics worth visiting! Vintage Computer Festival If you know of a meeting
Find more...