G’day, me ol’ CompSoc!
The academic year has begun! To all those who’ve just signed up - welcome!
We *still* have a Discord! Please feel free to join us
<https://discord.gg/xA9PFvy>! *If you are an official member of CompSoc*,
ping @Secretary and I’ll give you the Member role so that you can take part
in conversation outside the #welcome channel. Non-members can still feel
free to use #welcome as they like, however. Membership is £5 and will last
you a lifetime!
Would you like to go to Bletchley Park?
*We have 50 spaces* for our all-day Bletchley Park trip on *Saturday of
Week 7*. Bletchley Park, once the top-secret home of the World War Two
Codebreakers is now a vibrant heritage attraction. Explore, experience and
enjoy the once top-secret world of iconic Codebreaking Huts and Blocks set
within an atmospheric Victorian estate. We’re also visiting the National
Museum of Computing on that trip. *Free for members*, and *£10 for
non-members* - so you’ve got a pretty good deal regardless!
Push your interest onto this stack here.
These next couple of weeks feature a *Geek Night co-run with CodeSoc*, a
talk from Semmle on QL and LGTM with a related *hackathon* the following
Saturday, *CS essentials is starting up* - starting with an introductory
session on command line, and we’ll be having a talk in week 3 from JP
*The CompSoc Committee - Joe G, Edward H, Ben S*
*Week 1 Geek Night: Wikipedia Game*
13th October, Undergraduate Social Area
It is a well known fact of *most* Wikipedia pages that if you click on the
first link in a page’s body, and continue to do so for the next page and so
on, you will eventually land on Philosophy. Using this, you could form a
crude strategy for finding a *path* from one source page A to target page B:
- Find manually a path from Philosophy to B.
- Click the first link from A until you reach Philosophy.
- Append the path from Philosophy to B to the path so far.
This will of course not necessarily find the shortest path from A to B,
however. The Wikipedia Game is to write a program that will find a path as
short as possible!
This Geek Night is in collaboration with CodeSoc. Bring your laptops and
pizza will be provided ;)
By the by, should you find yourself locked out and need to enter and are a
CS student (or joint schools CS student), swiping your bod card and
entering this code
<https://www.youtube.com/embed/OR4N5OhcY9s?start=13&end=19> followed by #
may help you… (note: this may require several attempts)
*Semmle Tech Talk: QL* <https://www.facebook.com/events/307662036696271/> -
17th October, Lecture Theatre A, Department of Computer Science
Semmle will be giving a tech talk on LGTM and QL.
LGTM is the software engineering analytics platform that combines deep
semantic code search and data science insights from a community of hundreds
of thousands of developers to help everyone involved in software
development better understand their code, engineering processes and people.
The LGTM software engineering analytics platform combines deep semantic
code search and data science insights from a community of hundreds of
thousands of developers to help everyone involved in software development
better understand their code, engineering processes and people.
QL treats code as data, allowing security response teams and individual
developers to quickly and accurately explore their code through simple,
powerful queries that find all variants of zero-days, as well as other
severe security problems and coding mistakes. The same kinds of logical
coding mistakes are made over and over again, sometimes repeatedly within a
single project, and sometimes across the whole software ecosystem. These
mistakes are the source of many of today’s critical software
Using QL, you can codify such mistakes as queries, find logical variants of
the same mistake elsewhere in the code, and prevent similar mistakes from
being introduced in the future by automatically catching them before code
gets merged. QL’s deep semantic code search allows you to find security
vulnerabilities, and much more. The key: QL treats code as data. By writing
queries customised to your needs, you can drive major architecture
transformations and refactorings, enforce coding standards, and explore
QL ships with extensive libraries and abstraction features that enable you
to write advanced queries without having to worry about low-level language
concepts and compiler specifics; instead you can focus on investigating and
interrogating your own codebases. Use QL in the most effective way for you.
Our QL plugins for your favourite IDE allow you to write queries and
execute them locally. The results appear directly in your development
environment. Or use LGTM’s Query Console to write QL directly in your web
browser, and query your entire portfolio for security vulnerabilities.
You can also make use of your custom QL queries with LGTM’s automatic code
review for pull requests in GitHub and BitBucket: find those critical
issues early and prevent them from ever getting merged or deployed. Every
development organisation struggles with finding enough security experts and
with finding more effective ways of sharing their security expertise.
*CS Essentials Session 1*
7:00 pm 18th October, Lecture Theatre A, Department of Computer Science
CS Essentials is a brand new course that CompSoc organises for beginners.
If you are into either exploring the Linux command line or learning how to
create a beautiful document using LaTeX, this is just the course for you!
You do not need any prior experience, just come along and have some fun!
All you need is a laptop to get through the exercises. What we will be
- basic and more advanced Linux commands;
- Bash scripting;
- Vim text editor;
Please arrive a bit earlier just so we can register everyone before the
lectures begin. (This is mandatory for fire regulations.) If you need
directions to the department, send us a message and we’ll be more than
happy to help!
The course is open to all members of the University of Oxford.
P.S. If you have any experience in any of the topics and a little spare
time, you can volunteer to help during the events.
*Geek Night 2: Semmle Coding Challenge*
<https://www.facebook.com/profile.php?id=1076012799234435&ref=br_rs> - 7:00
pm 20th October, Undergraduate Social Area, Department of Computer Science
The workshop will be given by Oxford Comp Sci graduates *Julian
Tibble* and *Aditya
Sharad*. We’ll start with an *introduction to lgtm.com
and QL*, and tell you about some of the technological challenges we faced
when developing the query language and engine. After that, there’ll be a
workshop on how to write queries to *find your own security vulnerabilities*.
Various prizes will be awarded, and of course there’ll be drinks and pizzas.
See you all there!
*Tech talk with JP Morgan*
<https://www.facebook.com/events/329102674564406/> - 7:00 pm 24th October,
Lecture Theatre A, Department of Computer Science
Abstract from JP Morgan:
Ever wonder how you can carve out a successful career in financial services
with a technology background? Are you curious to find out how we can match
your interests to our opportunities?
In partnership with the Oxford University Computer Society, join us for a
Tech Talk where you can meet our technologists and see how technology at JP
Morgan inspires change and makes a difference in our communities.
Join us for food, drink and interesting conversations!
We encourage you to look for communications about our upcoming events and
programs and to check our careers website regularly for dates and deadlines.
SIGN UP HERE
2018 Milner Award Lecture
18:30 pm 20th November, The Royal Society, London
How can we ensure system correctness in the presence of uncertainty?
Computing devices support us in almost all everyday tasks, from mobile
phones and online banking to wearable and implantable medical devices. We
are now experimenting with self–driving cars and robots.
Since embedded software at the heart of these devices must behave correctly
in presence of uncertainty, probabilistic verification techniques have been
developed to guarantee their safety, reliability and resource efficiency.
Using illustrative examples, this lecture will give an overview of the role
that probabilistic modelling and verification can play in a variety of
applications, including security, medical devices, self-driving cars and
DNA computing. It will also describe recent developments towards model
synthesis, which aims to build these systems so that they are correct by
construction. Finally, it will explore the problems of ensuring that
systems that rely on learning will behave correctly, both in situations
that they have seen in training, and in situations that they haven’t.
The prize lecture will be webcast live and the video recording of the event
will be available shortly after the event.
Attending this event
- Free to attend
- No registration required
- Doors open from 18:00, and seats are allocated on a first-come,
- This event may be popular, and entry cannot be guaranteed
- Live subtitles will be available
- British Sign Language interpretation will be available on request.
Please let the Scientific Programmes Team <Events(a)royalsociety.org> know
if you plan to attend at least two weeks prior to the event.
- Travel and accessibility information
The Oxford University Computer Society (CompSoc) aims to organise meetings
and events for our members to use and further their computing interests.
See all of our upcoming events on our Facebook Page
<https://facebook.com/oxcompsoc/> or visit our Website
<https://ox.compsoc.net> for more information about the society.
Want to unsubscribe or manage your subscription preferences? Go to