From c.cadar at imperial.ac.uk  Tue Jul 12 08:56:43 2022
From: c.cadar at imperial.ac.uk (Cristian Cadar)
Date: Tue, 12 Jul 2022 09:56:43 +0200
Subject: [klee-dev] Deadline TODAY for presentation and poster proposals to
 the next KLEE Workshop
In-Reply-To: <aec3c71c-45c6-4f05-3d0e-cb7774f78e30@imperial.ac.uk>
References: <3c0f0a23-7252-b11f-9f2c-beb59e56c986@imperial.ac.uk>
	<aec3c71c-45c6-4f05-3d0e-cb7774f78e30@imperial.ac.uk>
Message-ID: <d4cacf0a-87e4-e369-670e-b94701513bee@imperial.ac.uk>

Hi all,

Just a reminder that the deadline for presentation and poster proposals 
to the next KLEE Workshop is today, 12th July.

Best,
Cristian

On 11/06/2022 22:55, Cristian Cadar wrote:
> Hi all,
> 
> The submission site for the 3rd KLEE Workshop is now OPEN!? The deadline 
> is in about one month, on 12th July.? We are looking forward to your 
> interesting presentation and poster proposals!? Remember that the 
> workshop has no proceedings, so you can present both published and 
> ongoing work.
> https://srg.doc.ic.ac.uk/klee22/cfpresentations.html
> https://srg.doc.ic.ac.uk/klee22/cfposters.html
> 
> Best,
> Cristian, on behalf of the KLEE'22 Organising Team
> 
> 
> -------- Forwarded Message --------
> Subject: [klee-dev] 3rd International KLEE Workshop on Symbolic 
> Execution -- 15-16 September, London and online
> Date: Mon, 16 May 2022 23:00:20 +0100
> From: Cristian Cadar <c.cadar at imperial.ac.uk>
> To: klee-dev at imperial.ac.uk <klee-dev at imperial.ac.uk>
> 
> Hi all,
> 
> I'm very excited to announce the 3rd International KLEE Workshop on 
> Symbolic Execution (KLEE 2022), taking place in London and online on 
> 15-16 September 2022:
> https://srg.doc.ic.ac.uk/klee22/
> https://twitter.com/kleesymex/status/1526310428485341187
> 
> The first two workshops were really great, with participants from around 
> the world (over 80 to the first one in London, over 200 to the second 
> one online) with an array of interesting keynotes, talks and posters:
> https://srg.doc.ic.ac.uk/klee18/
> https://srg.doc.ic.ac.uk/klee21/
> 
> I am looking forward to another one, so please consider contributing an 
> interesting presentation and/or poster:
> https://srg.doc.ic.ac.uk/klee22/cfpresentations.html
> https://srg.doc.ic.ac.uk/klee22/cfposters.html
> 
> Big thanks to Daniel, Frank, Martin, Hassan and Jamie for their role as 
> co-organizers of this 3rd edition!
> 
> Many thanks to Bloomberg, Samsung, Google and Imperial College London 
> for their sponsorship!? To keep registration costs low, we are still 
> looking for a few more sponsors, so if your organization is interested 
> in sponsoring the workshop, please let me know.
> 
> Looking forward to seeing many of you in September!
> Cristian
> 
> _______________________________________________
> klee-dev mailing list
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
> 
> _______________________________________________
> klee-dev mailing list
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev


From c.cadar at imperial.ac.uk  Tue Jul 12 22:22:21 2022
From: c.cadar at imperial.ac.uk (Cristian Cadar)
Date: Tue, 12 Jul 2022 23:22:21 +0200
Subject: [klee-dev] Deadline moved to THURSDAY for presentation and
 poster proposals to the next KLEE Workshop
In-Reply-To: <d4cacf0a-87e4-e369-670e-b94701513bee@imperial.ac.uk>
References: <3c0f0a23-7252-b11f-9f2c-beb59e56c986@imperial.ac.uk>
	<aec3c71c-45c6-4f05-3d0e-cb7774f78e30@imperial.ac.uk>
	<d4cacf0a-87e4-e369-670e-b94701513bee@imperial.ac.uk>
Message-ID: <889a8cdb-ae71-5b97-df72-61f599cf36a1@imperial.ac.uk>

