Projects by Bradley Berg
White Papers
A general purpose programming language and compiler.
The language is designed to reduce the cost of building commercial quality software. This goal is achieved by addressing the issues of portability, reuse, ease of use, software maintenance, reliability, testing, and debugging. The language integrates several innovations with a clean and simple syntax.
-
Overview of the Gilda Programming Language
Design and Implementation of Iterative Loops
Examples: Hello World Phonecode
Collatz Conjecture
Unconfirmed and incomplete proof of the Collatz Conjecture
Program to print the revised Collatz series: collatz.exe
- Run from a command line: collatz 63_728_127
64 Bit Primality Test
These primality tests extend Steve Worley's 32 bit primality test. They improve on Jim Sinclair's test that uses 7 SPRP tests. 32 bit numbers are checked with a single SPRP test, two are used for 49 bit numbers, and three for 64 bit numbers.
Numbers under 2^32 can be tested using the SPRP bases in: is.prime.32.base.data
Numbers from 2^32 to 2^64 can be tested using the base pairs in: is.prime.64.base.data
The is.prime.gg
Gilda function determines if any 64 bit number is prime.
The list.is.prime.32.g
program lists the bases used to test 32 bit numbers for primality.
It uses this sprp.gg implementation
of the Strong Probable Prime test.
The tests have not yet been independently verified. You should verify them before using them and please let me know.
Visit this page for recent progress involving the Miller-Rabin primality test.
Computer Memory
-
Nano-Memory Simulation
Securing Personal Portable Storage
New Computers Based On Non-Volatile Random Access Memory
Publications
B. A. Berg, "Disentangling Exceptions", Brown University, December, 2008
-
http://cs.brown.edu/research/pubs/theses/masters/2009/berg.pdf
Ahmad, Berg, Cetintemel, Humphrey, Hwang, Jhingran, Maskey, Papaemmanouil, Rasin, Tatbul, Xing, Zdonik, "Distributed Operation in the Borealis Stream Processing Engine", 2nd International Conference on Geosensor Networks, Boston, MA, October 2006
-
http://www.cs.brown.edu/research/borealis/public/publications/sigmod05.demo.pdf
B. A. Berg, "A Distributed Catalog for the Borealis Stream Processing Engine", Brown University, May 31, 2006
-
http://www.cs.brown.edu/research/borealis/public/publications/distributed_catalog.pdf