#2: WIP

sdasgup3 · Aug 7, 2019 · e65f551 · e65f551
1 parent 78992c3
commit e65f551
Show file tree

Hide file tree

Showing 6 changed files with 51 additions and 1 deletion.
diff --git a/docs/cgo_2020/bibs/references.bib b/docs/cgo_2020/bibs/references.bib
@@ -1686,3 +1686,51 @@ @INPROCEEDINGS{Jaramillo98
 doi={10.1109/PACT.1998.727181}, 
 ISSN={1089-795X}, 
 month={Oct},}
+
+@InProceedings{Bansal17,
+author="Dahiya, Manjeet
+and Bansal, Sorav",
+editor="Chang, Bor-Yuh Evan",
+title="Black-Box Equivalence Checking Across Compiler Optimizations",
+booktitle="Programming Languages and Systems",
+year="2017",
+publisher="Springer International Publishing",
+address="Cham",
+pages="127--147",
+isbn="978-3-319-71237-6"
+}
+
+@inproceedings{Churchill2019,
+ author = {Churchill, Berkeley and Padon, Oded and Sharma, Rahul and Aiken, Alex},
+ title = {Semantic Program Alignment for Equivalence Checking},
+ booktitle = {Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation},
+ series = {PLDI 2019},
+ year = {2019},
+ isbn = {978-1-4503-6712-7},
+ location = {Phoenix, AZ, USA},
+ pages = {1027--1040},
+ numpages = {14},
+ url = {http://doi.acm.org/10.1145/3314221.3314596},
+ doi = {10.1145/3314221.3314596},
+ acmid = {3314596},
+ publisher = {ACM},
+ address = {New York, NY, USA},
+ keywords = {equivalence checking, verification},
+}
+
+@InProceedings{Grigory2015,
+author="Fedyukovich, Grigory
+and Gurfinkel, Arie
+and Sharygina, Natasha",
+editor="Davis, Martin
+and Fehnker, Ansgar
+and McIver, Annabelle
+and Voronkov, Andrei",
+title="Automated Discovery of Simulation Between Programs",
+booktitle="Logic for Programming, Artificial Intelligence, and Reasoning",
+year="2015",
+publisher="Springer Berlin Heidelberg",
+address="Berlin, Heidelberg",
+pages="606--621",
+isbn="978-3-662-48899-7"
+}
diff --git a/docs/cgo_2020/main.tex b/docs/cgo_2020/main.tex
@@ -67,7 +67,7 @@
 %%\title[Short Title]{Full Title}         %% [Short Title] is optional;
                                         %% when present, will be used in
                                         %% header instead of Full Title.
-\title[\ISA Semantics]{Finding Basic Block and Variable Correspondence}
+\title[\ISA Semantics]{Finding Basic Block and Variable Correspondence In The Context of Binary Decompilation}
 %\titlenote{with title note}             %% \titlenote is optional;
                                         %% can be repeated if necessary;
                                         %% contents suppressed with 'anonymous'

diff --git a/docs/cgo_2020/relatedwork.tex b/docs/cgo_2020/relatedwork.tex
@@ -70,3 +70,5 @@ \section{Related Work}\label{sec:RW}
 to know what and in which order the transformations are applied by the
 optimizing phase.  
 
+
+Others are ~\cite{Bansal17,Churchill2019,Grigory2015}
diff --git a/tests/get_sign/mcsema/get_sign.bin.dead_stores_eliminated.ll.pdf b/tests/get_sign/mcsema/get_sign.bin.dead_stores_eliminated.ll.pdf
diff --git a/tests/get_sign/mcsema/get_sign.bin.optimized.ll.pdf b/tests/get_sign/mcsema/get_sign.bin.optimized.ll.pdf
diff --git a/tests/get_sign/mcsema/get_sign.bin.unoptimized.ll.pdf b/tests/get_sign/mcsema/get_sign.bin.unoptimized.ll.pdf
Original file line number	Diff line number	Diff line change
Expand Up		@@ -70,3 +70,5 @@ \section{Related Work}\label{sec:RW}
		to know what and in which order the transformations are applied by the
		optimizing phase.


		Others are ~\cite{Bansal17,Churchill2019,Grigory2015}