Hi all,

We received some requests to extend the deadline.  The new deadline is 
now Thursday, 14th July, 23:55 BST (strict), see 
https://srg.doc.ic.ac.uk/klee22/deadlines.html

We are looking forward to your submissions!
Cristian, on behalf of the KLEE'22 Organizing Team

On 12/07/2022 09:56, Cristian Cadar wrote:
> Hi all,
> 
> Just a reminder that the deadline for presentation and poster proposals 
> to the next KLEE Workshop is today, 12th July.
> 
> Best,
> Cristian
> 
> On 11/06/2022 22:55, Cristian Cadar wrote:
>> Hi all,
>>
>> The submission site for the 3rd KLEE Workshop is now OPEN!? The 
>> deadline is in about one month, on 12th July.? We are looking forward 
>> to your interesting presentation and poster proposals!? Remember that 
>> the workshop has no proceedings, so you can present both published and 
>> ongoing work.
>> https://srg.doc.ic.ac.uk/klee22/cfpresentations.html
>> https://srg.doc.ic.ac.uk/klee22/cfposters.html
>>
>> Best,
>> Cristian, on behalf of the KLEE'22 Organising Team
>>
>>
>> -------- Forwarded Message --------
>> Subject: [klee-dev] 3rd International KLEE Workshop on Symbolic 
>> Execution -- 15-16 September, London and online
>> Date: Mon, 16 May 2022 23:00:20 +0100
>> From: Cristian Cadar <c.cadar at imperial.ac.uk>
>> To: klee-dev at imperial.ac.uk <klee-dev at imperial.ac.uk>
>>
>> Hi all,
>>
>> I'm very excited to announce the 3rd International KLEE Workshop on 
>> Symbolic Execution (KLEE 2022), taking place in London and online on 
>> 15-16 September 2022:
>> https://srg.doc.ic.ac.uk/klee22/
>> https://twitter.com/kleesymex/status/1526310428485341187
>>
>> The first two workshops were really great, with participants from 
>> around the world (over 80 to the first one in London, over 200 to the 
>> second one online) with an array of interesting keynotes, talks and 
>> posters:
>> https://srg.doc.ic.ac.uk/klee18/
>> https://srg.doc.ic.ac.uk/klee21/
>>
>> I am looking forward to another one, so please consider contributing 
>> an interesting presentation and/or poster:
>> https://srg.doc.ic.ac.uk/klee22/cfpresentations.html
>> https://srg.doc.ic.ac.uk/klee22/cfposters.html
>>
>> Big thanks to Daniel, Frank, Martin, Hassan and Jamie for their role 
>> as co-organizers of this 3rd edition!
>>
>> Many thanks to Bloomberg, Samsung, Google and Imperial College London 
>> for their sponsorship!? To keep registration costs low, we are still 
>> looking for a few more sponsors, so if your organization is interested 
>> in sponsoring the workshop, please let me know.
>>
>> Looking forward to seeing many of you in September!
>> Cristian
>>
>> _______________________________________________
>> klee-dev mailing list
>> klee-dev at imperial.ac.uk
>> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>>
>> _______________________________________________
>> klee-dev mailing list
>> klee-dev at imperial.ac.uk
>> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
> 
> _______________________________________________
> klee-dev mailing list
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev


From bchen158 at ucr.edu  Fri Jul 15 20:48:37 2022
From: bchen158 at ucr.edu (Biqian Cheng)
Date: Fri, 15 Jul 2022 12:48:37 -0700
Subject: [klee-dev] Question about adding an llvm pass to KLEE
Message-ID: <CAMMWiL7tp7_Fx0FC9yR=ehrrjHusGvpjwAeO9A3fgT_zMdNeZA@mail.gmail.com>

Hi,

I'm working on adding an llvm pass to the KLEE source code on Optimize.cpp.
Should I include my llvm pass in some directory in order to pass it into
addPass()?

For example, addPass(Passes, createInstructionCombiningPass());

Before the createInstructionCombiningPass() is added, there should be some
implementations of createInstructionCombiningPass somewhere in KLEE source
code. In fact, there is no implementation for
createInstructionCombiningPass(). What would be the reasons for this?

