enncore.github.io/awards.html at master · enncore/enncore.github.io · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
<!DOCTYPE html>
<html lang="en-US"><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8">

    <meta http-equiv="X-UA-Compatible" content="IE=edge">
    <meta name="viewport" content="width=device-width, initial-scale=1">

<!-- Begin Jekyll SEO tag v2.4.0 -->
<title>News | EnnCore</title>
<meta name="generator" content="Jekyll v3.7.3">
<meta property="og:title" content="EnnCore: End-to-End Conceptual Guarding of Neural Architectures">
<meta property="og:locale" content="en_US">
<meta name="description" content="Security for all in an AI enabled society.">
<meta property="og:description" content="Security for all in an AI enabled society.">
<link rel="canonical" href="https://enncore.github.io/">
<meta property="og:url" content="https://enncore.github.io/">
<meta property="og:site_name" content="EnnCore">
<script type="application/ld+json">
{"name":"EnnCore","description":"Security for all in an AI enabled society.","@type":"WebSite","url":"https://enncore.github.io/","headline":"News","@context":"http://schema.org"}</script>
<!-- End Jekyll SEO tag -->

    <link rel="stylesheet" href="./files/style.css">
    <!--[if lt IE 9]>
    <script src="//cdnjs.cloudflare.com/ajax/libs/html5shiv/3.7.3/html5shiv.min.js"></script>
    <![endif]-->
  </head>
  <body>
    <div class="wrapper">
      <header>
        <h1 id="logo"><a href="https://enncore.github.io/"><img src="logo/logo-enncore.png" style="width: 13vw; min-width: 28px;" alt="logo" /></a></h1>

        <p style="font-size:18px;">End-to-End Conceptual Guarding of Neural Architectures</p>

         <p class="view" style="font-size:16px;">
	  <a href="https://enncore.github.io/news.html"><b>News</b></a><br>
          <a href="https://enncore.github.io/partners.html"><b>Partners</b></a><br>
	  <a href="https://enncore.github.io/positions.html"><b>Positions</b></a><br>
          <a href="https://enncore.github.io/publications.html"><b>Publications</b></a><br>
	  <a href="https://enncore.github.io/people.html"><b>People</b></a><br>
          <a href="https://enncore.github.io/applications.html"><b>Applications</b></a><br>
          <a href="https://enncore.github.io/benchmarks.html"><b>Index of Benchmarks</b></a><br>
	  <a href="https://enncore.github.io/events.html"><b>Events</b></a><br>
    <a href="https://enncore.github.io/awards.html"><b>Awards</b></a><br>
        </p>

	<!-- <p><a href="https://github.com/esbmc/esbmc/blob/master/src/COPYING"><img src="./files/License-MIT-yellow.svg" alt="License: MIT"></a></p> -->


      </header>
      <section>

      <h2 id="news">2024</h2>
      <p>ASE 2024 IEEE/ACM International Conference on Automated Software Engineering</p>
     	<ul>
          <li><b>Distinguished paper award:</b> <i>Presented to</i> Muhammad A. A. Pirzada, Giles Reger, Ahmed Bhayat, Lucas C. Cordeiro, <i>For</i> "LLM-Generated Invariants for Bounded Model
Checking Without Loop Unrolling", <a href="https://enncore.github.io/files/ase24_award_certificate.jpg"><b>the award.</b></a></li>

        </ul>

	<p>
        6th Intl. Competition on Software Testing (<a href="https://test-comp.sosy-lab.org/2024/results/results-verified/">Test-Comp 2024</a>)

        <ul>
          <li>Gold medal in the Cover-Error category (find a test covering a bug).</li>
          <li>Gold medal in the Cover-Branches category (find tests for branch coverage).</li>
          <li>Gold medal in the Overall category (Cover-Error and Cover-Branches).</li>
        </ul>
      </p>

      <h2 id="news">2023</h2>
      <p>
        5th Intl. Competition on Software Testing (<a href="https://test-comp.sosy-lab.org/2023/results/results-verified/">Test-Comp 2023</a>)

        <ul>
          <li>Gold medal in the Cover-Error category (find a test covering a bug).</li>
          <li>Gold medal in the Cover-Branches category (find tests for branch coverage).</li>
          <li>Gold medal in the Overall category (Cover-Error and Cover-Branches).</li>
        </ul>
      </p>

      <h2 id="news">2022</h2>
      <p>
        4th Intl. Competition on Software Testing (<a href="https://test-comp.sosy-lab.org/2022/">Test-Comp 2022</a>)

        <ul>
          <li>Gold medal in the Cover-Error category (find a test covering a bug).</li>
          <li>Gold medal in the Cover-Branches category (find tests for branch coverage).</li>
          <li>Gold medal in the Overall category (Cover-Error and Cover-Branches).</li>
        </ul>
      </p>


      <h2>2021</h2>
      <p>
        Best paper award of AISafety’21 Workshop at IJCAI’21
      </p>

      <p>3th Intl. Competition on Software Testing (<a href="https://test-comp.sosy-lab.org/2021/">Test-Comp 2021</a>)

        <ul>
          <li>Gold medal in the Cover-Error category (find a test covering a bug).</li>
          <li>Silver medal in the Overall category (Cover-Error and Cover-Branches to find tests for branch coverage).</li>
        </ul>
      </p>


      </section>
    </div>
    <script src="./files/scale.fix.js.download"></script>


</body></html>