Skip to content

Commit

Permalink
remove trux page
Browse files Browse the repository at this point in the history
  • Loading branch information
Nadia DAOUDI committed Oct 18, 2023
1 parent 472f03f commit 5d647ce
Show file tree
Hide file tree
Showing 3 changed files with 153 additions and 284 deletions.
2 changes: 1 addition & 1 deletion css/style.css
View file
Original file line number Diff line number Diff line change
Expand Up @@ -716,7 +716,7 @@ a:focus {
display: flex;
flex-wrap: nowrap;
justify-content: center;
height: 600px;
height: 500px;

}

Expand Down
173 changes: 152 additions & 21 deletions index.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,6 +4,8 @@
<meta charset="utf-8">
<title>TruX</title>
<meta content="width=device-width, initial-scale=1.0" name="viewport">
<meta content="Free Website Template" name="keywords">
<meta content="Free Website Template" name="description">

<!-- Favicon -->
<link href="img/favicon.ico" rel="icon">
Expand Down Expand Up @@ -58,8 +60,8 @@ <h2>SnT, University of Luxembourg</h2>

<div class="collapse navbar-collapse justify-content-between" id="navbarCollapse">
<div class="navbar-nav ml-auto">
<a href="index.html" class="nav-item nav-link active">Home</a>
<a href="toos.html" class="nav-item nav-link">TOOS</a>
<a href="index.html" class="nav-item nav-link">Home</a>
<a href="about.html" class="nav-item nav-link active">TOOS</a>
<a href="contact.html" class="nav-item nav-link">Contact</a>
</div>
</div>
Expand All @@ -68,40 +70,59 @@ <h2>SnT, University of Luxembourg</h2>
<!-- Nav Bar End -->


<!-- Hero Start -->
<div class="hero">
<div class="container-fluid">
<!-- Page Header Start -->
<div class="page-header">
<div class="container">
<div class="row">
<div class="col-12">
<h2>TruX Open Online Seminars</h2>
</div>

</div>
</div>
</div>
<!-- Page Header End -->


<!-- About Start -->
<div class="about wow fadeInUp" data-wow-delay="0.1s">
<div class="container">
<div class="row align-items-center">

<div class="col-sm-12 col-md-6 d-none d-md-block">
<div class="hero-image">
<img src="img/trux_logo.png" alt="Hero Image">
<div class="col-lg-5 col-md-6">
<div class="about-img">
<img src="img/toos.png" alt="Image">
</div>
</div>
<div class="col-sm-12 col-md-6">
<div class="hero-text">
<div class="col-lg-7 col-md-6">
<div class="section-header text-left">

<h2>Welcome to TOOS!</h2>
</div>
<div class="about-text">
<p>
The Trustworthy Software Engineering research group (<b>TruX</b>) conducts research in software security, software repair, and explainable software to create key practical solutions for developers, allowing them to achieve trustworthiness, efficiency, and transparency. Application areas include FinTech, embedded systems (e.g., mobile), business or entertainment systems, cybersecurity, and more.
TruX Open Online Seminars serve as a vibrant platform where researchers gather to discuss the latest advancements in software security, software repair, and cutting-edge explainable software techniques.
</p>
<p>
These sessions offer a valuable opportunity for young researchers to share their findings and engage in insightful discussions. Covering a wide range of software-related topics, these seminars provide an important space for experts and enthusiasts to explore new trends, exchange ideas, and create innovative solutions. By bringing together diverse perspectives, these seminars significantly contribute to shaping the future of software technologies, making them more dependable, robust, and effective.
</p>

</div>
</div>
</div>
</div>
</div>
<!-- Hero End -->


<!-- Team Start -->
<!-- About End -->
<!-- Team Start -->
<div class="team">
<div class="container">
<div class="section-header text-center wow zoomIn" data-wow-delay="0.1s">
<p>TruX</p>
<h2>Professors</h2>
</div>
<div class="team-img-frame">
<div class="col-lg-6 col-md-6 wow fadeInUp" data-wow-delay="0.4s">
<div class="col-lg-5 col-md-6 wow fadeInUp" data-wow-delay="0.4s">
<div class="team-item">
<div class="team-img">
<a href="https://bissyande.github.io/">
Expand All @@ -114,7 +135,7 @@ <h2>Prof. Dr. Tegawendé Bissyandé</h2>
</div>
</div>
</div>
<div class="col-lg-6 col-md-6 wow fadeInUp" data-wow-delay="0.6s">
<div class="col-lg-5 col-md-6 wow fadeInUp" data-wow-delay="0.6s">
<div class="team-item">
<div class="team-img">
<a href="https://jacquesklein2302.github.io/">
Expand All @@ -131,11 +152,109 @@ <h2>Prof. Dr. Jacques Klein</h2>
</div>
</div>
<!-- Team End -->



<!-- Upcoming Events Start -->

<div class="upcomingevent wow zoomIn" data-wow-delay="0.1s">
<div class="container">
<div class="col-lg-12 col-md-10">
<div class="frame-title">
<h2>Upcoming Seminars<h2>
</div>

<div class="event-frame">

