srg.doc.ic.ac.uk
Software Reliability GroupResearch at Software Reliability Group
http://srg.doc.ic.ac.uk/
Research at Software Reliability Group
http://srg.doc.ic.ac.uk/
TODAY'S RATING
>1,000,000
Date Range
HIGHEST TRAFFIC ON
Wednesday
LOAD TIME
0.3 seconds
16x16
PAGES IN
THIS WEBSITE
18
SSL
EXTERNAL LINKS
59
SITE IP
146.169.13.15
LOAD TIME
0.297 sec
SCORE
6.2
Software Reliability Group | srg.doc.ic.ac.uk Reviews
https://srg.doc.ic.ac.uk
Research at Software Reliability Group
srg.doc.ic.ac.uk
Seminars -Software Reliability Group
http://srg.doc.ic.ac.uk/seminars
Our group holds occasional seminars on a variety of topics related to software reliability, such as software engineering, testing and verification, computer systems, and security. If you are doing research in any of these areas and would like to give a talk, please send us an email. Build It, Break It, Fix It: Contesting Secure Development. Michael Hicks, University of Maryland. Monday, June 27th, 2016, 2:00 pm in Huxley Building, room 144. Tomasz Kuchta and Alastair Donaldson, Imperial College London.
Projects -Software Reliability Group
http://srg.doc.ic.ac.uk/projects
If something is worth doing once, it is worth building a tool to do it. The unavoidable price of software reliability is simplicity. C A R Hoare. We provide information, publications and, where possible, also source code and data for all our research projects. An empirical study and the underlying infrastructure for analyzing code, test and coverage evolution in real software using both static and dynamic metrics. An extension to KLEE. That uses the metaSMT framework to add support for multiple SMT.
Peter Collingbourne - Software Reliability Group
http://srg.doc.ic.ac.uk/people/peter-collingbourne
Peter Collingbourne Collaborator (KLEE-CL). Is currently a software engineer at Google. Symbolic Crosschecking of Data-Parallel Floating-Point Code. Paul H. J. Kelly. IEEE Transactions on Software Engineering (TSE 2014). Symbolic Crosschecking of Floating-Point and SIMD Code. Paul H. J. Kelly. European Conference on Computer Systems (EuroSys 2011). Symbolic Testing of OpenCL Code. Paul H. J. Kelly. Haifa Verification Conference (HVC 2011). 2016 Software Reliability Group, Imperial College London.
Vacancies -Software Reliability Group
http://srg.doc.ic.ac.uk/vacancies
If you would like more information about available positions, please send an email to Dr Cristian Cadar. Or one of our group members. If your background matches our research interests, we will try to send a reply soon. PhD position in Symbolic Execution (at the intersection of programming languages, security, software engineering and systems). Start date: 3 October 2016, with some flexibility for a later 2017 start. Deadline: 1 August 2016 or until filled. Start date: April or October of each year.
Petr Hosek - Software Reliability Group
http://srg.doc.ic.ac.uk/people/petr-hosek
Petr Hosek Doctoral Student (now at Google). Was a doctoral student in the Department of Computing at Imperial College London, where he worked in the Software Reliability Group under the supervision of Dr Cristian Cadar. Petr‘s research interests include software engineering, security and reliability, and his PhD work explored novel techniques for improving the reliability of software updates in the context of modern parallel hardware platforms. Petr is one of the founders and the first chair of the ACM.
TOTAL PAGES IN THIS WEBSITE
18
Luís Pina - Homepage
http://www.luispina.me/index.html
Luís Gabriel Ganchinho de Pina. Department of Computing, Huxley Building, 180 Queen's Gate. South Kensington Campus, Imperial College London. Luís is currently a post-doc at the Software Reliability Group (SRG). At Imperial College London. He was part of the Programming Languages Group (PLUM). At University of Maryland from 2012 to 2015, and part of the Software Engineering Group (ESW). At INESC-ID in Lisbon from 2009 to 2012. He holds a PhD on Information Systems and Computer Engineering.
Many-Core Compiler Fuzzing - Multicore Programming Group
http://multicore.doc.ic.ac.uk/publications/clsmith-pldi-15.html
Alastair F. Donaldson / Multicore Programming Group. Department of Computing, Imperial College London. Awards and Invited Talks. 36th Annual ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'15). Alastair F. Donaldson. We address the compiler correctness problem for many-core systems through novel applications of fuzz testing to OpenCL compilers. Focusing on two methods from prior work, random differential testing and testing via equivalence modulo inputs ( EMI. Testing, prop...
Projects -Multicore Programming Group
http://multicore.doc.ic.ac.uk/projects
Alastair F. Donaldson / Multicore Programming Group. Department of Computing, Imperial College London. Awards and Invited Talks. Producing art images from our research. An extension of Csmith. CLsmith aims to find OpenCL compiler bugs via EMI. GPU Weak Memory Testing. Testing weak memory behaviours on GPUs. Just a placeholder for now. A formal verification tool for proving correctness properties of GPU. Kernels written in OpenCL and CUDA. Safer asynchronous programming for . NET. October 2016 March 2017.
Daniel Liew - Multicore Programming Group
http://multicore.doc.ic.ac.uk/people/daniel-liew
Alastair F. Donaldson / Multicore Programming Group. Department of Computing, Imperial College London. Awards and Invited Talks. Daniel Liew PhD student. S research interests include software verification using symbolic execution and static analysis. He received an MSc in Computing from Imperial College during which he contributed to the KLEE. Industrial case studentship with ARM. Daniel is also a member of the Software Reliability Group. Symbooglix: A Symbolic Execution Engine for Boogie Programs.
Andrei Lascu - Multicore Programming Group
http://multicore.doc.ic.ac.uk/people/andrei-lascu
Alastair F. Donaldson / Multicore Programming Group. Department of Computing, Imperial College London. Awards and Invited Talks. Andrei Lascu PhD student. Andrei is investigating compiler fuzzing techniques for GPU. Programming languages, and is a driving force behind the CLsmith project. Metamorphic Testing for (Graphics) Compilers. Alastair F. Donaldson. 1st International Workshop on Metamorphic Testing, in concunction with the 38th International Conference on Software Engineering.
Nathan Chong - Multicore Programming Group
http://multicore.doc.ic.ac.uk/people/nathan-chong
Alastair F. Donaldson / Multicore Programming Group. Department of Computing, Imperial College London. Awards and Invited Talks. Nathan Chong PhD student (defended October 2014). Nathan is currently a postdoctoral researcher at UCL. Alastair F. Donaldson. 36th Annual ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'15). The Design and Implementation of a Verification Technique for GPU Kernels. Alastair F. Donaldson. Shaz Qadeer, Paul Thomson. Alastair F. Donaldson.
TOTAL LINKS TO THIS WEBSITE
59
Systems Research Group
Vasileios Papadopoulos successfully defended his MSc thesis entitled "Implementation of a Journaling Filesystem for Asymmetric Storage Devices". Christos Theodorakis successfully defended his MSc thesis entitled "Efficient Storage Management of Multi-version Structured Data". 2007-2015 Systems Research Group. Last modified: July 17 2015 19:35:04 UTC.
Ungelt/Spectrum Group
SRG Schaltanlagen GmbH & Co. KG SERVE Engineering S.A.
Startslide - NICHT LÖSCHEN. Neue Unternehmensbroschüre anlässlich unseres 40-jährigen Jubiläums. Neue Unternehmensbroschüre anlässlich unseres 40-jähigen Jubiläums. Download Unternehmensbroschüre. Herzlich willkommen bei SERVE Engineering and SRG Schaltanlagen. Die Siemens-Zeitschrift LuxNews hat über Serve berichtet.
Stephen R Gibson - Graphic Designer
Stephen R Gibson, Graphic Designer. Poster and social media work for VII Pro Wrestling. Someone Else - Power Chord Poetry. Album art created for the latest album from Someone Else, including 8-page booklet and inlay. Full rebranding, plus print and digital marketing work. The Care Ladder Print Campaign. Print campaign for Shropshire Partners in Care's recruitment drive, designed at The Smart Marketing Group. Inwards Marine Website Redesign. Campaign for the second VII Pro Wrestling event of 2016.
Studenterrådgivningen
Forsøgsprojekt omkring internetbaseret selvhjælpsterapi. Læs Mikkels ærlige historie om ensomhed på studiet. Baggrund og formål. Vi anvender cookies til at få hjemmesiden til at fungere og at lave statistik, som vi kan bruge til at forbedre. Hjemmesidens indhold. Du accepterer brugen af cookies ved at klikke på ’accepter alle cookies’ eller du kan. Vælge ’accepter ikke cookies’, hvis du ikke ønsker, at dine cookies bliver gemt. Only accept functional cookies.
Software Reliability Group
The continuous demand for ever more complex software systems and the emergence of new computing platforms pose significant challenges for the reliability and security of software applications. The research of the Software Reliability Group ( SRG. Engineering and Physical Sciences Research Council ( EPSRC. Google, Microsoft Research and ARM. Learn About Our Research. Targeted Program Transformations for Symbolic Execution. Varan the Unbelievable: An Efficient N-version Execution Framework. International S...
Услуги
Свадьбы в замках Чехии. 420 775 584 999 (Прага). 7 982 413-10-22 (Сургут). 7 3462 331-022 (Сургут).
Αρχική Σελίδα
Που θα μας βρείτε. Web Site / Eshop. Mobile Statistic on Android. Εφαρμογή Οικονομικής Δχσης SmartPhone,Tablets,PDAs. Euro; 123,00. Euro; 984,00. Με τις συσκευές PDA και τις εφαρμογές τους που σχεδιάζουμε για σας, προσαρμοσμένες απόλυτα στις ανάγκες σας κερδίστε χρόνο και αποφύγετε τα λάθη στις καταχωρήσεις. Δείτε τα προϊόντα της κατηγορίας. Δείτε τα προϊόντα της κατηγορίας. Δείτε τα προϊόντα της κατηγορίας. Ταμειακή Μηχανή SAREMA DI50. Euro; 430,50. Fast Viewer Remote Edition Master Άδεια. Euro; 196,80.
Sevin Research Group
Webfejlesztés és Keresőmarketing Ügynökség | SRG Group
Ha szeretne minket valamilyen izgalmas projekttel megbízni, ne habozzon, írjon nekünk! Tel: 36 1700 1499. 24 órán belül felvesszük Önnel a kapcsolatot! Ajánlatkérés. Megbarátkoztál már a Youtube-hirdetésekkel? Mobile First Design: egyrészt jó, másrészt szívás. Miért a fokozatos fejlesztés a nyerő? OECO WebTel, avagy mentsünk jegesmedvét! Közösségi funkciók a weboldaladra - Facebook. SASS Compass használata a gyakorlatban. Iránytű keretrendszerekhez - SASS és Compass. Miért jó az egységtesztelés? Töb...
SOCIAL ENGAGEMENT