phd-thesis

tobast/phd-thesis

Fork 0

Commit graph

6b0539a532 Use correct title in exif data main final Théophile Bastian 2025-01-10 21:16:05 +01:00
6882b16b3c Slight reword of FOSS pledge Théophile Bastian 2025-01-10 14:40:40 +01:00
084b0dc4f0 Update cover page -- this covers the last modification required Théophile Bastian 2025-01-10 14:28:25 +01:00
27023c6917 Fixup makefile make upload Théophile Bastian 2025-01-01 19:43:41 +01:00
89c2429e84 Add a FOSS pledge before references Théophile Bastian 2025-01-01 19:31:05 +01:00
33b1c9001f Fixup makefile targets Théophile Bastian 2025-01-01 19:30:38 +01:00
2a6b470960 Fixup page numbering for abstract Théophile Bastian 2025-01-01 19:30:20 +01:00
957ba7c198 Staticdeps alg: remove "without dependency tracking" Théophile Bastian 2025-01-01 18:20:18 +01:00
56a7e2ddb2 Mise à jour de métadonnées Théophile Bastian 2025-01-01 18:18:25 +01:00
8e419af28a Fixup main.tex metadata Théophile Bastian 2024-12-12 11:56:12 +01:00
e860033463 Add corrected titles in meta Théophile Bastian 2024-12-12 11:53:35 +01:00
43464b44ed Remerciements : encore quelques uns phd-defense Théophile Bastian 2024-11-27 09:30:26 +01:00
322f85d9bf Add printout version (BW links, citations) Théophile Bastian 2024-11-25 12:18:35 +01:00
ac1d941f05 Fixup: remerciements Théophile Bastian 2024-11-24 16:04:19 +01:00
936c59fac9 Remerciements : fixups Théophile Bastian 2024-11-24 12:28:44 +01:00
017fba1cc1 Remerciements : première passe Théophile Bastian 2024-11-24 12:08:27 +01:00
ee9f9e93a5 Initiate file tracking changes to be made (with jury's agreement) Théophile Bastian 2024-11-16 15:09:55 +01:00
da9d606325 Wrapping up: minor rewordings envoi_rapporteurs Théophile Bastian 2024-10-04 18:46:51 +02:00
ad4d34bf1c Update: couverture de thèse (Gabriel Rodriguez) Théophile Bastian 2024-10-04 13:01:05 +02:00
652db51094 Add placeholder for acknowledgements Théophile Bastian 2024-10-03 13:30:16 +02:00
421eeaf4fd Adapt conclusion Théophile Bastian 2024-10-03 13:18:02 +02:00
c0ad837897 Wrapping up: writeup Théophile Bastian 2024-10-01 17:09:22 +02:00
e9cbfcd595 Update cover page submit-ed-1 Théophile Bastian 2024-09-29 19:32:30 +02:00
3f1addd39c Add abstracts (fr, en) in plain text Théophile Bastian 2024-09-21 15:05:01 +02:00
5e398461f5 Frontend: fix random float overlap Théophile Bastian 2024-09-08 11:08:37 +02:00
d1401b068f Typography: -- to --- Théophile Bastian 2024-09-01 16:56:48 +02:00
103e6a0687 Minor fixes Théophile Bastian 2024-09-01 16:38:12 +02:00
d3b99be7a1 Proof-read conclusion; index Wrapping it all up? in TOC Théophile Bastian 2024-09-01 16:21:54 +02:00
b5b0296102 Proof-read chapter 5 (staticdeps) Théophile Bastian 2024-09-01 16:05:21 +02:00
9cfeddeef7 Proof-read chapter 4 (CesASMe) Théophile Bastian 2024-08-18 17:42:44 +02:00
24e3d4a817 Proof-read chapter 3 (A72 frontend) Théophile Bastian 2024-08-17 15:43:20 +02:00
4e13835886 Proof-read chapter 2 (Palmed) Théophile Bastian 2024-08-17 13:03:32 +02:00
596950a835 Use algpseudocodex[noEnd], fix compilation error Théophile Bastian 2024-08-15 20:19:30 +02:00
34bdb39337 Fix bibiography ToC page number Théophile Bastian 2024-08-15 19:16:37 +02:00
4100d36c44 Full check of analyse -> analyze Théophile Bastian 2024-08-15 19:14:29 +02:00
8d4887cc63 Proof-read up to Foundations (incl) Théophile Bastian 2024-08-15 18:53:08 +02:00
c8c2b2db2a Version: use git tag if available print2 Théophile Bastian 2024-08-14 09:48:53 +02:00
ce9d0dc8a0 Staticdeps algorithm: tentative inclusion Théophile Bastian 2024-08-14 09:41:43 +02:00
ea88bf2016 Add version information to PDF file Théophile Bastian 2024-08-14 09:39:52 +02:00
03e3e949e6 Remove Monte-Carlo Théophile Bastian 2024-06-22 16:43:06 +02:00
71c2a985d2 ROB proof: clarify, formalize Théophile Bastian 2024-06-22 16:39:49 +02:00
ef62c3b7e5 Small backports from paper Théophile Bastian 2024-06-20 17:56:52 +02:00
59de13b1d1 Add TODO Théophile Bastian 2024-06-20 14:37:03 +02:00
d4c08646c9 Add ROB proof Théophile Bastian 2024-06-19 20:42:32 +02:00
522b8fc05c Staticdeps: eval: adjust figures position Théophile Bastian 2024-06-19 11:59:47 +02:00
726763f895 Staticdeps: evaluate with recompiled CesASMe Théophile Bastian 2024-06-19 11:54:38 +02:00
bf6fd7c3f5 Parametric frontend: add svgs, describe model Théophile Bastian 2024-06-18 23:21:07 +02:00
cd0ebe3da6 Frontend: hardware loop: references Théophile Bastian 2024-06-18 19:08:41 +02:00
8c0e5e4710 Parametric frontend: add Fabrice's suggestions Théophile Bastian 2024-06-18 12:06:42 +02:00
7dc4ec9935 Parametric model: rename section Théophile Bastian 2024-06-18 09:52:32 +02:00
ff7157993d Parametric frontend: first writeup Théophile Bastian 2024-06-18 09:50:28 +02:00
e717475763 Parametric frontend: rewordings Théophile Bastian 2024-06-18 09:12:30 +02:00
dd18392128 Frontend: parametric model: remove decoders, enhance Théophile Bastian 2024-06-17 23:04:50 +02:00
63c4a26630 WIP: Frontend: refactor + skeleton of parametric Théophile Bastian 2024-06-17 11:21:04 +02:00
a2229adeea Add Wrapping it all up? pre-conclusion small chapter Théophile Bastian 2024-06-15 21:18:46 +02:00
461fb3786f Palmed: won't evaluate on A72 Théophile Bastian 2024-05-11 15:45:41 +02:00
46ae338e3d Staticdeps lifetime size: backref Théophile Bastian 2024-05-11 15:42:57 +02:00
9e78230e91 Depsim: add chapter conclusion Théophile Bastian 2024-05-05 20:11:53 +02:00
611c172f90 Staticdeps: speedup analysis Théophile Bastian 2024-05-05 19:50:30 +02:00
ceea025b65 Conclusion: mostly written, maybe lacks a conclusive paragraph Théophile Bastian 2024-04-24 20:08:50 +02:00
e2e1993d37 Conclusion: WIP Théophile Bastian 2024-04-24 18:40:39 +02:00
03f7eceb57 Automating manual frontend: discussion on loss of precision vs. automating Théophile Bastian 2024-04-20 17:08:40 +02:00
8d0af4198e Update TODO Théophile Bastian 2024-04-20 16:52:26 +02:00
8ba4c5874f Writeup §3.3 intro Théophile Bastian 2024-04-20 16:51:58 +02:00
10dbc5c26e Add TODO list Théophile Bastian 2024-04-20 16:33:45 +02:00
1905764236 Automated frontend: future works Théophile Bastian 2024-04-20 16:31:46 +02:00
5031fcff25 Frontend: WIP intro writeup Théophile Bastian 2024-04-10 17:38:36 +02:00
99887ecf4a Describe briefly Pipedream's fully qualified instructions Théophile Bastian 2024-03-29 20:41:30 +01:00
4810a53168 Fix annoying underful hbox in notations Théophile Bastian 2024-03-29 20:31:29 +01:00
a75da1cef4 Makefile: add upload target Théophile Bastian 2024-03-28 22:33:46 +01:00
f48c056208 Abstract: proof-read Théophile Bastian 2024-03-28 22:18:54 +01:00
922b354eec RISC-V vector: correct references Théophile Bastian 2024-03-28 18:00:39 +01:00
e67f1d5e50 RISC-V vector extension (still refs missing) Théophile Bastian 2024-03-28 17:36:43 +01:00
8285859fab Abstract: english version Théophile Bastian 2024-03-28 17:36:35 +01:00
c8be00a615 Abstract: french version Théophile Bastian 2024-03-28 16:44:13 +01:00
5914a5a165 Notations: introduce references Théophile Bastian 2024-03-28 16:11:56 +01:00
d3fe719105 Fixup: nderumig command Théophile Bastian 2024-03-28 15:49:26 +01:00
d471b6cf40 Palmed: intro Théophile Bastian 2024-03-28 15:43:25 +01:00
8489ea89c3 Fix newpages Théophile Bastian 2024-03-28 15:11:35 +01:00
e8b94b4b5a Foundations: llvm-mca examples Théophile Bastian 2024-03-28 11:32:08 +01:00
5459729661 SotA: first writeup Théophile Bastian 2024-03-19 20:52:37 +01:00
bb932f93c6 SotA: some writeup. Lacks uiCA. Théophile Bastian 2024-03-19 19:57:04 +01:00
bd7b3b8ad6 Start SOTA Théophile Bastian 2024-02-21 18:38:32 +01:00
5f8ff8599b Foundations: finish definitions Théophile Bastian 2024-02-14 18:03:38 +01:00
baebd14466 Foundations: start subsection on basic block definition Théophile Bastian 2024-01-31 18:36:25 +01:00
f82ec7f5f6 Foundations: finish \cyc definition/properties Théophile Bastian 2024-01-31 18:09:46 +01:00
39d8741ae7 Foundations: small amends Théophile Bastian 2024-01-23 18:40:13 +01:00
627ec583c9 Foundations: redefine cyc(K), redo 1st part of maths Théophile Bastian 2024-01-20 16:24:04 +01:00
c70ed526ee Continue definitions Théophile Bastian 2024-01-07 15:13:21 +01:00
d25a1476ae Start writeup of defs; very tentative remark/proof Théophile Bastian 2024-01-06 23:53:31 +01:00
61252c8450 Beginning of cyc{K} definition writeup Théophile Bastian 2024-01-06 13:04:08 +01:00
5d4d3e34ae Writeup: ELF files Théophile Bastian 2024-01-06 12:13:21 +01:00
93ffefc8f4 Foundations: code analyzers (work in train) Théophile Bastian 2024-01-03 10:50:36 +01:00
6a24e7a4c5 Foundations: start writeup on code analyzers Théophile Bastian 2023-12-27 20:14:44 +01:00
1b3607b18c Foundations: SIMD Théophile Bastian 2023-12-27 17:44:15 +01:00
58fa37391e Foundations: enhancements to μarch Théophile Bastian 2023-12-23 12:04:05 +01:00
2a7b3fc2a3 Foundations: further microarch writeup Théophile Bastian 2023-11-03 20:17:04 +01:00
c20ba8ea7e Foundations: slightly more writeup Théophile Bastian 2023-11-03 17:47:11 +01:00
0bc865d5f9 Foundations: CPU big picture image Théophile Bastian 2023-11-03 17:31:01 +01:00
133f9de6dd Foundations: microarch Théophile Bastian 2023-10-22 23:04:34 +02:00