<div class="event">
<div class="presenter-details">
<img src="img/yi-hsien.jpg">
<h5> Yi-Hsien Chen</h5>
<p> National Taiwan University</p>
</div>
<div class="event-info">
<h3>Guided Malware Sample Analysis Based on Graph Neural Networks</h3>
<p> Malicious binaries have caused data and monetary loss to people, and these binaries keep evolving rapidly nowadays. While manual analysis is slow and ineffective, automated malware report generation is a long-term goal for malware analysts and researchers. This study moves one step toward the goal by identifying essential functions in malicious binaries to accelerate and even automate the analyzing process. We design and implement an expert system based on our proposed graph neural network called MalwareExpert. The system pinpoints the essential functions of an analyzed sample and visualizes the relationships between involved parts. The evaluation results show that our approach has a competitive detection performance (97.3% accuracy and 96.5% recall rate) compared to existing malware detection models. Moreover, it gives an intuitive and
easy-to-understand explanation of the model predictions by visualizing and correlating essential functions. We compare the identified essential functions reported by our system against several expert-made malware analysis reports from multiple sources. Our qualitative and quantitative analyses show that the pinpointed functions indicate accurate directions. In the best case, the top 2% of functions reported from the system can cover all expert-annotated functions in three steps. We believe that the MalwareExpert system has shed light on automated program behavior analysis.</p>
<p><b><span class="black-underligned">Presentation Date:</span></b> <span class="black"> Monday, October 30th, 2023 at 10:30 AM CET </span></p>
</div>

</div>


<div class="event">
<div class="presenter-details">
<img src="img/woman.png">
<h5> He Ye</h5>
<p> Carnegie Mellon University</p>
</div>
<div class="event-info">
<h3>ITER: Iterative Neural Repair for Multi-Location Patches</h3>
<p> Automated program repair (APR) has achieved promising results, especially using neural networks. Yet, the overwhelming majority of patches produced by APR tools are confined to one single location. When looking at the patches produced with neural repair, most of them fail to compile, while a few uncompilable ones go in the right direction. In both cases, the fundamental problem is to ignore the potential of partial patches. In this paper, we propose an iterative program repair paradigm called ITER founded on the concept of improving partial patches until they become plausible and correct. First, ITER iteratively improves partial single-location patches by fixing compilation errors and further refining the previously generated code. Second, ITER iteratively improves partial patches to construct multi-location patches, with fault localization re-execution. ITER is implemented for Java based on battle-proven deep neural networks and code representation. ITER is evaluated on 476 bugs from 10 open-source projects in Defects4J 2.0. ITER succeeds in repairing 76 of them, including 15 multi-location bugs which is a new frontier in the field.</p>
<p><b><span class="black-underligned">Presentation Date:</span></b> <span class="black">Monday, November 6th, 2023 at 3:00 PM CET </span></p>
</div>

</div>
</div>

</div>
</div>
</div>



<!-- Upcoming Events End -->



<!-- Past Events Start -->
<div class="pastevent wow zoomIn" data-wow-delay="0.1s">
<div class="container">
<div class="col-lg-12 col-md-10">
<div class="frame-title">
<h2>Past Seminars<h2>
</div>

<div class="event-frame">
<ul class="speech-list">
<li>
<div class="speech-header">
<span class="title"><b>Rete: Learning Namespace Representation for Program Repair</b>, Monday, October 9th, 2023, by <b>Nikhil Parasaram</b> from <b>UCL</b></span>
</div>
<div class="details">
<div class="event">
<div class="presenter-details">
<img src="img/man.png" alt="Presenter 1">
<h5> Nikhil Parasaram</h5>
<p> University College London</p>
</div>
<div class="event-info">
<h3>Rete: Learning Namespace Representation for Program Repair</h3>
<p>A key challenge of automated program repair is finding correct patches in the vast search space of candidate patches. Real-world programs define large namespaces of variables that considerably contributes to the search space explosion. Existing program repair approaches neglect information about the program namespace, which makes them inefficient and increases the chance of test-overfitting.
We propose Rete, a new program repair technique, that learns project-independent information about program namespace and uses it to navigate the search space of patches. Rete uses a neural network to extract project-independent information about variable CDU chains, def-use chains augmented with control flow. Then, it ranks patches by jointly ranking variables and the patch templates into which the variables are inserted.
We evaluated Rete on 142 bugs extracted from two datasets, ManyBugs and BugsInPy. Our experiments demonstrate that Rete generates six new correct patches that fix bugs that previous tools did not repair, an improvement of 31% and 59% over the existing state of the art.</p>
<p><b><span class="black-underligned">Presentation Date:</span></b> <span class="black"> Monday, October 9th, 2023 at 10:30 AM CEST </span></p>
</div>
</div>
</div>
</li>


<!-- Add more speech items as needed -->
</ul>

</div>
</div>
</div>
</div>
<!-- Past Events End -->

<script src="js/script.js"></script>






<!-- Footer Start -->
<div class="footer wow fadeIn" data-wow-delay="0.3s">
<div class="container-fluid">
Expand All @@ -150,8 +269,20 @@ <h2>Prof. Dr. Jacques Klein</h2>
</div>
<!-- Footer End -->


<a href="#" class="back-to-top"><i class="fa fa-chevron-up"></i></a>

<!-- JavaScript Libraries -->
<script src="https://code.jquery.com/jquery-3.4.1.min.js"></script>
<script src="https://stackpath.bootstrapcdn.com/bootstrap/4.4.1/js/bootstrap.bundle.min.js"></script>
<script src="lib/easing/easing.min.js"></script>
<script src="lib/wow/wow.min.js"></script>
<script src="lib/owlcarousel/owl.carousel.min.js"></script>
<script src="lib/isotope/isotope.pkgd.min.js"></script>
<script src="lib/lightbox/js/lightbox.min.js"></script>

<!-- Contact Javascript File -->
<script src="mail/jqBootstrapValidation.min.js"></script>
<script src="mail/contact.js"></script>


</body>
</html>
Loading

0 comments on commit 5d647ce

Please sign in to comment.