IEICE Technical Committee Submission System
Conference Paper's Information
Online Proceedings
[Sign in]
Tech. Rep. Archives
 Go Top Page Go Previous   [Japanese] / [English] 

Paper Abstract and Keywords
Presentation 2013-01-10 15:15
Using SAT Solvers for Solving Control-Instruction Layout Problems in Low-Level Assembly Programming for Malbolge
Satoshi Ando, Masahiko Sakai, Toshiki Sakabe, Keiichirou Kusakari, Naoki Nishida (Nagoya Univ.)
Abstract (in Japanese) (See Japanese page) 
(in English) Malbolge is known as one of the most esoteric programming languages. Although it became possible to write programs in Malbolge due to the development of the low-level assembly language, we still have a problem that the programming in the low-level assembly language is difficult. This is because for each variable, instructions that take the variable in their arguments are allowed to be placed just above of the variable in the low-level assembly programs, and control-instructions in the low-level assembly language are only unconditional jumps and flip-flop jumps, where the latter alternate jump and no-operations. So far we have to design control structures, i.e., layout of control-instructions, by hand, which is very difficult even if we have an execution tracer for low-level assembly programs. In this paper, to solve this problem, we propose a method to design layout of control-instructions of the low-level assembly language efficiently by using state-of-art SAT solvers. We define a control-instruction layout problem, and propose a SAT encoding for this problem. We also evaluate the performance of control-instruction layout tools based on our method.
Keyword (in Japanese) (See Japanese page) 
(in English) Esoteric programming language / Malbolge / SAT solver / Control-Instruction Layout / / / /  
Reference Info. IEICE Tech. Rep., vol. 112, no. 373, SS2012-50, pp. 25-30, Jan. 2013.
Paper # SS2012-50 
Date of Issue 2013-01-03 (SS) 
ISSN Print edition: ISSN 0913-5685    Online edition: ISSN 2432-6380
Download PDF

Conference Information
Committee SS  
Conference Date 2013-01-10 - 2013-01-11 
Place (in Japanese) (See Japanese page) 
Place (in English)  
Topics (in Japanese) (See Japanese page) 
Topics (in English)  
Paper Information
Registration To SS 
Conference Code 2013-01-SS 
Language Japanese 
Title (in Japanese) (See Japanese page) 
Sub Title (in Japanese) (See Japanese page) 
Title (in English) Using SAT Solvers for Solving Control-Instruction Layout Problems in Low-Level Assembly Programming for Malbolge 
Sub Title (in English)  
Keyword(1) Esoteric programming language  
Keyword(2) Malbolge  
Keyword(3) SAT solver  
Keyword(4) Control-Instruction Layout  
Keyword(5)  
Keyword(6)  
Keyword(7)  
Keyword(8)  
1st Author's Name Satoshi Ando  
1st Author's Affiliation Nagoya University (Nagoya Univ.)
2nd Author's Name Masahiko Sakai  
2nd Author's Affiliation Nagoya University (Nagoya Univ.)
3rd Author's Name Toshiki Sakabe  
3rd Author's Affiliation Nagoya University (Nagoya Univ.)
4th Author's Name Keiichirou Kusakari  
4th Author's Affiliation Nagoya University (Nagoya Univ.)
5th Author's Name Naoki Nishida  
5th Author's Affiliation Nagoya University (Nagoya Univ.)
6th Author's Name  
6th Author's Affiliation ()
7th Author's Name  
7th Author's Affiliation ()
8th Author's Name  
8th Author's Affiliation ()
9th Author's Name  
9th Author's Affiliation ()
10th Author's Name  
10th Author's Affiliation ()
11th Author's Name  
11th Author's Affiliation ()
12th Author's Name  
12th Author's Affiliation ()
13th Author's Name  
13th Author's Affiliation ()
14th Author's Name  
14th Author's Affiliation ()
15th Author's Name  
15th Author's Affiliation ()
16th Author's Name  
16th Author's Affiliation ()
17th Author's Name  
17th Author's Affiliation ()
18th Author's Name  
18th Author's Affiliation ()
19th Author's Name  
19th Author's Affiliation ()
20th Author's Name  
20th Author's Affiliation ()
Speaker Author-1 
Date Time 2013-01-10 15:15:00 
Presentation Time 30 minutes 
Registration for SS 
Paper # SS2012-50 
Volume (vol) vol.112 
Number (no) no.373 
Page pp.25-30 
#Pages
Date of Issue 2013-01-03 (SS) 


[Return to Top Page]

[Return to IEICE Web Page]


The Institute of Electronics, Information and Communication Engineers (IEICE), Japan