Thank you!
-------------- next part --------------
HTML attachment scrubbed and removed

From d.schemmel at imperial.ac.uk  Fri Jul 22 22:42:48 2022
From: d.schemmel at imperial.ac.uk (Schemmel, Daniel)
Date: Fri, 22 Jul 2022 21:42:48 +0000
Subject: [klee-dev] Question about adding an llvm pass to KLEE
In-Reply-To: <CAMMWiL7tp7_Fx0FC9yR=ehrrjHusGvpjwAeO9A3fgT_zMdNeZA@mail.gmail.com>
References: <CAMMWiL7tp7_Fx0FC9yR=ehrrjHusGvpjwAeO9A3fgT_zMdNeZA@mail.gmail.com>
Message-ID: <CWLP265MB661287F44F7300DF0BF4CED3BF909@CWLP265MB6612.GBRP265.PROD.OUTLOOK.COM>

Hi Biqian,

KLEE's passes are defined in `/lib/module/Passes.h`, with implementations in individual files in `/lib/module`, e.g., `/lib/module/IntrinsicCleaner.cpp` for `klee::IntrinsicCleanerPass`.

`llvm::createInstructionCombiningPass()` is part of LLVM, not KLEE, you can find it here: https://github.com/llvm/llvm-project/blob/75e33f71c2dae584b13a7d1186ae0a038ba98838/llvm/lib/Transforms/InstCombine/InstructionCombining.cpp#L4311-L4313

Best,
Daniel
________________________________
From: klee-dev-bounces at imperial.ac.uk <klee-dev-bounces at imperial.ac.uk> on behalf of Biqian Cheng <bchen158 at ucr.edu>
Sent: 15 July 2022 20:48
To: klee-dev <klee-dev at imperial.ac.uk>
Subject: [klee-dev] Question about adding an llvm pass to KLEE

Hi,

I'm working on adding an llvm pass to the KLEE source code on Optimize.cpp. Should I include my llvm pass in some directory in order to pass it into addPass()?

For example, addPass(Passes, createInstructionCombiningPass());

Before the createInstructionCombiningPass() is added, there should be some implementations of createInstructionCombiningPass somewhere in KLEE source code. In fact, there is no implementation for createInstructionCombiningPass(). What would be the reasons for this?

Thank you!
-------------- next part --------------
HTML attachment scrubbed and removed

From m.nowack at imperial.ac.uk  Fri Jul 29 16:00:28 2022
From: m.nowack at imperial.ac.uk (Nowack, Martin)
Date: Fri, 29 Jul 2022 15:00:28 +0000
Subject: [klee-dev] 3rd International KLEE Workshop on Symbolic Execution:
 Registration Open
Message-ID: <7955C85D-E923-4E33-84D6-130E4DDB77FF@imperial.ac.uk>

Hi all,

We are delighted to host this September the 3rd International KLEE Workshop on Symbolic Execution at Imperial:  
  
3rd International KLEE Workshop on Symbolic Execution  
15?16 September 2022 ? London, UK and Online
https://srg.doc.ic.ac.uk/klee22/
  
In-person registration is now open at https://srg.doc.ic.ac.uk/klee22/registration.html.  Early registration closes 10th August.  

Following on the first two successful KLEE workshops in 2018 and 2021, which have brought together people from six different continents spanning academia, industry and government, one of the main goals of the workshop is to get together KLEE developers and users to exchange ideas, understand each other?s interests and needs, and discuss the evolution of KLEE.  A particular emphasis will be placed on connecting academic researchers working with KLEE and symbolic execution with industrial users interested in using KLEE to improve their software products.  
  
While a particular emphasis will be placed on the KLEE ecosystem, the workshop will also discuss recent developments in symbolic execution and related areas, such as fuzzing and constraint solving.  
  
The workshop has an exciting line-up of keynotes, regular presentations and posters:
https://srg.doc.ic.ac.uk/klee22/keynotes.html.
https://srg.doc.ic.ac.uk/klee22/accepted_contributions.html

Big thanks to our sponsors this year: Bloomberg, Samsung, Google, Qualcomm, Trail Of Bits and Imperial College London!

We are looking forward to welcome you in person.

The KLEE 2022 Organisers